6703 (sh) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 3657728 351 4294967295 134512640 135191968 3220296064 3220294948 3086382096 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (sh) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 3657728 351 4294967295 134512640 135191968 3220296064 3220294948 3086382096 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (sh) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 3657728 351 4294967295 134512640 135191968 3220296064 3220294948 3086382096 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 131072 1 4294967295 0 0 3213939574 3220294948 3086382096 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 131072 1 4294967295 0 0 3213939574 3220294948 3086382096 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 131072 1 4294967295 0 0 3213939574 3220294948 3086382096 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 462 0 0 0 0 0 0 0 25 0 1 0 7869305 131072 1 4294967295 0 0 3213939574 3220294948 3086382096 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 487 0 1 0 0 0 0 0 25 0 1 0 7869305 258048 26 4294967295 134512640 134548100 3213933264 3213930648 3086606468 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 487 0 1 0 0 0 0 0 25 0 1 0 7869305 258048 26 4294967295 134512640 134548100 3213933264 3213930648 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 487 0 1 0 0 0 0 0 25 0 1 0 7869305 258048 26 4294967295 134512640 134548100 3213933264 3213930648 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 488 0 1 0 0 0 0 0 25 0 1 0 7869305 290816 27 4294967295 134512640 134548100 3213933264 3213930528 3086609343 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 493 0 3 0 0 0 0 0 25 0 1 0 7869305 372736 34 4294967295 134512640 134548100 3213933264 3213930588 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 493 0 3 0 0 0 0 0 25 0 1 0 7869305 372736 34 4294967295 134512640 134548100 3213933264 3213930588 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 494 0 3 0 0 0 0 0 25 0 1 0 7869305 434176 35 4294967295 134512640 134548100 3213933264 3213930472 3086609343 0 0 4096 0 3222652410 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 496 0 4 0 0 0 0 0 25 0 1 0 7869305 434176 38 4294967295 134512640 134548100 3213933264 3213930564 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 496 0 4 0 0 0 0 0 25 0 1 0 7869305 434176 38 4294967295 134512640 134548100 3213933264 3213930564 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 496 0 4 0 0 0 0 0 25 0 1 0 7869305 434176 38 4294967295 134512640 134548100 3213933264 3213930564 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 496 0 4 0 0 0 0 0 25 0 1 0 7869305 434176 38 4294967295 134512640 134548100 3213933264 3213930564 3086606596 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 496 0 4 0 0 0 0 0 25 0 1 0 7869305 4177920 38 4294967295 134512640 134548100 3213933264 3213930444 3086609343 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 498 0 5 0 0 0 0 0 25 0 1 0 7869305 4177920 41 4294967295 134512640 134548100 3213933264 3213930888 3086608228 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 498 0 5 0 0 0 0 0 25 0 1 0 7869305 4177920 41 4294967295 134512640 134548100 3213933264 3213930888 3086608228 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4194304 663 0 9 0 0 0 0 0 25 0 1 0 7869305 7000064 206 4294967295 134512640 134548100 3213933264 3213931936 3086565200 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 805 0 11 0 0 0 0 0 25 0 1 0 7869305 6905856 332 4294967295 134512640 134548100 3213933264 3213933116 3085881360 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 806 0 12 0 0 0 0 0 25 0 1 0 7869305 6905856 334 4294967295 134512640 134548100 3213933264 3213933100 3085127984 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 806 0 12 0 0 0 0 0 25 0 1 0 7869305 6905856 334 4294967295 134512640 134548100 3213933264 3213933100 3085127984 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 809 0 14 0 0 0 0 0 25 0 1 0 7869305 6905856 339 4294967295 134512640 134548100 3213933264 3213933100 3084880000 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 810 0 16 0 0 0 0 0 25 0 1 0 7869305 6905856 342 4294967295 134512640 134548100 3213933264 3213933100 3084619664 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 812 0 17 0 0 0 0 0 25 0 1 0 7869305 6905856 345 4294967295 134512640 134548100 3213933264 3213933100 3084461600 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 814 0 19 0 0 0 0 0 24 0 1 0 7869305 6905856 349 4294967295 134512640 134548100 3213933264 3213933100 3083984640 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 814 0 20 0 0 0 0 0 24 0 1 0 7869305 6905856 350 4294967295 134512640 134548100 3213933264 3213933100 3083894880 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 814 0 20 0 0 0 0 0 24 0 1 0 7869305 6905856 350 4294967295 134512640 134548100 3213933264 3213933100 3083894880 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 814 0 21 0 0 0 0 0 24 0 1 0 7869305 6905856 351 4294967295 134512640 134548100 3213933264 3213933100 3083433232 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 815 0 23 0 0 0 0 0 24 0 1 0 7869305 6905856 354 4294967295 134512640 134548100 3213933264 3213933100 3083173968 0 0 4096 0 3222542128 0 0 17 0 0 0 0
6703 (gecode-srq) D 6702 6681 5280 34817 6681 4202496 889 0 28 0 0 0 0 0 24 0 1 0 7869305 7041024 433 4294967295 134512640 134548100 3213933264 3213931344 3085825771 0 0 4096 0 3222542128 0 0 17 0 0 0 0
