28900 (sh) R 28899 27426 24421 34816 27426 4194304 270 0 0 0 0 0 0 0 25 0 1 0 10026169 3076096 162 4294967295 134512640 135191968 3215379040 3215378512 134866479 0 0 4096 0 0 0 0 17 1 0 0 0

28900 (gecode-qwh) R 28899 27426 24421 34816 27426 4194304 719 0 0 0 0 0 0 0 25 0 1 0 10026169 6987776 253 4294967295 134512640 134538271 3215145520 3215143956 3086193877 0 0 4096 0 0 0 0 17 1 0 0 0
