30886 (sh) R 30885 27426 24421 34816 27426 4194304 185 0 0 0 0 0 0 0 25 0 1 0 10034089 2678784 97 4294967295 134512640 135191968 3220785024 3220783460 3085915349 0 0 4096 0 0 0 0 17 1 0 0 0

30886 (gecode-qwh) R 30885 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 25 0 1 0 10034089 7294976 498 4294967295 134512640 134538271 3220785040 3220783808 3084007327 0 0 4096 0 0 0 0 17 1 0 0 0
30886 (gecode-qwh) R 30885 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 25 0 1 0 10034089 7294976 504 4294967295 134512640 134538271 3220785040 3220783808 3084007307 0 0 4096 0 0 0 0 17 1 0 0 0
30886 (gecode-qwh) R 30885 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 25 0 1 0 10034089 7458816 510 4294967295 134512640 134538271 3220785040 3220784000 3085845907 0 0 4096 0 0 0 0 17 1 0 0 0
30886 (gecode-qwh) R 30885 27426 24421 34816 27426 4202496 1008 0 0 0 2 0 0 0 25 0 1 0 10034089 7266304 512 4294967295 134512640 134538271 3220785040 3220783936 3085874192 0 0 4096 0 0 0 0 17 1 0 0 0
