27706 (sh) R 27705 27426 24421 34816 27426 4194304 350 0 0 0 0 0 0 0 25 0 1 0 10024568 3117056 239 4294967295 134512640 135191968 3212959760 3212958948 3086738448 0 0 4100 0 0 0 0 17 1 0 0 0
27706 (gecode-qwh) R 27705 27426 24421 34816 27426 4194304 732 0 0 0 0 0 0 0 25 0 1 0 10024568 6987776 267 4294967295 134512640 134538271 3220787088 3220785524 3086480597 0 0 4096 0 0 0 0 17 1 0 0 0
