30990 (sh) R 30989 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 24 0 1 0 10034463 3653632 326 4294967295 134512640 135191968 3216001776 3216001012 3085265554 0 0 4100 65536 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 980 0 0 0 0 0 0 0 24 0 1 0 10034463 7327744 495 4294967295 134512640 134538271 3220649840 3220648812 3084973600 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10034463 7327744 495 4294967295 134512640 134538271 3220649840 3220648560 3082765732 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10034463 7327744 495 4294967295 134512640 134538271 3220649840 3220648480 3084478789 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 980 0 0 0 3 0 0 0 25 0 1 0 10034463 7327744 495 4294967295 134512640 134538271 3220649840 3220648480 3084478484 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 988 0 0 0 4 0 0 0 25 0 1 0 10034463 7327744 503 4294967295 134512640 134538271 3220649840 3220648304 3082766110 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 25 0 1 0 10034463 7327744 509 4294967295 134512640 134538271 3220649840 3220648608 3085519067 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 994 0 0 0 5 0 0 0 25 0 1 0 10034463 7327744 509 4294967295 134512640 134538271 3220649840 3220648560 3082765738 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 994 0 0 0 6 0 0 0 25 0 1 0 10034463 7327744 509 4294967295 134512640 134538271 3220649840 3220648608 3085519070 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 999 0 0 0 7 0 0 0 25 0 1 0 10034463 7491584 514 4294967295 134512640 134538271 3220649840 3220648304 3082766689 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034463 7491584 515 4294967295 134512640 134538271 3220649840 3220648560 3082765647 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034463 7491584 515 4294967295 134512640 134538271 3220649840 3220648480 3084477658 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034463 7491584 515 4294967295 134512640 134538271 3220649840 3220648800 3086304665 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034463 7491584 515 4294967295 134512640 134538271 3220649840 3220648304 3082766126 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034463 7491584 515 4294967295 134512640 134538271 3220649840 3220648608 3085518989 0 0 4096 0 0 0 0 17 1 0 0 0
30990 (gecode-qwh) R 30989 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034463 7491584 515 4294967295 134512640 134538271 3220649840 3220648608 3085519027 0 0 4096 0 0 0 0 17 1 0 0 0
