29491 (sh) R 29490 27426 24421 34816 27426 4194304 255 0 0 0 0 0 0 0 25 0 1 0 10026975 3067904 148 4294967295 134512640 135191968 3216100112 3216098628 3085217520 0 0 4096 0 0 0 0 17 1 0 0 0
29491 (gecode-qwh) R 29490 27426 24421 34816 27426 4194304 712 0 0 0 0 0 0 0 25 0 1 0 10026975 6991872 247 4294967295 134512640 134538271 3213394064 3213392500 3086034133 0 0 4096 0 0 0 0 17 1 0 0 0
