29189 (sh) R 29188 27426 24421 34816 27426 4194304 127 0 0 0 0 0 0 0 25 0 1 0 10026560 1232896 42 4294967295 134512640 135191968 3218390336 3218387752 3086050937 0 0 4096 0 0 0 0 17 1 0 0 0
29189 (gecode-qwh) R 29188 27426 24421 34816 27426 4194304 681 0 0 0 0 0 0 0 25 0 1 0 10026560 6987776 216 4294967295 134512640 134538271 3218390352 3218389024 3086069007 0 0 4096 0 0 0 0 17 1 0 0 0
