31282 (sh) R 31281 27426 24421 34816 27426 4194304 98 0 0 0 0 0 0 0 25 0 1 0 10040052 925696 15 4294967295 134512640 135191968 3213230160 3213229116 3086860262 0 0 4096 0 0 0 0 17 1 0 0 0

31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 978 0 0 0 1 0 0 0 25 0 1 0 10040052 7327744 495 4294967295 134512640 134538271 3221166064 3221164832 3085322455 0 0 4096 0 0 0 0 17 1 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 25 0 1 0 10040052 7327744 496 4294967295 134512640 134538271 3221166064 3221164528 3082570334 0 0 4096 0 0 0 0 17 1 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 997 0 0 0 2 0 0 0 25 0 1 0 10040052 7491584 514 4294967295 134512640 134538271 3221166064 3221164704 3084281935 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 3 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164704 3084281948 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 4 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221165040 3084839153 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 5 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164704 3084277852 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 6 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164528 3082571267 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 6 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164704 3084277943 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 7 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164832 3085322453 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 8 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164832 3084269400 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 9 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164784 3082569013 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 10 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164704 3084281004 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 10 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221165024 3086108138 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 11 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221164784 3082569083 0 0 4096 0 0 0 0 17 0 0 0 0
31282 (gecode-qwh) R 31281 27426 24421 34816 27426 4202496 1003 0 0 0 12 0 0 0 25 0 1 0 10040052 7491584 520 4294967295 134512640 134538271 3221166064 3221165024 3086108051 0 0 4096 0 0 0 0 17 0 0 0 0
