31467 (sh) R 31466 27426 24421 34816 27426 4194304 203 0 0 0 0 0 0 0 20 0 1 0 10042982 2584576 98 4294967295 134512640 135191968 3213117488 3213117328 3084362519 0 0 4096 0 0 0 0 17 1 0 0 0

31467 (gecode-qwh) R 31466 27426 24421 34816 27426 4194304 544 0 0 0 0 0 0 0 20 0 1 0 10042982 6885376 79 4294967295 134512640 134538271 3218679184 3218676584 3086573700 0 0 4096 0 0 0 0 17 1 0 0 0
31467 (gecode-qwh) R 31466 27426 24421 34816 27426 4202496 969 0 0 0 0 0 0 0 20 0 1 0 10042982 7331840 484 4294967295 134512640 134538271 3218679184 3218677904 3082917265 0 0 4096 0 0 0 0 17 1 0 0 0
