Read their tweets... "With 1 machine down (fan) still getting 428435640 hashes per second thanks to Dan's cool fast code." It would seem that DJB wrote some code for their cluster that was on par with GPU speeds.