30041 (sh) R 30040 27426 24421 34816 27426 4194304 461 0 0 0 0 0 0 0 25 0 1 0 10027844 0 0 4294967295 0 0 0 3217897572 3086029840 0 0 4096 0 0 0 0 17 1 0 0 0
30041 (gecode-qwh) R 30040 27426 24421 34816 27426 4202496 920 0 0 0 0 0 0 0 25 0 1 0 10027844 7028736 436 4294967295 134512640 134538271 3218984416 3218983488 3086278760 0 0 4096 0 0 0 0 17 1 0 0 0
30041 (gecode-qwh) R 30040 27426 24421 34816 27426 4202496 973 0 0 0 1 0 0 0 25 0 1 0 10027844 7172096 489 4294967295 134512640 134538271 3218984416 3218983416 3086382096 0 0 4096 0 0 0 0 17 1 0 0 0
