30717 (sh) R 30716 27426 24421 34816 27426 4194304 321 0 0 0 0 0 0 0 25 0 1 0 10032452 3088384 211 4294967295 134512640 135191968 3218480464 3218479312 3086836752 0 0 4096 0 0 0 0 17 1 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4194304 728 0 0 0 0 0 0 0 25 0 1 0 10032452 6987776 263 4294967295 134512640 134538271 3216673712 3216672148 3086529784 0 0 4096 0 0 0 0 17 1 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 983 0 0 0 0 0 0 0 25 0 1 0 10032452 7327744 499 4294967295 134512640 134538271 3216673712 3216672480 3085674640 0 0 4096 0 0 0 0 17 1 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 25 0 1 0 10032452 7327744 499 4294967295 134512640 134538271 3216673712 3216672352 3084634148 0 0 4096 0 0 0 0 17 1 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 983 0 0 0 1 0 0 0 25 0 1 0 10032452 7327744 499 4294967295 134512640 134538271 3216673712 3216672432 3082921287 0 0 4096 0 0 0 0 17 1 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 25 0 1 0 10032452 7327744 505 4294967295 134512640 134538271 3216673712 3216672352 3084634454 0 0 4096 0 0 0 0 17 1 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 25 0 1 0 10032452 7327744 505 4294967295 134512640 134538271 3216673712 3216672672 3086460307 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 989 0 0 0 2 0 0 0 25 0 1 0 10032452 7327744 505 4294967295 134512640 134538271 3216673712 3216672480 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 989 0 0 0 3 0 0 0 25 0 1 0 10032452 7327744 505 4294967295 134512640 134538271 3216673712 3216672432 3082921402 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 3 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672352 3084634200 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672608 3082920515 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921486 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 4 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672352 3084630131 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672352 3084630120 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 5 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921248 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672480 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672352 3084630199 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 6 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672480 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672784 3086383767 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 7 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672352 3084634151 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672480 3085674709 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921648 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672672 3086461086 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672480 3085674718 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921269 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672672 3086460368 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921324 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672624 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672480 3085674697 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921318 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672672 3086461324 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672176 3082922947 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672348 3082910168 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672624 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 13 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672432 3082921402 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1001 0 0 0 14 0 0 0 25 0 1 0 10032452 7491584 517 4294967295 134512640 134538271 3216673712 3216672480 3084621460 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672544 3086463295 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 14 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672480 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672672 3084634561 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 15 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672480 3084621725 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921386 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672480 3085674718 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 16 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921353 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672176 3082921764 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 17 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672176 3082921758 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672480 3085674743 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921287 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 18 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921324 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672480 3085674711 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 19 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672672 3086460363 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921309 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921386 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 20 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672432 3082921353 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 21 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672704 3086458820 0 0 4096 0 0 0 0 17 0 0 0 0
30717 (gecode-qwh) R 30716 27426 24421 34816 27426 4202496 1003 0 0 0 21 0 0 0 25 0 1 0 10032452 7491584 519 4294967295 134512640 134538271 3216673712 3216672480 3084621653 0 0 4096 0 0 0 0 17 0 0 0 0
