30890 (sh) D 30889 27426 24421 34816 27426 4194304 134 0 0 0 0 0 0 0 25 0 1 0 10034098 1232896 48 4294967295 134512640 135191968 3216716704 3216714328 3086971012 0 0 4096 0 4170197283 0 0 17 1 0 0 0
30890 (gecode-qwh) R 30889 27426 24421 34816 27426 4202496 923 0 0 0 0 0 0 0 25 0 1 0 10034098 7028736 439 4294967295 134512640 134538271 3217622160 3217620896 3082995032 0 0 4096 0 0 0 0 17 1 0 0 0
30890 (gecode-qwh) R 30889 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 25 0 1 0 10034098 7294976 504 4294967295 134512640 134538271 3217622160 3217620928 3084695183 0 0 4096 0 0 0 0 17 1 0 0 0
30890 (gecode-qwh) R 30889 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 25 0 1 0 10034098 7458816 510 4294967295 134512640 134538271 3217622160 3217620928 3085748439 0 0 4096 0 0 0 0 17 1 0 0 0
30890 (gecode-qwh) R 30889 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 25 0 1 0 10034098 7458816 510 4294967295 134512640 134538271 3217622160 3217620880 3082995119 0 0 4096 0 0 0 0 17 1 0 0 0
