3699 (sh) R 3698 3650 3367 34816 3650 4194304 437 0 0 0 0 0 0 0 25 0 1 0 467194 3653632 326 4294967295 134512640 135191968 3220129584 3220128612 3084599931 0 0 4100 65536 0 0 0 17 0 0 0 0
3699 (gecode-nqueens) R 3698 3650 3367 34816 3650 4202496 943 0 0 0 1 0 0 0 25 0 1 0 467194 7041024 458 4294967295 134512640 134541752 3220129584 3220128888 3086238736 0 0 4096 0 0 0 0 17 0 0 0 0
3699 (gecode-nqueens) R 3698 3650 3367 34816 3650 4202496 943 0 0 0 2 0 0 0 25 0 1 0 467194 7041024 458 4294967295 134512640 134541752 3220129584 3220128888 3086238736 0 0 4096 0 0 0 0 17 0 0 0 0
3699 (gecode-nqueens) R 3698 3650 3367 34816 3650 4202496 943 0 0 0 2 0 0 0 25 0 1 0 467194 7041024 458 4294967295 134512640 134541752 3220129584 3220128888 3086238736 0 0 4096 0 0 0 0 17 0 0 0 0
3699 (gecode-nqueens) R 3698 3650 3367 34816 3650 4202496 943 0 0 0 3 0 0 0 25 0 1 0 467194 7041024 458 4294967295 134512640 134541752 3220129584 3220128832 3084005743 0 0 4096 0 0 0 0 17 1 0 0 0
3699 (gecode-nqueens) R 3698 3650 3367 34816 3650 4202496 943 0 0 0 4 0 0 0 25 0 1 0 467194 7041024 458 4294967295 134512640 134541752 3220129584 3220128832 3084005610 0 0 4096 0 0 0 0 17 1 0 0 0
3699 (gecode-nqueens) R 3698 3650 3367 34816 3650 4202496 943 0 0 0 5 0 0 0 25 0 1 0 467194 7041024 458 4294967295 134512640 134541752 3220129584 3220128560 3081811733 0 0 4096 0 0 0 0 17 1 0 0 0
