31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 976 0 0 0 0 0 0 0 25 0 1 0 10040104 7331840 491 4294967295 134512640 134538271 3220653936 3220652704 3085228211 0 0 4096 0 0 0 0 17 1 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 982 0 0 0 1 0 0 0 25 0 1 0 10040104 7331840 497 4294967295 134512640 134538271 3220653936 3220652848 134529220 0 0 4096 0 0 0 0 17 1 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1000 0 0 0 2 0 0 0 25 0 1 0 10040104 7495680 515 4294967295 134512640 134538271 3220653936 3220652848 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652400 3082477059 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652704 3084175084 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652704 3085228163 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652656 3082474916 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652704 3085228247 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652656 3082474784 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652960 3079874580 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652704 3085228247 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652656 3082474767 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652656 3082474868 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652576 3084187678 0 0 4096 0 0 0 0 17 0 0 0 0
31294 (gecode-qwh) R 31293 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10040104 7495680 521 4294967295 134512640 134538271 3220653936 3220652848 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
