29886 (gecode-qwh) R 29884 27426 24421 34816 27426 4194304 583 0 0 0 0 0 0 0 25 0 1 0 10027586 6987776 118 4294967295 134512640 134538271 3216542608 3216541280 3086896399 0 0 4096 0 0 0 0 17 1 0 0 0
29886 (gecode-qwh) R 29884 27426 24421 34816 27426 4202496 944 0 0 0 0 0 0 0 25 0 1 0 10027586 7168000 459 4294967295 134512640 134538271 3216542608 3216541072 3083283971 0 0 4096 0 0 0 0 17 1 0 0 0
29886 (gecode-qwh) R 29884 27426 24421 34816 27426 4202496 956 0 0 0 0 0 0 0 25 0 1 0 10027586 7168000 471 4294967295 134512640 134538271 3216542608 3216541568 3086820811 0 0 4096 0 0 0 0 17 1 0 0 0
29886 (gecode-qwh) R 29884 27426 24421 34816 27426 4202496 970 0 0 0 1 0 0 0 25 0 1 0 10027586 7172096 485 4294967295 134512640 134538271 3216542608 3216541608 3086849040 0 0 4096 0 0 0 0 17 1 0 0 0
