31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 25 0 1 0 10040070 6991872 172 4294967295 134512640 134538271 3219181072 3219179508 3086738645 0 0 4096 0 0 0 0 17 1 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10040070 7331840 496 4294967295 134512640 134538271 3219181072 3219179536 3083130630 0 0 4096 0 0 0 0 17 1 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 999 0 0 0 1 0 0 0 25 0 1 0 10040070 7495680 514 4294967295 134512640 134538271 3219181072 3219179840 3084830621 0 0 4096 0 0 0 0 17 1 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179712 3084839095 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179536 3083130607 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179840 3084830559 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179792 3083130124 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179792 3083130310 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179840 3085883602 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179792 3083130276 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179712 3084843100 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179536 3083132419 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219179840 3085883624 0 0 4096 0 0 0 0 17 0 0 0 0
31286 (gecode-qwh) R 31285 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10040070 7495680 521 4294967295 134512640 134538271 3219181072 3219180032 3086669200 0 0 4096 0 0 0 0 17 0 0 0 0
