31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4194304 629 0 0 0 0 0 0 0 25 0 1 0 10040018 6991872 164 4294967295 134512640 134538271 3216093984 3216092420 3086607573 0 0 4096 0 0 0 0 17 1 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10040018 7331840 496 4294967295 134512640 134538271 3216093984 3216092748 3082999040 0 0 4096 0 0 0 0 17 1 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 998 0 0 0 2 0 0 0 25 0 1 0 10040018 7495680 514 4294967295 134512640 134538271 3216093984 3216092752 3085752499 0 0 4096 0 0 0 0 17 1 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092704 3082999163 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092624 3084708034 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092448 3083000224 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092704 3082999180 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092960 3085269156 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092752 3085752499 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092944 3086538179 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092448 3082999555 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092752 3085752535 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092704 3082999154 0 0 4096 0 0 0 0 17 0 0 0 0
31274 (gecode-qwh) R 31273 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10040018 7495680 521 4294967295 134512640 134538271 3216093984 3216092624 3084710153 0 0 4096 0 0 0 0 17 0 0 0 0
