30363 (sh) R 30362 27426 24421 34816 27426 4194304 206 0 0 0 0 0 0 0 25 0 1 0 10028363 2584576 101 4294967295 134512640 135191968 3213922544 3213922352 3084968000 0 0 4096 0 0 0 0 17 1 0 0 0
30363 (gecode-qwh) R 30362 27426 24421 34816 27426 4202496 953 0 0 0 0 0 0 0 25 0 1 0 10028363 7168000 470 4294967295 134512640 134538271 3213922576 3213921536 3086239202 0 0 4096 0 0 0 0 17 1 0 0 0
