29980 (sh) R 29978 27426 24421 34816 27426 4194304 436 0 0 0 0 0 0 0 25 0 1 0 10027752 3649536 325 4294967295 134512640 135191968 3220215536 3220214872 3085065046 0 0 4100 65536 0 0 0 17 0 0 0 0
29980 (gecode-qwh) R 29978 27426 24421 34816 27426 4194304 738 0 0 0 0 0 0 0 25 0 1 0 10027752 6991872 273 4294967295 134512640 134538271 3216173872 3216172544 3086686659 0 0 4096 0 0 0 0 17 0 0 0 0
29980 (gecode-qwh) R 29978 27426 24421 34816 27426 4202496 947 0 0 0 0 0 0 0 25 0 1 0 10027752 7172096 463 4294967295 134512640 134538271 3216173872 3216172336 3083075075 0 0 4096 0 0 0 0 17 0 0 0 0
