30733 (sh) R 30732 27426 24421 34816 27426 4194304 262 0 0 0 0 0 0 0 24 0 1 0 10032560 3072000 156 4294967295 134512640 135191968 3218937280 3218935744 3084723307 0 0 4096 0 0 0 0 17 1 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4194304 715 0 0 0 0 0 0 0 24 0 1 0 10032560 6987776 250 4294967295 134512640 134538271 3218937296 3218935968 3086380218 0 0 4096 0 0 0 0 17 1 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 24 0 1 0 10032560 7327744 498 4294967295 134512640 134538271 3218937296 3218935936 3084474534 0 0 4096 0 0 0 0 17 1 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 24 0 1 0 10032560 7327744 498 4294967295 134512640 134538271 3218937296 3218936064 3085519070 0 0 4096 0 0 0 0 17 1 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 982 0 0 0 2 0 0 0 24 0 1 0 10032560 7327744 498 4294967295 134512640 134538271 3218937296 3218936064 3085519089 0 0 4096 0 0 0 0 17 1 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 988 0 0 0 2 0 0 0 24 0 1 0 10032560 7327744 504 4294967295 134512640 134538271 3218937296 3218936208 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 988 0 0 0 3 0 0 0 24 0 1 0 10032560 7327744 504 4294967295 134512640 134538271 3218937296 3218936064 3085519027 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 988 0 0 0 3 0 0 0 24 0 1 0 10032560 7327744 504 4294967295 134512640 134538271 3218937296 3218936208 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 24 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3085519080 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218935936 3084474385 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936256 3086304881 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3084466056 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218935936 3084474483 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3085519095 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3084466079 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936208 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3085519063 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936336 3080165301 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218935936 3084474709 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3084466086 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3085519063 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936016 3082765667 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3084466043 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936016 3082765713 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936064 3085518976 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936256 3086305674 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218935928 3082766744 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936016 3082765708 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936208 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936016 3082765684 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936256 3086304665 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218936016 3082765830 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10032560 7491584 516 4294967295 134512640 134538271 3218937296 3218935936 3084474667 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218935756 3082755047 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936016 3082765738 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 14 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936128 3086307299 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936064 3084466059 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 15 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936256 3086304659 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936016 3082766000 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218935760 3082767546 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 16 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936016 3082765743 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936064 3084466065 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 17 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218935936 3084474551 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936064 3085519063 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936064 3085519043 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 18 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936332 3086304096 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936016 3082765754 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 19 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936016 3082765670 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218935932 3082766745 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936064 3085519063 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 20 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218936064 3085519063 0 0 4096 0 0 0 0 17 0 0 0 0
30733 (gecode-qwh) R 30732 27426 24421 34816 27426 4202496 1002 0 0 0 21 0 0 0 25 0 1 0 10032560 7491584 518 4294967295 134512640 134538271 3218937296 3218935936 3084478848 0 0 4096 0 0 0 0 17 0 0 0 0
