3667 (sh) R 3666 3650 3367 34816 3650 4194304 379 0 0 0 0 0 0 0 22 0 1 0 467126 3641344 268 4294967295 134512640 135191968 3220037408 3220035960 3085510439 0 0 4100 0 0 0 0 17 0 0 0 0
3667 (gecode-nqueens) R 3666 3650 3367 34816 3650 4202496 952 0 0 0 1 0 0 0 22 0 1 0 467126 7331840 468 4294967295 134512640 134541752 3220037424 3220036064 3084551754 0 0 4096 0 0 0 0 17 0 0 0 0
3667 (gecode-nqueens) R 3666 3650 3367 34816 3650 4202496 1309 0 0 0 2 0 0 0 25 0 1 0 467126 8790016 825 4294967295 134512640 134541752 3220037424 3220036512 3084565538 0 0 4096 0 0 0 0 17 0 0 0 0
