About the Execution of Smart+red for Medical-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12346.483 | 1679839.00 | 1702331.00 | 5074.20 | [undef] | Cannot compute |
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.r235-tall-167856422100672.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 Medical-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422100672
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 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 1678679269706
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=Medical-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 03:47:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 03:47:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 03:47:51] [INFO ] Load time of PNML (sax parser for PT used): 253 ms
[2023-03-13 03:47:51] [INFO ] Transformed 312 places.
[2023-03-13 03:47:51] [INFO ] Transformed 5431 transitions.
[2023-03-13 03:47:51] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 352 ms.
[2023-03-13 03:47:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 64 ms.
Total runtime 441 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 06
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 3 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252198 HAS SOUPS 249381 WITH SCORE 250018.811
AT ITER 5 NEW BEST:: SOT 1169482 SOS 648902 HAS SOPS 645806 HAS SOUS 252151 HAS SOUPS 249334 WITH SCORE 249982.902
AT ITER 10 NEW BEST:: SOT 1169482 SOS 648902 HAS SOPS 645806 HAS SOUS 252136 HAS SOUPS 249319 WITH SCORE 249967.902
AT ITER 24 NEW BEST:: SOT 1169482 SOS 612711 HAS SOPS 609615 HAS SOUS 252065 HAS SOUPS 249248 WITH SCORE 249860.711
AT ITER 25 NEW BEST:: SOT 1169416 SOS 615165 HAS SOPS 612069 HAS SOUS 250328 HAS SOUPS 247511 WITH SCORE 248126.165
AT ITER 26 NEW BEST:: SOT 1169416 SOS 616557 HAS SOPS 613461 HAS SOUS 250128 HAS SOUPS 247311 WITH SCORE 247927.557
AT ITER 28 NEW BEST:: SOT 1168114 SOS 617751 HAS SOPS 614655 HAS SOUS 249183 HAS SOUPS 246366 WITH SCORE 246983.751
AT ITER 38 NEW BEST:: SOT 1168114 SOS 619551 HAS SOPS 616455 HAS SOUS 248951 HAS SOUPS 246134 WITH SCORE 246753.551
AT ITER 48 NEW BEST:: SOT 1168114 SOS 620679 HAS SOPS 617583 HAS SOUS 247787 HAS SOUPS 244970 WITH SCORE 245590.679
AT ITER 52 NEW BEST:: SOT 1168114 SOS 620679 HAS SOPS 617583 HAS SOUS 247727 HAS SOUPS 244910 WITH SCORE 245530.679
AT ITER 59 NEW BEST:: SOT 1168114 SOS 621951 HAS SOPS 618855 HAS SOUS 246295 HAS SOUPS 243478 WITH SCORE 244099.951
AT ITER 74 NEW BEST:: SOT 1168114 SOS 621951 HAS SOPS 618855 HAS SOUS 245821 HAS SOUPS 243004 WITH SCORE 243625.951
AT ITER 78 NEW BEST:: SOT 1168091 SOS 621928 HAS SOPS 618832 HAS SOUS 245773 HAS SOUPS 242956 WITH SCORE 243577.928
AT ITER 79 NEW BEST:: SOT 1168091 SOS 621928 HAS SOPS 618832 HAS SOUS 245267 HAS SOUPS 242450 WITH SCORE 243071.928
AT ITER 81 NEW BEST:: SOT 1167586 SOS 627855 HAS SOPS 624759 HAS SOUS 245065 HAS SOUPS 242248 WITH SCORE 242875.855
AT ITER 84 NEW BEST:: SOT 1167061 SOS 627300 HAS SOPS 624234 HAS SOUS 243496 HAS SOUPS 240700 WITH SCORE 241327.3
AT ITER 86 NEW BEST:: SOT 1167280 SOS 627583 HAS SOPS 624517 HAS SOUS 243258 HAS SOUPS 240462 WITH SCORE 241089.583
AT ITER 87 NEW BEST:: SOT 1145428 SOS 606085 HAS SOPS 603745 HAS SOUS 220458 HAS SOUPS 218388 WITH SCORE 218994.085
AT ITER 89 NEW BEST:: SOT 1145428 SOS 605557 HAS SOPS 603217 HAS SOUS 220458 HAS SOUPS 218388 WITH SCORE 218993.557
AT ITER 90 NEW BEST:: SOT 1145428 SOS 605557 HAS SOPS 603217 HAS SOUS 220398 HAS SOUPS 218328 WITH SCORE 218933.557
AT ITER 91 NEW BEST:: SOT 1147013 SOS 607080 HAS SOPS 604802 HAS SOUS 218360 HAS SOUPS 216331 WITH SCORE 216938.08
AT ITER 106 NEW BEST:: SOT 1146758 SOS 606620 HAS SOPS 604099 HAS SOUS 218105 HAS SOUPS 216076 WITH SCORE 216682.62
AT ITER 107 NEW BEST:: SOT 1146758 SOS 606612 HAS SOPS 604099 HAS SOUS 218030 HAS SOUPS 216005 WITH SCORE 216611.612
AT ITER 119 NEW BEST:: SOT 1145136 SOS 605672 HAS SOPS 603099 HAS SOUS 217919 HAS SOUPS 215854 WITH SCORE 216459.672
AT ITER 122 NEW BEST:: SOT 1146045 SOS 606635 HAS SOPS 604062 HAS SOUS 217661 HAS SOUPS 215596 WITH SCORE 216202.635
AT ITER 125 NEW BEST:: SOT 1145196 SOS 605786 HAS SOPS 603213 HAS SOUS 217587 HAS SOUPS 215522 WITH SCORE 216127.786
AT ITER 129 NEW BEST:: SOT 1145419 SOS 606945 HAS SOPS 604504 HAS SOUS 215919 HAS SOUPS 213854 WITH SCORE 214460.945
AT ITER 130 NEW BEST:: SOT 1145419 SOS 607053 HAS SOPS 604612 HAS SOUS 215874 HAS SOUPS 213809 WITH SCORE 214416.053
AT ITER 139 NEW BEST:: SOT 1144977 SOS 606611 HAS SOPS 604170 HAS SOUS 214820 HAS SOUPS 212755 WITH SCORE 213361.611
AT ITER 151 NEW BEST:: SOT 1144683 SOS 606317 HAS SOPS 603876 HAS SOUS 213924 HAS SOUPS 211859 WITH SCORE 212465.317
AT ITER 156 NEW BEST:: SOT 1144519 SOS 606226 HAS SOPS 603868 HAS SOUS 207681 HAS SOUPS 205660 WITH SCORE 206266.226
AT ITER 169 NEW BEST:: SOT 1144391 SOS 606886 HAS SOPS 604528 HAS SOUS 207413 HAS SOUPS 205392 WITH SCORE 205998.886
AT ITER 171 NEW BEST:: SOT 1144391 SOS 607750 HAS SOPS 605392 HAS SOUS 207105 HAS SOUPS 205084 WITH SCORE 205691.75
AT ITER 184 NEW BEST:: SOT 1144391 SOS 608662 HAS SOPS 606304 HAS SOUS 206893 HAS SOUPS 204872 WITH SCORE 205480.662
AT ITER 200 NEW BEST:: SOT 1143045 SOS 609608 HAS SOPS 607249 HAS SOUS 206297 HAS SOUPS 204276 WITH SCORE 204885.608
AT ITER 201 NEW BEST:: SOT 1143302 SOS 612241 HAS SOPS 609882 HAS SOUS 205367 HAS SOUPS 203346 WITH SCORE 203958.241
AT ITER 203 NEW BEST:: SOT 1143123 SOS 612120 HAS SOPS 609761 HAS SOUS 204608 HAS SOUPS 202587 WITH SCORE 203199.12
AT ITER 204 NEW BEST:: SOT 1142259 SOS 611256 HAS SOPS 608897 HAS SOUS 204509 HAS SOUPS 202488 WITH SCORE 203099.256
AT ITER 215 NEW BEST:: SOT 1133086 SOS 602114 HAS SOPS 599755 HAS SOUS 194664 HAS SOUPS 192643 WITH SCORE 193245.114
AT ITER 221 NEW BEST:: SOT 1133065 SOS 603149 HAS SOPS 600790 HAS SOUS 194578 HAS SOUPS 192557 WITH SCORE 193160.149
AT ITER 225 NEW BEST:: SOT 1132073 SOS 602117 HAS SOPS 599798 HAS SOUS 192293 HAS SOUPS 190312 WITH SCORE 190914.117
AT ITER 227 NEW BEST:: SOT 1132073 SOS 602597 HAS SOPS 600278 HAS SOUS 192193 HAS SOUPS 190212 WITH SCORE 190814.597
AT ITER 249 NEW BEST:: SOT 1132086 SOS 604194 HAS SOPS 601875 HAS SOUS 190830 HAS SOUPS 188849 WITH SCORE 189453.194
AT ITER 253 NEW BEST:: SOT 1131417 SOS 603937 HAS SOPS 601618 HAS SOUS 190169 HAS SOUPS 188188 WITH SCORE 188791.937
AT ITER 258 NEW BEST:: SOT 1131417 SOS 603377 HAS SOPS 601058 HAS SOUS 190154 HAS SOUPS 188173 WITH SCORE 188776.377
AT ITER 265 NEW BEST:: SOT 1133156 SOS 605105 HAS SOPS 602797 HAS SOUS 189183 HAS SOUPS 187210 WITH SCORE 187815.105
AT ITER 268 NEW BEST:: SOT 1133156 SOS 606041 HAS SOPS 603733 HAS SOUS 188982 HAS SOUPS 187009 WITH SCORE 187615.041
AT ITER 272 NEW BEST:: SOT 1133157 SOS 606042 HAS SOPS 603735 HAS SOUS 188978 HAS SOUPS 187005 WITH SCORE 187611.042
AT ITER 276 NEW BEST:: SOT 1133049 SOS 607263 HAS SOPS 604956 HAS SOUS 188483 HAS SOUPS 186510 WITH SCORE 187117.263
AT ITER 277 NEW BEST:: SOT 1133432 SOS 592388 HAS SOPS 588466 HAS SOUS 188651 HAS SOUPS 186242 WITH SCORE 186834.388
AT ITER 285 NEW BEST:: SOT 1133315 SOS 583114 HAS SOPS 574425 HAS SOUS 188534 HAS SOUPS 185630 WITH SCORE 186213.114
AT ITER 288 NEW BEST:: SOT 1133315 SOS 583132 HAS SOPS 574713 HAS SOUS 188489 HAS SOUPS 185576 WITH SCORE 186159.132
AT ITER 292 NEW BEST:: SOT 1133315 SOS 583179 HAS SOPS 574757 HAS SOUS 188350 HAS SOUPS 185434 WITH SCORE 186017.179
AT ITER 296 NEW BEST:: SOT 1134468 SOS 682988 HAS SOPS 679231 HAS SOUS 186812 HAS SOUPS 184437 WITH SCORE 185119.988
AT ITER 297 NEW BEST:: SOT 1133766 SOS 793844 HAS SOPS 790315 HAS SOUS 186338 HAS SOUPS 184008 WITH SCORE 184801.844
AT ITER 318 NEW BEST:: SOT 1133766 SOS 793844 HAS SOPS 790315 HAS SOUS 186337 HAS SOUPS 184007 WITH SCORE 184800.844
AT ITER 324 NEW BEST:: SOT 1134003 SOS 794077 HAS SOPS 790552 HAS SOUS 186276 HAS SOUPS 183950 WITH SCORE 184744.077
AT ITER 325 NEW BEST:: SOT 1134013 SOS 795373 HAS SOPS 791848 HAS SOUS 185498 HAS SOUPS 183172 WITH SCORE 183967.373
AT ITER 328 NEW BEST:: SOT 1134013 SOS 795197 HAS SOPS 791688 HAS SOUS 185414 HAS SOUPS 183092 WITH SCORE 183887.197
AT ITER 336 NEW BEST:: SOT 1133216 SOS 797299 HAS SOPS 793790 HAS SOUS 185011 HAS SOUPS 182689 WITH SCORE 183486.299
AT ITER 338 NEW BEST:: SOT 1133003 SOS 797086 HAS SOPS 793577 HAS SOUS 184690 HAS SOUPS 182368 WITH SCORE 183165.086
AT ITER 340 NEW BEST:: SOT 1133003 SOS 797339 HAS SOPS 793845 HAS SOUS 184493 HAS SOUPS 182186 WITH SCORE 182983.339
AT ITER 341 NEW BEST:: SOT 1134506 SOS 798816 HAS SOPS 795348 HAS SOUS 184334 HAS SOUPS 182053 WITH SCORE 182851.816
AT ITER 347 NEW BEST:: SOT 1134674 SOS 798984 HAS SOPS 795516 HAS SOUS 184213 HAS SOUPS 181932 WITH SCORE 182730.984
AT ITER 348 NEW BEST:: SOT 1134218 SOS 798528 HAS SOPS 795060 HAS SOUS 183939 HAS SOUPS 181658 WITH SCORE 182456.528
AT ITER 357 NEW BEST:: SOT 1134218 SOS 796009 HAS SOPS 792541 HAS SOUS 183839 HAS SOUPS 181558 WITH SCORE 182354.009
AT ITER 362 NEW BEST:: SOT 1134619 SOS 797316 HAS SOPS 793872 HAS SOUS 182910 HAS SOUPS 180653 WITH SCORE 181450.316
AT ITER 374 NEW BEST:: SOT 1134575 SOS 797228 HAS SOPS 793784 HAS SOUS 182245 HAS SOUPS 179988 WITH SCORE 180785.228
AT ITER 377 NEW BEST:: SOT 1133479 SOS 796114 HAS SOPS 792688 HAS SOUS 180967 HAS SOUPS 178728 WITH SCORE 179524.114
AT ITER 379 NEW BEST:: SOT 1133469 SOS 815584 HAS SOPS 812398 HAS SOUS 180496 HAS SOUPS 178307 WITH SCORE 179122.584
AT ITER 383 NEW BEST:: SOT 1133367 SOS 815575 HAS SOPS 812589 HAS SOUS 180385 HAS SOUPS 178246 WITH SCORE 179061.575
AT ITER 423 NEW BEST:: SOT 1134884 SOS 817063 HAS SOPS 814106 HAS SOUS 178219 HAS SOUPS 176109 WITH SCORE 176926.063
AT ITER 427 NEW BEST:: SOT 1134331 SOS 816102 HAS SOPS 813145 HAS SOUS 177662 HAS SOUPS 175552 WITH SCORE 176368.102
AT ITER 434 NEW BEST:: SOT 1134160 SOS 817411 HAS SOPS 814850 HAS SOUS 177491 HAS SOUPS 175480 WITH SCORE 176297.411
AT ITER 446 NEW BEST:: SOT 1134560 SOS 817853 HAS SOPS 815292 HAS SOUS 177392 HAS SOUPS 175381 WITH SCORE 176198.853
AT ITER 450 NEW BEST:: SOT 1134574 SOS 890095 HAS SOPS 887539 HAS SOUS 177285 HAS SOUPS 175274 WITH SCORE 176164.095
AT ITER 456 NEW BEST:: SOT 1135235 SOS 890740 HAS SOPS 888200 HAS SOUS 177039 HAS SOUPS 175044 WITH SCORE 175934.74
AT ITER 459 NEW BEST:: SOT 1135235 SOS 890908 HAS SOPS 888368 HAS SOUS 176847 HAS SOUPS 174852 WITH SCORE 175742.908
AT ITER 465 NEW BEST:: SOT 1138351 SOS 893987 HAS SOPS 891484 HAS SOUS 175870 HAS SOUPS 173912 WITH SCORE 174805.987
AT ITER 474 NEW BEST:: SOT 1138351 SOS 911987 HAS SOPS 909484 HAS SOUS 175790 HAS SOUPS 173832 WITH SCORE 174743.987
AT ITER 477 NEW BEST:: SOT 1138274 SOS 915911 HAS SOPS 913408 HAS SOUS 175649 HAS SOUPS 173691 WITH SCORE 174606.911
AT ITER 483 NEW BEST:: SOT 1138274 SOS 915911 HAS SOPS 913408 HAS SOUS 175643 HAS SOUPS 173685 WITH SCORE 174600.911
AT ITER 484 NEW BEST:: SOT 1138953 SOS 916590 HAS SOPS 914087 HAS SOUS 174064 HAS SOUPS 172106 WITH SCORE 173022.59
AT ITER 486 NEW BEST:: SOT 1138971 SOS 916608 HAS SOPS 914105 HAS SOUS 174058 HAS SOUPS 172100 WITH SCORE 173016.608
AT ITER 490 NEW BEST:: SOT 1138948 SOS 916789 HAS SOPS 914298 HAS SOUS 174035 HAS SOUPS 172077 WITH SCORE 172993.789
AT ITER 496 NEW BEST:: SOT 1139502 SOS 917613 HAS SOPS 915122 HAS SOUS 172948 HAS SOUPS 170990 WITH SCORE 171907.613
AT ITER 498 NEW BEST:: SOT 1138875 SOS 916986 HAS SOPS 914495 HAS SOUS 171936 HAS SOUPS 169978 WITH SCORE 170894.986
AT ITER 502 NEW BEST:: SOT 1138337 SOS 916448 HAS SOPS 913957 HAS SOUS 171686 HAS SOUPS 169728 WITH SCORE 170644.448
AT ITER 510 NEW BEST:: SOT 1138337 SOS 916088 HAS SOPS 913597 HAS SOUS 171686 HAS SOUPS 169728 WITH SCORE 170644.088
AT ITER 513 NEW BEST:: SOT 1138337 SOS 916088 HAS SOPS 913597 HAS SOUS 171668 HAS SOUPS 169710 WITH SCORE 170626.088
AT ITER 514 NEW BEST:: SOT 1138338 SOS 916085 HAS SOPS 913598 HAS SOUS 171579 HAS SOUPS 169625 WITH SCORE 170541.085
AT ITER 515 NEW BEST:: SOT 1139819 SOS 917535 HAS SOPS 915079 HAS SOUS 169745 HAS SOUPS 167822 WITH SCORE 168739.535
AT ITER 522 NEW BEST:: SOT 1140403 SOS 918793 HAS SOPS 916337 HAS SOUS 169469 HAS SOUPS 167546 WITH SCORE 168464.793
AT ITER 524 NEW BEST:: SOT 1140417 SOS 920199 HAS SOPS 917743 HAS SOUS 169243 HAS SOUPS 167320 WITH SCORE 168240.199
AT ITER 549 NEW BEST:: SOT 1140688 SOS 920470 HAS SOPS 918014 HAS SOUS 169189 HAS SOUPS 167266 WITH SCORE 168186.47
AT ITER 558 NEW BEST:: SOT 1140688 SOS 919918 HAS SOPS 917462 HAS SOUS 169189 HAS SOUPS 167266 WITH SCORE 168185.918
AT ITER 559 NEW BEST:: SOT 1140691 SOS 919921 HAS SOPS 917465 HAS SOUS 169156 HAS SOUPS 167233 WITH SCORE 168152.921
AT ITER 560 NEW BEST:: SOT 1140668 SOS 919898 HAS SOPS 917442 HAS SOUS 168540 HAS SOUPS 166617 WITH SCORE 167536.898
AT ITER 572 NEW BEST:: SOT 1140521 SOS 920113 HAS SOPS 917657 HAS SOUS 168433 HAS SOUPS 166510 WITH SCORE 167430.113
AT ITER 578 NEW BEST:: SOT 1140910 SOS 920502 HAS SOPS 918046 HAS SOUS 167899 HAS SOUPS 165976 WITH SCORE 166896.502
AT ITER 584 NEW BEST:: SOT 1140838 SOS 920409 HAS SOPS 917974 HAS SOUS 167496 HAS SOUPS 165594 WITH SCORE 166514.409
AT ITER 601 NEW BEST:: SOT 1141902 SOS 921451 HAS SOPS 919038 HAS SOUS 166604 HAS SOUPS 164724 WITH SCORE 165645.451
AT ITER 602 NEW BEST:: SOT 1140857 SOS 919826 HAS SOPS 917413 HAS SOUS 165244 HAS SOUPS 163364 WITH SCORE 164283.826
AT ITER 603 NEW BEST:: SOT 1140871 SOS 919611 HAS SOPS 917199 HAS SOUS 165102 HAS SOUPS 163223 WITH SCORE 164142.611
AT ITER 614 NEW BEST:: SOT 1140215 SOS 918989 HAS SOPS 916611 HAS SOUS 161927 HAS SOUPS 160082 WITH SCORE 161000.989
AT ITER 615 NEW BEST:: SOT 1140213 SOS 918698 HAS SOPS 916308 HAS SOUS 161879 HAS SOUPS 160034 WITH SCORE 160952.698
AT ITER 642 NEW BEST:: SOT 1140214 SOS 918712 HAS SOPS 916315 HAS SOUS 161877 HAS SOUPS 160028 WITH SCORE 160946.712
AT ITER 650 NEW BEST:: SOT 1140232 SOS 918449 HAS SOPS 916057 HAS SOUS 161699 HAS SOUPS 159855 WITH SCORE 160773.449
AT ITER 653 NEW BEST:: SOT 1139264 SOS 917576 HAS SOPS 915245 HAS SOUS 160788 HAS SOUPS 159005 WITH SCORE 159922.576
AT ITER 656 NEW BEST:: SOT 1138829 SOS 917141 HAS SOPS 914810 HAS SOUS 160003 HAS SOUPS 158220 WITH SCORE 159137.141
AT ITER 675 NEW BEST:: SOT 1138266 SOS 917546 HAS SOPS 915215 HAS SOUS 159625 HAS SOUPS 157842 WITH SCORE 158759.546
AT ITER 679 NEW BEST:: SOT 1138266 SOS 916994 HAS SOPS 914663 HAS SOUS 159606 HAS SOUPS 157823 WITH SCORE 158739.994
AT ITER 681 NEW BEST:: SOT 1138279 SOS 988237 HAS SOPS 986164 HAS SOUS 159081 HAS SOUPS 157352 WITH SCORE 158340.237
AT ITER 683 NEW BEST:: SOT 1138279 SOS 988237 HAS SOPS 986164 HAS SOUS 158933 HAS SOUPS 157204 WITH SCORE 158192.237
AT ITER 684 NEW BEST:: SOT 1138281 SOS 988287 HAS SOPS 986218 HAS SOUS 158855 HAS SOUPS 157130 WITH SCORE 158118.287
AT ITER 687 NEW BEST:: SOT 1137560 SOS 987566 HAS SOPS 985497 HAS SOUS 158354 HAS SOUPS 156629 WITH SCORE 157616.566
AT ITER 690 NEW BEST:: SOT 1137475 SOS 987481 HAS SOPS 985412 HAS SOUS 157527 HAS SOUPS 155802 WITH SCORE 156789.481
AT ITER 692 NEW BEST:: SOT 1136709 SOS 987003 HAS SOPS 984934 HAS SOUS 156745 HAS SOUPS 155020 WITH SCORE 156007.003
AT ITER 699 NEW BEST:: SOT 1136885 SOS 987419 HAS SOPS 985350 HAS SOUS 155381 HAS SOUPS 153656 WITH SCORE 154643.419
AT ITER 706 NEW BEST:: SOT 1136885 SOS 987456 HAS SOPS 985350 HAS SOUS 155383 HAS SOUPS 153621 WITH SCORE 154608.456
AT ITER 709 NEW BEST:: SOT 1135203 SOS 908541 HAS SOPS 907907 HAS SOUS 153518 HAS SOUPS 153225 WITH SCORE 154133.541
AT ITER 710 NEW BEST:: SOT 1135334 SOS 914442 HAS SOPS 913808 HAS SOUS 153292 HAS SOUPS 152999 WITH SCORE 153913.442
AT ITER 721 NEW BEST:: SOT 1135237 SOS 914355 HAS SOPS 913721 HAS SOUS 153106 HAS SOUPS 152813 WITH SCORE 153727.355
AT ITER 726 NEW BEST:: SOT 1135237 SOS 914255 HAS SOPS 913621 HAS SOUS 153075 HAS SOUPS 152782 WITH SCORE 153696.255
AT ITER 738 NEW BEST:: SOT 1136800 SOS 915587 HAS SOPS 914956 HAS SOUS 152591 HAS SOUPS 152301 WITH SCORE 153216.587
AT ITER 740 NEW BEST:: SOT 1136791 SOS 915578 HAS SOPS 914947 HAS SOUS 152582 HAS SOUPS 152292 WITH SCORE 153207.578
AT ITER 760 NEW BEST:: SOT 1137738 SOS 916518 HAS SOPS 915894 HAS SOUS 152434 HAS SOUPS 152151 WITH SCORE 153067.518
AT ITER 762 NEW BEST:: SOT 1137803 SOS 916583 HAS SOPS 915959 HAS SOUS 151544 HAS SOUPS 151261 WITH SCORE 152177.583
AT ITER 766 NEW BEST:: SOT 1138365 SOS 917145 HAS SOPS 916521 HAS SOUS 149507 HAS SOUPS 149224 WITH SCORE 150141.145
AT ITER 770 NEW BEST:: SOT 1138334 SOS 917114 HAS SOPS 916490 HAS SOUS 149416 HAS SOUPS 149133 WITH SCORE 150050.114
AT ITER 776 NEW BEST:: SOT 1137164 SOS 915552 HAS SOPS 914928 HAS SOUS 148652 HAS SOUPS 148369 WITH SCORE 149284.552
AT ITER 778 NEW BEST:: SOT 1136332 SOS 914720 HAS SOPS 914096 HAS SOUS 147820 HAS SOUPS 147537 WITH SCORE 148451.72
AT ITER 794 NEW BEST:: SOT 1136356 SOS 914864 HAS SOPS 914240 HAS SOUS 147669 HAS SOUPS 147386 WITH SCORE 148300.864
AT ITER 797 NEW BEST:: SOT 1135206 SOS 913714 HAS SOPS 913090 HAS SOUS 146369 HAS SOUPS 146086 WITH SCORE 146999.714
AT ITER 823 NEW BEST:: SOT 1135100 SOS 913608 HAS SOPS 912984 HAS SOUS 146094 HAS SOUPS 145811 WITH SCORE 146724.608
AT ITER 836 NEW BEST:: SOT 1134372 SOS 912880 HAS SOPS 912256 HAS SOUS 145945 HAS SOUPS 145662 WITH SCORE 146574.88
AT ITER 837 NEW BEST:: SOT 1132237 SOS 909683 HAS SOPS 909019 HAS SOUS 144533 HAS SOUPS 144215 WITH SCORE 145124.683
AT ITER 840 NEW BEST:: SOT 1132294 SOS 910460 HAS SOPS 909796 HAS SOUS 144358 HAS SOUPS 144040 WITH SCORE 144950.46
AT ITER 855 NEW BEST:: SOT 1132326 SOS 911188 HAS SOPS 910524 HAS SOUS 144231 HAS SOUPS 143913 WITH SCORE 144824.188
AT ITER 859 NEW BEST:: SOT 1133951 SOS 912813 HAS SOPS 912149 HAS SOUS 143551 HAS SOUPS 143233 WITH SCORE 144145.813
AT ITER 862 NEW BEST:: SOT 1133966 SOS 912968 HAS SOPS 912304 HAS SOUS 142846 HAS SOUPS 142528 WITH SCORE 143440.968
AT ITER 872 NEW BEST:: SOT 1134337 SOS 913874 HAS SOPS 913247 HAS SOUS 141257 HAS SOUPS 140976 WITH SCORE 141889.874
AT ITER 874 NEW BEST:: SOT 1134337 SOS 913388 HAS SOPS 912779 HAS SOUS 141152 HAS SOUPS 140889 WITH SCORE 141802.388
AT ITER 877 NEW BEST:: SOT 1134337 SOS 912219 HAS SOPS 911459 HAS SOUS 141209 HAS SOUPS 140795 WITH SCORE 141707.219
AT ITER 882 NEW BEST:: SOT 1133651 SOS 911281 HAS SOPS 910521 HAS SOUS 140398 HAS SOUPS 139984 WITH SCORE 140895.281
AT ITER 885 NEW BEST:: SOT 1134308 SOS 911973 HAS SOPS 911178 HAS SOUS 140251 HAS SOUPS 139802 WITH SCORE 140713.973
AT ITER 888 NEW BEST:: SOT 1134636 SOS 912349 HAS SOPS 911554 HAS SOUS 140046 HAS SOUPS 139597 WITH SCORE 140509.349
AT ITER 900 NEW BEST:: SOT 1134636 SOS 912161 HAS SOPS 911366 HAS SOUS 140046 HAS SOUPS 139597 WITH SCORE 140509.161
AT ITER 903 NEW BEST:: SOT 1138338 SOS 915877 HAS SOPS 915100 HAS SOUS 138912 HAS SOUPS 138481 WITH SCORE 139396.877
AT ITER 934 NEW BEST:: SOT 1138821 SOS 916360 HAS SOPS 915583 HAS SOUS 137645 HAS SOUPS 137214 WITH SCORE 138130.36
AT ITER 942 NEW BEST:: SOT 1138821 SOS 916507 HAS SOPS 915779 HAS SOUS 137574 HAS SOUPS 137192 WITH SCORE 138108.507
AT ITER 947 NEW BEST:: SOT 1138867 SOS 916553 HAS SOPS 915825 HAS SOUS 137185 HAS SOUPS 136803 WITH SCORE 137719.553
AT ITER 967 NEW BEST:: SOT 1138867 SOS 916457 HAS SOPS 915729 HAS SOUS 137185 HAS SOUPS 136803 WITH SCORE 137719.457
AT ITER 968 NEW BEST:: SOT 1138633 SOS 916223 HAS SOPS 915495 HAS SOUS 136656 HAS SOUPS 136274 WITH SCORE 137190.223
AT ITER 970 NEW BEST:: SOT 1138655 SOS 916289 HAS SOPS 915561 HAS SOUS 136590 HAS SOUPS 136208 WITH SCORE 137124.289
AT ITER 976 NEW BEST:: SOT 1138617 SOS 916251 HAS SOPS 915523 HAS SOUS 136510 HAS SOUPS 136128 WITH SCORE 137044.251
AT ITER 981 NEW BEST:: SOT 1138703 SOS 916327 HAS SOPS 915609 HAS SOUS 136350 HAS SOUPS 135978 WITH SCORE 136894.327
AT ITER 1001 NEW BEST:: SOT 1138713 SOS 916318 HAS SOPS 915619 HAS SOUS 136250 HAS SOUPS 135897 WITH SCORE 136813.318
AT ITER 1009 NEW BEST:: SOT 1138704 SOS 917696 HAS SOPS 917027 HAS SOUS 135957 HAS SOUPS 135634 WITH SCORE 136551.696
AT ITER 1019 NEW BEST:: SOT 1140218 SOS 919558 HAS SOPS 918889 HAS SOUS 135696 HAS SOUPS 135373 WITH SCORE 136292.558
AT ITER 1043 NEW BEST:: SOT 1140218 SOS 919558 HAS SOPS 918889 HAS SOUS 135694 HAS SOUPS 135371 WITH SCORE 136290.558
AT ITER 1044 NEW BEST:: SOT 1140218 SOS 919390 HAS SOPS 918721 HAS SOUS 135687 HAS SOUPS 135364 WITH SCORE 136283.39
AT ITER 1072 NEW BEST:: SOT 1140579 SOS 919751 HAS SOPS 919082 HAS SOUS 135401 HAS SOUPS 135078 WITH SCORE 135997.751
AT ITER 1086 NEW BEST:: SOT 1140123 SOS 919295 HAS SOPS 918626 HAS SOUS 134483 HAS SOUPS 134160 WITH SCORE 135079.295
AT ITER 1087 NEW BEST:: SOT 1140113 SOS 919285 HAS SOPS 918616 HAS SOUS 134473 HAS SOUPS 134150 WITH SCORE 135069.285
AT ITER 1094 NEW BEST:: SOT 1140113 SOS 918877 HAS SOPS 918208 HAS SOUS 134473 HAS SOUPS 134150 WITH SCORE 135068.877
AT ITER 1121 NEW BEST:: SOT 1139682 SOS 918350 HAS SOPS 917681 HAS SOUS 134198 HAS SOUPS 133875 WITH SCORE 134793.35
AT ITER 1131 NEW BEST:: SOT 1139193 SOS 917861 HAS SOPS 917192 HAS SOUS 134042 HAS SOUPS 133719 WITH SCORE 134636.861
AT ITER 1148 NEW BEST:: SOT 1139142 SOS 917810 HAS SOPS 917141 HAS SOUS 133157 HAS SOUPS 132834 WITH SCORE 133751.81
AT ITER 1151 NEW BEST:: SOT 1139142 SOS 917810 HAS SOPS 917141 HAS SOUS 133061 HAS SOUPS 132738 WITH SCORE 133655.81
AT ITER 1152 NEW BEST:: SOT 1139330 SOS 917998 HAS SOPS 917329 HAS SOUS 132893 HAS SOUPS 132570 WITH SCORE 133487.998
AT ITER 1153 NEW BEST:: SOT 1139928 SOS 915812 HAS SOPS 915301 HAS SOUS 132122 HAS SOUPS 131833 WITH SCORE 132748.812
AT ITER 1155 NEW BEST:: SOT 1139928 SOS 915812 HAS SOPS 915301 HAS SOUS 132105 HAS SOUPS 131816 WITH SCORE 132731.812
AT ITER 1158 NEW BEST:: SOT 1139754 SOS 915638 HAS SOPS 915127 HAS SOUS 131683 HAS SOUPS 131394 WITH SCORE 132309.638
AT ITER 1161 NEW BEST:: SOT 1139760 SOS 915644 HAS SOPS 915133 HAS SOUS 131639 HAS SOUPS 131350 WITH SCORE 132265.644
AT ITER 1182 NEW BEST:: SOT 1139762 SOS 915646 HAS SOPS 915135 HAS SOUS 131635 HAS SOUPS 131346 WITH SCORE 132261.646
AT ITER 1189 NEW BEST:: SOT 1139804 SOS 915545 HAS SOPS 914993 HAS SOUS 131661 HAS SOUPS 131339 WITH SCORE 132254.545
AT ITER 1202 NEW BEST:: SOT 1139552 SOS 915293 HAS SOPS 914741 HAS SOUS 131078 HAS SOUPS 130756 WITH SCORE 131671.293
AT ITER 1209 NEW BEST:: SOT 1139703 SOS 915408 HAS SOPS 914856 HAS SOUS 130761 HAS SOUPS 130439 WITH SCORE 131354.408
AT ITER 1226 NEW BEST:: SOT 1139205 SOS 914878 HAS SOPS 914358 HAS SOUS 129925 HAS SOUPS 129635 WITH SCORE 130549.878
AT ITER 1235 NEW BEST:: SOT 1139215 SOS 914888 HAS SOPS 914368 HAS SOUS 129685 HAS SOUPS 129395 WITH SCORE 130309.888
AT ITER 1239 NEW BEST:: SOT 1139215 SOS 914865 HAS SOPS 914344 HAS SOUS 129686 HAS SOUPS 129395 WITH SCORE 130309.865
AT ITER 1302 NEW BEST:: SOT 1138533 SOS 914166 HAS SOPS 913662 HAS SOUS 128841 HAS SOUPS 128567 WITH SCORE 129481.166
AT ITER 1306 NEW BEST:: SOT 1138658 SOS 914291 HAS SOPS 913787 HAS SOUS 128828 HAS SOUPS 128554 WITH SCORE 129468.291
AT ITER 1311 NEW BEST:: SOT 1138541 SOS 914174 HAS SOPS 913670 HAS SOUS 128737 HAS SOUPS 128463 WITH SCORE 129377.174
AT ITER 1322 NEW BEST:: SOT 1139076 SOS 914841 HAS SOPS 914337 HAS SOUS 128436 HAS SOUPS 128162 WITH SCORE 129076.841
AT ITER 1326 NEW BEST:: SOT 1139072 SOS 914837 HAS SOPS 914333 HAS SOUS 128432 HAS SOUPS 128158 WITH SCORE 129072.837
AT ITER 1333 NEW BEST:: SOT 1139072 SOS 914837 HAS SOPS 914333 HAS SOUS 128394 HAS SOUPS 128120 WITH SCORE 129034.837
AT ITER 1336 NEW BEST:: SOT 1139308 SOS 915073 HAS SOPS 914569 HAS SOUS 128280 HAS SOUPS 128006 WITH SCORE 128921.073
AT ITER 1339 NEW BEST:: SOT 1141449 SOS 961874 HAS SOPS 961370 HAS SOUS 127634 HAS SOUPS 127360 WITH SCORE 128321.874
AT ITER 1346 NEW BEST:: SOT 1141449 SOS 961826 HAS SOPS 961316 HAS SOUS 127631 HAS SOUPS 127354 WITH SCORE 128315.826
AT ITER 1352 NEW BEST:: SOT 1141449 SOS 960059 HAS SOPS 959644 HAS SOUS 127593 HAS SOUPS 127335 WITH SCORE 128295.059
AT ITER 1357 NEW BEST:: SOT 1141536 SOS 960146 HAS SOPS 959731 HAS SOUS 127497 HAS SOUPS 127239 WITH SCORE 128199.146
AT ITER 1360 NEW BEST:: SOT 1141503 SOS 960113 HAS SOPS 959698 HAS SOUS 127428 HAS SOUPS 127170 WITH SCORE 128130.113
AT ITER 1362 NEW BEST:: SOT 1141505 SOS 960121 HAS SOPS 959708 HAS SOUS 127383 HAS SOUPS 127127 WITH SCORE 128087.121
AT ITER 1370 NEW BEST:: SOT 1143622 SOS 962200 HAS SOPS 961825 HAS SOUS 125672 HAS SOUPS 125449 WITH SCORE 126411.2
AT ITER 1397 NEW BEST:: SOT 1143103 SOS 961434 HAS SOPS 961073 HAS SOUS 124482 HAS SOUPS 124273 WITH SCORE 125234.434
AT ITER 1401 NEW BEST:: SOT 1142032 SOS 960842 HAS SOPS 960484 HAS SOUS 123802 HAS SOUPS 123593 WITH SCORE 124553.842
AT ITER 1408 NEW BEST:: SOT 1142215 SOS 961025 HAS SOPS 960667 HAS SOUS 123766 HAS SOUPS 123557 WITH SCORE 124518.025
AT ITER 1428 NEW BEST:: SOT 1142533 SOS 961343 HAS SOPS 960985 HAS SOUS 123718 HAS SOUPS 123509 WITH SCORE 124470.343
AT ITER 1430 NEW BEST:: SOT 1142533 SOS 961329 HAS SOPS 960985 HAS SOUS 123677 HAS SOUPS 123482 WITH SCORE 124443.329
AT ITER 1440 NEW BEST:: SOT 1141182 SOS 959307 HAS SOPS 958963 HAS SOUS 122602 HAS SOUPS 122407 WITH SCORE 123366.307
AT ITER 1443 NEW BEST:: SOT 1140449 SOS 958574 HAS SOPS 958230 HAS SOUS 122372 HAS SOUPS 122177 WITH SCORE 123135.574
AT ITER 1444 NEW BEST:: SOT 1140445 SOS 958570 HAS SOPS 958226 HAS SOUS 122365 HAS SOUPS 122170 WITH SCORE 123128.57
AT ITER 1491 NEW BEST:: SOT 1141679 SOS 959804 HAS SOPS 959460 HAS SOUS 122351 HAS SOUPS 122156 WITH SCORE 123115.804
AT ITER 1497 NEW BEST:: SOT 1142369 SOS 960494 HAS SOPS 960150 HAS SOUS 122225 HAS SOUPS 122030 WITH SCORE 122990.494
AT ITER 1499 NEW BEST:: SOT 1142718 SOS 960843 HAS SOPS 960499 HAS SOUS 121816 HAS SOUPS 121621 WITH SCORE 122581.843
AT ITER 1502 NEW BEST:: SOT 1142118 SOS 960243 HAS SOPS 959899 HAS SOUS 121760 HAS SOUPS 121565 WITH SCORE 122525.243
AT ITER 1517 NEW BEST:: SOT 1141872 SOS 959484 HAS SOPS 959165 HAS SOUS 121491 HAS SOUPS 121321 WITH SCORE 122280.484
AT ITER 1518 NEW BEST:: SOT 1141874 SOS 959490 HAS SOPS 959171 HAS SOUS 121447 HAS SOUPS 121277 WITH SCORE 122236.49
AT ITER 1534 NEW BEST:: SOT 1141917 SOS 959533 HAS SOPS 959214 HAS SOUS 121250 HAS SOUPS 121080 WITH SCORE 122039.533
AT ITER 1536 NEW BEST:: SOT 1141928 SOS 959544 HAS SOPS 959225 HAS SOUS 121225 HAS SOUPS 121055 WITH SCORE 122014.544
AT ITER 1541 NEW BEST:: SOT 1141348 SOS 959540 HAS SOPS 959221 HAS SOUS 120876 HAS SOUPS 120706 WITH SCORE 121665.54
AT ITER 1546 NEW BEST:: SOT 1140344 SOS 958800 HAS SOPS 958481 HAS SOUS 119778 HAS SOUPS 119608 WITH SCORE 120566.8
AT ITER 1550 NEW BEST:: SOT 1140085 SOS 958541 HAS SOPS 958222 HAS SOUS 118627 HAS SOUPS 118457 WITH SCORE 119415.541
AT ITER 1552 NEW BEST:: SOT 1139973 SOS 958429 HAS SOPS 958110 HAS SOUS 118391 HAS SOUPS 118221 WITH SCORE 119179.429
AT ITER 1572 NEW BEST:: SOT 1139852 SOS 958308 HAS SOPS 957989 HAS SOUS 118248 HAS SOUPS 118078 WITH SCORE 119036.308
AT ITER 1573 NEW BEST:: SOT 1138607 SOS 957291 HAS SOPS 956976 HAS SOUS 114626 HAS SOUPS 114460 WITH SCORE 115417.291
AT ITER 1588 NEW BEST:: SOT 1139170 SOS 958149 HAS SOPS 957843 HAS SOUS 113378 HAS SOUPS 113221 WITH SCORE 114179.149
AT ITER 1589 NEW BEST:: SOT 1140227 SOS 959206 HAS SOPS 958900 HAS SOUS 112402 HAS SOUPS 112245 WITH SCORE 113204.206
AT ITER 1591 NEW BEST:: SOT 1140204 SOS 959183 HAS SOPS 958877 HAS SOUS 112223 HAS SOUPS 112066 WITH SCORE 113025.183
AT ITER 1616 NEW BEST:: SOT 1140204 SOS 957077 HAS SOPS 956861 HAS SOUS 112205 HAS SOUPS 112066 WITH SCORE 113023.077
AT ITER 1635 NEW BEST:: SOT 1140204 SOS 957055 HAS SOPS 956839 HAS SOUS 112205 HAS SOUPS 112066 WITH SCORE 113023.055
AT ITER 1646 NEW BEST:: SOT 1140204 SOS 956971 HAS SOPS 956725 HAS SOUS 112199 HAS SOUPS 112030 WITH SCORE 112986.971
AT ITER 1659 NEW BEST:: SOT 1140204 SOS 956396 HAS SOPS 956150 HAS SOUS 112196 HAS SOUPS 112027 WITH SCORE 112983.396
AT ITER 1685 NEW BEST:: SOT 1141090 SOS 957282 HAS SOPS 957036 HAS SOUS 112014 HAS SOUPS 111845 WITH SCORE 112802.282
AT ITER 1690 NEW BEST:: SOT 1141135 SOS 957314 HAS SOPS 957081 HAS SOUS 111700 HAS SOUPS 111544 WITH SCORE 112501.314
AT ITER 1714 NEW BEST:: SOT 1141177 SOS 957356 HAS SOPS 957123 HAS SOUS 111661 HAS SOUPS 111505 WITH SCORE 112462.356
AT ITER 1715 NEW BEST:: SOT 1141509 SOS 957688 HAS SOPS 957455 HAS SOUS 111440 HAS SOUPS 111284 WITH SCORE 112241.688
AT ITER 1733 NEW BEST:: SOT 1141535 SOS 957714 HAS SOPS 957481 HAS SOUS 111365 HAS SOUPS 111209 WITH SCORE 112166.714
AT ITER 1745 NEW BEST:: SOT 1141426 SOS 957605 HAS SOPS 957372 HAS SOUS 110672 HAS SOUPS 110516 WITH SCORE 111473.605
AT ITER 1769 NEW BEST:: SOT 1141255 SOS 957434 HAS SOPS 957201 HAS SOUS 110615 HAS SOUPS 110459 WITH SCORE 111416.434
AT ITER 1772 NEW BEST:: SOT 1141255 SOS 957218 HAS SOPS 956985 HAS SOUS 110555 HAS SOUPS 110399 WITH SCORE 111356.218
AT ITER 1800 NEW BEST:: SOT 1140677 SOS 956640 HAS SOPS 956407 HAS SOUS 109977 HAS SOUPS 109821 WITH SCORE 110777.64
AT ITER 1822 NEW BEST:: SOT 1138860 SOS 954823 HAS SOPS 954590 HAS SOUS 109486 HAS SOUPS 109330 WITH SCORE 110284.823
AT ITER 1826 NEW BEST:: SOT 1138860 SOS 954823 HAS SOPS 954590 HAS SOUS 109484 HAS SOUPS 109328 WITH SCORE 110282.823
AT ITER 1828 NEW BEST:: SOT 1138838 SOS 954793 HAS SOPS 954560 HAS SOUS 109446 HAS SOUPS 109290 WITH SCORE 110244.793
AT ITER 1838 NEW BEST:: SOT 1138838 SOS 954793 HAS SOPS 954560 HAS SOUS 109431 HAS SOUPS 109275 WITH SCORE 110229.793
AT ITER 1854 NEW BEST:: SOT 1138783 SOS 954738 HAS SOPS 954505 HAS SOUS 109376 HAS SOUPS 109220 WITH SCORE 110174.738
AT ITER 1859 NEW BEST:: SOT 1137873 SOS 953828 HAS SOPS 953595 HAS SOUS 109253 HAS SOUPS 109097 WITH SCORE 110050.828
AT ITER 1866 NEW BEST:: SOT 1137889 SOS 953844 HAS SOPS 953611 HAS SOUS 109248 HAS SOUPS 109092 WITH SCORE 110045.844
AT ITER 1873 NEW BEST:: SOT 1137739 SOS 953694 HAS SOPS 953461 HAS SOUS 109230 HAS SOUPS 109074 WITH SCORE 110027.694
AT ITER 1876 NEW BEST:: SOT 1138241 SOS 954196 HAS SOPS 953963 HAS SOUS 108818 HAS SOUPS 108662 WITH SCORE 109616.196
AT ITER 1900 NEW BEST:: SOT 1136837 SOS 952792 HAS SOPS 952559 HAS SOUS 107546 HAS SOUPS 107390 WITH SCORE 108342.792
AT ITER 1914 NEW BEST:: SOT 1136788 SOS 952743 HAS SOPS 952510 HAS SOUS 107456 HAS SOUPS 107300 WITH SCORE 108252.743
AT ITER 1918 NEW BEST:: SOT 1135508 SOS 950322 HAS SOPS 950068 HAS SOUS 107439 HAS SOUPS 107262 WITH SCORE 108212.322
AT ITER 1935 NEW BEST:: SOT 1137193 SOS 952795 HAS SOPS 952541 HAS SOUS 106639 HAS SOUPS 106462 WITH SCORE 107414.795
AT ITER 1953 NEW BEST:: SOT 1136876 SOS 952358 HAS SOPS 952104 HAS SOUS 106484 HAS SOUPS 106307 WITH SCORE 107259.358
AT ITER 1962 NEW BEST:: SOT 1137321 SOS 952803 HAS SOPS 952549 HAS SOUS 106213 HAS SOUPS 106036 WITH SCORE 106988.803
AT ITER 1985 NEW BEST:: SOT 1137445 SOS 952995 HAS SOPS 952741 HAS SOUS 105918 HAS SOUPS 105741 WITH SCORE 106693.995
AT ITER 1996 NEW BEST:: SOT 1137445 SOS 931980 HAS SOPS 931672 HAS SOUS 105945 HAS SOUPS 105714 WITH SCORE 106645.98
AT ITER 2035 NEW BEST:: SOT 1137434 SOS 931969 HAS SOPS 931661 HAS SOUS 105911 HAS SOUPS 105680 WITH SCORE 106611.969
AT ITER 2071 NEW BEST:: SOT 1135711 SOS 930246 HAS SOPS 929938 HAS SOUS 105860 HAS SOUPS 105629 WITH SCORE 106559.246
AT ITER 2081 NEW BEST:: SOT 1137486 SOS 932122 HAS SOPS 931823 HAS SOUS 105508 HAS SOUPS 105286 WITH SCORE 106218.122
AT ITER 2105 NEW BEST:: SOT 1137251 SOS 931887 HAS SOPS 931588 HAS SOUS 105345 HAS SOUPS 105123 WITH SCORE 106054.887
AT ITER 2106 NEW BEST:: SOT 1137251 SOS 931887 HAS SOPS 931588 HAS SOUS 105337 HAS SOUPS 105115 WITH SCORE 106046.887
AT ITER 2118 NEW BEST:: SOT 1137227 SOS 931863 HAS SOPS 931564 HAS SOUS 105325 HAS SOUPS 105103 WITH SCORE 106034.863
AT ITER 2123 NEW BEST:: SOT 1137255 SOS 931893 HAS SOPS 931608 HAS SOUS 105295 HAS SOUPS 105087 WITH SCORE 106018.893
AT ITER 2133 NEW BEST:: SOT 1137255 SOS 931925 HAS SOPS 931640 HAS SOUS 105279 HAS SOUPS 105071 WITH SCORE 106002.925
AT ITER 2135 NEW BEST:: SOT 1136391 SOS 931061 HAS SOPS 930776 HAS SOUS 104212 HAS SOUPS 104004 WITH SCORE 104935.061
AT ITER 2144 NEW BEST:: SOT 1136501 SOS 931379 HAS SOPS 931094 HAS SOUS 103713 HAS SOUPS 103505 WITH SCORE 104436.379
AT ITER 2152 NEW BEST:: SOT 1136501 SOS 931567 HAS SOPS 931282 HAS SOUS 103711 HAS SOUPS 103503 WITH SCORE 104434.567
AT ITER 2160 NEW BEST:: SOT 1137099 SOS 932165 HAS SOPS 931880 HAS SOUS 103656 HAS SOUPS 103448 WITH SCORE 104380.165
AT ITER 2162 NEW BEST:: SOT 1136931 SOS 932011 HAS SOPS 931726 HAS SOUS 103577 HAS SOUPS 103369 WITH SCORE 104301.011
AT ITER 2168 NEW BEST:: SOT 1136927 SOS 932007 HAS SOPS 931722 HAS SOUS 103571 HAS SOUPS 103363 WITH SCORE 104295.007
AT ITER 2171 NEW BEST:: SOT 1136813 SOS 980253 HAS SOPS 979968 HAS SOUS 103515 HAS SOUPS 103307 WITH SCORE 104287.253
AT ITER 2183 NEW BEST:: SOT 1136813 SOS 980239 HAS SOPS 979954 HAS SOUS 103501 HAS SOUPS 103293 WITH SCORE 104273.239
AT ITER 2201 NEW BEST:: SOT 1136813 SOS 979526 HAS SOPS 979241 HAS SOUS 103501 HAS SOUPS 103293 WITH SCORE 104272.526
AT ITER 2205 NEW BEST:: SOT 1136775 SOS 979488 HAS SOPS 979203 HAS SOUS 103463 HAS SOUPS 103255 WITH SCORE 104234.488
AT ITER 2216 NEW BEST:: SOT 1136775 SOS 979488 HAS SOPS 979203 HAS SOUS 103453 HAS SOUPS 103245 WITH SCORE 104224.488
AT ITER 2222 NEW BEST:: SOT 1136775 SOS 977356 HAS SOPS 977067 HAS SOUS 103453 HAS SOUPS 103241 WITH SCORE 104218.356
AT ITER 2241 NEW BEST:: SOT 1137075 SOS 977656 HAS SOPS 977367 HAS SOUS 103286 HAS SOUPS 103074 WITH SCORE 104051.656
AT ITER 2243 NEW BEST:: SOT 1136643 SOS 966328 HAS SOPS 966039 HAS SOUS 103145 HAS SOUPS 102933 WITH SCORE 103899.328
AT ITER 2249 NEW BEST:: SOT 1136692 SOS 966377 HAS SOPS 966088 HAS SOUS 103128 HAS SOUPS 102916 WITH SCORE 103882.377
AT ITER 2251 NEW BEST:: SOT 1135792 SOS 964829 HAS SOPS 964540 HAS SOUS 103092 HAS SOUPS 102880 WITH SCORE 103844.829
AT ITER 2270 NEW BEST:: SOT 1135762 SOS 964769 HAS SOPS 964480 HAS SOUS 102912 HAS SOUPS 102700 WITH SCORE 103664.769
AT ITER 2293 NEW BEST:: SOT 1135614 SOS 964621 HAS SOPS 964332 HAS SOUS 102764 HAS SOUPS 102552 WITH SCORE 103516.621
AT ITER 2300 NEW BEST:: SOT 1135678 SOS 964685 HAS SOPS 964396 HAS SOUS 102702 HAS SOUPS 102490 WITH SCORE 103454.685
AT ITER 2308 NEW BEST:: SOT 1135393 SOS 964400 HAS SOPS 964111 HAS SOUS 102263 HAS SOUPS 102051 WITH SCORE 103015.4
AT ITER 2329 NEW BEST:: SOT 1135133 SOS 964140 HAS SOPS 963851 HAS SOUS 102143 HAS SOUPS 101931 WITH SCORE 102895.14
AT ITER 2340 NEW BEST:: SOT 1135154 SOS 964161 HAS SOPS 963872 HAS SOUS 101817 HAS SOUPS 101605 WITH SCORE 102569.161
AT ITER 2347 NEW BEST:: SOT 1135154 SOS 964263 HAS SOPS 964028 HAS SOUS 101724 HAS SOUPS 101566 WITH SCORE 102530.263
AT ITER 2349 NEW BEST:: SOT 1134538 SOS 963511 HAS SOPS 963276 HAS SOUS 101325 HAS SOUPS 101167 WITH SCORE 102130.511
AT ITER 2364 NEW BEST:: SOT 1134182 SOS 962887 HAS SOPS 962650 HAS SOUS 100954 HAS SOUPS 100794 WITH SCORE 101756.887
AT ITER 2368 NEW BEST:: SOT 1134182 SOS 962683 HAS SOPS 962434 HAS SOUS 100955 HAS SOUPS 100783 WITH SCORE 101745.683
AT ITER 2386 NEW BEST:: SOT 1134161 SOS 962707 HAS SOPS 962459 HAS SOUS 100926 HAS SOUPS 100754 WITH SCORE 101716.707
AT ITER 2392 NEW BEST:: SOT 1134161 SOS 962707 HAS SOPS 962459 HAS SOUS 100882 HAS SOUPS 100710 WITH SCORE 101672.707
AT ITER 2393 NEW BEST:: SOT 1134181 SOS 962727 HAS SOPS 962479 HAS SOUS 100861 HAS SOUPS 100689 WITH SCORE 101651.727
AT ITER 2401 NEW BEST:: SOT 1134181 SOS 962997 HAS SOPS 962749 HAS SOUS 100788 HAS SOUPS 100616 WITH SCORE 101578.997
AT ITER 2416 NEW BEST:: SOT 1134195 SOS 963011 HAS SOPS 962763 HAS SOUS 100541 HAS SOUPS 100369 WITH SCORE 101332.011
AT ITER 2427 NEW BEST:: SOT 1135189 SOS 964005 HAS SOPS 963757 HAS SOUS 100293 HAS SOUPS 100121 WITH SCORE 101085.005
AT ITER 2428 NEW BEST:: SOT 1135195 SOS 964011 HAS SOPS 963763 HAS SOUS 100174 HAS SOUPS 100002 WITH SCORE 100966.011
AT ITER 2448 NEW BEST:: SOT 1135206 SOS 965201 HAS SOPS 964962 HAS SOUS 100094 HAS SOUPS 99931 WITH SCORE 100896.201
AT ITER 2456 NEW BEST:: SOT 1137357 SOS 967352 HAS SOPS 967113 HAS SOUS 99688 HAS SOUPS 99525 WITH SCORE 100492.352
AT ITER 2464 NEW BEST:: SOT 1137357 SOS 967352 HAS SOPS 967113 HAS SOUS 99620 HAS SOUPS 99457 WITH SCORE 100424.352
AT ITER 2492 NEW BEST:: SOT 1137349 SOS 980465 HAS SOPS 980226 HAS SOUS 99604 HAS SOUPS 99441 WITH SCORE 100421.465
AT ITER 2504 NEW BEST:: SOT 1137349 SOS 980465 HAS SOPS 980226 HAS SOUS 99564 HAS SOUPS 99401 WITH SCORE 100381.465
AT ITER 2506 NEW BEST:: SOT 1137309 SOS 980425 HAS SOPS 980186 HAS SOUS 99524 HAS SOUPS 99361 WITH SCORE 100341.425
AT ITER 2511 NEW BEST:: SOT 1137309 SOS 980408 HAS SOPS 980169 HAS SOUS 99438 HAS SOUPS 99275 WITH SCORE 100255.408
AT ITER 2520 NEW BEST:: SOT 1137274 SOS 981152 HAS SOPS 980926 HAS SOUS 99422 HAS SOUPS 99259 WITH SCORE 100240.152
AT ITER 2537 NEW BEST:: SOT 1137011 SOS 980889 HAS SOPS 980663 HAS SOUS 99042 HAS SOUPS 98879 WITH SCORE 99859.889
AT ITER 2541 NEW BEST:: SOT 1136982 SOS 980860 HAS SOPS 980634 HAS SOUS 98980 HAS SOUPS 98817 WITH SCORE 99797.86
AT ITER 2550 NEW BEST:: SOT 1136954 SOS 980832 HAS SOPS 980606 HAS SOUS 98952 HAS SOUPS 98789 WITH SCORE 99769.832
AT ITER 2564 NEW BEST:: SOT 1136234 SOS 980112 HAS SOPS 979886 HAS SOUS 98530 HAS SOUPS 98367 WITH SCORE 99347.112
AT ITER 2568 NEW BEST:: SOT 1136302 SOS 980180 HAS SOPS 979954 HAS SOUS 98380 HAS SOUPS 98217 WITH SCORE 99197.18
AT ITER 2598 NEW BEST:: SOT 1137397 SOS 981275 HAS SOPS 981049 HAS SOUS 98371 HAS SOUPS 98208 WITH SCORE 99189.275
AT ITER 2601 NEW BEST:: SOT 1137397 SOS 981227 HAS SOPS 981001 HAS SOUS 98371 HAS SOUPS 98208 WITH SCORE 99189.227
AT ITER 2616 NEW BEST:: SOT 1137368 SOS 981158 HAS SOPS 980932 HAS SOUS 98356 HAS SOUPS 98193 WITH SCORE 99174.158
AT ITER 2621 NEW BEST:: SOT 1137368 SOS 980792 HAS SOPS 980548 HAS SOUS 98374 HAS SOUPS 98193 WITH SCORE 99173.792
AT ITER 2622 NEW BEST:: SOT 1137368 SOS 980787 HAS SOPS 980548 HAS SOUS 98367 HAS SOUPS 98191 WITH SCORE 99171.787
AT ITER 2637 NEW BEST:: SOT 1137395 SOS 981309 HAS SOPS 981073 HAS SOUS 98295 HAS SOUPS 98122 WITH SCORE 99103.309
AT ITER 2644 NEW BEST:: SOT 1137270 SOS 981184 HAS SOPS 980948 HAS SOUS 98260 HAS SOUPS 98087 WITH SCORE 99068.184
AT ITER 2655 NEW BEST:: SOT 1135941 SOS 978515 HAS SOPS 978279 HAS SOUS 97228 HAS SOUPS 97055 WITH SCORE 98033.515
AT ITER 2666 NEW BEST:: SOT 1138466 SOS 981928 HAS SOPS 981692 HAS SOUS 96583 HAS SOUPS 96410 WITH SCORE 97391.928
AT ITER 2668 NEW BEST:: SOT 1138180 SOS 981642 HAS SOPS 981406 HAS SOUS 96343 HAS SOUPS 96170 WITH SCORE 97151.642
AT ITER 2672 NEW BEST:: SOT 1137983 SOS 981445 HAS SOPS 981209 HAS SOUS 95305 HAS SOUPS 95132 WITH SCORE 96113.445
AT ITER 2679 NEW BEST:: SOT 1138488 SOS 985026 HAS SOPS 984792 HAS SOUS 95277 HAS SOUPS 95106 WITH SCORE 96091.026
AT ITER 2685 NEW BEST:: SOT 1138749 SOS 985287 HAS SOPS 985053 HAS SOUS 95133 HAS SOUPS 94962 WITH SCORE 95947.287
AT ITER 2688 NEW BEST:: SOT 1138621 SOS 985159 HAS SOPS 984925 HAS SOUS 95059 HAS SOUPS 94888 WITH SCORE 95873.159
AT ITER 2703 NEW BEST:: SOT 1138621 SOS 985356 HAS SOPS 985141 HAS SOUS 95032 HAS SOUPS 94880 WITH SCORE 95865.356
AT ITER 2717 NEW BEST:: SOT 1138621 SOS 985360 HAS SOPS 985141 HAS SOUS 95032 HAS SOUPS 94876 WITH SCORE 95861.36
AT ITER 2728 NEW BEST:: SOT 1138095 SOS 984834 HAS SOPS 984615 HAS SOUS 94998 HAS SOUPS 94842 WITH SCORE 95826.834
AT ITER 2747 NEW BEST:: SOT 1138095 SOS 984834 HAS SOPS 984615 HAS SOUS 94997 HAS SOUPS 94841 WITH SCORE 95825.834
AT ITER 2750 NEW BEST:: SOT 1138095 SOS 984840 HAS SOPS 984621 HAS SOUS 94994 HAS SOUPS 94838 WITH SCORE 95822.84
AT ITER 2755 NEW BEST:: SOT 1137895 SOS 984624 HAS SOPS 984405 HAS SOUS 94926 HAS SOUPS 94770 WITH SCORE 95754.624
AT ITER 2761 NEW BEST:: SOT 1137529 SOS 898902 HAS SOPS 898683 HAS SOUS 94391 HAS SOUPS 94235 WITH SCORE 95133.902
AT ITER 2778 NEW BEST:: SOT 1137557 SOS 898930 HAS SOPS 898711 HAS SOUS 94331 HAS SOUPS 94175 WITH SCORE 95073.93
AT ITER 2795 NEW BEST:: SOT 1137556 SOS 898927 HAS SOPS 898708 HAS SOUS 94329 HAS SOUPS 94173 WITH SCORE 95071.927
AT ITER 2813 NEW BEST:: SOT 1137519 SOS 898890 HAS SOPS 898671 HAS SOUS 94324 HAS SOUPS 94168 WITH SCORE 95066.89
AT ITER 2819 NEW BEST:: SOT 1137519 SOS 898682 HAS SOPS 898463 HAS SOUS 94324 HAS SOUPS 94168 WITH SCORE 95066.682
AT ITER 2824 NEW BEST:: SOT 1134357 SOS 895520 HAS SOPS 895301 HAS SOUS 93739 HAS SOUPS 93583 WITH SCORE 94478.52
AT ITER 2831 NEW BEST:: SOT 1134357 SOS 895520 HAS SOPS 895301 HAS SOUS 93737 HAS SOUPS 93581 WITH SCORE 94476.52
AT ITER 2832 NEW BEST:: SOT 1134815 SOS 895978 HAS SOPS 895759 HAS SOUS 93703 HAS SOUPS 93547 WITH SCORE 94442.978
AT ITER 2855 NEW BEST:: SOT 1134815 SOS 895623 HAS SOPS 895404 HAS SOUS 93679 HAS SOUPS 93523 WITH SCORE 94418.623
AT ITER 2865 NEW BEST:: SOT 1134670 SOS 895478 HAS SOPS 895259 HAS SOUS 93293 HAS SOUPS 93137 WITH SCORE 94032.478
AT ITER 2880 NEW BEST:: SOT 1134670 SOS 895478 HAS SOPS 895259 HAS SOUS 93258 HAS SOUPS 93102 WITH SCORE 93997.478
AT ITER 2883 NEW BEST:: SOT 1134557 SOS 895365 HAS SOPS 895146 HAS SOUS 93128 HAS SOUPS 92972 WITH SCORE 93867.365
AT ITER 2897 NEW BEST:: SOT 1134546 SOS 902575 HAS SOPS 902356 HAS SOUS 93104 HAS SOUPS 92948 WITH SCORE 93850.575
AT ITER 2902 NEW BEST:: SOT 1134546 SOS 902227 HAS SOPS 902008 HAS SOUS 93104 HAS SOUPS 92948 WITH SCORE 93850.227
AT ITER 2905 NEW BEST:: SOT 1134546 SOS 902011 HAS SOPS 901792 HAS SOUS 93104 HAS SOUPS 92948 WITH SCORE 93850.011
AT ITER 2914 NEW BEST:: SOT 1134348 SOS 901813 HAS SOPS 901594 HAS SOUS 92724 HAS SOUPS 92568 WITH SCORE 93469.813
AT ITER 2927 NEW BEST:: SOT 1134289 SOS 901702 HAS SOPS 901469 HAS SOUS 92664 HAS SOUPS 92494 WITH SCORE 93395.702
AT ITER 2934 NEW BEST:: SOT 1134285 SOS 901698 HAS SOPS 901465 HAS SOUS 92569 HAS SOUPS 92399 WITH SCORE 93300.698
AT ITER 2935 NEW BEST:: SOT 1134285 SOS 901466 HAS SOPS 901241 HAS SOUS 92563 HAS SOUPS 92395 WITH SCORE 93296.466
AT ITER 2938 NEW BEST:: SOT 1134885 SOS 902062 HAS SOPS 901841 HAS SOUS 91681 HAS SOUPS 91517 WITH SCORE 92419.062
AT ITER 2958 NEW BEST:: SOT 1134949 SOS 902126 HAS SOPS 901905 HAS SOUS 91484 HAS SOUPS 91320 WITH SCORE 92222.126
AT ITER 2960 NEW BEST:: SOT 1134949 SOS 901990 HAS SOPS 901769 HAS SOUS 91432 HAS SOUPS 91268 WITH SCORE 92169.99
AT ITER 3003 NEW BEST:: SOT 1134699 SOS 901740 HAS SOPS 901519 HAS SOUS 91401 HAS SOUPS 91237 WITH SCORE 92138.74
AT ITER 3011 NEW BEST:: SOT 1134699 SOS 901740 HAS SOPS 901519 HAS SOUS 91161 HAS SOUPS 90997 WITH SCORE 91898.74
AT ITER 3021 NEW BEST:: SOT 1134699 SOS 901740 HAS SOPS 901519 HAS SOUS 91160 HAS SOUPS 90996 WITH SCORE 91897.74
AT ITER 3022 NEW BEST:: SOT 1134699 SOS 901740 HAS SOPS 901519 HAS SOUS 91137 HAS SOUPS 90973 WITH SCORE 91874.74
AT ITER 3028 NEW BEST:: SOT 1134913 SOS 901954 HAS SOPS 901733 HAS SOUS 91101 HAS SOUPS 90937 WITH SCORE 91838.954
AT ITER 3061 NEW BEST:: SOT 1135132 SOS 902173 HAS SOPS 901952 HAS SOUS 91038 HAS SOUPS 90874 WITH SCORE 91776.173
AT ITER 3081 NEW BEST:: SOT 1135132 SOS 902281 HAS SOPS 902060 HAS SOUS 91018 HAS SOUPS 90854 WITH SCORE 91756.281
AT ITER 3094 NEW BEST:: SOT 1135132 SOS 902281 HAS SOPS 902060 HAS SOUS 90878 HAS SOUPS 90714 WITH SCORE 91616.281
AT ITER 3099 NEW BEST:: SOT 1135132 SOS 902281 HAS SOPS 902060 HAS SOUS 90855 HAS SOUPS 90691 WITH SCORE 91593.281
AT ITER 3115 NEW BEST:: SOT 1135045 SOS 902194 HAS SOPS 901973 HAS SOUS 90712 HAS SOUPS 90548 WITH SCORE 91450.194
AT ITER 3128 NEW BEST:: SOT 1135046 SOS 902211 HAS SOPS 901990 HAS SOUS 90225 HAS SOUPS 90061 WITH SCORE 90963.211
AT ITER 3133 NEW BEST:: SOT 1134217 SOS 901382 HAS SOPS 901161 HAS SOUS 89948 HAS SOUPS 89784 WITH SCORE 90685.382
AT ITER 3140 NEW BEST:: SOT 1133877 SOS 901042 HAS SOPS 900821 HAS SOUS 89885 HAS SOUPS 89721 WITH SCORE 90622.042
AT ITER 3160 NEW BEST:: SOT 1133309 SOS 900510 HAS SOPS 900289 HAS SOUS 88239 HAS SOUPS 88075 WITH SCORE 88975.51
AT ITER 3167 NEW BEST:: SOT 1133331 SOS 900532 HAS SOPS 900311 HAS SOUS 88115 HAS SOUPS 87951 WITH SCORE 88851.532
AT ITER 3168 NEW BEST:: SOT 1132879 SOS 900080 HAS SOPS 899859 HAS SOUS 87525 HAS SOUPS 87361 WITH SCORE 88261.08
AT ITER 3215 NEW BEST:: SOT 1132879 SOS 900080 HAS SOPS 899859 HAS SOUS 87333 HAS SOUPS 87169 WITH SCORE 88069.08
AT ITER 3217 NEW BEST:: SOT 1132910 SOS 900111 HAS SOPS 899890 HAS SOUS 87028 HAS SOUPS 86864 WITH SCORE 87764.111
AT ITER 3267 NEW BEST:: SOT 1132862 SOS 871983 HAS SOPS 871762 HAS SOUS 87010 HAS SOUPS 86846 WITH SCORE 87717.983
AT ITER 3281 NEW BEST:: SOT 1132842 SOS 871963 HAS SOPS 871742 HAS SOUS 86963 HAS SOUPS 86799 WITH SCORE 87670.963
AT ITER 3303 NEW BEST:: SOT 1132842 SOS 868386 HAS SOPS 868153 HAS SOUS 86972 HAS SOUPS 86796 WITH SCORE 87664.386
AT ITER 3313 NEW BEST:: SOT 1132763 SOS 868307 HAS SOPS 868074 HAS SOUS 86769 HAS SOUPS 86593 WITH SCORE 87461.307
AT ITER 3334 NEW BEST:: SOT 1132754 SOS 868298 HAS SOPS 868065 HAS SOUS 86760 HAS SOUPS 86584 WITH SCORE 87452.298
AT ITER 3337 NEW BEST:: SOT 1132754 SOS 868284 HAS SOPS 868051 HAS SOUS 86753 HAS SOUPS 86577 WITH SCORE 87445.284
AT ITER 3338 NEW BEST:: SOT 1132754 SOS 868284 HAS SOPS 868051 HAS SOUS 86689 HAS SOUPS 86513 WITH SCORE 87381.284
AT ITER 3348 NEW BEST:: SOT 1132754 SOS 868284 HAS SOPS 868051 HAS SOUS 86672 HAS SOUPS 86496 WITH SCORE 87364.284
AT ITER 3349 NEW BEST:: SOT 1131629 SOS 867159 HAS SOPS 866926 HAS SOUS 86627 HAS SOUPS 86451 WITH SCORE 87318.159
AT ITER 3352 NEW BEST:: SOT 1131613 SOS 867143 HAS SOPS 866910 HAS SOUS 86367 HAS SOUPS 86191 WITH SCORE 87058.143
AT ITER 3369 NEW BEST:: SOT 1131441 SOS 945667 HAS SOPS 945434 HAS SOUS 86170 HAS SOUPS 85994 WITH SCORE 86939.667
AT ITER 3391 NEW BEST:: SOT 1131346 SOS 945572 HAS SOPS 945339 HAS SOUS 86075 HAS SOUPS 85899 WITH SCORE 86844.572
AT ITER 3418 NEW BEST:: SOT 1131476 SOS 945702 HAS SOPS 945469 HAS SOUS 86014 HAS SOUPS 85838 WITH SCORE 86783.702
AT ITER 3424 NEW BEST:: SOT 1130113 SOS 944339 HAS SOPS 944106 HAS SOUS 85947 HAS SOUPS 85771 WITH SCORE 86715.339
AT ITER 3427 NEW BEST:: SOT 1130348 SOS 944574 HAS SOPS 944341 HAS SOUS 85940 HAS SOUPS 85764 WITH SCORE 86708.574
AT ITER 3428 NEW BEST:: SOT 1130348 SOS 953338 HAS SOPS 953181 HAS SOUS 85877 HAS SOUPS 85720 WITH SCORE 86673.338
AT ITER 3432 NEW BEST:: SOT 1130348 SOS 953266 HAS SOPS 953109 HAS SOUS 85847 HAS SOUPS 85690 WITH SCORE 86643.266
AT ITER 3444 NEW BEST:: SOT 1130341 SOS 960171 HAS SOPS 960014 HAS SOUS 85821 HAS SOUPS 85664 WITH SCORE 86624.171
AT ITER 3457 NEW BEST:: SOT 1130341 SOS 959907 HAS SOPS 959750 HAS SOUS 85821 HAS SOUPS 85664 WITH SCORE 86623.907
AT ITER 3459 NEW BEST:: SOT 1130339 SOS 959905 HAS SOPS 959748 HAS SOUS 85819 HAS SOUPS 85662 WITH SCORE 86621.905
AT ITER 3462 NEW BEST:: SOT 1130284 SOS 959850 HAS SOPS 959693 HAS SOUS 85808 HAS SOUPS 85651 WITH SCORE 86610.85
AT ITER 3477 NEW BEST:: SOT 1130284 SOS 959850 HAS SOPS 959693 HAS SOUS 85769 HAS SOUPS 85612 WITH SCORE 86571.85
AT ITER 3488 NEW BEST:: SOT 1130284 SOS 958806 HAS SOPS 958649 HAS SOUS 85767 HAS SOUPS 85610 WITH SCORE 86568.806
AT ITER 3493 NEW BEST:: SOT 1130237 SOS 891367 HAS SOPS 891210 HAS SOUS 85690 HAS SOUPS 85533 WITH SCORE 86424.367
AT ITER 3498 NEW BEST:: SOT 1130237 SOS 891367 HAS SOPS 891210 HAS SOUS 85686 HAS SOUPS 85529 WITH SCORE 86420.367
AT ITER 3525 NEW BEST:: SOT 1131182 SOS 892312 HAS SOPS 892155 HAS SOUS 85398 HAS SOUPS 85241 WITH SCORE 86133.312
AT ITER 3528 NEW BEST:: SOT 1131169 SOS 837089 HAS SOPS 836913 HAS SOUS 85363 HAS SOUPS 85187 WITH SCORE 86024.089
AT ITER 3545 NEW BEST:: SOT 1131275 SOS 837195 HAS SOPS 837019 HAS SOUS 84946 HAS SOUPS 84770 WITH SCORE 85607.195
AT ITER 3552 NEW BEST:: SOT 1131838 SOS 837758 HAS SOPS 837582 HAS SOUS 84302 HAS SOUPS 84126 WITH SCORE 84963.758
AT ITER 3572 NEW BEST:: SOT 1130453 SOS 836565 HAS SOPS 836389 HAS SOUS 83480 HAS SOUPS 83304 WITH SCORE 84140.565
AT ITER 3601 NEW BEST:: SOT 1130504 SOS 836616 HAS SOPS 836440 HAS SOUS 83206 HAS SOUPS 83030 WITH SCORE 83866.616
AT ITER 3633 NEW BEST:: SOT 1131240 SOS 837352 HAS SOPS 837176 HAS SOUS 83174 HAS SOUPS 82998 WITH SCORE 83835.352
AT ITER 3637 NEW BEST:: SOT 1132028 SOS 838140 HAS SOPS 837964 HAS SOUS 83033 HAS SOUPS 82857 WITH SCORE 83695.14
AT ITER 3639 NEW BEST:: SOT 1132070 SOS 838182 HAS SOPS 838006 HAS SOUS 82778 HAS SOUPS 82602 WITH SCORE 83440.182
AT ITER 3666 NEW BEST:: SOT 1132029 SOS 733082 HAS SOPS 732906 HAS SOUS 82718 HAS SOUPS 82542 WITH SCORE 83275.082
AT ITER 3692 NEW BEST:: SOT 1131210 SOS 732983 HAS SOPS 732807 HAS SOUS 81918 HAS SOUPS 81742 WITH SCORE 82474.983
AT ITER 3695 NEW BEST:: SOT 1131186 SOS 732191 HAS SOPS 732015 HAS SOUS 81886 HAS SOUPS 81710 WITH SCORE 82442.191
AT ITER 3722 NEW BEST:: SOT 1131186 SOS 718679 HAS SOPS 718503 HAS SOUS 81855 HAS SOUPS 81679 WITH SCORE 82397.679
AT ITER 3735 NEW BEST:: SOT 1131186 SOS 718614 HAS SOPS 718443 HAS SOUS 81850 HAS SOUPS 81679 WITH SCORE 82397.614
AT ITER 3739 NEW BEST:: SOT 1131186 SOS 718614 HAS SOPS 718443 HAS SOUS 81844 HAS SOUPS 81673 WITH SCORE 82391.614
AT ITER 3748 NEW BEST:: SOT 1131186 SOS 718614 HAS SOPS 718443 HAS SOUS 81839 HAS SOUPS 81668 WITH SCORE 82386.614
AT ITER 3775 NEW BEST:: SOT 1131186 SOS 718446 HAS SOPS 718275 HAS SOUS 81839 HAS SOUPS 81668 WITH SCORE 82386.446
AT ITER 3827 NEW BEST:: SOT 1131162 SOS 718398 HAS SOPS 718227 HAS SOUS 81815 HAS SOUPS 81644 WITH SCORE 82362.398
AT ITER 3853 NEW BEST:: SOT 1131162 SOS 718446 HAS SOPS 718275 HAS SOUS 81791 HAS SOUPS 81620 WITH SCORE 82338.446
AT ITER 3869 NEW BEST:: SOT 1129209 SOS 719059 HAS SOPS 718888 HAS SOUS 81539 HAS SOUPS 81368 WITH SCORE 82087.059
AT ITER 3873 NEW BEST:: SOT 1129209 SOS 718943 HAS SOPS 718772 HAS SOUS 81510 HAS SOUPS 81339 WITH SCORE 82057.943
AT ITER 3891 NEW BEST:: SOT 1129209 SOS 718687 HAS SOPS 718516 HAS SOUS 81086 HAS SOUPS 80915 WITH SCORE 81633.687
AT ITER 3903 NEW BEST:: SOT 1129457 SOS 718935 HAS SOPS 718764 HAS SOUS 81079 HAS SOUPS 80908 WITH SCORE 81626.935
AT ITER 3914 NEW BEST:: SOT 1128617 SOS 718095 HAS SOPS 717924 HAS SOUS 80839 HAS SOUPS 80668 WITH SCORE 81386.095
AT ITER 3968 NEW BEST:: SOT 1128180 SOS 717202 HAS SOPS 717031 HAS SOUS 80815 HAS SOUPS 80644 WITH SCORE 81361.202
AT ITER 3977 NEW BEST:: SOT 1128180 SOS 716626 HAS SOPS 716455 HAS SOUS 80815 HAS SOUPS 80644 WITH SCORE 81360.626
AT ITER 3986 NEW BEST:: SOT 1128273 SOS 716719 HAS SOPS 716548 HAS SOUS 80796 HAS SOUPS 80625 WITH SCORE 81341.719
AT ITER 3991 NEW BEST:: SOT 1126712 SOS 715154 HAS SOPS 714983 HAS SOUS 80595 HAS SOUPS 80424 WITH SCORE 81139.154
AT ITER 4006 NEW BEST:: SOT 1126712 SOS 713734 HAS SOPS 713543 HAS SOUS 80607 HAS SOUPS 80416 WITH SCORE 81129.734
AT ITER 4028 NEW BEST:: SOT 1126712 SOS 713734 HAS SOPS 713543 HAS SOUS 80579 HAS SOUPS 80388 WITH SCORE 81101.734
AT ITER 4033 NEW BEST:: SOT 1126449 SOS 714359 HAS SOPS 714168 HAS SOUS 80299 HAS SOUPS 80108 WITH SCORE 80822.359
AT ITER 4102 NEW BEST:: SOT 1126460 SOS 714634 HAS SOPS 714443 HAS SOUS 80277 HAS SOUPS 80086 WITH SCORE 80800.634
AT ITER 4105 NEW BEST:: SOT 1126503 SOS 716285 HAS SOPS 716094 HAS SOUS 78755 HAS SOUPS 78564 WITH SCORE 79280.285
AT ITER 4145 NEW BEST:: SOT 1124775 SOS 713189 HAS SOPS 712998 HAS SOUS 78131 HAS SOUPS 77940 WITH SCORE 78653.189
AT ITER 4200 NEW BEST:: SOT 1124802 SOS 713216 HAS SOPS 713025 HAS SOUS 78007 HAS SOUPS 77816 WITH SCORE 78529.216
AT ITER 4211 NEW BEST:: SOT 1124757 SOS 713531 HAS SOPS 713340 HAS SOUS 77962 HAS SOUPS 77771 WITH SCORE 78484.531
AT ITER 4215 NEW BEST:: SOT 1124757 SOS 713051 HAS SOPS 712860 HAS SOUS 77962 HAS SOUPS 77771 WITH SCORE 78484.051
AT ITER 4220 NEW BEST:: SOT 1124757 SOS 722943 HAS SOPS 722772 HAS SOUS 77929 HAS SOUPS 77758 WITH SCORE 78480.943
AT ITER 4281 NEW BEST:: SOT 1124486 SOS 722672 HAS SOPS 722501 HAS SOUS 77879 HAS SOUPS 77708 WITH SCORE 78430.672
AT ITER 4322 NEW BEST:: SOT 1124436 SOS 722622 HAS SOPS 722451 HAS SOUS 77775 HAS SOUPS 77604 WITH SCORE 78326.622
AT ITER 4364 NEW BEST:: SOT 1124436 SOS 722622 HAS SOPS 722451 HAS SOUS 77767 HAS SOUPS 77596 WITH SCORE 78318.622
AT ITER 4402 NEW BEST:: SOT 1124425 SOS 722611 HAS SOPS 722440 HAS SOUS 77742 HAS SOUPS 77571 WITH SCORE 78293.611
AT ITER 4417 NEW BEST:: SOT 1124711 SOS 722929 HAS SOPS 722758 HAS SOUS 77733 HAS SOUPS 77562 WITH SCORE 78284.929
AT ITER 4421 NEW BEST:: SOT 1124699 SOS 722917 HAS SOPS 722746 HAS SOUS 77733 HAS SOUPS 77562 WITH SCORE 78284.917
AT ITER 4434 NEW BEST:: SOT 1123568 SOS 724306 HAS SOPS 724135 HAS SOUS 77621 HAS SOUPS 77450 WITH SCORE 78174.306
AT ITER 4450 NEW BEST:: SOT 1123568 SOS 724297 HAS SOPS 724135 HAS SOUS 77612 HAS SOUPS 77450 WITH SCORE 78174.297
AT ITER 4469 NEW BEST:: SOT 1123570 SOS 724299 HAS SOPS 724137 HAS SOUS 77608 HAS SOUPS 77446 WITH SCORE 78170.299
AT ITER 4494 NEW BEST:: SOT 1124183 SOS 728857 HAS SOPS 728695 HAS SOUS 77509 HAS SOUPS 77347 WITH SCORE 78075.857
AT ITER 4513 NEW BEST:: SOT 1124193 SOS 728867 HAS SOPS 728705 HAS SOUS 77485 HAS SOUPS 77323 WITH SCORE 78051.867
AT ITER 4539 NEW BEST:: SOT 1122454 SOS 731520 HAS SOPS 731358 HAS SOUS 77398 HAS SOUPS 77236 WITH SCORE 77967.52
AT ITER 4545 NEW BEST:: SOT 1122341 SOS 730433 HAS SOPS 730271 HAS SOUS 77170 HAS SOUPS 77008 WITH SCORE 77738.433
AT ITER 4548 NEW BEST:: SOT 1122341 SOS 730367 HAS SOPS 730183 HAS SOUS 77170 HAS SOUPS 76986 WITH SCORE 77716.367
AT ITER 4552 NEW BEST:: SOT 1122341 SOS 730223 HAS SOPS 730039 HAS SOUS 77164 HAS SOUPS 76980 WITH SCORE 77710.223
AT ITER 4554 NEW BEST:: SOT 1122159 SOS 730041 HAS SOPS 729857 HAS SOUS 76934 HAS SOUPS 76750 WITH SCORE 77480.041
AT ITER 4569 NEW BEST:: SOT 1122165 SOS 730047 HAS SOPS 729863 HAS SOUS 76886 HAS SOUPS 76702 WITH SCORE 77432.047
AT ITER 4575 NEW BEST:: SOT 1122177 SOS 730059 HAS SOPS 729875 HAS SOUS 76867 HAS SOUPS 76683 WITH SCORE 77413.059
AT ITER 4597 NEW BEST:: SOT 1121832 SOS 729714 HAS SOPS 729530 HAS SOUS 76835 HAS SOUPS 76651 WITH SCORE 77380.714
AT ITER 4608 NEW BEST:: SOT 1121836 SOS 729718 HAS SOPS 729534 HAS SOUS 76791 HAS SOUPS 76607 WITH SCORE 77336.718
AT ITER 4620 NEW BEST:: SOT 1120686 SOS 727944 HAS SOPS 727760 HAS SOUS 76470 HAS SOUPS 76286 WITH SCORE 77013.944
AT ITER 4628 NEW BEST:: SOT 1120707 SOS 727965 HAS SOPS 727781 HAS SOUS 76448 HAS SOUPS 76264 WITH SCORE 76991.965
AT ITER 4629 NEW BEST:: SOT 1120728 SOS 728144 HAS SOPS 727960 HAS SOUS 76328 HAS SOUPS 76144 WITH SCORE 76872.144
AT ITER 4659 NEW BEST:: SOT 1120722 SOS 731528 HAS SOPS 731344 HAS SOUS 76323 HAS SOUPS 76139 WITH SCORE 76870.528
AT ITER 4660 NEW BEST:: SOT 1120722 SOS 731432 HAS SOPS 731248 HAS SOUS 76323 HAS SOUPS 76139 WITH SCORE 76870.432
AT ITER 4663 NEW BEST:: SOT 1120710 SOS 731420 HAS SOPS 731236 HAS SOUS 76299 HAS SOUPS 76115 WITH SCORE 76846.42
AT ITER 4687 NEW BEST:: SOT 1120710 SOS 731372 HAS SOPS 731164 HAS SOUS 76315 HAS SOUPS 76107 WITH SCORE 76838.372
AT ITER 4724 NEW BEST:: SOT 1120710 SOS 731324 HAS SOPS 731116 HAS SOUS 76313 HAS SOUPS 76105 WITH SCORE 76836.324
AT ITER 4760 NEW BEST:: SOT 1120060 SOS 730674 HAS SOPS 730466 HAS SOUS 76110 HAS SOUPS 75902 WITH SCORE 76632.674
AT ITER 4766 NEW BEST:: SOT 1120060 SOS 730674 HAS SOPS 730466 HAS SOUS 76098 HAS SOUPS 75890 WITH SCORE 76620.674
AT ITER 4768 NEW BEST:: SOT 1120060 SOS 730660 HAS SOPS 730452 HAS SOUS 76091 HAS SOUPS 75883 WITH SCORE 76613.66
AT ITER 4784 NEW BEST:: SOT 1119890 SOS 730490 HAS SOPS 730282 HAS SOUS 75751 HAS SOUPS 75543 WITH SCORE 76273.49
AT ITER 4819 NEW BEST:: SOT 1119890 SOS 730478 HAS SOPS 730282 HAS SOUS 75739 HAS SOUPS 75543 WITH SCORE 76273.478
AT ITER 4825 NEW BEST:: SOT 1119884 SOS 730619 HAS SOPS 730423 HAS SOUS 75736 HAS SOUPS 75540 WITH SCORE 76270.619
AT ITER 4842 NEW BEST:: SOT 1119884 SOS 730163 HAS SOPS 729967 HAS SOUS 75736 HAS SOUPS 75540 WITH SCORE 76270.163
AT ITER 4883 NEW BEST:: SOT 1120534 SOS 730813 HAS SOPS 730617 HAS SOUS 75668 HAS SOUPS 75472 WITH SCORE 76202.813
AT ITER 4908 NEW BEST:: SOT 1120534 SOS 730693 HAS SOPS 730497 HAS SOUS 75663 HAS SOUPS 75467 WITH SCORE 76197.693
AT ITER 4912 NEW BEST:: SOT 1120534 SOS 730357 HAS SOPS 730161 HAS SOUS 75663 HAS SOUPS 75467 WITH SCORE 76197.357
AT ITER 4925 NEW BEST:: SOT 1120534 SOS 730501 HAS SOPS 730305 HAS SOUS 75657 HAS SOUPS 75461 WITH SCORE 76191.501
AT ITER 4942 NEW BEST:: SOT 1120328 SOS 730335 HAS SOPS 730139 HAS SOUS 75306 HAS SOUPS 75110 WITH SCORE 75840.335
AT ITER 4950 NEW BEST:: SOT 1120301 SOS 730308 HAS SOPS 730112 HAS SOUS 75279 HAS SOUPS 75083 WITH SCORE 75813.308
AT ITER 4957 NEW BEST:: SOT 1120301 SOS 730308 HAS SOPS 730112 HAS SOUS 75243 HAS SOUPS 75047 WITH SCORE 75777.308
AT ITER 4972 NEW BEST:: SOT 1120301 SOS 730140 HAS SOPS 729944 HAS SOUS 75236 HAS SOUPS 75040 WITH SCORE 75770.14
AT ITER 4998 NEW BEST:: SOT 1120294 SOS 730133 HAS SOPS 729937 HAS SOUS 75229 HAS SOUPS 75033 WITH SCORE 75763.133
AT ITER 5002 NEW BEST:: SOT 1120294 SOS 730133 HAS SOPS 729937 HAS SOUS 75221 HAS SOUPS 75025 WITH SCORE 75755.133
AT ITER 5030 NEW BEST:: SOT 1120294 SOS 730133 HAS SOPS 729937 HAS SOUS 75140 HAS SOUPS 74944 WITH SCORE 75674.133
AT ITER 5052 NEW BEST:: SOT 1120294 SOS 729539 HAS SOPS 729343 HAS SOUS 75140 HAS SOUPS 74944 WITH SCORE 75673.539
AT ITER 5059 NEW BEST:: SOT 1120198 SOS 729427 HAS SOPS 729231 HAS SOUS 75126 HAS SOUPS 74930 WITH SCORE 75659.427
AT ITER 5064 NEW BEST:: SOT 1120190 SOS 729731 HAS SOPS 729535 HAS SOUS 74902 HAS SOUPS 74706 WITH SCORE 75435.731
AT ITER 5075 NEW BEST:: SOT 1120190 SOS 731123 HAS SOPS 730927 HAS SOUS 74504 HAS SOUPS 74308 WITH SCORE 75039.123
AT ITER 5078 NEW BEST:: SOT 1120191 SOS 731124 HAS SOPS 730928 HAS SOUS 74492 HAS SOUPS 74296 WITH SCORE 75027.124
AT ITER 5093 NEW BEST:: SOT 1120191 SOS 730904 HAS SOPS 730708 HAS SOUS 74492 HAS SOUPS 74296 WITH SCORE 75026.904
AT ITER 5136 NEW BEST:: SOT 1120058 SOS 730771 HAS SOPS 730581 HAS SOUS 74210 HAS SOUPS 74020 WITH SCORE 74750.771
AT ITER 5162 NEW BEST:: SOT 1120658 SOS 731371 HAS SOPS 731181 HAS SOUS 74108 HAS SOUPS 73918 WITH SCORE 74649.371
AT ITER 5165 NEW BEST:: SOT 1120658 SOS 731196 HAS SOPS 731013 HAS SOUS 74101 HAS SOUPS 73918 WITH SCORE 74649.196
AT ITER 5178 NEW BEST:: SOT 1120657 SOS 731699 HAS SOPS 731516 HAS SOUS 74100 HAS SOUPS 73917 WITH SCORE 74648.699
AT ITER 5202 NEW BEST:: SOT 1120655 SOS 731746 HAS SOPS 731550 HAS SOUS 74098 HAS SOUPS 73902 WITH SCORE 74633.746
AT ITER 5235 NEW BEST:: SOT 1120655 SOS 731026 HAS SOPS 730830 HAS SOUS 74098 HAS SOUPS 73902 WITH SCORE 74633.026
AT ITER 5352 NEW BEST:: SOT 1120655 SOS 730443 HAS SOPS 730278 HAS SOUS 74067 HAS SOUPS 73902 WITH SCORE 74632.443
AT ITER 5370 NEW BEST:: SOT 1120655 SOS 730263 HAS SOPS 730098 HAS SOUS 74067 HAS SOUPS 73902 WITH SCORE 74632.263
AT ITER 5403 NEW BEST:: SOT 1120655 SOS 728367 HAS SOPS 728202 HAS SOUS 73991 HAS SOUPS 73826 WITH SCORE 74554.367
AT ITER 5412 NEW BEST:: SOT 1120662 SOS 728374 HAS SOPS 728209 HAS SOUS 73983 HAS SOUPS 73818 WITH SCORE 74546.374
AT ITER 5424 NEW BEST:: SOT 1119990 SOS 728340 HAS SOPS 728175 HAS SOUS 73758 HAS SOUPS 73593 WITH SCORE 74321.34
AT ITER 5428 NEW BEST:: SOT 1120481 SOS 729623 HAS SOPS 729458 HAS SOUS 73754 HAS SOUPS 73589 WITH SCORE 74318.623
AT ITER 5477 NEW BEST:: SOT 1120479 SOS 729621 HAS SOPS 729456 HAS SOUS 73529 HAS SOUPS 73364 WITH SCORE 74093.621
AT ITER 5521 NEW BEST:: SOT 1120479 SOS 729621 HAS SOPS 729456 HAS SOUS 73523 HAS SOUPS 73358 WITH SCORE 74087.621
AT ITER 5523 NEW BEST:: SOT 1120479 SOS 729617 HAS SOPS 729452 HAS SOUS 73522 HAS SOUPS 73357 WITH SCORE 74086.617
AT ITER 5536 NEW BEST:: SOT 1120259 SOS 729373 HAS SOPS 729208 HAS SOUS 73345 HAS SOUPS 73180 WITH SCORE 73909.373
AT ITER 5548 NEW BEST:: SOT 1120375 SOS 729489 HAS SOPS 729324 HAS SOUS 73315 HAS SOUPS 73150 WITH SCORE 73879.489
AT ITER 5561 NEW BEST:: SOT 1120800 SOS 729968 HAS SOPS 729803 HAS SOUS 73181 HAS SOUPS 73016 WITH SCORE 73745.968
AT ITER 5563 NEW BEST:: SOT 1120800 SOS 727247 HAS SOPS 727079 HAS SOUS 73181 HAS SOUPS 73013 WITH SCORE 73740.247
AT ITER 5570 NEW BEST:: SOT 1120832 SOS 727279 HAS SOPS 727111 HAS SOUS 73168 HAS SOUPS 73000 WITH SCORE 73727.279
AT ITER 5578 NEW BEST:: SOT 1120838 SOS 727285 HAS SOPS 727117 HAS SOUS 73147 HAS SOUPS 72979 WITH SCORE 73706.285
AT ITER 5584 NEW BEST:: SOT 1120838 SOS 727261 HAS SOPS 727081 HAS SOUS 73147 HAS SOUPS 72967 WITH SCORE 73694.261
AT ITER 5593 NEW BEST:: SOT 1119512 SOS 725185 HAS SOPS 725005 HAS SOUS 71947 HAS SOUPS 71767 WITH SCORE 72492.185
AT ITER 5636 NEW BEST:: SOT 1119474 SOS 725147 HAS SOPS 724967 HAS SOUS 71642 HAS SOUPS 71462 WITH SCORE 72187.147
AT ITER 5639 NEW BEST:: SOT 1119354 SOS 725027 HAS SOPS 724847 HAS SOUS 71517 HAS SOUPS 71337 WITH SCORE 72062.027
AT ITER 5676 NEW BEST:: SOT 1119193 SOS 724866 HAS SOPS 724686 HAS SOUS 71349 HAS SOUPS 71169 WITH SCORE 71893.866
AT ITER 5691 NEW BEST:: SOT 1119071 SOS 724744 HAS SOPS 724564 HAS SOUS 71343 HAS SOUPS 71163 WITH SCORE 71887.744
AT ITER 5703 NEW BEST:: SOT 1119063 SOS 724736 HAS SOPS 724556 HAS SOUS 71287 HAS SOUPS 71107 WITH SCORE 71831.736
AT ITER 5770 NEW BEST:: SOT 1119063 SOS 724736 HAS SOPS 724556 HAS SOUS 71270 HAS SOUPS 71090 WITH SCORE 71814.736
AT ITER 5783 NEW BEST:: SOT 1119072 SOS 724745 HAS SOPS 724565 HAS SOUS 71204 HAS SOUPS 71024 WITH SCORE 71748.745
AT ITER 5785 NEW BEST:: SOT 1119072 SOS 724725 HAS SOPS 724545 HAS SOUS 71199 HAS SOUPS 71019 WITH SCORE 71743.725
AT ITER 5819 NEW BEST:: SOT 1119050 SOS 724703 HAS SOPS 724523 HAS SOUS 71177 HAS SOUPS 70997 WITH SCORE 71721.703
AT ITER 5825 NEW BEST:: SOT 1119032 SOS 722213 HAS SOPS 722033 HAS SOUS 71164 HAS SOUPS 70984 WITH SCORE 71706.213
AT ITER 5858 NEW BEST:: SOT 1119025 SOS 722192 HAS SOPS 722012 HAS SOUS 71150 HAS SOUPS 70970 WITH SCORE 71692.192
AT ITER 5920 NEW BEST:: SOT 1119025 SOS 722192 HAS SOPS 722012 HAS SOUS 71124 HAS SOUPS 70944 WITH SCORE 71666.192
AT ITER 5937 NEW BEST:: SOT 1118912 SOS 722079 HAS SOPS 721899 HAS SOUS 71011 HAS SOUPS 70831 WITH SCORE 71553.079
AT ITER 5961 NEW BEST:: SOT 1119469 SOS 722636 HAS SOPS 722456 HAS SOUS 70809 HAS SOUPS 70629 WITH SCORE 71351.636
AT ITER 5974 NEW BEST:: SOT 1119852 SOS 723019 HAS SOPS 722839 HAS SOUS 70726 HAS SOUPS 70546 WITH SCORE 71269.019
AT ITER 6030 NEW BEST:: SOT 1119852 SOS 722467 HAS SOPS 722287 HAS SOUS 70725 HAS SOUPS 70545 WITH SCORE 71267.467
AT ITER 6043 NEW BEST:: SOT 1119741 SOS 722356 HAS SOPS 722176 HAS SOUS 70614 HAS SOUPS 70434 WITH SCORE 71156.356
AT ITER 6052 NEW BEST:: SOT 1119113 SOS 722112 HAS SOPS 721932 HAS SOUS 70037 HAS SOUPS 69857 WITH SCORE 70579.112
AT ITER 6116 NEW BEST:: SOT 1119175 SOS 722222 HAS SOPS 722042 HAS SOUS 69978 HAS SOUPS 69798 WITH SCORE 70520.222
AT ITER 6166 NEW BEST:: SOT 1119175 SOS 722126 HAS SOPS 721946 HAS SOUS 69978 HAS SOUPS 69798 WITH SCORE 70520.126
AT ITER 6171 NEW BEST:: SOT 1119175 SOS 716192 HAS SOPS 716012 HAS SOUS 69966 HAS SOUPS 69786 WITH SCORE 70502.192
AT ITER 6180 NEW BEST:: SOT 1118815 SOS 716132 HAS SOPS 715952 HAS SOUS 69460 HAS SOUPS 69280 WITH SCORE 69996.132
AT ITER 6223 NEW BEST:: SOT 1118815 SOS 717584 HAS SOPS 717404 HAS SOUS 69440 HAS SOUPS 69260 WITH SCORE 69977.584
AT ITER 6251 NEW BEST:: SOT 1118807 SOS 717384 HAS SOPS 717204 HAS SOUS 69424 HAS SOUPS 69244 WITH SCORE 69961.384
AT ITER 6252 NEW BEST:: SOT 1118795 SOS 717372 HAS SOPS 717192 HAS SOUS 69412 HAS SOUPS 69232 WITH SCORE 69949.372
AT ITER 6262 NEW BEST:: SOT 1118795 SOS 717365 HAS SOPS 717192 HAS SOUS 69405 HAS SOUPS 69232 WITH SCORE 69949.365
AT ITER 6320 NEW BEST:: SOT 1118758 SOS 717328 HAS SOPS 717155 HAS SOUS 69367 HAS SOUPS 69194 WITH SCORE 69911.328
AT ITER 6336 NEW BEST:: SOT 1118185 SOS 716755 HAS SOPS 716582 HAS SOUS 69310 HAS SOUPS 69137 WITH SCORE 69853.755
AT ITER 6347 NEW BEST:: SOT 1118139 SOS 716709 HAS SOPS 716536 HAS SOUS 69264 HAS SOUPS 69091 WITH SCORE 69807.709
AT ITER 6385 NEW BEST:: SOT 1118065 SOS 715747 HAS SOPS 715574 HAS SOUS 69153 HAS SOUPS 68980 WITH SCORE 69695.747
AT ITER 6399 NEW BEST:: SOT 1117583 SOS 713417 HAS SOPS 713244 HAS SOUS 68847 HAS SOUPS 68674 WITH SCORE 69387.417
AT ITER 6417 NEW BEST:: SOT 1117413 SOS 713279 HAS SOPS 713106 HAS SOUS 68461 HAS SOUPS 68288 WITH SCORE 69001.279
AT ITER 6432 NEW BEST:: SOT 1117413 SOS 713279 HAS SOPS 713106 HAS SOUS 68456 HAS SOUPS 68283 WITH SCORE 68996.279
AT ITER 6437 NEW BEST:: SOT 1116813 SOS 712679 HAS SOPS 712506 HAS SOUS 68168 HAS SOUPS 67995 WITH SCORE 68707.679
AT ITER 6470 NEW BEST:: SOT 1117572 SOS 713438 HAS SOPS 713265 HAS SOUS 68125 HAS SOUPS 67952 WITH SCORE 68665.438
AT ITER 6486 NEW BEST:: SOT 1117572 SOS 712358 HAS SOPS 712185 HAS SOUS 68091 HAS SOUPS 67918 WITH SCORE 68630.358
AT ITER 6491 NEW BEST:: SOT 1117197 SOS 711953 HAS SOPS 711780 HAS SOUS 67776 HAS SOUPS 67603 WITH SCORE 68314.953
AT ITER 6493 NEW BEST:: SOT 1117197 SOS 711935 HAS SOPS 711780 HAS SOUS 67758 HAS SOUPS 67603 WITH SCORE 68314.935
AT ITER 6539 NEW BEST:: SOT 1117197 SOS 711935 HAS SOPS 711780 HAS SOUS 67757 HAS SOUPS 67602 WITH SCORE 68313.935
AT ITER 6551 NEW BEST:: SOT 1117197 SOS 711671 HAS SOPS 711516 HAS SOUS 67757 HAS SOUPS 67602 WITH SCORE 68313.671
AT ITER 6566 NEW BEST:: SOT 1117201 SOS 711675 HAS SOPS 711520 HAS SOUS 67747 HAS SOUPS 67592 WITH SCORE 68303.675
AT ITER 6568 NEW BEST:: SOT 1116077 SOS 710551 HAS SOPS 710396 HAS SOUS 67207 HAS SOUPS 67052 WITH SCORE 67762.551
AT ITER 6603 NEW BEST:: SOT 1114302 SOS 708776 HAS SOPS 708621 HAS SOUS 66927 HAS SOUPS 66772 WITH SCORE 67480.776
AT ITER 6607 NEW BEST:: SOT 1114297 SOS 708651 HAS SOPS 708496 HAS SOUS 66922 HAS SOUPS 66767 WITH SCORE 67475.651
AT ITER 6609 NEW BEST:: SOT 1114297 SOS 708647 HAS SOPS 708492 HAS SOUS 66922 HAS SOUPS 66767 WITH SCORE 67475.647
AT ITER 6614 NEW BEST:: SOT 1113978 SOS 708328 HAS SOPS 708173 HAS SOUS 66812 HAS SOUPS 66657 WITH SCORE 67365.328
AT ITER 6621 NEW BEST:: SOT 1113888 SOS 708238 HAS SOPS 708083 HAS SOUS 66622 HAS SOUPS 66467 WITH SCORE 67175.238
AT ITER 6654 NEW BEST:: SOT 1113909 SOS 708259 HAS SOPS 708104 HAS SOUS 66596 HAS SOUPS 66441 WITH SCORE 67149.259
AT ITER 6657 NEW BEST:: SOT 1113909 SOS 706055 HAS SOPS 705896 HAS SOUS 66600 HAS SOUPS 66441 WITH SCORE 67147.055
AT ITER 6664 NEW BEST:: SOT 1113823 SOS 705969 HAS SOPS 705810 HAS SOUS 66582 HAS SOUPS 66423 WITH SCORE 67128.969
AT ITER 6668 NEW BEST:: SOT 1113636 SOS 706992 HAS SOPS 706833 HAS SOUS 66531 HAS SOUPS 66372 WITH SCORE 67078.992
AT ITER 6681 NEW BEST:: SOT 1113304 SOS 680724 HAS SOPS 680525 HAS SOUS 66207 HAS SOUPS 66038 WITH SCORE 66718.724
AT ITER 6786 NEW BEST:: SOT 1113061 SOS 680601 HAS SOPS 680402 HAS SOUS 65994 HAS SOUPS 65825 WITH SCORE 66505.601
AT ITER 6813 NEW BEST:: SOT 1113086 SOS 680626 HAS SOPS 680427 HAS SOUS 65673 HAS SOUPS 65504 WITH SCORE 66184.626
AT ITER 6835 NEW BEST:: SOT 1113086 SOS 680074 HAS SOPS 679875 HAS SOUS 65673 HAS SOUPS 65504 WITH SCORE 66184.074
AT ITER 6885 NEW BEST:: SOT 1113086 SOS 676710 HAS SOPS 676511 HAS SOUS 65673 HAS SOUPS 65504 WITH SCORE 66180.71
AT ITER 6913 NEW BEST:: SOT 1111950 SOS 675218 HAS SOPS 675019 HAS SOUS 65395 HAS SOUPS 65226 WITH SCORE 65901.218
AT ITER 6923 NEW BEST:: SOT 1111934 SOS 675154 HAS SOPS 674955 HAS SOUS 65375 HAS SOUPS 65206 WITH SCORE 65881.154
AT ITER 6948 NEW BEST:: SOT 1112153 SOS 675373 HAS SOPS 675174 HAS SOUS 65056 HAS SOUPS 64887 WITH SCORE 65562.373
AT ITER 6993 NEW BEST:: SOT 1112123 SOS 675451 HAS SOPS 675252 HAS SOUS 65026 HAS SOUPS 64857 WITH SCORE 65532.451
AT ITER 7020 NEW BEST:: SOT 1112091 SOS 675419 HAS SOPS 675220 HAS SOUS 64994 HAS SOUPS 64825 WITH SCORE 65500.419
AT ITER 7027 NEW BEST:: SOT 1112431 SOS 676167 HAS SOPS 675968 HAS SOUS 64943 HAS SOUPS 64774 WITH SCORE 65450.167
AT ITER 7054 NEW BEST:: SOT 1112396 SOS 676132 HAS SOPS 675933 HAS SOUS 64803 HAS SOUPS 64634 WITH SCORE 65310.132
AT ITER 7056 NEW BEST:: SOT 1112396 SOS 672275 HAS SOPS 672069 HAS SOUS 64810 HAS SOUPS 64634 WITH SCORE 65306.275
AT ITER 7060 NEW BEST:: SOT 1112378 SOS 672257 HAS SOPS 672051 HAS SOUS 64798 HAS SOUPS 64622 WITH SCORE 65294.257
AT ITER 7061 NEW BEST:: SOT 1112466 SOS 672345 HAS SOPS 672139 HAS SOUS 64788 HAS SOUPS 64612 WITH SCORE 65284.345
AT ITER 7105 NEW BEST:: SOT 1112466 SOS 671961 HAS SOPS 671755 HAS SOUS 64788 HAS SOUPS 64612 WITH SCORE 65283.961
AT ITER 7112 NEW BEST:: SOT 1112460 SOS 671955 HAS SOPS 671749 HAS SOUS 64776 HAS SOUPS 64600 WITH SCORE 65271.955
AT ITER 7161 NEW BEST:: SOT 1112460 SOS 671955 HAS SOPS 671749 HAS SOUS 64771 HAS SOUPS 64595 WITH SCORE 65266.955
AT ITER 7184 NEW BEST:: SOT 1112348 SOS 671843 HAS SOPS 671637 HAS SOUS 64693 HAS SOUPS 64517 WITH SCORE 65188.843
AT ITER 7206 NEW BEST:: SOT 1112348 SOS 671834 HAS SOPS 671637 HAS SOUS 64684 HAS SOUPS 64517 WITH SCORE 65188.834
AT ITER 7227 NEW BEST:: SOT 1112348 SOS 671210 HAS SOPS 671013 HAS SOUS 64659 HAS SOUPS 64492 WITH SCORE 65163.21
AT ITER 7263 NEW BEST:: SOT 1112373 SOS 671235 HAS SOPS 671038 HAS SOUS 64559 HAS SOUPS 64392 WITH SCORE 65063.235
AT ITER 7300 NEW BEST:: SOT 1112359 SOS 671221 HAS SOPS 671024 HAS SOUS 64545 HAS SOUPS 64378 WITH SCORE 65049.221
AT ITER 7307 NEW BEST:: SOT 1112353 SOS 671215 HAS SOPS 671018 HAS SOUS 64540 HAS SOUPS 64373 WITH SCORE 65044.215
AT ITER 7384 NEW BEST:: SOT 1112353 SOS 671127 HAS SOPS 670930 HAS SOUS 64540 HAS SOUPS 64373 WITH SCORE 65044.127
AT ITER 7414 NEW BEST:: SOT 1112347 SOS 671121 HAS SOPS 670924 HAS SOUS 64534 HAS SOUPS 64367 WITH SCORE 65038.121
AT ITER 7425 NEW BEST:: SOT 1112347 SOS 671121 HAS SOPS 670924 HAS SOUS 64510 HAS SOUPS 64343 WITH SCORE 65014.121
AT ITER 7453 NEW BEST:: SOT 1112223 SOS 670997 HAS SOPS 670800 HAS SOUS 64236 HAS SOUPS 64069 WITH SCORE 64739.997
AT ITER 7456 NEW BEST:: SOT 1112226 SOS 671020 HAS SOPS 670823 HAS SOUS 64218 HAS SOUPS 64051 WITH SCORE 64722.02
AT ITER 7490 NEW BEST:: SOT 1111651 SOS 671276 HAS SOPS 671116 HAS SOUS 64170 HAS SOUPS 64040 WITH SCORE 64711.276
AT ITER 7499 NEW BEST:: SOT 1112685 SOS 673318 HAS SOPS 673158 HAS SOUS 63935 HAS SOUPS 63805 WITH SCORE 64478.318
AT ITER 7536 NEW BEST:: SOT 1112761 SOS 673404 HAS SOPS 673244 HAS SOUS 63921 HAS SOUPS 63791 WITH SCORE 64464.404
AT ITER 7588 NEW BEST:: SOT 1112746 SOS 673113 HAS SOPS 672965 HAS SOUS 63897 HAS SOUPS 63770 WITH SCORE 64443.113
AT ITER 7656 NEW BEST:: SOT 1112746 SOS 673059 HAS SOPS 672911 HAS SOUS 63897 HAS SOUPS 63770 WITH SCORE 64443.059
AT ITER 7685 NEW BEST:: SOT 1112566 SOS 672879 HAS SOPS 672731 HAS SOUS 63624 HAS SOUPS 63497 WITH SCORE 64169.879
AT ITER 7687 NEW BEST:: SOT 1112568 SOS 672831 HAS SOPS 672683 HAS SOUS 63624 HAS SOUPS 63497 WITH SCORE 64169.831
AT ITER 7752 NEW BEST:: SOT 1112559 SOS 672822 HAS SOPS 672674 HAS SOUS 63606 HAS SOUPS 63479 WITH SCORE 64151.822
AT ITER 7812 NEW BEST:: SOT 1111966 SOS 672229 HAS SOPS 672081 HAS SOUS 63332 HAS SOUPS 63205 WITH SCORE 63877.229
AT ITER 7827 NEW BEST:: SOT 1110779 SOS 670562 HAS SOPS 670414 HAS SOUS 63272 HAS SOUPS 63145 WITH SCORE 63815.562
AT ITER 7834 NEW BEST:: SOT 1110806 SOS 670253 HAS SOPS 670105 HAS SOUS 63239 HAS SOUPS 63112 WITH SCORE 63782.253
AT ITER 7852 NEW BEST:: SOT 1110787 SOS 670234 HAS SOPS 670086 HAS SOUS 63158 HAS SOUPS 63031 WITH SCORE 63701.234
AT ITER 7854 NEW BEST:: SOT 1110787 SOS 670564 HAS SOPS 670416 HAS SOUS 63143 HAS SOUPS 63016 WITH SCORE 63686.564
AT ITER 7868 NEW BEST:: SOT 1110810 SOS 670971 HAS SOPS 670823 HAS SOUS 62932 HAS SOUPS 62805 WITH SCORE 63475.971
AT ITER 7892 NEW BEST:: SOT 1110810 SOS 670995 HAS SOPS 670847 HAS SOUS 62908 HAS SOUPS 62781 WITH SCORE 63451.995
AT ITER 7909 NEW BEST:: SOT 1110697 SOS 670922 HAS SOPS 670774 HAS SOUS 62805 HAS SOUPS 62678 WITH SCORE 63348.922
AT ITER 7932 NEW BEST:: SOT 1110697 SOS 670183 HAS SOPS 670054 HAS SOUS 62786 HAS SOUPS 62678 WITH SCORE 63348.183
AT ITER 7958 NEW BEST:: SOT 1110697 SOS 669633 HAS SOPS 669504 HAS SOUS 62786 HAS SOUPS 62678 WITH SCORE 63347.633
AT ITER 7964 NEW BEST:: SOT 1110695 SOS 669631 HAS SOPS 669502 HAS SOUS 62784 HAS SOUPS 62676 WITH SCORE 63345.631
AT ITER 7972 NEW BEST:: SOT 1110695 SOS 669623 HAS SOPS 669493 HAS SOUS 62783 HAS SOUPS 62674 WITH SCORE 63343.623
AT ITER 7984 NEW BEST:: SOT 1110684 SOS 669612 HAS SOPS 669482 HAS SOUS 62775 HAS SOUPS 62666 WITH SCORE 63335.612
AT ITER 8006 NEW BEST:: SOT 1110684 SOS 669612 HAS SOPS 669482 HAS SOUS 62766 HAS SOUPS 62657 WITH SCORE 63326.612
AT ITER 8053 NEW BEST:: SOT 1110669 SOS 669597 HAS SOPS 669467 HAS SOUS 62702 HAS SOUPS 62593 WITH SCORE 63262.597
AT ITER 8082 NEW BEST:: SOT 1110347 SOS 669223 HAS SOPS 669093 HAS SOUS 62566 HAS SOUPS 62457 WITH SCORE 63126.223
AT ITER 8148 NEW BEST:: SOT 1110345 SOS 669621 HAS SOPS 669491 HAS SOUS 62561 HAS SOUPS 62452 WITH SCORE 63121.621
AT ITER 8208 NEW BEST:: SOT 1110345 SOS 669237 HAS SOPS 669107 HAS SOUS 62545 HAS SOUPS 62436 WITH SCORE 63105.237
AT ITER 8215 NEW BEST:: SOT 1109505 SOS 668397 HAS SOPS 668267 HAS SOUS 62281 HAS SOUPS 62172 WITH SCORE 62840.397
AT ITER 8228 NEW BEST:: SOT 1109505 SOS 667577 HAS SOPS 667447 HAS SOUS 62281 HAS SOUPS 62172 WITH SCORE 62839.577
AT ITER 8243 NEW BEST:: SOT 1109535 SOS 667607 HAS SOPS 667477 HAS SOUS 62261 HAS SOUPS 62152 WITH SCORE 62819.607
AT ITER 8267 NEW BEST:: SOT 1109482 SOS 667602 HAS SOPS 667472 HAS SOUS 62204 HAS SOUPS 62095 WITH SCORE 62762.602
AT ITER 8322 NEW BEST:: SOT 1109482 SOS 667386 HAS SOPS 667256 HAS SOUS 62204 HAS SOUPS 62095 WITH SCORE 62762.386
AT ITER 8328 NEW BEST:: SOT 1109113 SOS 667165 HAS SOPS 667035 HAS SOUS 61664 HAS SOUPS 61555 WITH SCORE 62222.165
AT ITER 8330 NEW BEST:: SOT 1109113 SOS 667153 HAS SOPS 667023 HAS SOUS 61652 HAS SOUPS 61543 WITH SCORE 62210.153
AT ITER 8333 NEW BEST:: SOT 1109088 SOS 667128 HAS SOPS 666998 HAS SOUS 61632 HAS SOUPS 61523 WITH SCORE 62190.128
AT ITER 8385 NEW BEST:: SOT 1109077 SOS 667117 HAS SOPS 666987 HAS SOUS 61631 HAS SOUPS 61522 WITH SCORE 62189.117
AT ITER 8514 NEW BEST:: SOT 1109077 SOS 666523 HAS SOPS 666393 HAS SOUS 61627 HAS SOUPS 61518 WITH SCORE 62184.523
AT ITER 8530 NEW BEST:: SOT 1109026 SOS 662944 HAS SOPS 662814 HAS SOUS 61621 HAS SOUPS 61512 WITH SCORE 62174.944
AT ITER 8536 NEW BEST:: SOT 1109026 SOS 662944 HAS SOPS 662814 HAS SOUS 61618 HAS SOUPS 61509 WITH SCORE 62171.944
AT ITER 8537 NEW BEST:: SOT 1108336 SOS 661390 HAS SOPS 661260 HAS SOUS 61527 HAS SOUPS 61418 WITH SCORE 62079.39
AT ITER 8577 NEW BEST:: SOT 1108336 SOS 661171 HAS SOPS 661044 HAS SOUS 61507 HAS SOUPS 61401 WITH SCORE 62062.171
AT ITER 8579 NEW BEST:: SOT 1108336 SOS 661051 HAS SOPS 660924 HAS SOUS 61496 HAS SOUPS 61390 WITH SCORE 62051.051
AT ITER 8804 NEW BEST:: SOT 1108264 SOS 660973 HAS SOPS 660846 HAS SOUS 61451 HAS SOUPS 61345 WITH SCORE 62005.973
AT ITER 8809 NEW BEST:: SOT 1108243 SOS 660952 HAS SOPS 660825 HAS SOUS 61433 HAS SOUPS 61327 WITH SCORE 61987.952
AT ITER 8827 NEW BEST:: SOT 1108274 SOS 660983 HAS SOPS 660856 HAS SOUS 61386 HAS SOUPS 61280 WITH SCORE 61940.983
AT ITER 8870 NEW BEST:: SOT 1108274 SOS 660935 HAS SOPS 660808 HAS SOUS 61386 HAS SOUPS 61280 WITH SCORE 61940.935
AT ITER 8980 NEW BEST:: SOT 1108272 SOS 660933 HAS SOPS 660806 HAS SOUS 61378 HAS SOUPS 61272 WITH SCORE 61932.933
AT ITER 8981 NEW BEST:: SOT 1108272 SOS 660462 HAS SOPS 660331 HAS SOUS 61312 HAS SOUPS 61202 WITH SCORE 61862.462
AT ITER 9007 NEW BEST:: SOT 1108182 SOS 660372 HAS SOPS 660241 HAS SOUS 61198 HAS SOUPS 61088 WITH SCORE 61748.372
AT ITER 9035 NEW BEST:: SOT 1107666 SOS 659856 HAS SOPS 659725 HAS SOUS 61053 HAS SOUPS 60943 WITH SCORE 61602.856
AT ITER 9065 NEW BEST:: SOT 1107667 SOS 649609 HAS SOPS 649478 HAS SOUS 61054 HAS SOUPS 60944 WITH SCORE 61593.609
AT ITER 9072 NEW BEST:: SOT 1106266 SOS 646816 HAS SOPS 646685 HAS SOUS 61045 HAS SOUPS 60935 WITH SCORE 61581.816
AT ITER 9144 NEW BEST:: SOT 1106450 SOS 647000 HAS SOPS 646869 HAS SOUS 61029 HAS SOUPS 60919 WITH SCORE 61566.0
AT ITER 9176 NEW BEST:: SOT 1105979 SOS 650177 HAS SOPS 650046 HAS SOUS 60746 HAS SOUPS 60636 WITH SCORE 61286.177
AT ITER 9183 NEW BEST:: SOT 1105748 SOS 649946 HAS SOPS 649815 HAS SOUS 60572 HAS SOUPS 60462 WITH SCORE 61111.946
AT ITER 9192 NEW BEST:: SOT 1105748 SOS 649466 HAS SOPS 649335 HAS SOUS 60572 HAS SOUPS 60462 WITH SCORE 61111.466
AT ITER 9231 NEW BEST:: SOT 1105739 SOS 649541 HAS SOPS 649410 HAS SOUS 60563 HAS SOUPS 60453 WITH SCORE 61102.541
AT ITER 9246 NEW BEST:: SOT 1105739 SOS 642740 HAS SOPS 642549 HAS SOUS 60567 HAS SOUPS 60442 WITH SCORE 61084.74
AT ITER 9300 NEW BEST:: SOT 1105727 SOS 643148 HAS SOPS 642961 HAS SOUS 60541 HAS SOUPS 60417 WITH SCORE 61060.148
AT ITER 9391 NEW BEST:: SOT 1105727 SOS 643052 HAS SOPS 642865 HAS SOUS 60541 HAS SOUPS 60417 WITH SCORE 61060.052
AT ITER 9394 NEW BEST:: SOT 1105715 SOS 643040 HAS SOPS 642853 HAS SOUS 60529 HAS SOUPS 60405 WITH SCORE 61048.04
AT ITER 9422 NEW BEST:: SOT 1106102 SOS 643427 HAS SOPS 643240 HAS SOUS 60419 HAS SOUPS 60295 WITH SCORE 60938.427
AT ITER 9427 NEW BEST:: SOT 1106102 SOS 642743 HAS SOPS 642556 HAS SOUS 60419 HAS SOUPS 60295 WITH SCORE 60937.743
AT ITER 9493 NEW BEST:: SOT 1106102 SOS 642719 HAS SOPS 642532 HAS SOUS 60419 HAS SOUPS 60295 WITH SCORE 60937.719
AT ITER 9500 NEW BEST:: SOT 1105526 SOS 641567 HAS SOPS 641380 HAS SOUS 60401 HAS SOUPS 60277 WITH SCORE 60918.567
AT ITER 9543 NEW BEST:: SOT 1105535 SOS 639820 HAS SOPS 639717 HAS SOUS 60299 HAS SOUPS 60196 WITH SCORE 60835.82
AT ITER 9559 NEW BEST:: SOT 1105557 SOS 639866 HAS SOPS 639763 HAS SOUS 60259 HAS SOUPS 60156 WITH SCORE 60795.866
AT ITER 9572 NEW BEST:: SOT 1106281 SOS 641718 HAS SOPS 641615 HAS SOUS 60248 HAS SOUPS 60145 WITH SCORE 60786.718
AT ITER 9588 NEW BEST:: SOT 1106280 SOS 641705 HAS SOPS 641602 HAS SOUS 60246 HAS SOUPS 60143 WITH SCORE 60784.705
AT ITER 9601 NEW BEST:: SOT 1106272 SOS 641697 HAS SOPS 641594 HAS SOUS 60238 HAS SOUPS 60135 WITH SCORE 60776.697
AT ITER 9635 NEW BEST:: SOT 1106272 SOS 641631 HAS SOPS 641528 HAS SOUS 60238 HAS SOUPS 60135 WITH SCORE 60776.631
AT ITER 9660 NEW BEST:: SOT 1106316 SOS 641675 HAS SOPS 641572 HAS SOUS 60186 HAS SOUPS 60083 WITH SCORE 60724.675
AT ITER 9726 NEW BEST:: SOT 1106316 SOS 641291 HAS SOPS 641188 HAS SOUS 60186 HAS SOUPS 60083 WITH SCORE 60724.291
AT ITER 9772 NEW BEST:: SOT 1106300 SOS 641275 HAS SOPS 641172 HAS SOUS 60166 HAS SOUPS 60063 WITH SCORE 60704.275
AT ITER 9783 NEW BEST:: SOT 1106300 SOS 641251 HAS SOPS 641148 HAS SOUS 60166 HAS SOUPS 60063 WITH SCORE 60704.251
AT ITER 9792 NEW BEST:: SOT 1106312 SOS 641647 HAS SOPS 641544 HAS SOUS 60157 HAS SOUPS 60054 WITH SCORE 60695.647
AT ITER 9800 NEW BEST:: SOT 1106344 SOS 641679 HAS SOPS 641576 HAS SOUS 60155 HAS SOUPS 60052 WITH SCORE 60693.679
AT ITER 9836 NEW BEST:: SOT 1106341 SOS 641697 HAS SOPS 641594 HAS SOUS 60098 HAS SOUPS 59995 WITH SCORE 60636.697
AT ITER 9893 NEW BEST:: SOT 1107461 SOS 644161 HAS SOPS 644058 HAS SOUS 59901 HAS SOUPS 59798 WITH SCORE 60442.161
AT ITER 9920 NEW BEST:: SOT 1107165 SOS 643865 HAS SOPS 643762 HAS SOUS 59779 HAS SOUPS 59676 WITH SCORE 60319.865
AT ITER 9964 NEW BEST:: SOT 1107105 SOS 643805 HAS SOPS 643702 HAS SOUS 59763 HAS SOUPS 59660 WITH SCORE 60303.805
AT ITER 9990 NEW BEST:: SOT 1107104 SOS 643804 HAS SOPS 643701 HAS SOUS 59762 HAS SOUPS 59659 WITH SCORE 60302.804
BK_STOP 1678680949545
--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 34559
double free or corruption (out)
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 488 Aborted ${SMART}/smart ${INPUT_SM}
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="Medical-PT-06"
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 Medical-PT-06, 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 r235-tall-167856422100672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-06.tgz
mv Medical-PT-06 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 ;