31290 (sh) R 31289 27426 24421 34816 27426 4194304 436 0 0 0 0 0 0 0 24 0 1 0 10040087 3653632 325 4294967295 134512640 135191968 3216894928 3216893856 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 980 0 0 0 0 0 0 0 25 0 1 0 10040087 7327744 495 4294967295 134512640 134538271 3218703760 3218702528 3085560027 0 0 4096 0 0 0 0 17 1 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 992 0 0 0 1 0 0 0 25 0 1 0 10040087 7327744 507 4294967295 134512640 134538271 3218703760 3218702224 3082808055 0 0 4096 0 0 0 0 17 1 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 25 0 1 0 10040087 7491584 519 4294967295 134512640 134538271 3218703760 3218702528 3084507034 0 0 4096 0 0 0 0 17 1 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3085559987 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702400 3084515634 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702224 3082807058 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3085560015 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3085560021 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3084507039 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3084506975 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3085560055 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702480 3082806665 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702528 3085560027 0 0 4096 0 0 0 0 17 0 0 0 0
31290 (gecode-qwh) R 31289 27426 24421 34816 27426 4202496 1005 0 0 0 11 0 0 0 25 0 1 0 10040087 7491584 520 4294967295 134512640 134538271 3218703760 3218702524 3082795432 0 0 4096 0 0 0 0 17 0 0 0 0
