30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4194304 542 0 0 0 0 0 0 0 25 0 1 0 10034173 6881280 77 4294967295 134512640 134538271 3220821920 3220818956 3086000915 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 25 0 1 0 10034173 7331840 496 4294967295 134512640 134538271 3220821920 3220820688 3085097204 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 995 0 0 0 1 0 0 0 25 0 1 0 10034173 7331840 510 4294967295 134512640 134538271 3220821920 3220820640 3082343811 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 995 0 0 0 2 0 0 0 25 0 1 0 10034173 7331840 510 4294967295 134512640 134538271 3220821920 3220820688 3085097139 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 995 0 0 0 3 0 0 0 25 0 1 0 10034173 7331840 510 4294967295 134512640 134538271 3220821920 3220820640 3082343799 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820640 3082343848 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820560 3084056625 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820640 3082343700 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820560 3084055752 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820640 3082343749 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820640 3082343779 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820880 3085883002 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820752 3085885780 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820640 3082343785 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820640 3082343844 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820560 3084054757 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820880 3085882827 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820688 3084044062 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820560 3084056668 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 15 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820832 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820560 3084055737 0 0 4096 0 0 0 0 17 1 0 0 0
30910 (gecode-qwh) R 30909 27426 24421 34816 27426 4202496 1001 0 0 0 16 0 0 0 25 0 1 0 10034173 7495680 516 4294967295 134512640 134538271 3220821920 3220820688 3085097182 0 0 4096 0 0 0 0 17 1 0 0 0
