30773 (sh) R 30772 27426 24421 34816 27426 4194304 436 0 0 0 0 0 0 0 25 0 1 0 10032711 3649536 325 4294967295 134512640 135191968 3218408768 3218408004 3085089461 0 0 4100 65536 0 0 0 17 1 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 886 0 0 0 0 0 0 0 25 0 1 0 10032711 7028736 403 4294967295 134512640 134538271 3220088560 3220087628 3081637952 0 0 4096 0 0 0 0 17 1 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087324 3082541480 0 0 4096 0 0 0 0 17 1 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 1 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087328 3085306073 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087520 3086091878 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087280 3082552740 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 2 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087280 3082552746 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087328 3085306078 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087552 3086090117 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087280 3082552740 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087200 3084261491 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087024 3082553777 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087200 3084265560 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 5 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087024 3082554883 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087280 3082552617 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087316 3082552580 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 985 0 0 0 6 0 0 0 25 0 1 0 10032711 7327744 501 4294967295 134512640 134538271 3220088560 3220087328 3085306071 0 0 4096 0 0 0 0 17 0 0 0 0
30773 (gecode-qwh) R 30772 27426 24421 34816 27426 4202496 998 0 0 0 7 0 0 0 25 0 1 0 10032711 7331840 514 4294967295 134512640 134538271 3220088560 3220087456 3081546427 0 0 4096 0 0 0 0 17 0 0 0 0
