30753 (sh) R 30752 27426 24421 34816 27426 4194304 187 0 0 0 0 0 0 0 25 0 1 0 10032650 2682880 99 4294967295 134512640 135191968 3215249984 3215248656 3086171322 0 0 4096 0 0 0 0 17 1 0 0 0

30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4194304 703 0 0 0 0 0 0 0 25 0 1 0 10032650 6991872 238 4294967295 134512640 134538271 3215250000 3215248436 3086165205 0 0 4096 0 0 0 0 17 1 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 0 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248456 3084229004 0 0 4096 0 0 0 0 17 1 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 1 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248768 3085310150 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 1 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248992 3086094502 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215249024 3079956500 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248628 3082557847 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 2 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248464 3082557156 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248764 3082556672 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248720 3082556692 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248720 3082556780 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248464 3082557202 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248640 3084268758 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248640 3084269595 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248912 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248464 3082558979 0 0 4096 0 0 0 0 17 0 0 0 0
30753 (gecode-qwh) R 30752 27426 24421 34816 27426 4202496 986 0 0 0 6 0 0 0 25 0 1 0 10032650 7331840 502 4294967295 134512640 134538271 3215250000 3215248464 3082558211 0 0 4096 0 0 0 0 17 0 0 0 0
