28546 (sh) R 28545 27426 24421 34816 27426 4194304 87 0 0 0 0 0 0 0 25 0 1 0 10025693 929792 4 4294967295 0 0 3221158151 3213408280 3086865424 0 0 4096 0 0 0 0 17 1 0 0 0
0 0 0 17 1 0 0 0

28546 (gecode-qwh) R 28545 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 25 0 1 0 10025693 6991872 172 4294967295 134512640 134538271 3221153776 3221152212 3086173397 0 0 4096 0 0 0 0 17 1 0 0 0
