30741 (sh) R 30740 27426 24421 34816 27426 4194304 228 0 0 0 0 0 0 0 25 0 1 0 10032613 2584576 123 4294967295 134512640 135191968 3218896304 3218895432 3085196935 0 0 4096 0 0 0 0 17 1 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4194304 603 0 0 0 0 0 0 0 25 0 1 0 10032613 6987776 138 4294967295 134512640 134538271 3218896320 3218894992 3086855439 0 0 4096 0 0 0 0 17 1 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 961 0 0 0 0 0 0 0 25 0 1 0 10032613 7163904 477 4294967295 134512640 134538271 3218896320 3218895040 3083240766 0 0 4096 0 0 0 0 17 1 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895280 3086779851 0 0 4096 0 0 0 0 17 1 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895308 3083238640 0 0 4096 0 0 0 0 17 1 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895232 134529143 0 0 4096 0 0 0 0 17 1 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218894784 3083242729 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218894784 3083243024 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218894784 3083241219 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895040 3083240872 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895280 3086779795 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895088 3085994163 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895072 3083240709 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895280 3084954044 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895040 3083240879 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895088 3084941241 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895088 3084941213 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032613 7327744 501 4294967295 134512640 134538271 3218896320 3218895088 3084941179 0 0 4096 0 0 0 0 17 0 0 0 0
30741 (gecode-qwh) R 30740 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10032613 7331840 515 4294967295 134512640 134538271 3218896320 3218895212 3082284211 0 0 4096 0 0 0 0 17 0 0 0 0
