30667 (sh) R 30666 27426 24421 34816 27426 4194304 155 0 0 0 0 0 0 0 23 0 1 0 10032204 2674688 66 4294967295 134512640 135191968 3220041424 3220040040 3086691957 0 0 4096 0 0 0 0 17 1 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4194304 639 0 0 0 0 0 0 0 23 0 1 0 10032204 6987776 174 4294967295 134512640 134538271 3220041440 3220040112 3086675130 0 0 4096 0 0 0 0 17 1 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 986 0 0 0 0 0 0 0 23 0 1 0 10032204 7294976 502 4294967295 134512640 134538271 3220041440 3220040400 3086599782 0 0 4096 0 0 0 0 17 1 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 23 0 1 0 10032204 7294976 504 4294967295 134512640 134538271 3220041440 3220039904 3083061317 0 0 4096 0 0 0 0 17 1 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 23 0 1 0 10032204 7294976 504 4294967295 134512640 134538271 3220041440 3220040160 3083060783 0 0 4096 0 0 0 0 17 1 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 23 0 1 0 10032204 7458816 521 4294967295 134512640 134538271 3220041440 3220040208 3085813973 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 23 0 1 0 10032204 7458816 521 4294967295 134512640 134538271 3220041440 3220040080 3084773420 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 2 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040160 3083060573 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040080 3084772524 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 3 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040352 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040192 3083060485 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040160 3083060603 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 4 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040196 3083060484 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040208 3084760991 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 5 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040160 3083060617 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040208 3085813975 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040352 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 6 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040208 3085813982 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040080 3084771557 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 7 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040080 3084769282 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040384 3084769758 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040432 3085316310 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 8 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040160 3083060795 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220039904 3083062024 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 9 0 0 0 23 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040352 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 24 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040160 3083060748 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 24 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220039904 3083061580 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 10 0 0 0 24 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220039904 3083062787 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 24 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040352 134529139 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1006 0 0 0 11 0 0 0 24 0 1 0 10032204 7458816 522 4294967295 134512640 134538271 3220041440 3220040204 3083060836 0 0 4096 0 0 0 0 17 0 0 0 0
30667 (gecode-qwh) R 30666 27426 24421 34816 27426 4202496 1020 0 0 0 12 0 0 0 24 0 1 0 10032204 7397376 476 4294967295 134512640 134538271 3220041440 3220040336 3086627856 0 0 4096 0 0 0 0 17 0 0 0 0
