3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4194304 619 0 0 0 0 0 0 0 25 0 1 0 467216 6991872 153 4294967295 134512640 134541752 3218816496 3218814932 3085907157 0 0 4096 0 0 0 0 17 1 0 0 0
3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4202496 943 0 0 0 1 0 0 0 25 0 1 0 467216 7036928 458 4294967295 134512640 134541752 3218816496 3218815800 3085866000 0 0 4096 0 0 0 0 17 1 0 0 0
3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4202496 943 0 0 0 2 0 0 0 25 0 1 0 467216 7036928 458 4294967295 134512640 134541752 3218816496 3218815744 3083632911 0 0 4096 0 0 0 0 17 1 0 0 0
3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4202496 943 0 0 0 2 0 0 0 25 0 1 0 467216 7036928 458 4294967295 134512640 134541752 3218816496 3218815632 3085840666 0 0 4096 0 0 0 0 17 1 0 0 0
3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4202496 943 0 0 0 3 0 0 0 25 0 1 0 467216 7036928 458 4294967295 134512640 134541752 3218816496 3218815440 3084007576 0 0 4096 0 0 0 0 17 1 0 0 0
3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4202496 943 0 0 0 4 0 0 0 25 0 1 0 467216 7036928 458 4294967295 134512640 134541752 3218816496 3218815800 3085866000 0 0 4096 0 0 0 0 17 1 0 0 0
3707 (gecode-nqueens) R 3706 3650 3367 34816 3650 4202496 943 0 0 0 5 0 0 0 25 0 1 0 467216 7036928 458 4294967295 134512640 134541752 3218816496 3218815728 3083631066 0 0 4096 0 0 0 0 17 1 0 0 0
