About the Execution of Smart+red for RERS2020-PT-pb103
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1958.943 | 3600000.00 | 3688142.00 | 8692.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204200240.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS2020-PT-pb103, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200240
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 7.2K Feb 26 08:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 08:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 08:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 08:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 08:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 08:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 18M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679119058441
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb103
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 05:57:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 05:57:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 05:57:41] [INFO ] Load time of PNML (sax parser for PT used): 742 ms
[2023-03-18 05:57:41] [INFO ] Transformed 520 places.
[2023-03-18 05:57:41] [INFO ] Transformed 31658 transitions.
[2023-03-18 05:57:41] [INFO ] Found NUPN structural information;
[2023-03-18 05:57:41] [INFO ] Parsed PT model containing 520 places and 31658 transitions and 125892 arcs in 964 ms.
[2023-03-18 05:57:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 520 places, 31658 transitions and 125892 arcs took 173 ms.
Total runtime 1173 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb103
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 520 places, 31658 transitions, 125892 arcs.
AT ITER 0 NEW BEST:: SOT 9380196 SOS 6481097 HAS SOPS 5339041 HAS SOUS 1816091 HAS SOUPS 1794598 WITH SCORE 1801079.097
AT ITER 11 NEW BEST:: SOT 9379824 SOS 6480709 HAS SOPS 5338545 HAS SOUS 1815259 HAS SOUPS 1793770 WITH SCORE 1800250.709
AT ITER 20 NEW BEST:: SOT 9379936 SOS 6480821 HAS SOPS 5338539 HAS SOUS 1814981 HAS SOUPS 1793489 WITH SCORE 1799969.821
AT ITER 21 NEW BEST:: SOT 9385874 SOS 6480896 HAS SOPS 5334069 HAS SOUS 1799394 HAS SOUPS 1777814 WITH SCORE 1784294.896
AT ITER 30 NEW BEST:: SOT 9384865 SOS 6479872 HAS SOPS 5332905 HAS SOUS 1798365 HAS SOUPS 1776801 WITH SCORE 1783280.872
AT ITER 38 NEW BEST:: SOT 9384865 SOS 6478549 HAS SOPS 5331582 HAS SOUS 1798365 HAS SOUPS 1776801 WITH SCORE 1783279.549
AT ITER 39 NEW BEST:: SOT 9384863 SOS 6478329 HAS SOPS 5331362 HAS SOUS 1798363 HAS SOUPS 1776799 WITH SCORE 1783277.329
AT ITER 45 NEW BEST:: SOT 9389785 SOS 6487179 HAS SOPS 5343522 HAS SOUS 1796668 HAS SOUPS 1775104 WITH SCORE 1781591.179
AT ITER 50 NEW BEST:: SOT 9390301 SOS 6477634 HAS SOPS 5333501 HAS SOUS 1796133 HAS SOUPS 1774569 WITH SCORE 1781046.634
AT ITER 56 NEW BEST:: SOT 9390301 SOS 6477626 HAS SOPS 5333489 HAS SOUS 1796125 HAS SOUPS 1774561 WITH SCORE 1781038.626
AT ITER 66 NEW BEST:: SOT 9376198 SOS 6463469 HAS SOPS 5318428 HAS SOUS 1777434 HAS SOUPS 1755827 WITH SCORE 1762290.469
AT ITER 88 NEW BEST:: SOT 9390438 SOS 6471012 HAS SOPS 5314431 HAS SOUS 1775930 HAS SOUPS 1754468 WITH SCORE 1760939.012
AT ITER 94 NEW BEST:: SOT 9387211 SOS 6486261 HAS SOPS 5321504 HAS SOUS 1775957 HAS SOUPS 1754398 WITH SCORE 1760884.261
AT ITER 104 NEW BEST:: SOT 9386763 SOS 6485841 HAS SOPS 5320832 HAS SOUS 1774109 HAS SOUPS 1752550 WITH SCORE 1759035.841
AT ITER 105 NEW BEST:: SOT 9389121 SOS 6488216 HAS SOPS 5322695 HAS SOUS 1772450 HAS SOUPS 1750891 WITH SCORE 1757379.216
AT ITER 113 NEW BEST:: SOT 9388372 SOS 6487464 HAS SOPS 5321725 HAS SOUS 1771126 HAS SOUPS 1749567 WITH SCORE 1756054.464
AT ITER 117 NEW BEST:: SOT 9386985 SOS 6474323 HAS SOPS 5319093 HAS SOUS 1769955 HAS SOUPS 1748396 WITH SCORE 1754870.323
AT ITER 120 NEW BEST:: SOT 9386985 SOS 6474163 HAS SOPS 5318807 HAS SOUS 1769940 HAS SOUPS 1748374 WITH SCORE 1754848.163
AT ITER 129 NEW BEST:: SOT 9380877 SOS 6470707 HAS SOPS 5316422 HAS SOUS 1766922 HAS SOUPS 1745191 WITH SCORE 1751661.707
AT ITER 135 NEW BEST:: SOT 9373758 SOS 6461690 HAS SOPS 5309039 HAS SOUS 1764251 HAS SOUPS 1742520 WITH SCORE 1748981.69
AT ITER 150 NEW BEST:: SOT 9375346 SOS 6459977 HAS SOPS 5301017 HAS SOUS 1760032 HAS SOUPS 1738411 WITH SCORE 1744870.977
AT ITER 156 NEW BEST:: SOT 9373863 SOS 6448578 HAS SOPS 5280978 HAS SOUS 1755280 HAS SOUPS 1733659 WITH SCORE 1740107.578
AT ITER 166 NEW BEST:: SOT 9376472 SOS 6451018 HAS SOPS 5278276 HAS SOUS 1748449 HAS SOUPS 1726424 WITH SCORE 1732875.018
AT ITER 180 NEW BEST:: SOT 9376453 SOS 6451375 HAS SOPS 5278712 HAS SOUS 1748438 HAS SOUPS 1726413 WITH SCORE 1732864.375
AT ITER 182 NEW BEST:: SOT 9376316 SOS 6451190 HAS SOPS 5278398 HAS SOUS 1747190 HAS SOUPS 1725165 WITH SCORE 1731616.19
AT ITER 213 NEW BEST:: SOT 9377180 SOS 6463939 HAS SOPS 5291197 HAS SOUS 1746592 HAS SOUPS 1724641 WITH SCORE 1731104.939
AT ITER 216 NEW BEST:: SOT 9377180 SOS 6463933 HAS SOPS 5291191 HAS SOUS 1746591 HAS SOUPS 1724640 WITH SCORE 1731103.933
AT ITER 220 NEW BEST:: SOT 9364002 SOS 6451857 HAS SOPS 5275942 HAS SOUS 1735416 HAS SOUPS 1713413 WITH SCORE 1719864.857
AT ITER 222 NEW BEST:: SOT 9366678 SOS 6456957 HAS SOPS 5280702 HAS SOUS 1733663 HAS SOUPS 1711812 WITH SCORE 1718268.957
AT ITER 227 NEW BEST:: SOT 9373307 SOS 6458626 HAS SOPS 5293092 HAS SOUS 1732884 HAS SOUPS 1711121 WITH SCORE 1717579.626
AT ITER 228 NEW BEST:: SOT 9378635 SOS 6454437 HAS SOPS 5274316 HAS SOUS 1728766 HAS SOUPS 1707149 WITH SCORE 1713603.437
AT ITER 230 NEW BEST:: SOT 9378095 SOS 6453897 HAS SOPS 5273776 HAS SOUS 1728103 HAS SOUPS 1706486 WITH SCORE 1712939.897
AT ITER 235 NEW BEST:: SOT 9375608 SOS 6438609 HAS SOPS 5250706 HAS SOUS 1720019 HAS SOUPS 1698516 WITH SCORE 1704954.609
AT ITER 245 NEW BEST:: SOT 9375544 SOS 6438553 HAS SOPS 5250656 HAS SOUS 1719805 HAS SOUPS 1698302 WITH SCORE 1704740.553
AT ITER 250 NEW BEST:: SOT 9371943 SOS 6435003 HAS SOPS 5245937 HAS SOUS 1710769 HAS SOUPS 1689266 WITH SCORE 1695701.003
AT ITER 252 NEW BEST:: SOT 9354613 SOS 6417379 HAS SOPS 5226714 HAS SOUS 1707932 HAS SOUPS 1686429 WITH SCORE 1692846.379
AT ITER 254 NEW BEST:: SOT 9354605 SOS 6416648 HAS SOPS 5225983 HAS SOUS 1707842 HAS SOUPS 1686339 WITH SCORE 1692755.648
AT ITER 255 NEW BEST:: SOT 9349403 SOS 6410598 HAS SOPS 5218781 HAS SOUS 1700870 HAS SOUPS 1679367 WITH SCORE 1685777.598
AT ITER 261 NEW BEST:: SOT 9356698 SOS 6398642 HAS SOPS 5212016 HAS SOUS 1701132 HAS SOUPS 1678730 WITH SCORE 1685128.642
AT ITER 272 NEW BEST:: SOT 9351177 SOS 6395921 HAS SOPS 5210933 HAS SOUS 1700770 HAS SOUPS 1678198 WITH SCORE 1684593.921
AT ITER 273 NEW BEST:: SOT 9323471 SOS 6379847 HAS SOPS 5202060 HAS SOUS 1679343 HAS SOUPS 1658671 WITH SCORE 1665050.847
AT ITER 274 NEW BEST:: SOT 9323555 SOS 6380982 HAS SOPS 5204482 HAS SOUS 1679262 HAS SOUPS 1658596 WITH SCORE 1664976.982
AT ITER 293 NEW BEST:: SOT 9321921 SOS 6375344 HAS SOPS 5195719 HAS SOUS 1676666 HAS SOUPS 1656000 WITH SCORE 1662375.344
AT ITER 321 NEW BEST:: SOT 9321298 SOS 6418747 HAS SOPS 5237665 HAS SOUS 1669045 HAS SOUPS 1648386 WITH SCORE 1654804.747
AT ITER 327 NEW BEST:: SOT 9322578 SOS 6419903 HAS SOPS 5238052 HAS SOUS 1668199 HAS SOUPS 1647624 WITH SCORE 1654043.903
AT ITER 341 NEW BEST:: SOT 9317685 SOS 6433715 HAS SOPS 5251706 HAS SOUS 1663912 HAS SOUPS 1643313 WITH SCORE 1649746.715
AT ITER 357 NEW BEST:: SOT 9316439 SOS 6432445 HAS SOPS 5249747 HAS SOUS 1660698 HAS SOUPS 1640099 WITH SCORE 1646531.445
AT ITER 360 NEW BEST:: SOT 9314742 SOS 6429113 HAS SOPS 5245551 HAS SOUS 1658366 HAS SOUPS 1637744 WITH SCORE 1644173.113
AT ITER 362 NEW BEST:: SOT 9322383 SOS 6431198 HAS SOPS 5243426 HAS SOUS 1644808 HAS SOUPS 1624186 WITH SCORE 1630617.198
AT ITER 363 NEW BEST:: SOT 9325907 SOS 6449279 HAS SOPS 5259843 HAS SOUS 1639690 HAS SOUPS 1619164 WITH SCORE 1625613.279
AT ITER 370 NEW BEST:: SOT 9327027 SOS 6450305 HAS SOPS 5259644 HAS SOUS 1633662 HAS SOUPS 1613136 WITH SCORE 1619586.305
AT ITER 388 NEW BEST:: SOT 9336040 SOS 6453121 HAS SOPS 5259345 HAS SOUS 1626566 HAS SOUPS 1606040 WITH SCORE 1612493.121
AT ITER 389 NEW BEST:: SOT 9336041 SOS 6452946 HAS SOPS 5256980 HAS SOUS 1625550 HAS SOUPS 1605024 WITH SCORE 1611476.946
AT ITER 393 NEW BEST:: SOT 9335925 SOS 6448876 HAS SOPS 5250768 HAS SOUS 1625163 HAS SOUPS 1604637 WITH SCORE 1611085.876
AT ITER 420 NEW BEST:: SOT 9340731 SOS 6450188 HAS SOPS 5250064 HAS SOUS 1616613 HAS SOUPS 1596087 WITH SCORE 1602537.188
AT ITER 421 NEW BEST:: SOT 9340728 SOS 6450206 HAS SOPS 5250082 HAS SOUS 1616574 HAS SOUPS 1596048 WITH SCORE 1602498.206
AT ITER 428 NEW BEST:: SOT 9338696 SOS 6448174 HAS SOPS 5247171 HAS SOUS 1614362 HAS SOUPS 1593828 WITH SCORE 1600276.174
AT ITER 430 NEW BEST:: SOT 9338359 SOS 6447829 HAS SOPS 5246733 HAS SOUS 1613647 HAS SOUPS 1593113 WITH SCORE 1599560.829
AT ITER 432 NEW BEST:: SOT 9339543 SOS 6447254 HAS SOPS 5246878 HAS SOUS 1612592 HAS SOUPS 1592098 WITH SCORE 1598545.254
AT ITER 436 NEW BEST:: SOT 9370137 SOS 6452613 HAS SOPS 5273027 HAS SOUS 1612056 HAS SOUPS 1591768 WITH SCORE 1598220.613
AT ITER 437 NEW BEST:: SOT 9367669 SOS 6450145 HAS SOPS 5270016 HAS SOUS 1606759 HAS SOUPS 1586471 WITH SCORE 1592921.145
AT ITER 441 NEW BEST:: SOT 9367834 SOS 6450295 HAS SOPS 5270166 HAS SOUS 1606549 HAS SOUPS 1586261 WITH SCORE 1592711.295
AT ITER 445 NEW BEST:: SOT 9368119 SOS 6451000 HAS SOPS 5270711 HAS SOUS 1606283 HAS SOUPS 1585995 WITH SCORE 1592446.0
AT ITER 449 NEW BEST:: SOT 9366867 SOS 6449681 HAS SOPS 5269289 HAS SOUS 1604237 HAS SOUPS 1583949 WITH SCORE 1590398.681
AT ITER 458 NEW BEST:: SOT 9366207 SOS 6450405 HAS SOPS 5270512 HAS SOUS 1601661 HAS SOUPS 1581658 WITH SCORE 1588108.405
AT ITER 460 NEW BEST:: SOT 9369091 SOS 6452879 HAS SOPS 5271760 HAS SOUS 1598685 HAS SOUPS 1578207 WITH SCORE 1584659.879
AT ITER 461 NEW BEST:: SOT 9367450 SOS 6449517 HAS SOPS 5266312 HAS SOUS 1591569 HAS SOUPS 1571091 WITH SCORE 1577540.517
AT ITER 467 NEW BEST:: SOT 9375044 SOS 6450318 HAS SOPS 5254388 HAS SOUS 1579536 HAS SOUPS 1559198 WITH SCORE 1565648.318
AT ITER 484 NEW BEST:: SOT 9384321 SOS 6445913 HAS SOPS 5260478 HAS SOUS 1576776 HAS SOUPS 1556548 WITH SCORE 1562993.913
AT ITER 501 NEW BEST:: SOT 9383911 SOS 6445503 HAS SOPS 5259958 HAS SOUS 1576196 HAS SOUPS 1555968 WITH SCORE 1562413.503
AT ITER 523 NEW BEST:: SOT 9382815 SOS 6444364 HAS SOPS 5258437 HAS SOUS 1574070 HAS SOUPS 1553751 WITH SCORE 1560195.364
AT ITER 531 NEW BEST:: SOT 9382588 SOS 6443943 HAS SOPS 5257956 HAS SOUS 1573996 HAS SOUPS 1553677 WITH SCORE 1560120.943
AT ITER 557 NEW BEST:: SOT 9382605 SOS 6441506 HAS SOPS 5257627 HAS SOUS 1573959 HAS SOUPS 1553657 WITH SCORE 1560098.506
AT ITER 562 NEW BEST:: SOT 9380174 SOS 6435797 HAS SOPS 5250007 HAS SOUS 1572336 HAS SOUPS 1552114 WITH SCORE 1558549.797
AT ITER 575 NEW BEST:: SOT 9355698 SOS 6424124 HAS SOPS 5230631 HAS SOUS 1554023 HAS SOUPS 1527914 WITH SCORE 1534338.124
AT ITER 588 NEW BEST:: SOT 9356467 SOS 6424843 HAS SOPS 5231155 HAS SOUS 1552460 HAS SOUPS 1526351 WITH SCORE 1532775.843
AT ITER 591 NEW BEST:: SOT 9355622 SOS 6421403 HAS SOPS 5227097 HAS SOUS 1551262 HAS SOUPS 1525153 WITH SCORE 1531574.403
AT ITER 593 NEW BEST:: SOT 9355622 SOS 6425031 HAS SOPS 5230725 HAS SOUS 1551158 HAS SOUPS 1525049 WITH SCORE 1531474.031
AT ITER 597 NEW BEST:: SOT 9356448 SOS 6424402 HAS SOPS 5230769 HAS SOUS 1551117 HAS SOUPS 1525008 WITH SCORE 1531432.402
AT ITER 603 NEW BEST:: SOT 9353226 SOS 6421199 HAS SOPS 5227647 HAS SOUS 1549431 HAS SOUPS 1523322 WITH SCORE 1529743.199
AT ITER 613 NEW BEST:: SOT 9355917 SOS 6411760 HAS SOPS 5223960 HAS SOUS 1548695 HAS SOUPS 1522662 WITH SCORE 1529073.76
AT ITER 614 NEW BEST:: SOT 9355581 SOS 6411565 HAS SOPS 5223390 HAS SOUS 1547988 HAS SOUPS 1521955 WITH SCORE 1528366.565
AT ITER 640 NEW BEST:: SOT 9353170 SOS 6409222 HAS SOPS 5221318 HAS SOUS 1547610 HAS SOUPS 1521577 WITH SCORE 1527986.222
AT ITER 645 NEW BEST:: SOT 9352696 SOS 6408758 HAS SOPS 5220821 HAS SOUS 1547315 HAS SOUPS 1521282 WITH SCORE 1527690.758
AT ITER 661 NEW BEST:: SOT 9352572 SOS 6407204 HAS SOPS 5219259 HAS SOUS 1547193 HAS SOUPS 1521160 WITH SCORE 1527567.204
AT ITER 662 NEW BEST:: SOT 9349905 SOS 6404487 HAS SOPS 5216390 HAS SOUS 1543260 HAS SOUPS 1517216 WITH SCORE 1523620.487
AT ITER 664 NEW BEST:: SOT 9349895 SOS 6403659 HAS SOPS 5215098 HAS SOUS 1543264 HAS SOUPS 1517204 WITH SCORE 1523607.659
AT ITER 686 NEW BEST:: SOT 9349895 SOS 6403486 HAS SOPS 5215045 HAS SOUS 1543235 HAS SOUPS 1517184 WITH SCORE 1523587.486
AT ITER 687 NEW BEST:: SOT 9347737 SOS 6401139 HAS SOPS 5211687 HAS SOUS 1540072 HAS SOUPS 1514021 WITH SCORE 1520422.139
AT ITER 690 NEW BEST:: SOT 9346990 SOS 6398034 HAS SOPS 5206515 HAS SOUS 1537777 HAS SOUPS 1511573 WITH SCORE 1517971.034
AT ITER 716 NEW BEST:: SOT 9346952 SOS 6398027 HAS SOPS 5206595 HAS SOUS 1537574 HAS SOUPS 1511370 WITH SCORE 1517768.027
AT ITER 722 NEW BEST:: SOT 9342339 SOS 6393266 HAS SOPS 5201227 HAS SOUS 1532518 HAS SOUPS 1506272 WITH SCORE 1512665.266
AT ITER 728 NEW BEST:: SOT 9342221 SOS 6393157 HAS SOPS 5201069 HAS SOUS 1532147 HAS SOUPS 1505901 WITH SCORE 1512294.157
AT ITER 733 NEW BEST:: SOT 9340217 SOS 6394221 HAS SOPS 5199638 HAS SOUS 1529236 HAS SOUPS 1502990 WITH SCORE 1509384.221
AT ITER 755 NEW BEST:: SOT 9365860 SOS 6415050 HAS SOPS 5216253 HAS SOUS 1526830 HAS SOUPS 1500773 WITH SCORE 1507188.05
AT ITER 761 NEW BEST:: SOT 9365738 SOS 6414912 HAS SOPS 5216106 HAS SOUS 1526368 HAS SOUPS 1500319 WITH SCORE 1506733.912
AT ITER 770 NEW BEST:: SOT 9364784 SOS 6414093 HAS SOPS 5214834 HAS SOUS 1526347 HAS SOUPS 1500271 WITH SCORE 1506685.093
AT ITER 779 NEW BEST:: SOT 9364712 SOS 6414021 HAS SOPS 5214679 HAS SOUS 1525959 HAS SOUPS 1499883 WITH SCORE 1506297.021
AT ITER 786 NEW BEST:: SOT 9354492 SOS 6403802 HAS SOPS 5208596 HAS SOUS 1515832 HAS SOUPS 1490197 WITH SCORE 1496600.802
AT ITER 795 NEW BEST:: SOT 9363199 SOS 6402738 HAS SOPS 5195601 HAS SOUS 1511924 HAS SOUPS 1486500 WITH SCORE 1492902.738
AT ITER 803 NEW BEST:: SOT 9367217 SOS 6407283 HAS SOPS 5196612 HAS SOUS 1507299 HAS SOUPS 1481935 WITH SCORE 1488342.283
AT ITER 816 NEW BEST:: SOT 9367135 SOS 6407170 HAS SOPS 5196467 HAS SOUS 1506346 HAS SOUPS 1480982 WITH SCORE 1487389.17
AT ITER 817 NEW BEST:: SOT 9366589 SOS 6407932 HAS SOPS 5196189 HAS SOUS 1498776 HAS SOUPS 1473304 WITH SCORE 1479711.932
AT ITER 818 NEW BEST:: SOT 9366625 SOS 6407965 HAS SOPS 5196222 HAS SOUS 1498737 HAS SOUPS 1473265 WITH SCORE 1479672.965
AT ITER 822 NEW BEST:: SOT 9365390 SOS 6395671 HAS SOPS 5195961 HAS SOUS 1498153 HAS SOUPS 1472737 WITH SCORE 1479132.671
AT ITER 826 NEW BEST:: SOT 9365035 SOS 6391819 HAS SOPS 5188515 HAS SOUS 1497739 HAS SOUPS 1472306 WITH SCORE 1478697.819
AT ITER 827 NEW BEST:: SOT 9364558 SOS 6391327 HAS SOPS 5187602 HAS SOUS 1496848 HAS SOUPS 1471415 WITH SCORE 1477806.327
AT ITER 831 NEW BEST:: SOT 9364681 SOS 6391463 HAS SOPS 5187649 HAS SOUS 1496539 HAS SOUPS 1471106 WITH SCORE 1477497.463
AT ITER 834 NEW BEST:: SOT 9358632 SOS 6385445 HAS SOPS 5184914 HAS SOUS 1492794 HAS SOUPS 1468768 WITH SCORE 1475153.445
AT ITER 857 NEW BEST:: SOT 9350513 SOS 6374113 HAS SOPS 5172408 HAS SOUS 1480498 HAS SOUPS 1456605 WITH SCORE 1462979.113
AT ITER 868 NEW BEST:: SOT 9353216 SOS 6376639 HAS SOPS 5174142 HAS SOUS 1478003 HAS SOUPS 1454152 WITH SCORE 1460528.639
AT ITER 882 NEW BEST:: SOT 9353238 SOS 6376808 HAS SOPS 5172999 HAS SOUS 1470590 HAS SOUPS 1446605 WITH SCORE 1452981.808
AT ITER 887 NEW BEST:: SOT 9353278 SOS 6376862 HAS SOPS 5172837 HAS SOUS 1469640 HAS SOUPS 1445655 WITH SCORE 1452031.862
AT ITER 890 NEW BEST:: SOT 9353680 SOS 6377297 HAS SOPS 5172978 HAS SOUS 1468435 HAS SOUPS 1444450 WITH SCORE 1450827.297
AT ITER 908 NEW BEST:: SOT 9352671 SOS 6376230 HAS SOPS 5171621 HAS SOUS 1468430 HAS SOUPS 1444445 WITH SCORE 1450821.23
AT ITER 919 NEW BEST:: SOT 9345711 SOS 6369270 HAS SOPS 5165521 HAS SOUS 1462130 HAS SOUPS 1438145 WITH SCORE 1444514.27
AT ITER 923 NEW BEST:: SOT 9345644 SOS 6367373 HAS SOPS 5167284 HAS SOUS 1461837 HAS SOUPS 1437889 WITH SCORE 1444256.373
AT ITER 934 NEW BEST:: SOT 9345650 SOS 6367350 HAS SOPS 5167128 HAS SOUS 1461501 HAS SOUPS 1437553 WITH SCORE 1443920.35
AT ITER 944 NEW BEST:: SOT 9371339 SOS 6383585 HAS SOPS 5161928 HAS SOUS 1450336 HAS SOUPS 1425156 WITH SCORE 1431539.585
AT ITER 960 NEW BEST:: SOT 9371489 SOS 6383745 HAS SOPS 5162138 HAS SOUS 1449656 HAS SOUPS 1424476 WITH SCORE 1430859.745
AT ITER 961 NEW BEST:: SOT 9378422 SOS 6387650 HAS SOPS 5155859 HAS SOUS 1445996 HAS SOUPS 1420971 WITH SCORE 1427358.65
AT ITER 981 NEW BEST:: SOT 9369792 SOS 6352913 HAS SOPS 5118184 HAS SOUS 1442025 HAS SOUPS 1416753 WITH SCORE 1423105.913
AT ITER 992 NEW BEST:: SOT 9369726 SOS 6354590 HAS SOPS 5119830 HAS SOUS 1440825 HAS SOUPS 1415553 WITH SCORE 1421907.59
AT ITER 994 NEW BEST:: SOT 9372211 SOS 6357732 HAS SOPS 5123061 HAS SOUS 1440400 HAS SOUPS 1415167 WITH SCORE 1421524.732
AT ITER 998 NEW BEST:: SOT 9371792 SOS 6357296 HAS SOPS 5122406 HAS SOUS 1439483 HAS SOUPS 1414250 WITH SCORE 1420607.296
AT ITER 1000 NEW BEST:: SOT 9362524 SOS 6347979 HAS SOPS 5113069 HAS SOUS 1426676 HAS SOUPS 1401443 WITH SCORE 1407790.979
AT ITER 1009 NEW BEST:: SOT 9357512 SOS 6344934 HAS SOPS 5111044 HAS SOUS 1423527 HAS SOUPS 1398294 WITH SCORE 1404638.934
AT ITER 1027 NEW BEST:: SOT 9357384 SOS 6343612 HAS SOPS 5109077 HAS SOUS 1423474 HAS SOUPS 1398235 WITH SCORE 1404578.612
AT ITER 1041 NEW BEST:: SOT 9356803 SOS 6344104 HAS SOPS 5108812 HAS SOUS 1420000 HAS SOUPS 1394919 WITH SCORE 1401263.104
AT ITER 1052 NEW BEST:: SOT 9392603 SOS 6367909 HAS SOPS 5114573 HAS SOUS 1413808 HAS SOUPS 1388877 WITH SCORE 1395244.909
AT ITER 1057 NEW BEST:: SOT 9392239 SOS 6367531 HAS SOPS 5114027 HAS SOUS 1412380 HAS SOUPS 1387449 WITH SCORE 1393816.531
AT ITER 1060 NEW BEST:: SOT 9390084 SOS 6365259 HAS SOPS 5110486 HAS SOUS 1405996 HAS SOUPS 1381065 WITH SCORE 1387430.259
AT ITER 1087 NEW BEST:: SOT 9388869 SOS 6348063 HAS SOPS 5092845 HAS SOUS 1405533 HAS SOUPS 1380602 WITH SCORE 1386950.063
AT ITER 1091 NEW BEST:: SOT 9402578 SOS 6360872 HAS SOPS 5102538 HAS SOUS 1403325 HAS SOUPS 1378470 WITH SCORE 1384830.872
AT ITER 1093 NEW BEST:: SOT 9402242 SOS 6360529 HAS SOPS 5102251 HAS SOUS 1402940 HAS SOUPS 1378085 WITH SCORE 1384445.529
AT ITER 1110 NEW BEST:: SOT 9400260 SOS 6355165 HAS SOPS 5099773 HAS SOUS 1400578 HAS SOUPS 1375723 WITH SCORE 1382078.165
AT ITER 1113 NEW BEST:: SOT 9399373 SOS 6351712 HAS SOPS 5095821 HAS SOUS 1400511 HAS SOUPS 1375656 WITH SCORE 1382007.712
AT ITER 1120 NEW BEST:: SOT 9399314 SOS 6351651 HAS SOPS 5095733 HAS SOUS 1400325 HAS SOUPS 1375470 WITH SCORE 1381821.651
AT ITER 1150 NEW BEST:: SOT 9398914 SOS 6351266 HAS SOPS 5095265 HAS SOUS 1399071 HAS SOUPS 1374216 WITH SCORE 1380567.266
AT ITER 1165 NEW BEST:: SOT 9402097 SOS 6349028 HAS SOPS 5092012 HAS SOUS 1397268 HAS SOUPS 1372413 WITH SCORE 1378762.028
AT ITER 1172 NEW BEST:: SOT 9409054 SOS 6357126 HAS SOPS 5099702 HAS SOUS 1393470 HAS SOUPS 1368535 WITH SCORE 1374892.126
AT ITER 1183 NEW BEST:: SOT 9408724 SOS 6356796 HAS SOPS 5099354 HAS SOUS 1393060 HAS SOUPS 1368125 WITH SCORE 1374481.796
AT ITER 1194 NEW BEST:: SOT 9385213 SOS 6333487 HAS SOPS 5084745 HAS SOUS 1384119 HAS SOUPS 1359824 WITH SCORE 1366157.487
AT ITER 1197 NEW BEST:: SOT 9383583 SOS 6329837 HAS SOPS 5081423 HAS SOUS 1383835 HAS SOUPS 1359531 WITH SCORE 1365860.837
AT ITER 1207 NEW BEST:: SOT 9383349 SOS 6329584 HAS SOPS 5080810 HAS SOUS 1382258 HAS SOUPS 1357954 WITH SCORE 1364283.584
AT ITER 1209 NEW BEST:: SOT 9389789 SOS 6332056 HAS SOPS 5082985 HAS SOUS 1376780 HAS SOUPS 1352600 WITH SCORE 1358932.056
AT ITER 1236 NEW BEST:: SOT 9389978 SOS 6332254 HAS SOPS 5082882 HAS SOUS 1376014 HAS SOUPS 1351834 WITH SCORE 1358166.254
AT ITER 1249 NEW BEST:: SOT 9389978 SOS 6332101 HAS SOPS 5082729 HAS SOUS 1375996 HAS SOUPS 1351816 WITH SCORE 1358148.101
AT ITER 1287 NEW BEST:: SOT 9389875 SOS 6332009 HAS SOPS 5082510 HAS SOUS 1375325 HAS SOUPS 1351145 WITH SCORE 1357477.009
AT ITER 1292 NEW BEST:: SOT 9387392 SOS 6330737 HAS SOPS 5082229 HAS SOUS 1373556 HAS SOUPS 1349376 WITH SCORE 1355706.737
AT ITER 1293 NEW BEST:: SOT 9385091 SOS 6323297 HAS SOPS 5072904 HAS SOUS 1367925 HAS SOUPS 1343745 WITH SCORE 1350068.297
AT ITER 1295 NEW BEST:: SOT 9391393 SOS 6329541 HAS SOPS 5077326 HAS SOUS 1365090 HAS SOUPS 1340910 WITH SCORE 1347239.541
AT ITER 1312 NEW BEST:: SOT 9388405 SOS 6320806 HAS SOPS 5067685 HAS SOUS 1362574 HAS SOUPS 1338374 WITH SCORE 1344694.806
AT ITER 1316 NEW BEST:: SOT 9391202 SOS 6321376 HAS SOPS 5068014 HAS SOUS 1354130 HAS SOUPS 1329930 WITH SCORE 1336251.376
AT ITER 1330 NEW BEST:: SOT 9387752 SOS 6332582 HAS SOPS 5071482 HAS SOUS 1354134 HAS SOUPS 1329834 WITH SCORE 1336166.582
AT ITER 1331 NEW BEST:: SOT 9388282 SOS 6334540 HAS SOPS 5073402 HAS SOUS 1353920 HAS SOUPS 1329628 WITH SCORE 1335962.54
AT ITER 1336 NEW BEST:: SOT 9377652 SOS 6325177 HAS SOPS 5065912 HAS SOUS 1349289 HAS SOUPS 1324997 WITH SCORE 1331322.177
AT ITER 1347 NEW BEST:: SOT 9378395 SOS 6326213 HAS SOPS 5065905 HAS SOUS 1345066 HAS SOUPS 1320809 WITH SCORE 1327135.213
AT ITER 1353 NEW BEST:: SOT 9378664 SOS 6366660 HAS SOPS 5103507 HAS SOUS 1330248 HAS SOUPS 1306153 WITH SCORE 1312519.66
AT ITER 1357 NEW BEST:: SOT 9378184 SOS 6366213 HAS SOPS 5103189 HAS SOUS 1330107 HAS SOUPS 1306012 WITH SCORE 1312378.213
AT ITER 1379 NEW BEST:: SOT 9378184 SOS 6365475 HAS SOPS 5102451 HAS SOUS 1330107 HAS SOUPS 1306012 WITH SCORE 1312377.475
AT ITER 1394 NEW BEST:: SOT 9378184 SOS 6365383 HAS SOPS 5102359 HAS SOUS 1330095 HAS SOUPS 1306000 WITH SCORE 1312365.383
AT ITER 1400 NEW BEST:: SOT 9378074 SOS 6365273 HAS SOPS 5102188 HAS SOUS 1329641 HAS SOUPS 1305546 WITH SCORE 1311911.273
AT ITER 1422 NEW BEST:: SOT 9370446 SOS 6357796 HAS SOPS 5092099 HAS SOUS 1320966 HAS SOUPS 1296839 WITH SCORE 1303196.796
AT ITER 1435 NEW BEST:: SOT 9372621 SOS 6353118 HAS SOPS 5079629 HAS SOUS 1309484 HAS SOUPS 1285491 WITH SCORE 1291844.118
AT ITER 1459 NEW BEST:: SOT 9370661 SOS 6374911 HAS SOPS 5101169 HAS SOUS 1308957 HAS SOUPS 1284964 WITH SCORE 1291338.911
AT ITER 1462 NEW BEST:: SOT 9362707 SOS 6366839 HAS SOPS 5093497 HAS SOUS 1299400 HAS SOUPS 1275407 WITH SCORE 1281773.839
AT ITER 1463 NEW BEST:: SOT 9363585 SOS 6367717 HAS SOPS 5093488 HAS SOUS 1296382 HAS SOUPS 1272389 WITH SCORE 1278756.717
AT ITER 1483 NEW BEST:: SOT 9362050 SOS 6366190 HAS SOPS 5092803 HAS SOUS 1295350 HAS SOUPS 1271730 WITH SCORE 1278096.19
AT ITER 1493 NEW BEST:: SOT 9361780 SOS 6365917 HAS SOPS 5092427 HAS SOUS 1294802 HAS SOUPS 1271182 WITH SCORE 1277547.917
AT ITER 1498 NEW BEST:: SOT 9350924 SOS 6367889 HAS SOPS 5093034 HAS SOUS 1290074 HAS SOUPS 1266454 WITH SCORE 1272821.889
AT ITER 1516 NEW BEST:: SOT 9362675 SOS 6375327 HAS SOPS 5099302 HAS SOUS 1289018 HAS SOUPS 1265398 WITH SCORE 1271773.327
AT ITER 1530 NEW BEST:: SOT 9362755 SOS 6375445 HAS SOPS 5099092 HAS SOUS 1288028 HAS SOUPS 1264408 WITH SCORE 1270783.445
AT ITER 1543 NEW BEST:: SOT 9365185 SOS 6377886 HAS SOPS 5100806 HAS SOUS 1287507 HAS SOUPS 1263887 WITH SCORE 1270264.886
AT ITER 1551 NEW BEST:: SOT 9364571 SOS 6391100 HAS SOPS 5106832 HAS SOUS 1287366 HAS SOUPS 1263680 WITH SCORE 1270071.1
AT ITER 1557 NEW BEST:: SOT 9363089 SOS 6373363 HAS SOPS 5084634 HAS SOUS 1287413 HAS SOUPS 1263007 WITH SCORE 1269380.363
AT ITER 1566 NEW BEST:: SOT 9361567 SOS 6372047 HAS SOPS 5083350 HAS SOUS 1286618 HAS SOUPS 1262212 WITH SCORE 1268584.047
AT ITER 1573 NEW BEST:: SOT 9360198 SOS 6370678 HAS SOPS 5081782 HAS SOUS 1284472 HAS SOUPS 1260066 WITH SCORE 1266436.678
AT ITER 1586 NEW BEST:: SOT 9360051 SOS 6370531 HAS SOPS 5081626 HAS SOUS 1284215 HAS SOUPS 1259809 WITH SCORE 1266179.531
AT ITER 1591 NEW BEST:: SOT 9360474 SOS 6370954 HAS SOPS 5081937 HAS SOUS 1284108 HAS SOUPS 1259702 WITH SCORE 1266072.954
AT ITER 1602 NEW BEST:: SOT 9360035 SOS 6364224 HAS SOPS 5072926 HAS SOUS 1283938 HAS SOUPS 1259532 WITH SCORE 1265896.224
AT ITER 1610 NEW BEST:: SOT 9359999 SOS 6365997 HAS SOPS 5072565 HAS SOUS 1283929 HAS SOUPS 1259517 WITH SCORE 1265882.997
AT ITER 1624 NEW BEST:: SOT 9355595 SOS 6361512 HAS SOPS 5065468 HAS SOUS 1272806 HAS SOUPS 1248394 WITH SCORE 1254755.512
AT ITER 1641 NEW BEST:: SOT 9348352 SOS 6353708 HAS SOPS 5058617 HAS SOUS 1272530 HAS SOUPS 1247924 WITH SCORE 1254277.708
AT ITER 1653 NEW BEST:: SOT 9342086 SOS 6348729 HAS SOPS 5051005 HAS SOUS 1267242 HAS SOUPS 1242636 WITH SCORE 1248984.729
AT ITER 1680 NEW BEST:: SOT 9340996 SOS 6347642 HAS SOPS 5049678 HAS SOUS 1265261 HAS SOUPS 1240655 WITH SCORE 1247002.642
AT ITER 1686 NEW BEST:: SOT 9338673 SOS 6339496 HAS SOPS 5036964 HAS SOUS 1254816 HAS SOUPS 1230280 WITH SCORE 1236619.496
AT ITER 1694 NEW BEST:: SOT 9338266 SOS 6339111 HAS SOPS 5036565 HAS SOUS 1254686 HAS SOUPS 1230150 WITH SCORE 1236489.111
AT ITER 1719 NEW BEST:: SOT 9334991 SOS 6332978 HAS SOPS 5030598 HAS SOUS 1254403 HAS SOUPS 1229827 WITH SCORE 1236159.978
AT ITER 1739 NEW BEST:: SOT 9334913 SOS 6332839 HAS SOPS 5030449 HAS SOUS 1254299 HAS SOUPS 1229723 WITH SCORE 1236055.839
AT ITER 1744 NEW BEST:: SOT 9337172 SOS 6335728 HAS SOPS 5033427 HAS SOUS 1252230 HAS SOUPS 1227788 WITH SCORE 1234123.728
AT ITER 1747 NEW BEST:: SOT 9336871 SOS 6335422 HAS SOPS 5032757 HAS SOUS 1251859 HAS SOUPS 1227417 WITH SCORE 1233752.422
AT ITER 1760 NEW BEST:: SOT 9337083 SOS 6336083 HAS SOPS 5032843 HAS SOUS 1251118 HAS SOUPS 1226662 WITH SCORE 1232998.083
AT ITER 1761 NEW BEST:: SOT 9334645 SOS 6333693 HAS SOPS 5029865 HAS SOUS 1245523 HAS SOUPS 1221067 WITH SCORE 1227400.693
AT ITER 1771 NEW BEST:: SOT 9337485 SOS 6336630 HAS SOPS 5032658 HAS SOUS 1245329 HAS SOUPS 1220873 WITH SCORE 1227209.63
AT ITER 1777 NEW BEST:: SOT 9342486 SOS 6342446 HAS SOPS 5038677 HAS SOUS 1244817 HAS SOUPS 1220361 WITH SCORE 1226703.446
AT ITER 1779 NEW BEST:: SOT 9341450 SOS 6341380 HAS SOPS 5037326 HAS SOUS 1241936 HAS SOUPS 1217480 WITH SCORE 1223821.38
AT ITER 1788 NEW BEST:: SOT 9346569 SOS 6346475 HAS SOPS 5041132 HAS SOUS 1241171 HAS SOUPS 1216715 WITH SCORE 1223061.475
AT ITER 1791 NEW BEST:: SOT 9346569 SOS 6346515 HAS SOPS 5040992 HAS SOUS 1241171 HAS SOUPS 1216705 WITH SCORE 1223051.515
AT ITER 1818 NEW BEST:: SOT 9345724 SOS 6343231 HAS SOPS 5037922 HAS SOUS 1240395 HAS SOUPS 1215977 WITH SCORE 1222320.231
AT ITER 1823 NEW BEST:: SOT 9345565 SOS 6343079 HAS SOPS 5037617 HAS SOUS 1239692 HAS SOUPS 1215274 WITH SCORE 1221617.079
AT ITER 1843 NEW BEST:: SOT 9342766 SOS 6338827 HAS SOPS 5031669 HAS SOUS 1230854 HAS SOUPS 1206436 WITH SCORE 1212774.827
AT ITER 1858 NEW BEST:: SOT 9353653 SOS 6344799 HAS SOPS 5031193 HAS SOUS 1229953 HAS SOUPS 1205686 WITH SCORE 1212030.799
AT ITER 1867 NEW BEST:: SOT 9353379 SOS 6344525 HAS SOPS 5030934 HAS SOUS 1229912 HAS SOUPS 1205607 WITH SCORE 1211951.525
AT ITER 1872 NEW BEST:: SOT 9352501 SOS 6343578 HAS SOPS 5030205 HAS SOUS 1229503 HAS SOUPS 1205171 WITH SCORE 1211514.578
AT ITER 1884 NEW BEST:: SOT 9354298 SOS 6364901 HAS SOPS 5050943 HAS SOUS 1228377 HAS SOUPS 1204045 WITH SCORE 1210409.901
AT ITER 1890 NEW BEST:: SOT 9355249 SOS 6365897 HAS SOPS 5051564 HAS SOUS 1227990 HAS SOUPS 1203658 WITH SCORE 1210023.897
AT ITER 1892 NEW BEST:: SOT 9354890 SOS 6365505 HAS SOPS 5050898 HAS SOUS 1226398 HAS SOUPS 1202066 WITH SCORE 1208431.505
AT ITER 1921 NEW BEST:: SOT 9352623 SOS 6362955 HAS SOPS 5048472 HAS SOUS 1222424 HAS SOUPS 1198142 WITH SCORE 1204504.955
AT ITER 1958 NEW BEST:: SOT 9352442 SOS 6362729 HAS SOPS 5048028 HAS SOUS 1221131 HAS SOUPS 1196849 WITH SCORE 1203211.729
AT ITER 1970 NEW BEST:: SOT 9351191 SOS 6356432 HAS SOPS 5039878 HAS SOUS 1220480 HAS SOUPS 1196287 WITH SCORE 1202643.432
AT ITER 1974 NEW BEST:: SOT 9351082 SOS 6358111 HAS SOPS 5041382 HAS SOUS 1220102 HAS SOUPS 1195909 WITH SCORE 1202267.111
AT ITER 1982 NEW BEST:: SOT 9352939 SOS 6359968 HAS SOPS 5042690 HAS SOUS 1219297 HAS SOUPS 1195104 WITH SCORE 1201463.968
AT ITER 1991 NEW BEST:: SOT 9367197 SOS 6370430 HAS SOPS 5050458 HAS SOUS 1213885 HAS SOUPS 1189863 WITH SCORE 1196233.43
AT ITER 2025 NEW BEST:: SOT 9374035 SOS 6370234 HAS SOPS 5052358 HAS SOUS 1213024 HAS SOUPS 1189083 WITH SCORE 1195453.234
AT ITER 2027 NEW BEST:: SOT 9373754 SOS 6369918 HAS SOPS 5051897 HAS SOUS 1212193 HAS SOUPS 1188257 WITH SCORE 1194626.918
AT ITER 2063 NEW BEST:: SOT 9373674 SOS 6371822 HAS SOPS 5053449 HAS SOUS 1211773 HAS SOUPS 1187837 WITH SCORE 1194208.822
AT ITER 2066 NEW BEST:: SOT 9373702 SOS 6371854 HAS SOPS 5055264 HAS SOUS 1211752 HAS SOUPS 1187821 WITH SCORE 1194192.854
AT ITER 2067 NEW BEST:: SOT 9373998 SOS 6372537 HAS SOPS 5051265 HAS SOUS 1203368 HAS SOUPS 1179476 WITH SCORE 1185848.537
AT ITER 2079 NEW BEST:: SOT 9374174 SOS 6372609 HAS SOPS 5051283 HAS SOUS 1203356 HAS SOUPS 1179464 WITH SCORE 1185836.609
AT ITER 2091 NEW BEST:: SOT 9374896 SOS 6375356 HAS SOPS 5058561 HAS SOUS 1203048 HAS SOUPS 1179180 WITH SCORE 1185555.356
AT ITER 2098 NEW BEST:: SOT 9384530 SOS 6384571 HAS SOPS 5069497 HAS SOUS 1200450 HAS SOUPS 1176753 WITH SCORE 1183137.571
AT ITER 2109 NEW BEST:: SOT 9384530 SOS 6380246 HAS SOPS 5065166 HAS SOUS 1200387 HAS SOUPS 1176690 WITH SCORE 1183070.246
AT ITER 2123 NEW BEST:: SOT 9383592 SOS 6384342 HAS SOPS 5067842 HAS SOUS 1199796 HAS SOUPS 1176193 WITH SCORE 1182577.342
AT ITER 2129 NEW BEST:: SOT 9383999 SOS 6370249 HAS SOPS 5062445 HAS SOUS 1199561 HAS SOUPS 1175958 WITH SCORE 1182328.249
AT ITER 2131 NEW BEST:: SOT 9367176 SOS 6358551 HAS SOPS 5052526 HAS SOUS 1193228 HAS SOUPS 1169625 WITH SCORE 1175983.551
AT ITER 2148 NEW BEST:: SOT 9367677 SOS 6357751 HAS SOPS 5051494 HAS SOUS 1192857 HAS SOUPS 1169254 WITH SCORE 1175611.751
AT ITER 2154 NEW BEST:: SOT 9368565 SOS 6354777 HAS SOPS 5046282 HAS SOUS 1188972 HAS SOUPS 1165423 WITH SCORE 1171777.777
AT ITER 2159 NEW BEST:: SOT 9369812 SOS 6350532 HAS SOPS 5040973 HAS SOUS 1185412 HAS SOUPS 1161863 WITH SCORE 1168213.532
AT ITER 2164 NEW BEST:: SOT 9358323 SOS 6339842 HAS SOPS 5028572 HAS SOUS 1184045 HAS SOUPS 1160422 WITH SCORE 1166761.842
AT ITER 2201 NEW BEST:: SOT 9356960 SOS 6332899 HAS SOPS 5020240 HAS SOUS 1179902 HAS SOUPS 1156279 WITH SCORE 1162611.899
AT ITER 2217 NEW BEST:: SOT 9356928 SOS 6333170 HAS SOPS 5020558 HAS SOUS 1179854 HAS SOUPS 1156231 WITH SCORE 1162564.17
AT ITER 2226 NEW BEST:: SOT 9356916 SOS 6333147 HAS SOPS 5020511 HAS SOUS 1179827 HAS SOUPS 1156204 WITH SCORE 1162537.147
AT ITER 2234 NEW BEST:: SOT 9357125 SOS 6333356 HAS SOPS 5020667 HAS SOUS 1179811 HAS SOUPS 1156188 WITH SCORE 1162521.356
AT ITER 2235 NEW BEST:: SOT 9355511 SOS 6331742 HAS SOPS 5019046 HAS SOUS 1178149 HAS SOUPS 1154526 WITH SCORE 1160857.742
AT ITER 2254 NEW BEST:: SOT 9357421 SOS 6333740 HAS SOPS 5020224 HAS SOUS 1176000 HAS SOUPS 1152377 WITH SCORE 1158710.74
AT ITER 2263 NEW BEST:: SOT 9357412 SOS 6333737 HAS SOPS 5020233 HAS SOUS 1175934 HAS SOUPS 1152311 WITH SCORE 1158644.737
AT ITER 2271 NEW BEST:: SOT 9357261 SOS 6331183 HAS SOPS 5014239 HAS SOUS 1175757 HAS SOUPS 1152119 WITH SCORE 1158450.183
AT ITER 2279 NEW BEST:: SOT 9356156 SOS 6328626 HAS SOPS 5011508 HAS SOUS 1174923 HAS SOUPS 1151285 WITH SCORE 1157613.626
AT ITER 2290 NEW BEST:: SOT 9354228 SOS 6326744 HAS SOPS 5008930 HAS SOUS 1173781 HAS SOUPS 1150143 WITH SCORE 1156469.744
AT ITER 2296 NEW BEST:: SOT 9351628 SOS 6328000 HAS SOPS 5004869 HAS SOUS 1172206 HAS SOUPS 1148539 WITH SCORE 1154867.0
AT ITER 2316 NEW BEST:: SOT 9354597 SOS 6330941 HAS SOPS 5007038 HAS SOUS 1172118 HAS SOUPS 1148451 WITH SCORE 1154781.941
AT ITER 2327 NEW BEST:: SOT 9354597 SOS 6331620 HAS SOPS 5007339 HAS SOUS 1172111 HAS SOUPS 1148423 WITH SCORE 1154754.62
AT ITER 2341 NEW BEST:: SOT 9354352 SOS 6331337 HAS SOPS 5007280 HAS SOUS 1170261 HAS SOUPS 1146573 WITH SCORE 1152904.337
AT ITER 2365 NEW BEST:: SOT 9354828 SOS 6331615 HAS SOPS 5007324 HAS SOUS 1169126 HAS SOUPS 1145456 WITH SCORE 1151787.615
AT ITER 2429 NEW BEST:: SOT 9354788 SOS 6331569 HAS SOPS 5006999 HAS SOUS 1167325 HAS SOUPS 1143655 WITH SCORE 1149986.569
AT ITER 2439 NEW BEST:: SOT 9351351 SOS 6328669 HAS SOPS 5005257 HAS SOUS 1165703 HAS SOUPS 1141966 WITH SCORE 1148294.669
AT ITER 2440 NEW BEST:: SOT 9351277 SOS 6328595 HAS SOPS 5005155 HAS SOUS 1165505 HAS SOUPS 1141768 WITH SCORE 1148096.595
AT ITER 2446 NEW BEST:: SOT 9350554 SOS 6327815 HAS SOPS 5004484 HAS SOUS 1164930 HAS SOUPS 1141193 WITH SCORE 1147520.815
AT ITER 2449 NEW BEST:: SOT 9337798 SOS 6315591 HAS SOPS 4997581 HAS SOUS 1148139 HAS SOUPS 1127557 WITH SCORE 1133872.591
AT ITER 2473 NEW BEST:: SOT 9331237 SOS 6307821 HAS SOPS 4983582 HAS SOUS 1141673 HAS SOUPS 1121076 WITH SCORE 1127383.821
AT ITER 2476 NEW BEST:: SOT 9331039 SOS 6307623 HAS SOPS 4983366 HAS SOUS 1141283 HAS SOUPS 1120686 WITH SCORE 1126993.623
AT ITER 2478 NEW BEST:: SOT 9336556 SOS 6313820 HAS SOPS 4991814 HAS SOUS 1140886 HAS SOUPS 1120393 WITH SCORE 1126706.82
AT ITER 2480 NEW BEST:: SOT 9328310 SOS 6305500 HAS SOPS 4982340 HAS SOUS 1128078 HAS SOUPS 1107585 WITH SCORE 1113890.5
AT ITER 2485 NEW BEST:: SOT 9328310 SOS 6305188 HAS SOPS 4982028 HAS SOUS 1128078 HAS SOUPS 1107585 WITH SCORE 1113890.188
AT ITER 2489 NEW BEST:: SOT 9324650 SOS 6270377 HAS SOPS 4947709 HAS SOUS 1124881 HAS SOUPS 1104388 WITH SCORE 1110658.377
AT ITER 2514 NEW BEST:: SOT 9324420 SOS 6270147 HAS SOPS 4947264 HAS SOUS 1123945 HAS SOUPS 1103452 WITH SCORE 1109722.147
AT ITER 2524 NEW BEST:: SOT 9321826 SOS 6265699 HAS SOPS 4940425 HAS SOUS 1110621 HAS SOUPS 1090213 WITH SCORE 1096478.699
AT ITER 2537 NEW BEST:: SOT 9318571 SOS 6285754 HAS SOPS 4961000 HAS SOUS 1108351 HAS SOUPS 1087943 WITH SCORE 1094228.754
AT ITER 2538 NEW BEST:: SOT 9318937 SOS 6286120 HAS SOPS 4961331 HAS SOUS 1108329 HAS SOUPS 1087921 WITH SCORE 1094207.12
AT ITER 2541 NEW BEST:: SOT 9319808 SOS 6286975 HAS SOPS 4961578 HAS SOUS 1106813 HAS SOUPS 1086405 WITH SCORE 1092691.975
AT ITER 2549 NEW BEST:: SOT 9319824 SOS 6286941 HAS SOPS 4961345 HAS SOUS 1106566 HAS SOUPS 1086158 WITH SCORE 1092444.941
AT ITER 2550 NEW BEST:: SOT 9320266 SOS 6285601 HAS SOPS 4959441 HAS SOUS 1106525 HAS SOUPS 1086151 WITH SCORE 1092436.601
AT ITER 2575 NEW BEST:: SOT 9320256 SOS 6282605 HAS SOPS 4955869 HAS SOUS 1106547 HAS SOUPS 1086141 WITH SCORE 1092423.605
AT ITER 2579 NEW BEST:: SOT 9320214 SOS 6282563 HAS SOPS 4955833 HAS SOUS 1106521 HAS SOUPS 1086115 WITH SCORE 1092397.563
AT ITER 2586 NEW BEST:: SOT 9320651 SOS 6285081 HAS SOPS 4957729 HAS SOUS 1106481 HAS SOUPS 1086102 WITH SCORE 1092387.081
AT ITER 2600 NEW BEST:: SOT 9316196 SOS 6280317 HAS SOPS 4952466 HAS SOUS 1105560 HAS SOUPS 1085135 WITH SCORE 1091415.317
AT ITER 2604 NEW BEST:: SOT 9316175 SOS 6279392 HAS SOPS 4951520 HAS SOUS 1105453 HAS SOUPS 1085028 WITH SCORE 1091307.392
AT ITER 2620 NEW BEST:: SOT 9316150 SOS 6279429 HAS SOPS 4951595 HAS SOUS 1105322 HAS SOUPS 1084920 WITH SCORE 1091199.429
AT ITER 2625 NEW BEST:: SOT 9317314 SOS 6283234 HAS SOPS 4954091 HAS SOUS 1103740 HAS SOUPS 1083338 WITH SCORE 1089621.234
AT ITER 2664 NEW BEST:: SOT 9317701 SOS 6287456 HAS SOPS 4960315 HAS SOUS 1103518 HAS SOUPS 1083116 WITH SCORE 1089403.456
AT ITER 2671 NEW BEST:: SOT 9317679 SOS 6287436 HAS SOPS 4960283 HAS SOUS 1103469 HAS SOUPS 1083067 WITH SCORE 1089354.436
AT ITER 2682 NEW BEST:: SOT 9314684 SOS 6273662 HAS SOPS 4946718 HAS SOUS 1101008 HAS SOUPS 1080606 WITH SCORE 1086879.662
AT ITER 2688 NEW BEST:: SOT 9295790 SOS 6270117 HAS SOPS 4923468 HAS SOUS 1096080 HAS SOUPS 1075678 WITH SCORE 1081948.117
AT ITER 2693 NEW BEST:: SOT 9295720 SOS 6268067 HAS SOPS 4922307 HAS SOUS 1095972 HAS SOUPS 1075579 WITH SCORE 1081847.067
AT ITER 2694 NEW BEST:: SOT 9294756 SOS 6269382 HAS SOPS 4923711 HAS SOUS 1095549 HAS SOUPS 1075156 WITH SCORE 1081425.382
AT ITER 2696 NEW BEST:: SOT 9292760 SOS 6266027 HAS SOPS 4920112 HAS SOUS 1092159 HAS SOUPS 1071766 WITH SCORE 1078032.027
AT ITER 2700 NEW BEST:: SOT 9290705 SOS 6258174 HAS SOPS 4911879 HAS SOUS 1090397 HAS SOUPS 1069946 WITH SCORE 1076204.174
AT ITER 2702 NEW BEST:: SOT 9289665 SOS 6260422 HAS SOPS 4912668 HAS SOUS 1089131 HAS SOUPS 1068654 WITH SCORE 1074914.422
AT ITER 2712 NEW BEST:: SOT 9290049 SOS 6258777 HAS SOPS 4911381 HAS SOUS 1087858 HAS SOUPS 1067381 WITH SCORE 1073639.777
AT ITER 2713 NEW BEST:: SOT 9290109 SOS 6258831 HAS SOPS 4911411 HAS SOUS 1087826 HAS SOUPS 1067349 WITH SCORE 1073607.831
AT ITER 2723 NEW BEST:: SOT 9285700 SOS 6266946 HAS SOPS 4909213 HAS SOUS 1087263 HAS SOUPS 1066656 WITH SCORE 1072922.946
AT ITER 2733 NEW BEST:: SOT 9285788 SOS 6266780 HAS SOPS 4908980 HAS SOUS 1086985 HAS SOUPS 1066378 WITH SCORE 1072644.78
AT ITER 2741 NEW BEST:: SOT 9289177 SOS 6268425 HAS SOPS 4905428 HAS SOUS 1082708 HAS SOUPS 1062204 WITH SCORE 1068472.425
AT ITER 2751 NEW BEST:: SOT 9289483 SOS 6268752 HAS SOPS 4905419 HAS SOUS 1082382 HAS SOUPS 1061878 WITH SCORE 1068146.752
AT ITER 2752 NEW BEST:: SOT 9289408 SOS 6268687 HAS SOPS 4905373 HAS SOUS 1082373 HAS SOUPS 1061869 WITH SCORE 1068137.687
AT ITER 2773 NEW BEST:: SOT 9289082 SOS 6308401 HAS SOPS 4944790 HAS SOUS 1081922 HAS SOUPS 1061418 WITH SCORE 1067726.401
AT ITER 2797 NEW BEST:: SOT 9288438 SOS 6307727 HAS SOPS 4943348 HAS SOUS 1079010 HAS SOUPS 1058506 WITH SCORE 1064813.727
AT ITER 2814 NEW BEST:: SOT 9285206 SOS 6304527 HAS SOPS 4939732 HAS SOUS 1076354 HAS SOUPS 1055850 WITH SCORE 1062154.527
AT ITER 2815 NEW BEST:: SOT 9286064 SOS 6305385 HAS SOPS 4940445 HAS SOUS 1076331 HAS SOUPS 1055827 WITH SCORE 1062132.385
AT ITER 2819 NEW BEST:: SOT 9281787 SOS 6324971 HAS SOPS 4963089 HAS SOUS 1075266 HAS SOUPS 1054762 WITH SCORE 1061086.971
AT ITER 2823 NEW BEST:: SOT 9281409 SOS 6325395 HAS SOPS 4962892 HAS SOUS 1075043 HAS SOUPS 1054529 WITH SCORE 1060854.395
AT ITER 2827 NEW BEST:: SOT 9280296 SOS 6327934 HAS SOPS 4964450 HAS SOUS 1069883 HAS SOUPS 1049419 WITH SCORE 1055746.934
AT ITER 2834 NEW BEST:: SOT 9280347 SOS 6327961 HAS SOPS 4964465 HAS SOUS 1068956 HAS SOUPS 1048492 WITH SCORE 1054819.961
AT ITER 2835 NEW BEST:: SOT 9280305 SOS 6327918 HAS SOPS 4964418 HAS SOUS 1068867 HAS SOUPS 1048403 WITH SCORE 1054730.918
AT ITER 2852 NEW BEST:: SOT 9275039 SOS 6322585 HAS SOPS 4959904 HAS SOUS 1067842 HAS SOUPS 1047378 WITH SCORE 1053700.585
AT ITER 2876 NEW BEST:: SOT 9274778 SOS 6322324 HAS SOPS 4959666 HAS SOUS 1067552 HAS SOUPS 1047088 WITH SCORE 1053410.324
AT ITER 2900 NEW BEST:: SOT 9277853 SOS 6328542 HAS SOPS 4960779 HAS SOUS 1061647 HAS SOUPS 1041254 WITH SCORE 1047582.542
AT ITER 2925 NEW BEST:: SOT 9268721 SOS 6324636 HAS SOPS 4958685 HAS SOUS 1049090 HAS SOUPS 1028697 WITH SCORE 1035021.636
AT ITER 2948 NEW BEST:: SOT 9262797 SOS 6284589 HAS SOPS 4920389 HAS SOUS 1048908 HAS SOUPS 1028515 WITH SCORE 1034799.589
AT ITER 2957 NEW BEST:: SOT 9262668 SOS 6284388 HAS SOPS 4919669 HAS SOUS 1048561 HAS SOUPS 1028168 WITH SCORE 1034452.388
AT ITER 2988 NEW BEST:: SOT 9266410 SOS 6278536 HAS SOPS 4925258 HAS SOUS 1047772 HAS SOUPS 1027446 WITH SCORE 1033724.536
AT ITER 3029 NEW BEST:: SOT 9268506 SOS 6253898 HAS SOPS 4906156 HAS SOUS 1045162 HAS SOUPS 1024894 WITH SCORE 1031147.898
AT ITER 3035 NEW BEST:: SOT 9269677 SOS 6255177 HAS SOPS 4906161 HAS SOUS 1043710 HAS SOUPS 1023492 WITH SCORE 1029747.177
AT ITER 3058 NEW BEST:: SOT 9270203 SOS 6255729 HAS SOPS 4906021 HAS SOUS 1041643 HAS SOUPS 1021425 WITH SCORE 1027680.729
AT ITER 3096 NEW BEST:: SOT 9267107 SOS 6241285 HAS SOPS 4904287 HAS SOUS 1039228 HAS SOUPS 1019091 WITH SCORE 1025332.285
AT ITER 3121 NEW BEST:: SOT 9265370 SOS 6239840 HAS SOPS 4902069 HAS SOUS 1037206 HAS SOUPS 1017072 WITH SCORE 1023311.84
AT ITER 3160 NEW BEST:: SOT 9264659 SOS 6239111 HAS SOPS 4901052 HAS SOUS 1036369 HAS SOUPS 1016235 WITH SCORE 1022474.111
AT ITER 3180 NEW BEST:: SOT 9264527 SOS 6239523 HAS SOPS 4901613 HAS SOUS 1036327 HAS SOUPS 1016193 WITH SCORE 1022432.523
AT ITER 3209 NEW BEST:: SOT 9268749 SOS 6243757 HAS SOPS 4903182 HAS SOUS 1035584 HAS SOUPS 1015450 WITH SCORE 1021693.757
AT ITER 3242 NEW BEST:: SOT 9266218 SOS 6204628 HAS SOPS 4917180 HAS SOUS 1034795 HAS SOUPS 1014771 WITH SCORE 1020975.628
AT ITER 3247 NEW BEST:: SOT 9263806 SOS 6202184 HAS SOPS 4914702 HAS SOUS 1032301 HAS SOUPS 1012277 WITH SCORE 1018479.184
AT ITER 3254 NEW BEST:: SOT 9263786 SOS 6202616 HAS SOPS 4915026 HAS SOUS 1032293 HAS SOUPS 1012269 WITH SCORE 1018471.616
AT ITER 3271 NEW BEST:: SOT 9263580 SOS 6202410 HAS SOPS 4914820 HAS SOUS 1031970 HAS SOUPS 1011946 WITH SCORE 1018148.41
AT ITER 3298 NEW BEST:: SOT 9263580 SOS 6201406 HAS SOPS 4914112 HAS SOUS 1031924 HAS SOUPS 1011903 WITH SCORE 1018104.406
AT ITER 3310 NEW BEST:: SOT 9262978 SOS 6185199 HAS SOPS 4896289 HAS SOUS 1027540 HAS SOUPS 1007519 WITH SCORE 1013704.199
AT ITER 3317 NEW BEST:: SOT 9270753 SOS 6192878 HAS SOPS 4898642 HAS SOUS 1026337 HAS SOUPS 1006316 WITH SCORE 1012508.878
AT ITER 3334 NEW BEST:: SOT 9270624 SOS 6191021 HAS SOPS 4896582 HAS SOUS 1025941 HAS SOUPS 1005920 WITH SCORE 1012111.021
AT ITER 3336 NEW BEST:: SOT 9268004 SOS 6188401 HAS SOPS 4894411 HAS SOUS 1025603 HAS SOUPS 1005582 WITH SCORE 1011770.401
AT ITER 3350 NEW BEST:: SOT 9266969 SOS 6187356 HAS SOPS 4893232 HAS SOUS 1024870 HAS SOUPS 1004849 WITH SCORE 1011036.356
AT ITER 3354 NEW BEST:: SOT 9266955 SOS 6187349 HAS SOPS 4893227 HAS SOUS 1024688 HAS SOUPS 1004667 WITH SCORE 1010854.349
AT ITER 3389 NEW BEST:: SOT 9266886 SOS 6186243 HAS SOPS 4892153 HAS SOUS 1023994 HAS SOUPS 1003973 WITH SCORE 1010159.243
AT ITER 3395 NEW BEST:: SOT 9266882 SOS 6186035 HAS SOPS 4891873 HAS SOUS 1023990 HAS SOUPS 1003965 WITH SCORE 1010151.035
AT ITER 3399 NEW BEST:: SOT 9266129 SOS 6185292 HAS SOPS 4890895 HAS SOUS 1023508 HAS SOUPS 1003483 WITH SCORE 1009668.292
AT ITER 3401 NEW BEST:: SOT 9263123 SOS 6182286 HAS SOPS 4887630 HAS SOUS 1021887 HAS SOUPS 1001862 WITH SCORE 1008044.286
AT ITER 3436 NEW BEST:: SOT 9271540 SOS 6203431 HAS SOPS 4891285 HAS SOUS 1020613 HAS SOUPS 1000588 WITH SCORE 1006791.431
AT ITER 3438 NEW BEST:: SOT 9271664 SOS 6203563 HAS SOPS 4891457 HAS SOUS 1020551 HAS SOUPS 1000528 WITH SCORE 1006731.563
AT ITER 3459 NEW BEST:: SOT 9271658 SOS 6203563 HAS SOPS 4891475 HAS SOUS 1020515 HAS SOUPS 1000492 WITH SCORE 1006695.563
AT ITER 3469 NEW BEST:: SOT 9271809 SOS 6223515 HAS SOPS 4897980 HAS SOUS 1019919 HAS SOUPS 999896 WITH SCORE 1006119.515
AT ITER 3491 NEW BEST:: SOT 9271939 SOS 6223705 HAS SOPS 4898248 HAS SOUS 1019751 HAS SOUPS 999728 WITH SCORE 1005951.705
AT ITER 3506 NEW BEST:: SOT 9271915 SOS 6224453 HAS SOPS 4898004 HAS SOUS 1019748 HAS SOUPS 999717 WITH SCORE 1005941.453
AT ITER 3512 NEW BEST:: SOT 9270037 SOS 6222511 HAS SOPS 4895372 HAS SOUS 1015121 HAS SOUPS 995090 WITH SCORE 1001312.511
AT ITER 3522 NEW BEST:: SOT 9268159 SOS 6220627 HAS SOPS 4893503 HAS SOUS 1012642 HAS SOUPS 992707 WITH SCORE 998927.627
AT ITER 3554 NEW BEST:: SOT 9269156 SOS 6228908 HAS SOPS 4902032 HAS SOUS 1011551 HAS SOUPS 991616 WITH SCORE 997844.908
AT ITER 3557 NEW BEST:: SOT 9269196 SOS 6228993 HAS SOPS 4902111 HAS SOUS 1011501 HAS SOUPS 991566 WITH SCORE 997794.993
AT ITER 3575 NEW BEST:: SOT 9269793 SOS 6231814 HAS SOPS 4905441 HAS SOUS 1008529 HAS SOUPS 989207 WITH SCORE 995438.814
AT ITER 3576 NEW BEST:: SOT 9269647 SOS 6232196 HAS SOPS 4906271 HAS SOUS 1008427 HAS SOUPS 989121 WITH SCORE 995353.196
AT ITER 3584 NEW BEST:: SOT 9270451 SOS 6232982 HAS SOPS 4907020 HAS SOUS 1008154 HAS SOUPS 988848 WITH SCORE 995080.982
AT ITER 3608 NEW BEST:: SOT 9268849 SOS 6231346 HAS SOPS 4905388 HAS SOUS 1006268 HAS SOUPS 986962 WITH SCORE 993193.346
AT ITER 3623 NEW BEST:: SOT 9268805 SOS 6228345 HAS SOPS 4905212 HAS SOUS 1006065 HAS SOUPS 986778 WITH SCORE 993006.345
AT ITER 3628 NEW BEST:: SOT 9270212 SOS 6225809 HAS SOPS 4909189 HAS SOUS 1005284 HAS SOUPS 986036 WITH SCORE 992261.809
AT ITER 3661 NEW BEST:: SOT 9289495 SOS 6241332 HAS SOPS 4923860 HAS SOUS 997975 HAS SOUPS 978839 WITH SCORE 985080.332
AT ITER 3679 NEW BEST:: SOT 9288897 SOS 6240740 HAS SOPS 4923248 HAS SOUS 997352 HAS SOUPS 978213 WITH SCORE 984453.74
AT ITER 3681 NEW BEST:: SOT 9288252 SOS 6240094 HAS SOPS 4922616 HAS SOUS 996395 HAS SOUPS 977256 WITH SCORE 983496.094
AT ITER 3683 NEW BEST:: SOT 9286038 SOS 6237090 HAS SOPS 4919560 HAS SOUS 994125 HAS SOUPS 974968 WITH SCORE 981205.09
AT ITER 3706 NEW BEST:: SOT 9288961 SOS 6244191 HAS SOPS 4925964 HAS SOUS 993171 HAS SOUPS 974068 WITH SCORE 980312.191
AT ITER 3727 NEW BEST:: SOT 9288723 SOS 6244163 HAS SOPS 4925426 HAS SOUS 992972 HAS SOUPS 973863 WITH SCORE 980107.163
AT ITER 3748 NEW BEST:: SOT 9294460 SOS 6248896 HAS SOPS 4925670 HAS SOUS 982550 HAS SOUPS 963626 WITH SCORE 969874.896
AT ITER 3754 NEW BEST:: SOT 9292886 SOS 6248137 HAS SOPS 4924409 HAS SOUS 979828 HAS SOUPS 960904 WITH SCORE 967152.137
AT ITER 3755 NEW BEST:: SOT 9292886 SOS 6248137 HAS SOPS 4924409 HAS SOUS 979819 HAS SOUPS 960895 WITH SCORE 967143.137
AT ITER 3765 NEW BEST:: SOT 9292925 SOS 6248176 HAS SOPS 4924330 HAS SOUS 979478 HAS SOUPS 960554 WITH SCORE 966802.176
AT ITER 3780 NEW BEST:: SOT 9292831 SOS 6248124 HAS SOPS 4924229 HAS SOUS 979416 HAS SOUPS 960492 WITH SCORE 966740.124
AT ITER 3797 NEW BEST:: SOT 9290894 SOS 6247993 HAS SOPS 4921313 HAS SOUS 977042 HAS SOUPS 958251 WITH SCORE 964498.993
AT ITER 3806 NEW BEST:: SOT 9290678 SOS 6247777 HAS SOPS 4921115 HAS SOUS 976940 HAS SOUPS 958149 WITH SCORE 964396.777
AT ITER 3819 NEW BEST:: SOT 9288826 SOS 6245797 HAS SOPS 4919135 HAS SOUS 975877 HAS SOUPS 957086 WITH SCORE 963331.797
AT ITER 3826 NEW BEST:: SOT 9285375 SOS 6243261 HAS SOPS 4911741 HAS SOUS 974857 HAS SOUPS 956033 WITH SCORE 962276.261
AT ITER 3889 NEW BEST:: SOT 9285270 SOS 6241733 HAS SOPS 4910447 HAS SOUS 974151 HAS SOUPS 955327 WITH SCORE 961568.733
AT ITER 3911 NEW BEST:: SOT 9285524 SOS 6241901 HAS SOPS 4910357 HAS SOUS 972839 HAS SOUPS 954015 WITH SCORE 960256.901
AT ITER 3932 NEW BEST:: SOT 9284893 SOS 6235058 HAS SOPS 4903462 HAS SOUS 972048 HAS SOUPS 953224 WITH SCORE 959459.058
AT ITER 3934 NEW BEST:: SOT 9284593 SOS 6234771 HAS SOPS 4902917 HAS SOUS 971189 HAS SOUPS 952355 WITH SCORE 958589.771
AT ITER 3937 NEW BEST:: SOT 9283023 SOS 6230100 HAS SOPS 4898321 HAS SOUS 970320 HAS SOUPS 951458 WITH SCORE 957688.1
AT ITER 3943 NEW BEST:: SOT 9284212 SOS 6232830 HAS SOPS 4900466 HAS SOUS 970284 HAS SOUPS 951422 WITH SCORE 957654.83
AT ITER 3944 NEW BEST:: SOT 9280667 SOS 6229718 HAS SOPS 4894281 HAS SOUS 968354 HAS SOUPS 949412 WITH SCORE 955641.718
AT ITER 3982 NEW BEST:: SOT 9280221 SOS 6229281 HAS SOPS 4893834 HAS SOUS 967553 HAS SOUPS 948611 WITH SCORE 954840.281
AT ITER 3987 NEW BEST:: SOT 9295862 SOS 6256956 HAS SOPS 4919248 HAS SOUS 964058 HAS SOUPS 945216 WITH SCORE 951472.956
AT ITER 3999 NEW BEST:: SOT 9295894 SOS 6241879 HAS SOPS 4904191 HAS SOUS 963673 HAS SOUPS 944831 WITH SCORE 951072.879
AT ITER 4001 NEW BEST:: SOT 9298779 SOS 6247560 HAS SOPS 4908213 HAS SOUS 963460 HAS SOUPS 944618 WITH SCORE 950865.56
AT ITER 4071 NEW BEST:: SOT 9297636 SOS 6246377 HAS SOPS 4906757 HAS SOUS 963396 HAS SOUPS 944568 WITH SCORE 950814.377
AT ITER 4085 NEW BEST:: SOT 9299436 SOS 6248198 HAS SOPS 4907698 HAS SOUS 962825 HAS SOUPS 943981 WITH SCORE 950229.198
AT ITER 4119 NEW BEST:: SOT 9298371 SOS 6247222 HAS SOPS 4906771 HAS SOUS 961852 HAS SOUPS 943008 WITH SCORE 949255.222
AT ITER 4120 NEW BEST:: SOT 9298635 SOS 6249256 HAS SOPS 4905411 HAS SOUS 960703 HAS SOUPS 941859 WITH SCORE 948108.256
AT ITER 4193 NEW BEST:: SOT 9303248 SOS 6244535 HAS SOPS 4902251 HAS SOUS 955910 HAS SOUPS 937066 WITH SCORE 943310.535
AT ITER 4202 NEW BEST:: SOT 9302793 SOS 6243540 HAS SOPS 4901479 HAS SOUS 955885 HAS SOUPS 937051 WITH SCORE 943294.54
AT ITER 4207 NEW BEST:: SOT 9303241 SOS 6240993 HAS SOPS 4897190 HAS SOUS 954720 HAS SOUPS 935886 WITH SCORE 942126.993
AT ITER 4208 NEW BEST:: SOT 9303100 SOS 6241067 HAS SOPS 4896587 HAS SOUS 954651 HAS SOUPS 935814 WITH SCORE 942055.067
AT ITER 4214 NEW BEST:: SOT 9302920 SOS 6240887 HAS SOPS 4896383 HAS SOUS 954419 HAS SOUPS 935582 WITH SCORE 941822.887
AT ITER 4218 NEW BEST:: SOT 9302499 SOS 6239437 HAS SOPS 4895105 HAS SOUS 954393 HAS SOUPS 935562 WITH SCORE 941801.437
AT ITER 4221 NEW BEST:: SOT 9305863 SOS 6248942 HAS SOPS 4910238 HAS SOUS 953919 HAS SOUPS 935128 WITH SCORE 941376.942
AT ITER 4234 NEW BEST:: SOT 9305276 SOS 6246169 HAS SOPS 4906433 HAS SOUS 950407 HAS SOUPS 931587 WITH SCORE 937833.169
AT ITER 4244 NEW BEST:: SOT 9305518 SOS 6246392 HAS SOPS 4906417 HAS SOUS 949949 HAS SOUPS 931129 WITH SCORE 937375.392
AT ITER 4253 NEW BEST:: SOT 9308942 SOS 6249815 HAS SOPS 4908229 HAS SOUS 948558 HAS SOUPS 929738 WITH SCORE 935987.815
AT ITER 4272 NEW BEST:: SOT 9306901 SOS 6247682 HAS SOPS 4906804 HAS SOUS 941761 HAS SOUPS 922941 WITH SCORE 929188.682
AT ITER 4275 NEW BEST:: SOT 9306952 SOS 6247389 HAS SOPS 4906492 HAS SOUS 941693 HAS SOUPS 922873 WITH SCORE 929120.389
AT ITER 4287 NEW BEST:: SOT 9306808 SOS 6247245 HAS SOPS 4906192 HAS SOUS 941057 HAS SOUPS 922237 WITH SCORE 928484.245
AT ITER 4320 NEW BEST:: SOT 9306727 SOS 6247164 HAS SOPS 4905975 HAS SOUS 940566 HAS SOUPS 921746 WITH SCORE 927993.164
AT ITER 4340 NEW BEST:: SOT 9307755 SOS 6249302 HAS SOPS 4907807 HAS SOUS 939835 HAS SOUPS 921033 WITH SCORE 927282.302
AT ITER 4360 NEW BEST:: SOT 9303610 SOS 6242221 HAS SOPS 4901859 HAS SOUS 939338 HAS SOUPS 920569 WITH SCORE 926811.221
AT ITER 4367 NEW BEST:: SOT 9289654 SOS 6222968 HAS SOPS 4880436 HAS SOUS 937174 HAS SOUPS 918434 WITH SCORE 924656.968
AT ITER 4399 NEW BEST:: SOT 9289462 SOS 6237871 HAS SOPS 4894824 HAS SOUS 937101 HAS SOUPS 918361 WITH SCORE 924598.871
AT ITER 4435 NEW BEST:: SOT 9290426 SOS 6238107 HAS SOPS 4894534 HAS SOUS 936824 HAS SOUPS 918084 WITH SCORE 924322.107
AT ITER 4447 NEW BEST:: SOT 9290609 SOS 6238210 HAS SOPS 4894498 HAS SOUS 936114 HAS SOUPS 917374 WITH SCORE 923612.21
AT ITER 4476 NEW BEST:: SOT 9289662 SOS 6237347 HAS SOPS 4893089 HAS SOUS 933390 HAS SOUPS 914629 WITH SCORE 920866.347
AT ITER 4480 NEW BEST:: SOT 9289599 SOS 6237284 HAS SOPS 4892846 HAS SOUS 933012 HAS SOUPS 914251 WITH SCORE 920488.284
AT ITER 4524 NEW BEST:: SOT 9287237 SOS 6235147 HAS SOPS 4891893 HAS SOUS 932385 HAS SOUPS 913580 WITH SCORE 919815.147
AT ITER 4527 NEW BEST:: SOT 9307514 SOS 6252892 HAS SOPS 4905633 HAS SOUS 925647 HAS SOUPS 907008 WITH SCORE 913260.892
AT ITER 4531 NEW BEST:: SOT 9307663 SOS 6253759 HAS SOPS 4907438 HAS SOUS 925480 HAS SOUPS 906841 WITH SCORE 913094.759
AT ITER 4549 NEW BEST:: SOT 9307386 SOS 6253480 HAS SOPS 4907090 HAS SOUS 924977 HAS SOUPS 906338 WITH SCORE 912591.48
AT ITER 4564 NEW BEST:: SOT 9307516 SOS 6253561 HAS SOPS 4906920 HAS SOUS 923966 HAS SOUPS 905327 WITH SCORE 911580.561
AT ITER 4574 NEW BEST:: SOT 9306683 SOS 6250845 HAS SOPS 4904308 HAS SOUS 923974 HAS SOUPS 905327 WITH SCORE 911577.845
AT ITER 4597 NEW BEST:: SOT 9306887 SOS 6251058 HAS SOPS 4904552 HAS SOUS 923960 HAS SOUPS 905313 WITH SCORE 911564.058
AT ITER 4620 NEW BEST:: SOT 9302025 SOS 6273982 HAS SOPS 4899940 HAS SOUS 923449 HAS SOUPS 904651 WITH SCORE 910924.982
AT ITER 4636 NEW BEST:: SOT 9300613 SOS 6270503 HAS SOPS 4896481 HAS SOUS 921837 HAS SOUPS 903039 WITH SCORE 909309.503
AT ITER 4651 NEW BEST:: SOT 9300005 SOS 6269031 HAS SOPS 4894458 HAS SOUS 921628 HAS SOUPS 902814 WITH SCORE 909083.031
AT ITER 4658 NEW BEST:: SOT 9301723 SOS 6277613 HAS SOPS 4904283 HAS SOUS 921194 HAS SOUPS 902380 WITH SCORE 908657.613
AT ITER 4673 NEW BEST:: SOT 9300995 SOS 6276879 HAS SOPS 4903547 HAS SOUS 920511 HAS SOUPS 901697 WITH SCORE 907973.879
AT ITER 4681 NEW BEST:: SOT 9297233 SOS 6266575 HAS SOPS 4894051 HAS SOUS 918482 HAS SOUPS 899668 WITH SCORE 905934.575
AT ITER 4699 NEW BEST:: SOT 9295162 SOS 6267854 HAS SOPS 4894802 HAS SOUS 917327 HAS SOUPS 898513 WITH SCORE 904780.854
AT ITER 4711 NEW BEST:: SOT 9296204 SOS 6263395 HAS SOPS 4897254 HAS SOUS 916182 HAS SOUPS 897408 WITH SCORE 903671.395
AT ITER 4735 NEW BEST:: SOT 9294921 SOS 6262112 HAS SOPS 4896203 HAS SOUS 915720 HAS SOUPS 896946 WITH SCORE 903208.112
AT ITER 4777 NEW BEST:: SOT 9295520 SOS 6261889 HAS SOPS 4895134 HAS SOUS 915258 HAS SOUPS 896484 WITH SCORE 902745.889
AT ITER 4796 NEW BEST:: SOT 9295594 SOS 6258546 HAS SOPS 4891717 HAS SOUS 915088 HAS SOUPS 896314 WITH SCORE 902572.546
AT ITER 4809 NEW BEST:: SOT 9294771 SOS 6257877 HAS SOPS 4891268 HAS SOUS 915000 HAS SOUPS 896212 WITH SCORE 902469.877
AT ITER 4816 NEW BEST:: SOT 9300424 SOS 6256456 HAS SOPS 4905856 HAS SOUS 913174 HAS SOUPS 894498 WITH SCORE 900754.456
AT ITER 4821 NEW BEST:: SOT 9299502 SOS 6257935 HAS SOPS 4907422 HAS SOUS 912606 HAS SOUPS 893950 WITH SCORE 900207.935
AT ITER 4835 NEW BEST:: SOT 9299562 SOS 6254243 HAS SOPS 4904858 HAS SOUS 912412 HAS SOUPS 893768 WITH SCORE 900022.243
AT ITER 4839 NEW BEST:: SOT 9300447 SOS 6255061 HAS SOPS 4905570 HAS SOUS 911999 HAS SOUPS 893355 WITH SCORE 899610.061
AT ITER 4840 NEW BEST:: SOT 9305021 SOS 6259196 HAS SOPS 4908091 HAS SOUS 909827 HAS SOUPS 891227 WITH SCORE 897486.196
AT ITER 4862 NEW BEST:: SOT 9303036 SOS 6257006 HAS SOPS 4905936 HAS SOUS 909563 HAS SOUPS 890963 WITH SCORE 897220.006
AT ITER 4876 NEW BEST:: SOT 9300096 SOS 6254066 HAS SOPS 4902486 HAS SOUS 906201 HAS SOUPS 887465 WITH SCORE 893719.066
AT ITER 4948 NEW BEST:: SOT 9297424 SOS 6252463 HAS SOPS 4899864 HAS SOUS 904494 HAS SOUPS 885758 WITH SCORE 892010.463
AT ITER 4968 NEW BEST:: SOT 9295980 SOS 6256114 HAS SOPS 4900996 HAS SOUS 903056 HAS SOUPS 884320 WITH SCORE 890576.114
AT ITER 4982 NEW BEST:: SOT 9296141 SOS 6256284 HAS SOPS 4901135 HAS SOUS 902829 HAS SOUPS 884093 WITH SCORE 890349.284
AT ITER 5014 NEW BEST:: SOT 9296110 SOS 6256252 HAS SOPS 4901164 HAS SOUS 902776 HAS SOUPS 884040 WITH SCORE 890296.252
AT ITER 5026 NEW BEST:: SOT 9295322 SOS 6253562 HAS SOPS 4898180 HAS SOUS 901237 HAS SOUPS 882501 WITH SCORE 888754.562
AT ITER 5030 NEW BEST:: SOT 9295421 SOS 6252235 HAS SOPS 4896835 HAS SOUS 901160 HAS SOUPS 882424 WITH SCORE 888676.235
AT ITER 5044 NEW BEST:: SOT 9294971 SOS 6263127 HAS SOPS 4907824 HAS SOUS 900995 HAS SOUPS 882259 WITH SCORE 888522.127
AT ITER 5049 NEW BEST:: SOT 9294915 SOS 6261769 HAS SOPS 4905974 HAS SOUS 900301 HAS SOUPS 881565 WITH SCORE 887826.769
AT ITER 5070 NEW BEST:: SOT 9281805 SOS 6266736 HAS SOPS 4894379 HAS SOUS 894315 HAS SOUPS 875465 WITH SCORE 881731.736
AT ITER 5122 NEW BEST:: SOT 9282595 SOS 6267372 HAS SOPS 4891052 HAS SOUS 891956 HAS SOUPS 873148 WITH SCORE 879415.372
AT ITER 5124 NEW BEST:: SOT 9288258 SOS 6273009 HAS SOPS 4895833 HAS SOUS 891314 HAS SOUPS 872646 WITH SCORE 878919.009
AT ITER 5131 NEW BEST:: SOT 9288216 SOS 6272964 HAS SOPS 4895773 HAS SOUS 891248 HAS SOUPS 872580 WITH SCORE 878852.964
AT ITER 5132 NEW BEST:: SOT 9290703 SOS 6275482 HAS SOPS 4898019 HAS SOUS 890710 HAS SOUPS 872042 WITH SCORE 878317.482
AT ITER 5133 NEW BEST:: SOT 9289851 SOS 6273632 HAS SOPS 4896082 HAS SOUS 890327 HAS SOUPS 871659 WITH SCORE 877932.632
AT ITER 5143 NEW BEST:: SOT 9290612 SOS 6274367 HAS SOPS 4896556 HAS SOUS 890122 HAS SOUPS 871430 WITH SCORE 877704.367
AT ITER 5145 NEW BEST:: SOT 9290414 SOS 6274191 HAS SOPS 4896297 HAS SOUS 889557 HAS SOUPS 870865 WITH SCORE 877139.191
AT ITER 5153 NEW BEST:: SOT 9291371 SOS 6275100 HAS SOPS 4897380 HAS SOUS 887006 HAS SOUPS 868314 WITH SCORE 874589.1
AT ITER 5167 NEW BEST:: SOT 9291227 SOS 6274956 HAS SOPS 4897188 HAS SOUS 886590 HAS SOUPS 867898 WITH SCORE 874172.956
AT ITER 5209 NEW BEST:: SOT 9291301 SOS 6275311 HAS SOPS 4898211 HAS SOUS 886535 HAS SOUPS 867843 WITH SCORE 874118.311
AT ITER 5217 NEW BEST:: SOT 9287842 SOS 6270807 HAS SOPS 4889929 HAS SOUS 879601 HAS SOUPS 860909 WITH SCORE 867179.807
AT ITER 5228 NEW BEST:: SOT 9285457 SOS 6268338 HAS SOPS 4886604 HAS SOUS 878336 HAS SOUPS 859644 WITH SCORE 865912.338
AT ITER 5234 NEW BEST:: SOT 9285457 SOS 6264918 HAS SOPS 4882624 HAS SOUS 878031 HAS SOUPS 859339 WITH SCORE 865603.918
AT ITER 5240 NEW BEST:: SOT 9285563 SOS 6264882 HAS SOPS 4882582 HAS SOUS 877973 HAS SOUPS 859283 WITH SCORE 865547.882
AT ITER 5254 NEW BEST:: SOT 9286055 SOS 6265327 HAS SOPS 4883168 HAS SOUS 877011 HAS SOUPS 858321 WITH SCORE 864586.327
AT ITER 5255 NEW BEST:: SOT 9285245 SOS 6261199 HAS SOPS 4878818 HAS SOUS 875555 HAS SOUPS 856865 WITH SCORE 863126.199
AT ITER 5265 NEW BEST:: SOT 9285247 SOS 6261985 HAS SOPS 4879596 HAS SOUS 875541 HAS SOUPS 856851 WITH SCORE 863112.985
AT ITER 5269 NEW BEST:: SOT 9285262 SOS 6269375 HAS SOPS 4886541 HAS SOUS 873738 HAS SOUPS 855048 WITH SCORE 861317.375
AT ITER 5286 NEW BEST:: SOT 9285211 SOS 6269309 HAS SOPS 4886327 HAS SOUS 873036 HAS SOUPS 854346 WITH SCORE 860615.309
AT ITER 5306 NEW BEST:: SOT 9286253 SOS 6269407 HAS SOPS 4885547 HAS SOUS 871684 HAS SOUPS 852994 WITH SCORE 859263.407
AT ITER 5330 NEW BEST:: SOT 9286130 SOS 6269228 HAS SOPS 4885719 HAS SOUS 871606 HAS SOUPS 852916 WITH SCORE 859185.228
AT ITER 5362 NEW BEST:: SOT 9286359 SOS 6269470 HAS SOPS 4885921 HAS SOUS 871554 HAS SOUPS 852864 WITH SCORE 859133.47
AT ITER 5483 NEW BEST:: SOT 9284588 SOS 6267640 HAS SOPS 4883867 HAS SOUS 869052 HAS SOUPS 850362 WITH SCORE 856629.64
AT ITER 5489 NEW BEST:: SOT 9280106 SOS 6255775 HAS SOPS 4872883 HAS SOUS 867830 HAS SOUPS 849054 WITH SCORE 855309.775
AT ITER 5511 NEW BEST:: SOT 9279566 SOS 6250141 HAS SOPS 4857536 HAS SOUS 867856 HAS SOUPS 849001 WITH SCORE 855251.141
AT ITER 5515 NEW BEST:: SOT 9278739 SOS 6249819 HAS SOPS 4856296 HAS SOUS 867222 HAS SOUPS 848362 WITH SCORE 854611.819
AT ITER 5527 NEW BEST:: SOT 9279637 SOS 6254229 HAS SOPS 4860341 HAS SOUS 867206 HAS SOUPS 848346 WITH SCORE 854600.229
AT ITER 5544 NEW BEST:: SOT 9273503 SOS 6248195 HAS SOPS 4855386 HAS SOUS 862622 HAS SOUPS 843732 WITH SCORE 849980.195
AT ITER 5578 NEW BEST:: SOT 9271039 SOS 6220283 HAS SOPS 4824034 HAS SOUS 861716 HAS SOUPS 842762 WITH SCORE 848982.283
AT ITER 5581 NEW BEST:: SOT 9270991 SOS 6220235 HAS SOPS 4823974 HAS SOUS 861653 HAS SOUPS 842699 WITH SCORE 848919.235
AT ITER 5594 NEW BEST:: SOT 9270870 SOS 6219475 HAS SOPS 4823229 HAS SOUS 861528 HAS SOUPS 842574 WITH SCORE 848793.475
AT ITER 5600 NEW BEST:: SOT 9266884 SOS 6218146 HAS SOPS 4818068 HAS SOUS 860257 HAS SOUPS 841279 WITH SCORE 847497.146
AT ITER 5603 NEW BEST:: SOT 9266823 SOS 6220320 HAS SOPS 4820380 HAS SOUS 860181 HAS SOUPS 841203 WITH SCORE 847423.32
AT ITER 5618 NEW BEST:: SOT 9263919 SOS 6231382 HAS SOPS 4832343 HAS SOUS 860084 HAS SOUPS 841106 WITH SCORE 847337.382
AT ITER 5636 NEW BEST:: SOT 9263762 SOS 6231218 HAS SOPS 4832166 HAS SOUS 859500 HAS SOUPS 840522 WITH SCORE 846753.218
AT ITER 5637 NEW BEST:: SOT 9263280 SOS 6230729 HAS SOPS 4831715 HAS SOUS 859041 HAS SOUPS 840063 WITH SCORE 846293.729
AT ITER 5644 NEW BEST:: SOT 9263082 SOS 6230544 HAS SOPS 4831536 HAS SOUS 858860 HAS SOUPS 839882 WITH SCORE 846112.544
AT ITER 5670 NEW BEST:: SOT 9263155 SOS 6232456 HAS SOPS 4832805 HAS SOUS 855582 HAS SOUPS 836546 WITH SCORE 842778.456
AT ITER 5684 NEW BEST:: SOT 9263466 SOS 6232767 HAS SOPS 4832937 HAS SOUS 854892 HAS SOUPS 835857 WITH SCORE 842089.767
AT ITER 5717 NEW BEST:: SOT 9263121 SOS 6232431 HAS SOPS 4832511 HAS SOUS 854577 HAS SOUPS 835539 WITH SCORE 841771.431
AT ITER 5775 NEW BEST:: SOT 9259736 SOS 6227644 HAS SOPS 4828295 HAS SOUS 853738 HAS SOUPS 834700 WITH SCORE 840927.644
AT ITER 5777 NEW BEST:: SOT 9259764 SOS 6227670 HAS SOPS 4828291 HAS SOUS 853684 HAS SOUPS 834646 WITH SCORE 840873.67
AT ITER 5793 NEW BEST:: SOT 9263873 SOS 6242707 HAS SOPS 4841441 HAS SOUS 853339 HAS SOUPS 834301 WITH SCORE 840543.707
AT ITER 5806 NEW BEST:: SOT 9263868 SOS 6242491 HAS SOPS 4841223 HAS SOUS 853339 HAS SOUPS 834301 WITH SCORE 840543.491
AT ITER 5821 NEW BEST:: SOT 9263387 SOS 6241411 HAS SOPS 4840100 HAS SOUS 853100 HAS SOUPS 834062 WITH SCORE 840303.411
AT ITER 5857 NEW BEST:: SOT 9262487 SOS 6240478 HAS SOPS 4839172 HAS SOUS 851771 HAS SOUPS 832733 WITH SCORE 838973.478
AT ITER 5863 NEW BEST:: SOT 9262487 SOS 6248446 HAS SOPS 4847140 HAS SOUS 851724 HAS SOUPS 832686 WITH SCORE 838934.446
AT ITER 5876 NEW BEST:: SOT 9262266 SOS 6248510 HAS SOPS 4846733 HAS SOUS 851700 HAS SOUPS 832659 WITH SCORE 838907.51
AT ITER 5877 NEW BEST:: SOT 9262289 SOS 6249415 HAS SOPS 4847590 HAS SOUS 851614 HAS SOUPS 832573 WITH SCORE 838822.415
AT ITER 5910 NEW BEST:: SOT 9262287 SOS 6248466 HAS SOPS 4846639 HAS SOUS 851560 HAS SOUPS 832519 WITH SCORE 838767.466
AT ITER 5914 NEW BEST:: SOT 9262448 SOS 6245649 HAS SOPS 4853399 HAS SOUS 851408 HAS SOUPS 832451 WITH SCORE 838696.649
AT ITER 5979 NEW BEST:: SOT 9260997 SOS 6244314 HAS SOPS 4852224 HAS SOUS 849426 HAS SOUPS 830770 WITH SCORE 837014.314
AT ITER 6043 NEW BEST:: SOT 9257811 SOS 6241094 HAS SOPS 4849257 HAS SOUS 848165 HAS SOUPS 829509 WITH SCORE 835750.094
AT ITER 6052 NEW BEST:: SOT 9256923 SOS 6243757 HAS SOPS 4852002 HAS SOUS 847909 HAS SOUPS 829253 WITH SCORE 835496.757
AT ITER 6065 NEW BEST:: SOT 9256950 SOS 6241130 HAS SOPS 4849316 HAS SOUS 847799 HAS SOUPS 829143 WITH SCORE 835384.13
AT ITER 6106 NEW BEST:: SOT 9260928 SOS 6240159 HAS SOPS 4847211 HAS SOUS 847293 HAS SOUPS 828637 WITH SCORE 834877.159
AT ITER 6118 NEW BEST:: SOT 9260871 SOS 6238111 HAS SOPS 4845074 HAS SOUS 847272 HAS SOUPS 828616 WITH SCORE 834854.111
AT ITER 6200 NEW BEST:: SOT 9260205 SOS 6237385 HAS SOPS 4844486 HAS SOUS 846791 HAS SOUPS 828135 WITH SCORE 834372.385
AT ITER 6229 NEW BEST:: SOT 9260684 SOS 6237042 HAS SOPS 4844101 HAS SOUS 846373 HAS SOUPS 827723 WITH SCORE 833960.042
AT ITER 6237 NEW BEST:: SOT 9259331 SOS 6235729 HAS SOPS 4842832 HAS SOUS 845343 HAS SOUPS 826686 WITH SCORE 832921.729
AT ITER 6240 NEW BEST:: SOT 9259978 SOS 6238697 HAS SOPS 4853944 HAS SOUS 844929 HAS SOUPS 826296 WITH SCORE 832534.697
AT ITER 6256 NEW BEST:: SOT 9260057 SOS 6238787 HAS SOPS 4853929 HAS SOUS 844608 HAS SOUPS 825975 WITH SCORE 832213.787
AT ITER 6301 NEW BEST:: SOT 9260119 SOS 6233768 HAS SOPS 4848498 HAS SOUS 844172 HAS SOUPS 825539 WITH SCORE 831772.768
AT ITER 6312 NEW BEST:: SOT 9259766 SOS 6233407 HAS SOPS 4848158 HAS SOUS 843881 HAS SOUPS 825248 WITH SCORE 831481.407
AT ITER 6321 NEW BEST:: SOT 9259479 SOS 6233116 HAS SOPS 4847766 HAS SOUS 843467 HAS SOUPS 824834 WITH SCORE 831067.116
AT ITER 6324 NEW BEST:: SOT 9261416 SOS 6234765 HAS SOPS 4850078 HAS SOUS 842103 HAS SOUPS 823470 WITH SCORE 829704.765
AT ITER 6380 NEW BEST:: SOT 9264369 SOS 6237327 HAS SOPS 4851891 HAS SOUS 840480 HAS SOUPS 821885 WITH SCORE 828122.327
AT ITER 6383 NEW BEST:: SOT 9265566 SOS 6232017 HAS SOPS 4850454 HAS SOUS 839470 HAS SOUPS 820900 WITH SCORE 827132.017
AT ITER 6384 NEW BEST:: SOT 9254316 SOS 6217684 HAS SOPS 4837882 HAS SOUS 837425 HAS SOUPS 818794 WITH SCORE 825011.684
AT ITER 6463 NEW BEST:: SOT 9255429 SOS 6218816 HAS SOPS 4838804 HAS SOUS 837410 HAS SOUPS 818779 WITH SCORE 824997.816
AT ITER 6506 NEW BEST:: SOT 9256218 SOS 6226610 HAS SOPS 4841294 HAS SOUS 836963 HAS SOUPS 818332 WITH SCORE 824558.61
AT ITER 6533 NEW BEST:: SOT 9256467 SOS 6226400 HAS SOPS 4841723 HAS SOUS 836939 HAS SOUPS 818312 WITH SCORE 824538.4
AT ITER 6545 NEW BEST:: SOT 9255616 SOS 6225566 HAS SOPS 4840780 HAS SOUS 835746 HAS SOUPS 817119 WITH SCORE 823344.566
AT ITER 6547 NEW BEST:: SOT 9256630 SOS 6226385 HAS SOPS 4841655 HAS SOUS 835219 HAS SOUPS 816664 WITH SCORE 822890.385
AT ITER 6557 NEW BEST:: SOT 9256318 SOS 6225857 HAS SOPS 4841007 HAS SOUS 834587 HAS SOUPS 816032 WITH SCORE 822257.857
AT ITER 6559 NEW BEST:: SOT 9256888 SOS 6212044 HAS SOPS 4821809 HAS SOUS 833315 HAS SOUPS 814760 WITH SCORE 820972.044
AT ITER 6562 NEW BEST:: SOT 9252854 SOS 6203814 HAS SOPS 4813995 HAS SOUS 830435 HAS SOUPS 811880 WITH SCORE 818083.814
AT ITER 6574 NEW BEST:: SOT 9252924 SOS 6203948 HAS SOPS 4814091 HAS SOUS 830325 HAS SOUPS 811770 WITH SCORE 817973.948
AT ITER 6644 NEW BEST:: SOT 9252836 SOS 6203818 HAS SOPS 4813960 HAS SOUS 829776 HAS SOUPS 811221 WITH SCORE 817424.818
AT ITER 6645 NEW BEST:: SOT 9268424 SOS 6219126 HAS SOPS 4826016 HAS SOUS 826325 HAS SOUPS 807770 WITH SCORE 813989.126
AT ITER 6693 NEW BEST:: SOT 9268420 SOS 6219282 HAS SOPS 4825698 HAS SOUS 826325 HAS SOUPS 807768 WITH SCORE 813987.282
AT ITER 6694 NEW BEST:: SOT 9268955 SOS 6219793 HAS SOPS 4825338 HAS SOUS 824603 HAS SOUPS 806046 WITH SCORE 812265.793
AT ITER 6716 NEW BEST:: SOT 9267665 SOS 6218495 HAS SOPS 4823261 HAS SOUS 818835 HAS SOUPS 800294 WITH SCORE 806512.495
AT ITER 6726 NEW BEST:: SOT 9267332 SOS 6229106 HAS SOPS 4833662 HAS SOUS 818361 HAS SOUPS 799820 WITH SCORE 806049.106
AT ITER 6743 NEW BEST:: SOT 9288930 SOS 6235034 HAS SOPS 4853450 HAS SOUS 818211 HAS SOUPS 799780 WITH SCORE 806015.034
AT ITER 6751 NEW BEST:: SOT 9289010 SOS 6235110 HAS SOPS 4853534 HAS SOUS 818087 HAS SOUPS 799656 WITH SCORE 805891.11
AT ITER 6802 NEW BEST:: SOT 9288857 SOS 6235237 HAS SOPS 4853692 HAS SOUS 817666 HAS SOUPS 799238 WITH SCORE 805473.237
AT ITER 6812 NEW BEST:: SOT 9288621 SOS 6235007 HAS SOPS 4853454 HAS SOUS 817398 HAS SOUPS 798970 WITH SCORE 805205.007
AT ITER 6820 NEW BEST:: SOT 9286693 SOS 6237546 HAS SOPS 4856100 HAS SOUS 816366 HAS SOUPS 797938 WITH SCORE 804175.546
AT ITER 6833 NEW BEST:: SOT 9286693 SOS 6237404 HAS SOPS 4855958 HAS SOUS 816366 HAS SOUPS 797938 WITH SCORE 804175.404
AT ITER 6863 NEW BEST:: SOT 9287031 SOS 6237742 HAS SOPS 4855927 HAS SOUS 814956 HAS SOUPS 796528 WITH SCORE 802765.742
AT ITER 6968 NEW BEST:: SOT 9289248 SOS 6239959 HAS SOPS 4857845 HAS SOUS 814244 HAS SOUPS 795874 WITH SCORE 802113.959
AT ITER 6986 NEW BEST:: SOT 9289221 SOS 6239932 HAS SOPS 4857803 HAS SOUS 814184 HAS SOUPS 795814 WITH SCORE 802053.932
AT ITER 6992 NEW BEST:: SOT 9287666 SOS 6237412 HAS SOPS 4855385 HAS SOUS 813588 HAS SOUPS 795218 WITH SCORE 801455.412
AT ITER 7001 NEW BEST:: SOT 9284691 SOS 6234404 HAS SOPS 4853235 HAS SOUS 813213 HAS SOUPS 794843 WITH SCORE 801077.404
AT ITER 7015 NEW BEST:: SOT 9284694 SOS 6233129 HAS SOPS 4852353 HAS SOUS 813201 HAS SOUPS 794834 WITH SCORE 801067.129
AT ITER 7056 NEW BEST:: SOT 9284240 SOS 6231633 HAS SOPS 4842325 HAS SOUS 812534 HAS SOUPS 794129 WITH SCORE 800360.633
AT ITER 7091 NEW BEST:: SOT 9284096 SOS 6231489 HAS SOPS 4842109 HAS SOUS 812049 HAS SOUPS 793644 WITH SCORE 799875.489
AT ITER 7100 NEW BEST:: SOT 9283307 SOS 6230717 HAS SOPS 4841286 HAS SOUS 811241 HAS SOUPS 792836 WITH SCORE 799066.717
AT ITER 7115 NEW BEST:: SOT 9283225 SOS 6244241 HAS SOPS 4847506 HAS SOUS 811215 HAS SOUPS 792810 WITH SCORE 799054.241
AT ITER 7153 NEW BEST:: SOT 9283249 SOS 6244265 HAS SOPS 4847474 HAS SOUS 811007 HAS SOUPS 792602 WITH SCORE 798846.265
AT ITER 7174 NEW BEST:: SOT 9278728 SOS 6239858 HAS SOPS 4843476 HAS SOUS 809709 HAS SOUPS 791304 WITH SCORE 797543.858
AT ITER 7216 NEW BEST:: SOT 9278338 SOS 6237307 HAS SOPS 4841103 HAS SOUS 809606 HAS SOUPS 791201 WITH SCORE 797438.307
AT ITER 7219 NEW BEST:: SOT 9277197 SOS 6233030 HAS SOPS 4836926 HAS SOUS 807057 HAS SOUPS 788652 WITH SCORE 794885.03
AT ITER 7230 NEW BEST:: SOT 9274284 SOS 6230095 HAS SOPS 4834952 HAS SOUS 806791 HAS SOUPS 788386 WITH SCORE 794616.095
AT ITER 7240 NEW BEST:: SOT 9274332 SOS 6230159 HAS SOPS 4834856 HAS SOUS 806231 HAS SOUPS 787826 WITH SCORE 794056.159
AT ITER 7246 NEW BEST:: SOT 9273846 SOS 6229617 HAS SOPS 4833877 HAS SOUS 804069 HAS SOUPS 785664 WITH SCORE 791893.617
AT ITER 7271 NEW BEST:: SOT 9273684 SOS 6229455 HAS SOPS 4833643 HAS SOUS 803427 HAS SOUPS 785022 WITH SCORE 791251.455
AT ITER 7311 NEW BEST:: SOT 9273674 SOS 6229034 HAS SOPS 4833222 HAS SOUS 803413 HAS SOUPS 785008 WITH SCORE 791237.034
AT ITER 7319 NEW BEST:: SOT 9272982 SOS 6228358 HAS SOPS 4832242 HAS SOUS 802895 HAS SOUPS 784490 WITH SCORE 790718.358
AT ITER 7320 NEW BEST:: SOT 9272750 SOS 6228118 HAS SOPS 4831810 HAS SOUS 802431 HAS SOUPS 784026 WITH SCORE 790254.118
AT ITER 7333 NEW BEST:: SOT 9274960 SOS 6230416 HAS SOPS 4833639 HAS SOUS 799811 HAS SOUPS 781408 WITH SCORE 787638.416
AT ITER 7338 NEW BEST:: SOT 9274932 SOS 6230386 HAS SOPS 4833609 HAS SOUS 799785 HAS SOUPS 781382 WITH SCORE 787612.386
AT ITER 7340 NEW BEST:: SOT 9275202 SOS 6230685 HAS SOPS 4833985 HAS SOUS 799655 HAS SOUPS 781246 WITH SCORE 787476.685
AT ITER 7350 NEW BEST:: SOT 9276299 SOS 6231782 HAS SOPS 4836223 HAS SOUS 799198 HAS SOUPS 780789 WITH SCORE 787020.782
AT ITER 7355 NEW BEST:: SOT 9276141 SOS 6231703 HAS SOPS 4835035 HAS SOUS 798651 HAS SOUPS 780242 WITH SCORE 786473.703
AT ITER 7402 NEW BEST:: SOT 9277682 SOS 6233225 HAS SOPS 4836071 HAS SOUS 798396 HAS SOUPS 779987 WITH SCORE 786220.225
AT ITER 7434 NEW BEST:: SOT 9279600 SOS 6235099 HAS SOPS 4837169 HAS SOUS 795802 HAS SOUPS 777393 WITH SCORE 783628.099
AT ITER 7480 NEW BEST:: SOT 9285208 SOS 6240629 HAS SOPS 4841653 HAS SOUS 795598 HAS SOUPS 777189 WITH SCORE 783429.629
AT ITER 7493 NEW BEST:: SOT 9284486 SOS 6255431 HAS SOPS 4847117 HAS SOUS 795209 HAS SOUPS 776724 WITH SCORE 782979.431
AT ITER 7520 NEW BEST:: SOT 9284368 SOS 6267996 HAS SOPS 4844987 HAS SOUS 795219 HAS SOUPS 776694 WITH SCORE 782961.996
AT ITER 7528 NEW BEST:: SOT 9284412 SOS 6268036 HAS SOPS 4845007 HAS SOUS 795191 HAS SOUPS 776666 WITH SCORE 782934.036
AT ITER 7553 NEW BEST:: SOT 9284700 SOS 6255321 HAS SOPS 4828406 HAS SOUS 791486 HAS SOUPS 772682 WITH SCORE 778937.321
AT ITER 7557 NEW BEST:: SOT 9285233 SOS 6255839 HAS SOPS 4828668 HAS SOUS 791292 HAS SOUPS 772488 WITH SCORE 778743.839
AT ITER 7566 NEW BEST:: SOT 9285870 SOS 6256066 HAS SOPS 4828636 HAS SOUS 791142 HAS SOUPS 772342 WITH SCORE 778598.066
AT ITER 7572 NEW BEST:: SOT 9285796 SOS 6255992 HAS SOPS 4828375 HAS SOUS 790780 HAS SOUPS 771980 WITH SCORE 778235.992
AT ITER 7575 NEW BEST:: SOT 9284905 SOS 6255036 HAS SOPS 4827224 HAS SOUS 790597 HAS SOUPS 771789 WITH SCORE 778044.036
AT ITER 7591 NEW BEST:: SOT 9284931 SOS 6254925 HAS SOPS 4827135 HAS SOUS 790594 HAS SOUPS 771786 WITH SCORE 778040.925
AT ITER 7603 NEW BEST:: SOT 9284599 SOS 6254593 HAS SOPS 4826759 HAS SOUS 790090 HAS SOUPS 771282 WITH SCORE 777536.593
AT ITER 7635 NEW BEST:: SOT 9284850 SOS 6254849 HAS SOPS 4826931 HAS SOUS 789933 HAS SOUPS 771125 WITH SCORE 777379.849
AT ITER 7669 NEW BEST:: SOT 9285434 SOS 6255406 HAS SOPS 4827313 HAS SOUS 789589 HAS SOUPS 770781 WITH SCORE 777036.406
AT ITER 7722 NEW BEST:: SOT 9284360 SOS 6254286 HAS SOPS 4826065 HAS SOUS 789161 HAS SOUPS 770353 WITH SCORE 776607.286
AT ITER 7730 NEW BEST:: SOT 9283107 SOS 6251723 HAS SOPS 4823416 HAS SOUS 787284 HAS SOUPS 768476 WITH SCORE 774727.723
AT ITER 7734 NEW BEST:: SOT 9282364 SOS 6266898 HAS SOPS 4838595 HAS SOUS 787041 HAS SOUPS 768233 WITH SCORE 774499.898
AT ITER 7745 NEW BEST:: SOT 9282364 SOS 6266739 HAS SOPS 4838436 HAS SOUS 787040 HAS SOUPS 768232 WITH SCORE 774498.739
AT ITER 7747 NEW BEST:: SOT 9282372 SOS 6262645 HAS SOPS 4836244 HAS SOUS 787014 HAS SOUPS 768214 WITH SCORE 774476.645
AT ITER 7758 NEW BEST:: SOT 9282288 SOS 6262561 HAS SOPS 4836196 HAS SOUS 786858 HAS SOUPS 768106 WITH SCORE 774368.561
AT ITER 7759 NEW BEST:: SOT 9283934 SOS 6261933 HAS SOPS 4839671 HAS SOUS 786748 HAS SOUPS 768076 WITH SCORE 774337.933
AT ITER 7766 NEW BEST:: SOT 9282959 SOS 6263792 HAS SOPS 4833424 HAS SOUS 786285 HAS SOUPS 767541 WITH SCORE 773804.792
AT ITER 7782 NEW BEST:: SOT 9278195 SOS 6260104 HAS SOPS 4830160 HAS SOUS 786283 HAS SOUPS 767501 WITH SCORE 773761.104
AT ITER 7801 NEW BEST:: SOT 9278079 SOS 6259978 HAS SOPS 4829992 HAS SOUS 786091 HAS SOUPS 767309 WITH SCORE 773568.978
AT ITER 7809 NEW BEST:: SOT 9276093 SOS 6238128 HAS SOPS 4830763 HAS SOUS 784627 HAS SOUPS 765892 WITH SCORE 772130.128
AT ITER 7839 NEW BEST:: SOT 9273581 SOS 6235158 HAS SOPS 4827875 HAS SOUS 782397 HAS SOUPS 763644 WITH SCORE 769879.158
AT ITER 7851 NEW BEST:: SOT 9245477 SOS 6233767 HAS SOPS 4807809 HAS SOUS 781920 HAS SOUPS 763023 WITH SCORE 769256.767
AT ITER 7885 NEW BEST:: SOT 9243501 SOS 6232328 HAS SOPS 4806604 HAS SOUS 781906 HAS SOUPS 763009 WITH SCORE 769241.328
AT ITER 7928 NEW BEST:: SOT 9243807 SOS 6232610 HAS SOPS 4806632 HAS SOUS 781659 HAS SOUPS 762762 WITH SCORE 768994.61
AT ITER 7946 NEW BEST:: SOT 9242987 SOS 6233890 HAS SOPS 4807918 HAS SOUS 780506 HAS SOUPS 761609 WITH SCORE 767842.89
AT ITER 7959 NEW BEST:: SOT 9241785 SOS 6233476 HAS SOPS 4807333 HAS SOUS 779156 HAS SOUPS 760268 WITH SCORE 766501.476
AT ITER 8004 NEW BEST:: SOT 9244229 SOS 6235421 HAS SOPS 4808690 HAS SOUS 777953 HAS SOUPS 759096 WITH SCORE 765331.421
AT ITER 8012 NEW BEST:: SOT 9246661 SOS 6237820 HAS SOPS 4810867 HAS SOUS 777309 HAS SOUPS 758452 WITH SCORE 764689.82
AT ITER 8053 NEW BEST:: SOT 9247993 SOS 6243542 HAS SOPS 4817207 HAS SOUS 775998 HAS SOUPS 757155 WITH SCORE 763398.542
AT ITER 8056 NEW BEST:: SOT 9245406 SOS 6241231 HAS SOPS 4815119 HAS SOUS 774666 HAS SOUPS 755798 WITH SCORE 762039.231
AT ITER 8082 NEW BEST:: SOT 9245421 SOS 6241216 HAS SOPS 4814925 HAS SOUS 774259 HAS SOUPS 755391 WITH SCORE 761632.216
AT ITER 8088 NEW BEST:: SOT 9238050 SOS 6233891 HAS SOPS 4808319 HAS SOUS 772750 HAS SOUPS 753882 WITH SCORE 760115.891
AT ITER 8113 NEW BEST:: SOT 9237705 SOS 6232970 HAS SOPS 4807054 HAS SOUS 772661 HAS SOUPS 753609 WITH SCORE 759841.97
AT ITER 8127 NEW BEST:: SOT 9237313 SOS 6232559 HAS SOPS 4806335 HAS SOUS 772459 HAS SOUPS 753418 WITH SCORE 759650.559
AT ITER 8148 NEW BEST:: SOT 9231384 SOS 6270170 HAS SOPS 4801004 HAS SOUS 769861 HAS SOUPS 751250 WITH SCORE 757520.17
AT ITER 8215 NEW BEST:: SOT 9231306 SOS 6270094 HAS SOPS 4800922 HAS SOUS 769681 HAS SOUPS 751070 WITH SCORE 757340.094
AT ITER 8250 NEW BEST:: SOT 9236082 SOS 6269299 HAS SOPS 4805818 HAS SOUS 769396 HAS SOUPS 750825 WITH SCORE 757094.299
AT ITER 8255 NEW BEST:: SOT 9236009 SOS 6269223 HAS SOPS 4805735 HAS SOUS 769234 HAS SOUPS 750663 WITH SCORE 756932.223
AT ITER 8274 NEW BEST:: SOT 9239572 SOS 6261941 HAS SOPS 4806976 HAS SOUS 766631 HAS SOUPS 748117 WITH SCORE 754378.941
AT ITER 8292 NEW BEST:: SOT 9240515 SOS 6262743 HAS SOPS 4807730 HAS SOUS 765052 HAS SOUPS 746554 WITH SCORE 752816.743
AT ITER 8311 NEW BEST:: SOT 9240531 SOS 6268309 HAS SOPS 4809065 HAS SOUS 765063 HAS SOUPS 746533 WITH SCORE 752801.309
AT ITER 8319 NEW BEST:: SOT 9240304 SOS 6268055 HAS SOPS 4808739 HAS SOUS 764716 HAS SOUPS 746186 WITH SCORE 752454.055
AT ITER 8344 NEW BEST:: SOT 9239852 SOS 6267202 HAS SOPS 4807922 HAS SOUS 764649 HAS SOUPS 746115 WITH SCORE 752382.202
AT ITER 8348 NEW BEST:: SOT 9237677 SOS 6264766 HAS SOPS 4804355 HAS SOUS 760753 HAS SOUPS 742219 WITH SCORE 748483.766
AT ITER 8371 NEW BEST:: SOT 9237635 SOS 6264724 HAS SOPS 4804231 HAS SOUS 760753 HAS SOUPS 742219 WITH SCORE 748483.724
AT ITER 8377 NEW BEST:: SOT 9237141 SOS 6263923 HAS SOPS 4802752 HAS SOUS 758997 HAS SOUPS 740495 WITH SCORE 746758.923
AT ITER 8394 NEW BEST:: SOT 9237478 SOS 6264341 HAS SOPS 4803228 HAS SOUS 757908 HAS SOUPS 739406 WITH SCORE 745670.341
AT ITER 8415 NEW BEST:: SOT 9235766 SOS 6255882 HAS SOPS 4794769 HAS SOUS 756606 HAS SOUPS 738104 WITH SCORE 744359.882
AT ITER 8428 NEW BEST:: SOT 9238234 SOS 6258276 HAS SOPS 4796321 HAS SOUS 754976 HAS SOUPS 736474 WITH SCORE 742732.276
AT ITER 8450 NEW BEST:: SOT 9237189 SOS 6257231 HAS SOPS 4795367 HAS SOUS 754522 HAS SOUPS 736020 WITH SCORE 742277.231
AT ITER 8451 NEW BEST:: SOT 9236938 SOS 6256961 HAS SOPS 4794433 HAS SOUS 753893 HAS SOUPS 735391 WITH SCORE 741647.961
AT ITER 8463 NEW BEST:: SOT 9236582 SOS 6256591 HAS SOPS 4793981 HAS SOUS 753729 HAS SOUPS 735227 WITH SCORE 741483.591
AT ITER 8507 NEW BEST:: SOT 9236000 SOS 6255998 HAS SOPS 4793007 HAS SOUS 753301 HAS SOUPS 734799 WITH SCORE 741054.998
AT ITER 8514 NEW BEST:: SOT 9236205 SOS 6256203 HAS SOPS 4793268 HAS SOUS 752963 HAS SOUPS 734461 WITH SCORE 740717.203
AT ITER 8517 NEW BEST:: SOT 9233876 SOS 6256792 HAS SOPS 4793669 HAS SOUS 750190 HAS SOUPS 731688 WITH SCORE 737944.792
AT ITER 8524 NEW BEST:: SOT 9234254 SOS 6256043 HAS SOPS 4788651 HAS SOUS 749824 HAS SOUPS 731322 WITH SCORE 737578.043
AT ITER 8533 NEW BEST:: SOT 9234122 SOS 6260499 HAS SOPS 4793109 HAS SOUS 749661 HAS SOUPS 731159 WITH SCORE 737419.499
AT ITER 8576 NEW BEST:: SOT 9233936 SOS 6260313 HAS SOPS 4792911 HAS SOUS 749493 HAS SOUPS 730991 WITH SCORE 737251.313
AT ITER 8582 NEW BEST:: SOT 9233798 SOS 6260177 HAS SOPS 4792771 HAS SOUS 749347 HAS SOUPS 730845 WITH SCORE 737105.177
AT ITER 8605 NEW BEST:: SOT 9232813 SOS 6259222 HAS SOPS 4791866 HAS SOUS 748732 HAS SOUPS 730225 WITH SCORE 736484.222
AT ITER 8643 NEW BEST:: SOT 9232816 SOS 6259229 HAS SOPS 4791848 HAS SOUS 748624 HAS SOUPS 730118 WITH SCORE 736377.229
AT ITER 8680 NEW BEST:: SOT 9232794 SOS 6249611 HAS SOPS 4785799 HAS SOUS 748602 HAS SOUPS 730123 WITH SCORE 736372.611
AT ITER 8686 NEW BEST:: SOT 9232756 SOS 6249583 HAS SOPS 4785777 HAS SOUS 748523 HAS SOUPS 730044 WITH SCORE 736293.583
AT ITER 8693 NEW BEST:: SOT 9232516 SOS 6252441 HAS SOPS 4788725 HAS SOUS 748363 HAS SOUPS 729884 WITH SCORE 736136.441
AT ITER 8751 NEW BEST:: SOT 9233284 SOS 6253020 HAS SOPS 4789025 HAS SOUS 747500 HAS SOUPS 729030 WITH SCORE 735283.02
AT ITER 8764 NEW BEST:: SOT 9233151 SOS 6252885 HAS SOPS 4788883 HAS SOUS 747468 HAS SOUPS 728998 WITH SCORE 735250.885
AT ITER 8790 NEW BEST:: SOT 9233233 SOS 6251512 HAS SOPS 4787479 HAS SOUS 747461 HAS SOUPS 728991 WITH SCORE 735242.512
AT ITER 8806 NEW BEST:: SOT 9233385 SOS 6251651 HAS SOPS 4787340 HAS SOUS 746747 HAS SOUPS 728277 WITH SCORE 734528.651
AT ITER 8827 NEW BEST:: SOT 9233382 SOS 6258728 HAS SOPS 4795855 HAS SOUS 746715 HAS SOUPS 728264 WITH SCORE 734522.728
AT ITER 8833 NEW BEST:: SOT 9233291 SOS 6258634 HAS SOPS 4795776 HAS SOUS 746714 HAS SOUPS 728263 WITH SCORE 734521.634
AT ITER 8838 NEW BEST:: SOT 9232188 SOS 6255438 HAS SOPS 4792575 HAS SOUS 745627 HAS SOUPS 727155 WITH SCORE 733410.438
AT ITER 8840 NEW BEST:: SOT 9231987 SOS 6250136 HAS SOPS 4787293 HAS SOUS 745518 HAS SOUPS 727046 WITH SCORE 733296.136
AT ITER 8872 NEW BEST:: SOT 9231973 SOS 6250122 HAS SOPS 4787194 HAS SOUS 745075 HAS SOUPS 726603 WITH SCORE 732853.122
AT ITER 8896 NEW BEST:: SOT 9231973 SOS 6250115 HAS SOPS 4787182 HAS SOUS 745068 HAS SOUPS 726596 WITH SCORE 732846.115
AT ITER 8900 NEW BEST:: SOT 9231459 SOS 6249595 HAS SOPS 4786660 HAS SOUS 744532 HAS SOUPS 726060 WITH SCORE 732309.595
AT ITER 8908 NEW BEST:: SOT 9228423 SOS 6234011 HAS SOPS 4771069 HAS SOUS 742760 HAS SOUPS 724288 WITH SCORE 730522.011
AT ITER 8923 NEW BEST:: SOT 9228452 SOS 6231189 HAS SOPS 4773035 HAS SOUS 742741 HAS SOUPS 724282 WITH SCORE 730513.189
AT ITER 8940 NEW BEST:: SOT 9228414 SOS 6226133 HAS SOPS 4765490 HAS SOUS 742737 HAS SOUPS 724259 WITH SCORE 730485.133
AT ITER 8984 NEW BEST:: SOT 9227753 SOS 6225506 HAS SOPS 4764718 HAS SOUS 740437 HAS SOUPS 721959 WITH SCORE 728184.506
AT ITER 9055 NEW BEST:: SOT 9224478 SOS 6222241 HAS SOPS 4760946 HAS SOUS 738902 HAS SOUPS 720388 WITH SCORE 726610.241
AT ITER 9062 NEW BEST:: SOT 9224583 SOS 6199939 HAS SOPS 4737957 HAS SOUS 738050 HAS SOUPS 719536 WITH SCORE 725735.939
AT ITER 9081 NEW BEST:: SOT 9223075 SOS 6198431 HAS SOPS 4737277 HAS SOUS 737554 HAS SOUPS 719040 WITH SCORE 725238.431
AT ITER 9083 NEW BEST:: SOT 9223214 SOS 6198382 HAS SOPS 4736502 HAS SOUS 736903 HAS SOUPS 718413 WITH SCORE 724611.382
AT ITER 9088 NEW BEST:: SOT 9223114 SOS 6198578 HAS SOPS 4736690 HAS SOUS 736667 HAS SOUPS 718179 WITH SCORE 724377.578
AT ITER 9097 NEW BEST:: SOT 9220781 SOS 6196256 HAS SOPS 4734792 HAS SOUS 735272 HAS SOUPS 716784 WITH SCORE 722980.256
AT ITER 9193 NEW BEST:: SOT 9220539 SOS 6195986 HAS SOPS 4734492 HAS SOUS 734794 HAS SOUPS 716362 WITH SCORE 722557.986
AT ITER 9208 NEW BEST:: SOT 9221689 SOS 6197108 HAS SOPS 4735558 HAS SOUS 734777 HAS SOUPS 716345 WITH SCORE 722542.108
AT ITER 9231 NEW BEST:: SOT 9220673 SOS 6196098 HAS SOPS 4734602 HAS SOUS 734721 HAS SOUPS 716277 WITH SCORE 722473.098
AT ITER 9257 NEW BEST:: SOT 9225196 SOS 6200748 HAS SOPS 4738529 HAS SOUS 732938 HAS SOUPS 714494 WITH SCORE 720694.748
AT ITER 9284 NEW BEST:: SOT 9225196 SOS 6201249 HAS SOPS 4740671 HAS SOUS 732817 HAS SOUPS 714465 WITH SCORE 720666.249
AT ITER 9312 NEW BEST:: SOT 9223422 SOS 6199487 HAS SOPS 4739425 HAS SOUS 732649 HAS SOUPS 714297 WITH SCORE 720496.487
AT ITER 9337 NEW BEST:: SOT 9224426 SOS 6200471 HAS SOPS 4739449 HAS SOUS 731599 HAS SOUPS 713247 WITH SCORE 719447.471
AT ITER 9359 NEW BEST:: SOT 9224801 SOS 6200797 HAS SOPS 4739405 HAS SOUS 731013 HAS SOUPS 712661 WITH SCORE 718861.797
AT ITER 9365 NEW BEST:: SOT 9224143 SOS 6205399 HAS SOPS 4744794 HAS SOUS 730290 HAS SOUPS 711938 WITH SCORE 718143.399
AT ITER 9379 NEW BEST:: SOT 9223886 SOS 6205142 HAS SOPS 4744572 HAS SOUS 730154 HAS SOUPS 711802 WITH SCORE 718007.142
AT ITER 9400 NEW BEST:: SOT 9227160 SOS 6208416 HAS SOPS 4747904 HAS SOUS 730093 HAS SOUPS 711741 WITH SCORE 717949.416
AT ITER 9419 NEW BEST:: SOT 9231357 SOS 6212524 HAS SOPS 4750816 HAS SOUS 728716 HAS SOUPS 710364 WITH SCORE 716576.524
AT ITER 9512 NEW BEST:: SOT 9229392 SOS 6211659 HAS SOPS 4749765 HAS SOUS 726556 HAS SOUPS 708204 WITH SCORE 714415.659
AT ITER 9520 NEW BEST:: SOT 9231477 SOS 6217870 HAS SOPS 4752245 HAS SOUS 726463 HAS SOUPS 708111 WITH SCORE 714328.87
AT ITER 9525 NEW BEST:: SOT 9230004 SOS 6216377 HAS SOPS 4749643 HAS SOUS 724714 HAS SOUPS 706362 WITH SCORE 712578.377
AT ITER 9528 NEW BEST:: SOT 9229986 SOS 6216501 HAS SOPS 4749257 HAS SOUS 723666 HAS SOUPS 705367 WITH SCORE 711583.501
AT ITER 9539 NEW BEST:: SOT 9230195 SOS 6216751 HAS SOPS 4749904 HAS SOUS 722379 HAS SOUPS 704080 WITH SCORE 710296.751
AT ITER 9544 NEW BEST:: SOT 9230701 SOS 6217107 HAS SOPS 4751261 HAS SOUS 722050 HAS SOUPS 703751 WITH SCORE 709968.107
AT ITER 9560 NEW BEST:: SOT 9229801 SOS 6216209 HAS SOPS 4750363 HAS SOUS 721498 HAS SOUPS 703199 WITH SCORE 709415.209
AT ITER 9592 NEW BEST:: SOT 9228633 SOS 6215025 HAS SOPS 4748875 HAS SOUS 720699 HAS SOUPS 702400 WITH SCORE 708615.025
AT ITER 9664 NEW BEST:: SOT 9228502 SOS 6213700 HAS SOPS 4747561 HAS SOUS 720562 HAS SOUPS 702263 WITH SCORE 708476.7
AT ITER 9668 NEW BEST:: SOT 9227730 SOS 6213080 HAS SOPS 4747231 HAS SOUS 720366 HAS SOUPS 702083 WITH SCORE 708296.08
AT ITER 9739 NEW BEST:: SOT 9225597 SOS 6211415 HAS SOPS 4744728 HAS SOUS 720331 HAS SOUPS 702048 WITH SCORE 708259.415
AT ITER 9754 NEW BEST:: SOT 9223248 SOS 6211166 HAS SOPS 4744877 HAS SOUS 718928 HAS SOUPS 700647 WITH SCORE 706858.166
AT ITER 9778 NEW BEST:: SOT 9221692 SOS 6210987 HAS SOPS 4744828 HAS SOUS 718057 HAS SOUPS 699776 WITH SCORE 705986.987
AT ITER 9825 NEW BEST:: SOT 9222642 SOS 6211983 HAS SOPS 4745841 HAS SOUS 717952 HAS SOUPS 699671 WITH SCORE 705882.983
AT ITER 9837 NEW BEST:: SOT 9222406 SOS 6211573 HAS SOPS 4745467 HAS SOUS 717838 HAS SOUPS 699557 WITH SCORE 705768.573
AT ITER 9840 NEW BEST:: SOT 9222394 SOS 6211555 HAS SOPS 4745431 HAS SOUS 717798 HAS SOUPS 699517 WITH SCORE 705728.555
AT ITER 9843 NEW BEST:: SOT 9222658 SOS 6211819 HAS SOPS 4745535 HAS SOUS 717524 HAS SOUPS 699243 WITH SCORE 705454.819
AT ITER 9847 NEW BEST:: SOT 9222091 SOS 6211196 HAS SOPS 4744803 HAS SOUS 715718 HAS SOUPS 697437 WITH SCORE 703648.196
AT ITER 9891 NEW BEST:: SOT 9222786 SOS 6211872 HAS SOPS 4745196 HAS SOUS 715675 HAS SOUPS 697394 WITH SCORE 703605.872
AT ITER 9908 NEW BEST:: SOT 9222811 SOS 6211875 HAS SOPS 4745201 HAS SOUS 715296 HAS SOUPS 697015 WITH SCORE 703226.875
AT ITER 9934 NEW BEST:: SOT 9222487 SOS 6211551 HAS SOPS 4744913 HAS SOUS 715260 HAS SOUPS 696979 WITH SCORE 703190.551
AT ITER 9937 NEW BEST:: SOT 9223418 SOS 6212465 HAS SOPS 4745049 HAS SOUS 714911 HAS SOUPS 696630 WITH SCORE 702842.465
AT ITER 9975 NEW BEST:: SOT 9223418 SOS 6213130 HAS SOPS 4745759 HAS SOUS 714741 HAS SOUPS 696460 WITH SCORE 702673.13
AT ITER 9982 NEW BEST:: SOT 9223418 SOS 6213130 HAS SOPS 4745741 HAS SOUS 714627 HAS SOUPS 696346 WITH SCORE 702559.13
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14163088 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16073132 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS2020-PT-pb103"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS2020-PT-pb103, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204200240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb103.tgz
mv RERS2020-PT-pb103 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;