30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4194304 618 0 0 0 0 0 0 0 21 0 1 0 10032185 6991872 152 4294967295 134512640 134538271 3215891184 3215889620 3086886101 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 21 0 1 0 10032185 7299072 497 4294967295 134512640 134538271 3215891184 3215889904 3083277630 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 989 0 0 0 0 0 0 0 21 0 1 0 10032185 7299072 504 4294967295 134512640 134538271 3215891184 3215889648 3083279920 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 989 0 0 0 1 0 0 0 21 0 1 0 10032185 7299072 504 4294967295 134512640 134538271 3215891184 3215889952 3086031049 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1005 0 0 0 1 0 0 0 21 0 1 0 10032185 7462912 520 4294967295 134512640 134538271 3215891184 3215889904 3083277684 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 21 0 1 0 10032185 7462912 521 4294967295 134512640 134538271 3215891184 3215889940 3083277572 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 2 0 0 0 21 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889904 3083277670 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 2 0 0 0 21 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889824 3084989662 0 0 4096 0 0 0 0 17 0 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 3 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889648 3083279872 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 4 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215890144 3086816904 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 4 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889904 3083277673 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 4 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889952 3084978008 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 5 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889904 3083277679 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 5 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889824 3084990503 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 6 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889940 3083277572 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 6 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889948 3083277899 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 6 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215890112 3080676605 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 7 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889952 3084978068 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 7 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889952 3084978123 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 8 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889648 3083278795 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 8 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889952 3084978131 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 8 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215890172 3083266808 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 9 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889824 3084986744 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 9 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889648 3083278098 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 10 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889652 3083279967 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 10 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889824 3084990560 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 10 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889952 3084978079 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 11 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889648 3083278670 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 11 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215889904 3083277650 0 0 4096 0 0 0 0 17 1 0 0 0
30663 (gecode-qwh) R 30662 27426 24421 34816 27426 4202496 1007 0 0 0 12 0 0 0 24 0 1 0 10032185 7462912 522 4294967295 134512640 134538271 3215891184 3215890096 134529220 0 0 4096 0 0 0 0 17 1 0 0 0
