3727 (gecode-nqueens) R 3726 3650 3367 34816 3650 4202496 939 0 0 0 0 0 0 0 25 0 1 0 467271 7041024 456 4294967295 134512640 134541752 3216985136 3216984440 3086468112 0 0 4096 0 0 0 0 17 1 0 0 0
3727 (gecode-nqueens) R 3726 3650 3367 34816 3650 4202496 941 0 0 0 1 0 0 0 25 0 1 0 467271 7041024 458 4294967295 134512640 134541752 3216985136 3216984080 3084613662 0 0 4096 0 0 0 0 17 1 0 0 0
3727 (gecode-nqueens) R 3726 3650 3367 34816 3650 4202496 941 0 0 0 2 0 0 0 25 0 1 0 467271 7041024 458 4294967295 134512640 134541752 3216985136 3216983904 3082902716 0 0 4096 0 0 0 0 17 0 0 0 0
3727 (gecode-nqueens) R 3726 3650 3367 34816 3650 4202496 941 0 0 0 2 0 0 0 25 0 1 0 467271 7041024 458 4294967295 134512640 134541752 3216985136 3216984320 3082899258 0 0 4096 0 0 0 0 17 0 0 0 0
3727 (gecode-nqueens) R 3726 3650 3367 34816 3650 4202496 941 0 0 0 3 0 0 0 25 0 1 0 467271 7041024 458 4294967295 134512640 134541752 3216985136 3216984440 3086468112 0 0 4096 0 0 0 0 17 0 0 0 0
3727 (gecode-nqueens) R 3726 3650 3367 34816 3650 4202496 941 0 0 0 4 0 0 0 25 0 1 0 467271 7041024 458 4294967295 134512640 134541752 3216985136 3216984368 3084233405 0 0 4096 0 0 0 0 17 0 0 0 0
