30519 (sh) R 30518 27426 24421 34816 27426 4194304 115 0 0 0 0 0 0 0 21 0 1 0 10028796 933888 30 4294967295 134512640 135191968 3215501952 3215499340 3086798980 0 0 4096 0 0 0 0 17 1 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 21 0 1 0 10028796 7327744 490 4294967295 134512640 134538271 3215501968 3215500736 3085895895 0 0 4096 0 0 0 0 17 1 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 21 0 1 0 10028796 7327744 496 4294967295 134512640 134538271 3215501968 3215500608 3084851342 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 21 0 1 0 10028796 7327744 496 4294967295 134512640 134538271 3215501968 3215500432 3083144826 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 21 0 1 0 10028796 7327744 502 4294967295 134512640 134538271 3215501968 3215500736 3085895865 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 21 0 1 0 10028796 7327744 502 4294967295 134512640 134538271 3215501968 3215500608 3084855615 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 23 0 1 0 10028796 7327744 502 4294967295 134512640 134538271 3215501968 3215500732 3083142400 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142462 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500660 3080542938 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 7 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142665 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500728 3083142401 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142502 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 9 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500736 3085895921 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500432 3083145156 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 11 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142459 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500928 3086681491 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500720 3083142753 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 13 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142526 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142432 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 15 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142471 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500684 3083131879 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500608 3084854457 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 17 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500928 3086681696 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500608 3084851618 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 19 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500736 3085895912 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142564 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500864 3083141755 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 21 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500736 3085895902 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500688 3083142526 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 23 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500928 3086681497 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500928 3086681547 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500736 3085895875 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 25 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500880 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500736 3084842750 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 993 0 0 0 27 0 0 0 23 0 1 0 10028796 7327744 508 4294967295 134512640 134538271 3215501968 3215500928 3086681547 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028796 7491584 518 4294967295 134512640 134538271 3215501968 3215500736 3084842911 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028796 7491584 518 4294967295 134512640 134538271 3215501968 3215500736 3085895895 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 23 0 1 0 10028796 7491584 518 4294967295 134512640 134538271 3215501968 3215500608 3084851443 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 23 0 1 0 10028796 7491584 518 4294967295 134512640 134538271 3215501968 3215500688 3083142694 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1004 0 0 0 31 0 0 0 23 0 1 0 10028796 7491584 519 4294967295 134512640 134538271 3215501968 3215500688 3083142526 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 23 0 1 0 10028796 7491584 519 4294967295 134512640 134538271 3215501968 3215500944 3085412519 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 32 0 0 0 23 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500736 3085895856 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 33 0 0 0 23 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500928 3086681491 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 34 0 0 0 23 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500724 3083142404 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 35 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500736 3085895895 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500432 3083144749 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500736 3085895895 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 37 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500732 3083142756 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215501040 3086604827 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 39 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500608 3084855316 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500864 3083142291 0 0 4096 0 0 0 0 17 0 0 0 0
30519 (gecode-qwh) R 30518 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028796 7491584 520 4294967295 134512640 134538271 3215501968 3215500608 3084855340 0 0 4096 0 0 0 0 17 0 0 0 0
