31253 (sh) R 31252 27426 24421 34816 27426 4194304 115 0 0 0 0 0 0 0 25 0 1 0 10039950 937984 30 4294967295 134512640 135191968 3218324784 3218322172 3085983876 0 0 4096 0 0 0 0 17 1 0 0 0
31253 (gecode-qwh) R 31252 27426 24421 34816 27426 4202496 956 0 0 0 0 0 0 0 25 0 1 0 10039950 7168000 472 4294967295 134512640 134538271 3218324800 3218323568 3085080717 0 0 4096 0 0 0 0 17 1 0 0 0
31253 (gecode-qwh) R 31252 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10039950 7331840 496 4294967295 134512640 134538271 3218324800 3218323632 3085869096 0 0 4096 0 0 0 0 17 1 0 0 0
31253 (gecode-qwh) R 31252 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039950 7331840 496 4294967295 134512640 134538271 3218324800 3218323568 3085080791 0 0 4096 0 0 0 0 17 1 0 0 0
31253 (gecode-qwh) R 31252 27426 24421 34816 27426 4202496 992 0 0 0 3 0 0 0 25 0 1 0 10039950 7331840 508 4294967295 134512640 134538271 3218324800 3218323712 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
31253 (gecode-qwh) R 31252 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039950 7495680 514 4294967295 134512640 134538271 3218324800 3218323568 3085080791 0 0 4096 0 0 0 0 17 1 0 0 0
31253 (gecode-qwh) R 31252 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039950 7495680 514 4294967295 134512640 134538271 3218324800 3218323520 3082327389 0 0 4096 0 0 0 0 17 1 0 0 0
