3679 (gecode-nqueens) R 3678 3650 3367 34816 3650 4194304 548 0 0 0 0 0 0 0 25 0 1 0 467150 6991872 82 4294967295 134512640 134541752 3214256544 3214253668 3086351993 0 0 4096 0 0 0 0 17 0 0 0 0
3679 (gecode-nqueens) R 3678 3650 3367 34816 3650 4202496 978 0 0 0 1 0 0 0 25 0 1 0 467150 7331840 493 4294967295 134512640 134541752 3214256544 3214255184 3084093002 0 0 4096 0 0 0 0 17 0 0 0 0
3679 (gecode-nqueens) R 3678 3650 3367 34816 3650 4202496 1401 0 0 0 2 0 0 0 25 0 1 0 467150 9318400 916 4294967295 134512640 134541752 3214256544 3214255312 3082747163 0 0 4096 0 0 0 0 17 0 0 0 0
