28268 (sh) R 28267 27426 24421 34816 27426 4194304 86 0 0 0 0 0 0 0 25 0 1 0 10025320 929792 3 4294967295 0 0 3214973190 3219723816 3086165008 0 0 4096 0 0 0 0 17 1 0 0 0
0 0 0 17 1 0 0 0

28268 (gecode-qwh) R 28267 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 25 0 1 0 10025320 6991872 173 4294967295 134512640 134538271 3214967312 3214965748 3086484693 0 0 4096 0 0 0 0 17 1 0 0 0
