3691 (gecode-nqueens) R 3690 3650 3367 34816 3650 4194304 625 0 0 0 0 0 0 0 25 0 1 0 467174 6995968 159 4294967295 134512640 134541752 3216749568 3216748004 3086820595 0 0 4096 0 0 0 0 17 0 0 0 0
3691 (gecode-nqueens) R 3690 3650 3367 34816 3650 4202496 979 0 0 0 0 0 0 0 25 0 1 0 467174 7331840 494 4294967295 134512640 134541752 3216749568 3216748208 3084559946 0 0 4096 0 0 0 0 17 0 0 0 0
3691 (gecode-nqueens) R 3690 3650 3367 34816 3650 4202496 1401 0 0 0 1 0 0 0 25 0 1 0 467174 9318400 916 4294967295 134512640 134541752 3216749568 3216748816 3084546255 0 0 4096 0 0 0 0 17 1 0 0 0
