6 jobs for !64 with exec/while-with-assignments in 25 minutes and 33 seconds (queued for 2 seconds)