3703 (sh) R 3702 3650 3367 34816 3650 4194304 248 0 0 0 0 0 0 0 25 0 1 0 467205 2592768 141 4294967295 134512640 135191968 3214309792 3214308288 3085992976 0 0 4096 0 0 0 0 17 0 0 0 0
3703 (gecode-nqueens) R 3702 3650 3367 34816 3650 4202496 940 0 0 0 0 0 0 0 25 0 1 0 467205 7036928 455 4294967295 134512640 134541752 3218040112 3218039408 3086057232 0 0 4096 0 0 0 0 17 0 0 0 0
3703 (gecode-nqueens) R 3702 3650 3367 34816 3650 4202496 942 0 0 0 1 0 0 0 25 0 1 0 467205 7036928 457 4294967295 134512640 134541752 3218040112 3218039416 3086087184 0 0 4096 0 0 0 0 17 0 0 0 0
3703 (gecode-nqueens) R 3702 3650 3367 34816 3650 4202496 942 0 0 0 2 0 0 0 25 0 1 0 467205 7036928 457 4294967295 134512640 134541752 3218040112 3218038292 3079920620 0 0 4096 0 0 0 0 17 1 0 0 0
3703 (gecode-nqueens) R 3702 3650 3367 34816 3650 4202496 942 0 0 0 3 0 0 0 25 0 1 0 467205 7036928 457 4294967295 134512640 134541752 3218040112 3218039248 3086061871 0 0 4096 0 0 0 0 17 1 0 0 0
3703 (gecode-nqueens) R 3702 3650 3367 34816 3650 4202496 942 0 0 0 4 0 0 0 25 0 1 0 467205 7036928 457 4294967295 134512640 134541752 3218040112 3218038656 3081666933 0 0 4096 0 0 0 0 17 1 0 0 0
3703 (gecode-nqueens) R 3702 3650 3367 34816 3650 4202496 942 0 0 0 4 0 0 0 25 0 1 0 467205 7036928 457 4294967295 134512640 134541752 3218040112 3218039416 3086087184 0 0 4096 0 0 0 0 17 1 0 0 0
