28864 (sh) R 28863 27426 24421 34816 27426 4194304 95 0 0 0 0 0 0 0 25 0 1 0 10026121 925696 12 4294967295 134512640 135191968 3221129168 3221129060 3086163120 0 0 4096 0 0 0 0 17 1 0 0 0

28864 (gecode-qwh) R 28863 27426 24421 34816 27426 4194304 636 0 0 0 0 0 0 0 25 0 1 0 10026121 6987776 171 4294967295 134512640 134538271 3221129200 3221127636 3086193877 0 0 4096 0 0 0 0 17 1 0 0 0
