30488 (sh) R 30487 27426 24421 34816 27426 4194304 201 0 0 0 0 0 0 0 25 0 1 0 10028555 2682880 96 4294967295 134512640 135191968 3217611904 3217610836 3086517073 0 0 4096 0 0 0 0 17 1 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 974 0 0 0 0 0 0 0 25 0 1 0 10028555 7331840 490 4294967295 134512640 134538271 3217611920 3217610688 3084560287 0 0 4096 0 0 0 0 17 1 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10028555 7331840 496 4294967295 134512640 134538271 3217611920 3217610640 3082860112 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10028555 7331840 496 4294967295 134512640 134538271 3217611920 3217610640 3082859913 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10028555 7331840 502 4294967295 134512640 134538271 3217611920 3217610880 3086398946 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10028555 7331840 502 4294967295 134512640 134538271 3217611920 3217610560 3084568701 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10028555 7331840 502 4294967295 134512640 134538271 3217611920 3217610832 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 5 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3084560048 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 6 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610832 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 7 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3085613275 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 8 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082859968 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 8 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3085613303 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 9 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3084560203 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 10 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610560 3084568691 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 11 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3085613200 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3084560331 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082859899 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 13 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610940 3086396519 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 14 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610384 3082860972 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 15 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082859878 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 16 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610908 3082857712 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 16 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082860100 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 17 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610384 3082861752 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 18 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082859919 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 19 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610812 3084532080 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 20 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3084560251 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 20 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3085613278 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 21 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610828 3086401360 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 22 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610880 3084573113 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 23 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610864 3084568549 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 24 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082859962 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 24 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610688 3084560322 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 25 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610560 3084568949 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 26 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610980 134529828 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 992 0 0 0 27 0 0 0 25 0 1 0 10028555 7331840 508 4294967295 134512640 134538271 3217611920 3217610640 3082859878 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 25 0 1 0 10028555 7495680 518 4294967295 134512640 134538271 3217611920 3217610384 3082862083 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1002 0 0 0 28 0 0 0 25 0 1 0 10028555 7495680 518 4294967295 134512640 134538271 3217611920 3217610688 3085613200 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1002 0 0 0 29 0 0 0 25 0 1 0 10028555 7495680 518 4294967295 134512640 134538271 3217611920 3217610640 3082860213 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 25 0 1 0 10028555 7495680 519 4294967295 134512640 134538271 3217611920 3217610640 3082859890 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1003 0 0 0 31 0 0 0 25 0 1 0 10028555 7495680 519 4294967295 134512640 134538271 3217611920 3217610688 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 25 0 1 0 10028555 7495680 519 4294967295 134512640 134538271 3217611920 3217610640 3082859933 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610688 3085613269 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 33 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610640 3082859902 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610688 3084560316 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 35 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610688 3084560279 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610688 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610688 3085613297 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 37 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610640 3082859796 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610684 3082848680 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 39 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610384 3082861326 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610640 3082860208 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 25 0 1 0 10028555 7495680 520 4294967295 134512640 134538271 3217611920 3217610688 3084560143 0 0 4096 0 0 0 0 17 0 0 0 0
30488 (gecode-qwh) R 30487 27426 24421 34816 27426 4202496 1018 0 0 0 41 0 0 0 25 0 1 0 10028555 7499776 534 4294967295 134512640 134538271 3217611920 3217610848 134529619 0 0 4096 0 0 0 0 17 0 0 0 0

