30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4194304 495 0 0 0 0 0 0 0 21 0 1 0 10032239 364544 35 4294967295 134512640 134538271 3217990896 3217988220 3086893188 0 0 4096 0 0 0 0 17 1 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 945 0 0 0 0 0 0 0 21 0 1 0 10032239 7135232 462 4294967295 134512640 134538271 3217990896 3217989616 3083236670 0 0 4096 0 0 0 0 17 1 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 987 0 0 0 0 0 0 0 21 0 1 0 10032239 7299072 504 4294967295 134512640 134538271 3217990896 3217989856 3086775910 0 0 4096 0 0 0 0 17 1 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 987 0 0 0 1 0 0 0 25 0 1 0 10032239 7299072 504 4294967295 134512640 134538271 3217990896 3217989516 3083237781 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1003 0 0 0 1 0 0 0 25 0 1 0 10032239 7462912 520 4294967295 134512640 134538271 3217990896 3217989360 3083238082 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1004 0 0 0 2 0 0 0 25 0 1 0 10032239 7462912 521 4294967295 134512640 134538271 3217990896 3217989360 3083238062 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990135 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236704 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236713 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 3 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989536 3084948702 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989524 3083237783 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990067 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 4 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989660 3083236964 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989808 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 5 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236652 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236716 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989524 3083237076 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 6 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989888 3086774236 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236765 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 7 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3084936865 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236716 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989536 3084945563 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 8 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990110 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990101 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 9 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990103 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989644 3083236614 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990103 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 10 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989720 3084936833 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 11 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3085990120 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 11 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989616 3083236713 0 0 4096 0 0 0 0 17 0 0 0 0
30675 (gecode-qwh) R 30674 27426 24421 34816 27426 4202496 1005 0 0 0 12 0 0 0 25 0 1 0 10032239 7462912 522 4294967295 134512640 134538271 3217990896 3217989664 3084937126 0 0 4096 0 0 0 0 17 0 0 0 0
