Now the boards can be generated 8 at a time, as my system has 8 threads. All timings are the average over the generation of 5000 boards.