30769 (sh) R 30768 27426 24421 34816 27426 4194304 319 0 0 0 0 0 0 0 25 0 1 0 10032698 3088384 209 4294967295 134512640 135191968 3217560688 3217559580 3085610012 0 0 4096 0 0 0 0 17 1 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4194304 548 0 0 0 0 0 0 0 25 0 1 0 10032698 6987776 82 4294967295 134512640 134538271 3217560704 3217557828 3086909049 0 0 4096 0 0 0 0 17 1 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 943 0 0 0 0 0 0 0 25 0 1 0 10032698 7168000 458 4294967295 134512640 134538271 3217560704 3217559424 3083302206 0 0 4096 0 0 0 0 17 1 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 0 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559616 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559344 3085013255 0 0 4096 0 0 0 0 17 1 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559472 3085002635 0 0 4096 0 0 0 0 17 1 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559424 3083302308 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559424 3083302258 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 2 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559424 3083302234 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559664 3086841241 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559584 3083300765 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559452 3083302150 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559344 3085014230 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559456 3083302149 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559664 3086841466 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 5 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559664 3086841291 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559592 3084974454 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559680 3085572234 0 0 4096 0 0 0 0 17 0 0 0 0
30769 (gecode-qwh) R 30768 27426 24421 34816 27426 4202496 987 0 0 0 6 0 0 0 25 0 1 0 10032698 7331840 502 4294967295 134512640 134538271 3217560704 3217559424 3083302490 0 0 4096 0 0 0 0 17 0 0 0 0
