30695 (sh) R 30694 27426 24421 34816 27426 4194304 318 0 0 0 0 0 0 0 25 0 1 0 10032327 3088384 208 4294967295 134512640 135191968 3217411152 3217409956 134892385 0 0 4096 0 0 0 0 17 1 0 0 0

30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4194304 724 0 0 0 0 0 0 0 25 0 1 0 10032327 6991872 259 4294967295 134512640 134538271 3217411168 3217409604 3086025976 0 0 4096 0 0 0 0 17 1 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 988 0 0 0 0 0 0 0 25 0 1 0 10032327 7299072 504 4294967295 134512640 134538271 3217411168 3217409888 3082417529 0 0 4096 0 0 0 0 17 1 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 25 0 1 0 10032327 7299072 504 4294967295 134512640 134538271 3217411168 3217409808 3084126369 0 0 4096 0 0 0 0 17 1 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 993 0 0 0 1 0 0 0 25 0 1 0 10032327 7462912 509 4294967295 134512640 134538271 3217411168 3217409936 3085170903 0 0 4096 0 0 0 0 17 1 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10032327 7462912 521 4294967295 134512640 134538271 3217411168 3217409632 3082418491 0 0 4096 0 0 0 0 17 1 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409936 3085170903 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409888 3082417551 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409888 3082417842 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409808 3084126402 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3085956547 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409936 3084117845 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409632 3082419752 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410048 3082416576 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409632 3082417950 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410056 3084089766 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3084130771 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3085956547 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409888 3082417510 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409888 3082417714 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3085956552 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409808 3084130324 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410108 3079824869 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409936 3085170829 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3085956555 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409888 3082417744 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409936 3084117848 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3085956744 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217410128 3085956555 0 0 4096 0 0 0 0 17 0 0 0 0
30695 (gecode-qwh) R 30694 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10032327 7462912 522 4294967295 134512640 134538271 3217411168 3217409808 3084130331 0 0 4096 0 0 0 0 17 0 0 0 0
