3731 (gecode-nqueens) R 3730 3650 3367 34816 3650 4202496 939 0 0 0 0 0 0 0 25 0 1 0 467282 7036928 456 4294967295 134512640 134541752 3218320752 3218320056 3086791696 0 0 4096 0 0 0 0 17 1 0 0 0
3731 (gecode-nqueens) R 3730 3650 3367 34816 3650 4202496 941 0 0 0 0 0 0 0 25 0 1 0 467282 7036928 458 4294967295 134512640 134541752 3218320752 3218320056 3086791696 0 0 4096 0 0 0 0 17 1 0 0 0
3731 (gecode-nqueens) R 3730 3650 3367 34816 3650 4202496 941 0 0 0 1 0 0 0 25 0 1 0 467282 7036928 458 4294967295 134512640 134541752 3218320752 3218320056 3086791696 0 0 4096 0 0 0 0 17 1 0 0 0
3731 (gecode-nqueens) R 3730 3650 3367 34816 3650 4202496 941 0 0 0 2 0 0 0 25 0 1 0 467282 7036928 458 4294967295 134512640 134541752 3218320752 3218319520 3083225730 0 0 4096 0 0 0 0 17 1 0 0 0
3731 (gecode-nqueens) R 3730 3650 3367 34816 3650 4202496 941 0 0 0 3 0 0 0 25 0 1 0 467282 7036928 458 4294967295 134512640 134541752 3218320752 3218320056 3086791696 0 0 4096 0 0 0 0 17 1 0 0 0
3731 (gecode-nqueens) R 3730 3650 3367 34816 3650 4202496 941 0 0 0 4 0 0 0 25 0 1 0 467282 7036928 458 4294967295 134512640 134541752 3218320752 3218319824 3083224847 0 0 4096 0 0 0 0 17 1 0 0 0
