30962 (sh) R 30961 27426 24421 34816 27426 4194304 288 0 0 0 0 0 0 0 25 0 1 0 10034394 3080192 180 4294967295 134512640 135191968 3213428864 3213428348 134727712 0 0 4096 0 0 0 0 17 1 0 0 0

30962 (gecode-qwh) R 30961 27426 24421 34816 27426 4202496 977 0 0 0 0 0 0 0 25 0 1 0 10034394 7172096 492 4294967295 134512640 134538271 3213428880 3213427880 3086664720 0 0 4096 0 0 0 0 17 1 0 0 0
