3671 (gecode-nqueens) R 3670 3650 3367 34816 3650 4194304 561 0 0 0 0 0 0 0 25 0 1 0 467134 6995968 97 4294967295 134512640 134541752 3217267840 3217266096 3085967153 0 0 4096 0 0 0 0 17 0 0 0 0

3671 (gecode-nqueens) R 3670 3650 3367 34816 3650 4202496 979 0 0 0 0 0 0 0 25 0 1 0 467134 7331840 496 4294967295 134512640 134541752 3217267840 3217266528 3083673269 0 0 4096 0 0 0 0 17 0 0 0 0
3671 (gecode-nqueens) R 3670 3650 3367 34816 3650 4202496 1423 0 0 0 1 0 0 0 25 0 1 0 467134 9318400 940 4294967295 134512640 134541752 3217267840 3217266928 3083721762 0 0 4096 0 0 0 0 17 0 0 0 0
