31298 (sh) R 31297 27426 24421 34816 27426 4194304 430 0 0 0 0 0 0 0 25 0 1 0 10040122 3641344 319 4294967295 134512640 135191968 3216055040 3216053888 135100662 0 0 4100 0 0 0 0 17 1 0 0 0
 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 981 0 0 0 0 0 0 0 25 0 1 0 10040122 7327744 496 4294967295 134512640 134538271 3216055056 3216053824 3084211986 0 0 4096 0 0 0 0 17 1 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 993 0 0 0 1 0 0 0 25 0 1 0 10040122 7327744 508 4294967295 134512640 134538271 3216055056 3216053776 3082511952 0 0 4096 0 0 0 0 17 1 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10040122 7491584 520 4294967295 134512640 134538271 3216055056 3216053520 3082513920 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053776 3082511687 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053824 3085265097 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053824 3085265091 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053776 3082511628 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216054016 3086050707 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053776 3082511675 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053824 3085265097 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216054016 3086050786 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053692 3082512080 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053820 3082511972 0 0 4096 0 0 0 0 17 0 0 0 0
31298 (gecode-qwh) R 31297 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 25 0 1 0 10040122 7491584 521 4294967295 134512640 134538271 3216055056 3216053968 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
