31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4194304 612 0 0 0 0 0 0 0 25 0 1 0 10039882 6991872 146 4294967295 134512640 134538271 3216235328 3216233764 3086484693 0 0 4096 0 0 0 0 17 1 0 0 0
31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 25 0 1 0 10039882 7331840 490 4294967295 134512640 134538271 3216235328 3216234240 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10039882 7331840 496 4294967295 134512640 134538271 3216235328 3216234096 3085629655 0 0 4096 0 0 0 0 17 0 0 0 0
31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10039882 7331840 496 4294967295 134512640 134538271 3216235328 3216234084 3082876164 0 0 4096 0 0 0 0 17 0 0 0 0
31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4202496 999 0 0 0 3 0 0 0 25 0 1 0 10039882 7495680 514 4294967295 134512640 134538271 3216235328 3216234240 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10039882 7495680 514 4294967295 134512640 134538271 3216235328 3216233792 3082876687 0 0 4096 0 0 0 0 17 0 0 0 0
31229 (gecode-qwh) R 31228 27426 24421 34816 27426 4202496 999 0 0 0 4 0 0 0 25 0 1 0 10039882 7495680 514 4294967295 134512640 134538271 3216235328 3216234152 3084576385 0 0 4096 0 0 0 0 17 0 0 0 0
