28084 (sh) R 28083 27426 24421 34816 27426 4194304 104 0 0 0 0 0 0 0 25 0 1 0 10025071 925696 21 4294967295 134512640 135191968 3215919840 3215918548 3086741953 0 0 4096 0 0 0 0 17 1 0 0 0
28084 (gecode-qwh) R 28083 27426 24421 34816 27426 4194304 640 0 0 0 0 0 0 0 25 0 1 0 10025071 6987776 174 4294967295 134512640 134538271 3215919856 3215918528 3086699706 0 0 4096 0 0 0 0 17 1 0 0 0
