Comment by Liviu Lalescu: a very difficult file, takes ~ 35 minutes (starting generation with random seed 123) on an AMD 64 dual core 4000+, openSuse GNU/Linux.
