30882 (gecode-qwh) R 30881 27426 24421 34816 27426 4202496 982 0 0 0 0 0 0 0 24 0 1 0 10034079 7294976 499 4294967295 134512640 134538271 3220246288 3220245008 3082798398 0 0 4096 0 0 0 0 17 1 0 0 0
30882 (gecode-qwh) R 30881 27426 24421 34816 27426 4202496 988 0 0 0 1 0 0 0 25 0 1 0 10034079 7294976 505 4294967295 134512640 134538271 3220246288 3220245008 3082798462 0 0 4096 0 0 0 0 17 1 0 0 0
30882 (gecode-qwh) R 30881 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 25 0 1 0 10034079 7458816 511 4294967295 134512640 134538271 3220246288 3220245056 3084498845 0 0 4096 0 0 0 0 17 1 0 0 0
30882 (gecode-qwh) R 30881 27426 24421 34816 27426 4202496 1008 0 0 0 3 0 0 0 25 0 1 0 10034079 7462912 525 4294967295 134512640 134538271 3220246288 3220245288 3086365712 0 0 4096 0 0 0 0 17 1 0 0 0
