About the Execution of Smart+red for RERS17pb113-PT-5
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1273.840 | 3600000.00 | 3686438.00 | 8632.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204000040.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 RERS17pb113-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000040
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 18:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 18:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 18:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 18:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 18:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679045152178
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=RERS17pb113-PT-5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 09:25:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 09:25:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 09:25:54] [INFO ] Load time of PNML (sax parser for PT used): 606 ms
[2023-03-17 09:25:54] [INFO ] Transformed 639 places.
[2023-03-17 09:25:54] [INFO ] Transformed 31353 transitions.
[2023-03-17 09:25:54] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 822 ms.
[2023-03-17 09:25:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 136 ms.
Total runtime 994 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 5
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: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12195877 SOS 7742246 HAS SOPS 6414665 HAS SOUS 3046246 HAS SOUPS 2945965 WITH SCORE 2953707.246
AT ITER 4 NEW BEST:: SOT 12192026 SOS 7737216 HAS SOPS 6409749 HAS SOUS 3041316 HAS SOUPS 2941105 WITH SCORE 2948842.216
AT ITER 6 NEW BEST:: SOT 12192583 SOS 7742417 HAS SOPS 6415516 HAS SOUS 3038636 HAS SOUPS 2938425 WITH SCORE 2946167.417
AT ITER 11 NEW BEST:: SOT 12182219 SOS 7725682 HAS SOPS 6402765 HAS SOUS 3018249 HAS SOUPS 2918409 WITH SCORE 2926134.682
AT ITER 22 NEW BEST:: SOT 12177475 SOS 7716966 HAS SOPS 6398052 HAS SOUS 3013489 HAS SOUPS 2914305 WITH SCORE 2922021.966
AT ITER 23 NEW BEST:: SOT 12154302 SOS 7693753 HAS SOPS 6374771 HAS SOUS 2990519 HAS SOUPS 2891299 WITH SCORE 2898992.753
AT ITER 26 NEW BEST:: SOT 12150781 SOS 7691059 HAS SOPS 6370994 HAS SOUS 2987032 HAS SOUPS 2887522 WITH SCORE 2895213.059
AT ITER 47 NEW BEST:: SOT 12150342 SOS 7691158 HAS SOPS 6370664 HAS SOUS 2985762 HAS SOUPS 2886252 WITH SCORE 2893943.158
AT ITER 54 NEW BEST:: SOT 12150417 SOS 7691241 HAS SOPS 6370452 HAS SOUS 2978604 HAS SOUPS 2879094 WITH SCORE 2886785.241
AT ITER 55 NEW BEST:: SOT 12144810 SOS 7682910 HAS SOPS 6365535 HAS SOUS 2974831 HAS SOUPS 2875427 WITH SCORE 2883109.91
AT ITER 62 NEW BEST:: SOT 12145710 SOS 7685169 HAS SOPS 6365466 HAS SOUS 2970888 HAS SOUPS 2871452 WITH SCORE 2879137.169
AT ITER 65 NEW BEST:: SOT 12145664 SOS 7685111 HAS SOPS 6365404 HAS SOUS 2970798 HAS SOUPS 2871364 WITH SCORE 2879049.111
AT ITER 67 NEW BEST:: SOT 12156483 SOS 7713894 HAS SOPS 6387277 HAS SOUS 2958568 HAS SOUPS 2858758 WITH SCORE 2866471.894
AT ITER 73 NEW BEST:: SOT 12156924 SOS 7716854 HAS SOPS 6387653 HAS SOUS 2955801 HAS SOUPS 2855991 WITH SCORE 2863707.854
AT ITER 80 NEW BEST:: SOT 12152636 SOS 7716707 HAS SOPS 6385227 HAS SOUS 2953944 HAS SOUPS 2853045 WITH SCORE 2860761.707
AT ITER 89 NEW BEST:: SOT 12152357 SOS 7716266 HAS SOPS 6385419 HAS SOUS 2953505 HAS SOUPS 2852606 WITH SCORE 2860322.266
AT ITER 93 NEW BEST:: SOT 12155989 SOS 7729127 HAS SOPS 6392906 HAS SOUS 2944439 HAS SOUPS 2843540 WITH SCORE 2851269.127
AT ITER 97 NEW BEST:: SOT 12154716 SOS 7728278 HAS SOPS 6390285 HAS SOUS 2940965 HAS SOUPS 2840066 WITH SCORE 2847794.278
AT ITER 111 NEW BEST:: SOT 12154200 SOS 7727326 HAS SOPS 6389211 HAS SOUS 2940468 HAS SOUPS 2839569 WITH SCORE 2847296.326
AT ITER 114 NEW BEST:: SOT 12153687 SOS 7726634 HAS SOPS 6387391 HAS SOUS 2934230 HAS SOUPS 2833331 WITH SCORE 2841057.634
AT ITER 116 NEW BEST:: SOT 12149925 SOS 7717572 HAS SOPS 6381333 HAS SOUS 2928678 HAS SOUPS 2827844 WITH SCORE 2835561.572
AT ITER 127 NEW BEST:: SOT 12149318 SOS 7716960 HAS SOPS 6382314 HAS SOUS 2926861 HAS SOUPS 2826027 WITH SCORE 2833743.96
AT ITER 142 NEW BEST:: SOT 12149830 SOS 7719552 HAS SOPS 6384074 HAS SOUS 2925824 HAS SOUPS 2824990 WITH SCORE 2832709.552
AT ITER 145 NEW BEST:: SOT 12148422 SOS 7715696 HAS SOPS 6381294 HAS SOUS 2924989 HAS SOUPS 2824155 WITH SCORE 2831870.696
AT ITER 150 NEW BEST:: SOT 12150811 SOS 7721825 HAS SOPS 6391182 HAS SOUS 2923823 HAS SOUPS 2822972 WITH SCORE 2830693.825
AT ITER 151 NEW BEST:: SOT 12150545 SOS 7721071 HAS SOPS 6389670 HAS SOUS 2922948 HAS SOUPS 2822097 WITH SCORE 2829818.071
AT ITER 156 NEW BEST:: SOT 12150512 SOS 7721031 HAS SOPS 6389659 HAS SOUS 2922931 HAS SOUPS 2822080 WITH SCORE 2829801.031
AT ITER 164 NEW BEST:: SOT 12148294 SOS 7718806 HAS SOPS 6387185 HAS SOUS 2920584 HAS SOUPS 2819604 WITH SCORE 2827322.806
AT ITER 165 NEW BEST:: SOT 12147510 SOS 7720958 HAS SOPS 6388413 HAS SOUS 2916795 HAS SOUPS 2815815 WITH SCORE 2823535.958
AT ITER 171 NEW BEST:: SOT 12147435 SOS 7720651 HAS SOPS 6388213 HAS SOUS 2916737 HAS SOUPS 2815757 WITH SCORE 2823477.651
AT ITER 176 NEW BEST:: SOT 12149778 SOS 7722997 HAS SOPS 6391605 HAS SOUS 2914282 HAS SOUPS 2813334 WITH SCORE 2821056.997
AT ITER 180 NEW BEST:: SOT 12147744 SOS 7718450 HAS SOPS 6386463 HAS SOUS 2908744 HAS SOUPS 2807863 WITH SCORE 2815581.45
AT ITER 191 NEW BEST:: SOT 12123641 SOS 7694393 HAS SOPS 6362184 HAS SOUS 2867691 HAS SOUPS 2766673 WITH SCORE 2774367.393
AT ITER 194 NEW BEST:: SOT 12123381 SOS 7694310 HAS SOPS 6359010 HAS SOUS 2866996 HAS SOUPS 2764522 WITH SCORE 2772216.31
AT ITER 196 NEW BEST:: SOT 12122979 SOS 7693908 HAS SOPS 6358368 HAS SOUS 2866162 HAS SOUPS 2763592 WITH SCORE 2771285.908
AT ITER 217 NEW BEST:: SOT 12122986 SOS 7693925 HAS SOPS 6358385 HAS SOUS 2865907 HAS SOUPS 2763347 WITH SCORE 2771040.925
AT ITER 222 NEW BEST:: SOT 12123838 SOS 7695292 HAS SOPS 6360799 HAS SOUS 2865083 HAS SOUPS 2762523 WITH SCORE 2770218.292
AT ITER 226 NEW BEST:: SOT 12126389 SOS 7705868 HAS SOPS 6369703 HAS SOUS 2863675 HAS SOUPS 2761183 WITH SCORE 2768888.868
AT ITER 254 NEW BEST:: SOT 12126405 SOS 7705884 HAS SOPS 6369719 HAS SOUS 2863563 HAS SOUPS 2761071 WITH SCORE 2768776.884
AT ITER 270 NEW BEST:: SOT 12126885 SOS 7706393 HAS SOPS 6369077 HAS SOUS 2863373 HAS SOUPS 2760881 WITH SCORE 2768587.393
AT ITER 271 NEW BEST:: SOT 12130167 SOS 7713497 HAS SOPS 6386117 HAS SOUS 2862259 HAS SOUPS 2759767 WITH SCORE 2767480.497
AT ITER 272 NEW BEST:: SOT 12131309 SOS 7714171 HAS SOPS 6389041 HAS SOUS 2862149 HAS SOUPS 2759657 WITH SCORE 2767371.171
AT ITER 281 NEW BEST:: SOT 12130798 SOS 7713880 HAS SOPS 6390113 HAS SOUS 2861317 HAS SOUPS 2758825 WITH SCORE 2766538.88
AT ITER 284 NEW BEST:: SOT 12105085 SOS 7687720 HAS SOPS 6364087 HAS SOUS 2819561 HAS SOUPS 2717152 WITH SCORE 2724839.72
AT ITER 287 NEW BEST:: SOT 12105689 SOS 7690648 HAS SOPS 6367604 HAS SOUS 2819030 HAS SOUPS 2716621 WITH SCORE 2724311.648
AT ITER 296 NEW BEST:: SOT 12107135 SOS 7693861 HAS SOPS 6370652 HAS SOUS 2818327 HAS SOUPS 2715918 WITH SCORE 2723611.861
AT ITER 330 NEW BEST:: SOT 12108224 SOS 7697760 HAS SOPS 6373335 HAS SOUS 2816261 HAS SOUPS 2713852 WITH SCORE 2721549.76
AT ITER 342 NEW BEST:: SOT 12111955 SOS 7709015 HAS SOPS 6381488 HAS SOUS 2807254 HAS SOUPS 2704845 WITH SCORE 2712554.015
AT ITER 352 NEW BEST:: SOT 12110695 SOS 7707243 HAS SOPS 6380782 HAS SOUS 2802412 HAS SOUPS 2700003 WITH SCORE 2707710.243
AT ITER 355 NEW BEST:: SOT 12106323 SOS 7700985 HAS SOPS 6380250 HAS SOUS 2789338 HAS SOUPS 2687823 WITH SCORE 2695523.985
AT ITER 370 NEW BEST:: SOT 12105680 SOS 7700342 HAS SOPS 6379607 HAS SOUS 2788359 HAS SOUPS 2686844 WITH SCORE 2694544.342
AT ITER 371 NEW BEST:: SOT 12117505 SOS 7720953 HAS SOPS 6393529 HAS SOUS 2787474 HAS SOUPS 2685959 WITH SCORE 2693679.953
AT ITER 375 NEW BEST:: SOT 12117136 SOS 7720592 HAS SOPS 6394564 HAS SOUS 2786479 HAS SOUPS 2684953 WITH SCORE 2692673.592
AT ITER 380 NEW BEST:: SOT 12119465 SOS 7716797 HAS SOPS 6401089 HAS SOUS 2786380 HAS SOUPS 2684854 WITH SCORE 2692570.797
AT ITER 381 NEW BEST:: SOT 12119459 SOS 7717137 HAS SOPS 6401429 HAS SOUS 2785672 HAS SOUPS 2684146 WITH SCORE 2691863.137
AT ITER 383 NEW BEST:: SOT 12118594 SOS 7716062 HAS SOPS 6400322 HAS SOUS 2783405 HAS SOUPS 2681895 WITH SCORE 2689611.062
AT ITER 393 NEW BEST:: SOT 12118566 SOS 7716034 HAS SOPS 6400294 HAS SOUS 2783353 HAS SOUPS 2681843 WITH SCORE 2689559.034
AT ITER 395 NEW BEST:: SOT 12101056 SOS 7698441 HAS SOPS 6381669 HAS SOUS 2765835 HAS SOUPS 2664333 WITH SCORE 2672031.441
AT ITER 404 NEW BEST:: SOT 12101324 SOS 7702119 HAS SOPS 6385429 HAS SOUS 2764509 HAS SOUPS 2663007 WITH SCORE 2670709.119
AT ITER 422 NEW BEST:: SOT 12101009 SOS 7701756 HAS SOPS 6385042 HAS SOUS 2764066 HAS SOUPS 2662564 WITH SCORE 2670265.756
AT ITER 436 NEW BEST:: SOT 12101005 SOS 7701890 HAS SOPS 6384975 HAS SOUS 2763594 HAS SOUPS 2662081 WITH SCORE 2669782.89
AT ITER 439 NEW BEST:: SOT 12100701 SOS 7696714 HAS SOPS 6382434 HAS SOUS 2763283 HAS SOUPS 2661857 WITH SCORE 2669553.714
AT ITER 443 NEW BEST:: SOT 12096923 SOS 7690605 HAS SOPS 6378457 HAS SOUS 2756390 HAS SOUPS 2655446 WITH SCORE 2663136.605
AT ITER 444 NEW BEST:: SOT 12096995 SOS 7689990 HAS SOPS 6378288 HAS SOUS 2753821 HAS SOUPS 2652877 WITH SCORE 2660566.99
AT ITER 448 NEW BEST:: SOT 12103975 SOS 7713482 HAS SOPS 6395842 HAS SOUS 2744924 HAS SOUPS 2643818 WITH SCORE 2651531.482
AT ITER 460 NEW BEST:: SOT 12104063 SOS 7715636 HAS SOPS 6396193 HAS SOUS 2744161 HAS SOUPS 2643021 WITH SCORE 2650736.636
AT ITER 464 NEW BEST:: SOT 12100885 SOS 7711270 HAS SOPS 6391604 HAS SOUS 2738917 HAS SOUPS 2637777 WITH SCORE 2645488.27
AT ITER 473 NEW BEST:: SOT 12108370 SOS 7736943 HAS SOPS 6410722 HAS SOUS 2737861 HAS SOUPS 2636721 WITH SCORE 2644457.943
AT ITER 497 NEW BEST:: SOT 12107592 SOS 7737378 HAS SOPS 6410026 HAS SOUS 2733692 HAS SOUPS 2632552 WITH SCORE 2640289.378
AT ITER 498 NEW BEST:: SOT 12108234 SOS 7739977 HAS SOPS 6411682 HAS SOUS 2732510 HAS SOUPS 2631370 WITH SCORE 2639109.977
AT ITER 512 NEW BEST:: SOT 12107261 SOS 7739683 HAS SOPS 6410966 HAS SOUS 2731036 HAS SOUPS 2629876 WITH SCORE 2637615.683
AT ITER 517 NEW BEST:: SOT 12105954 SOS 7737633 HAS SOPS 6408878 HAS SOUS 2729537 HAS SOUPS 2628377 WITH SCORE 2636114.633
AT ITER 518 NEW BEST:: SOT 12105064 SOS 7736743 HAS SOPS 6407284 HAS SOUS 2726551 HAS SOUPS 2625023 WITH SCORE 2632759.743
AT ITER 529 NEW BEST:: SOT 12104949 SOS 7736978 HAS SOPS 6407130 HAS SOUS 2725721 HAS SOUPS 2624183 WITH SCORE 2631919.978
AT ITER 539 NEW BEST:: SOT 12105129 SOS 7736927 HAS SOPS 6407800 HAS SOUS 2725677 HAS SOUPS 2624139 WITH SCORE 2631875.927
AT ITER 551 NEW BEST:: SOT 12104353 SOS 7735550 HAS SOPS 6405459 HAS SOUS 2722404 HAS SOUPS 2620866 WITH SCORE 2628601.55
AT ITER 561 NEW BEST:: SOT 12104281 SOS 7735346 HAS SOPS 6404961 HAS SOUS 2722212 HAS SOUPS 2620674 WITH SCORE 2628409.346
AT ITER 577 NEW BEST:: SOT 12103358 SOS 7733711 HAS SOPS 6404144 HAS SOUS 2721295 HAS SOUPS 2619804 WITH SCORE 2627537.711
AT ITER 580 NEW BEST:: SOT 12102376 SOS 7733371 HAS SOPS 6404998 HAS SOUS 2721000 HAS SOUPS 2619509 WITH SCORE 2627242.371
AT ITER 582 NEW BEST:: SOT 12100707 SOS 7725898 HAS SOPS 6400959 HAS SOUS 2719646 HAS SOUPS 2618233 WITH SCORE 2625958.898
AT ITER 584 NEW BEST:: SOT 12099140 SOS 7722577 HAS SOPS 6399140 HAS SOUS 2719400 HAS SOUPS 2617987 WITH SCORE 2625709.577
AT ITER 596 NEW BEST:: SOT 12097146 SOS 7714176 HAS SOPS 6394382 HAS SOUS 2718990 HAS SOUPS 2617659 WITH SCORE 2625373.176
AT ITER 600 NEW BEST:: SOT 12093530 SOS 7707327 HAS SOPS 6389831 HAS SOUS 2711602 HAS SOUPS 2610344 WITH SCORE 2618051.327
AT ITER 628 NEW BEST:: SOT 12103407 SOS 7717070 HAS SOPS 6399574 HAS SOUS 2708745 HAS SOUPS 2607487 WITH SCORE 2615204.07
AT ITER 646 NEW BEST:: SOT 12102009 SOS 7716604 HAS SOPS 6398641 HAS SOUS 2705952 HAS SOUPS 2604640 WITH SCORE 2612356.604
AT ITER 654 NEW BEST:: SOT 12094429 SOS 7709024 HAS SOPS 6390469 HAS SOUS 2695124 HAS SOUPS 2593812 WITH SCORE 2601521.024
AT ITER 656 NEW BEST:: SOT 12099246 SOS 7727858 HAS SOPS 6399704 HAS SOUS 2693686 HAS SOUPS 2591949 WITH SCORE 2599676.858
AT ITER 657 NEW BEST:: SOT 12096816 SOS 7725428 HAS SOPS 6397274 HAS SOUS 2690988 HAS SOUPS 2589251 WITH SCORE 2596976.428
AT ITER 665 NEW BEST:: SOT 12096668 SOS 7725007 HAS SOPS 6397215 HAS SOUS 2690322 HAS SOUPS 2588649 WITH SCORE 2596374.007
AT ITER 668 NEW BEST:: SOT 12094107 SOS 7721695 HAS SOPS 6393012 HAS SOUS 2684624 HAS SOUPS 2583005 WITH SCORE 2590726.695
AT ITER 680 NEW BEST:: SOT 12094103 SOS 7721825 HAS SOPS 6392463 HAS SOUS 2683679 HAS SOUPS 2581899 WITH SCORE 2589620.825
AT ITER 688 NEW BEST:: SOT 12093160 SOS 7721116 HAS SOPS 6389927 HAS SOUS 2680911 HAS SOUPS 2579108 WITH SCORE 2586829.116
AT ITER 691 NEW BEST:: SOT 12093535 SOS 7724942 HAS SOPS 6392647 HAS SOUS 2677854 HAS SOUPS 2576089 WITH SCORE 2583813.942
AT ITER 693 NEW BEST:: SOT 12092093 SOS 7722057 HAS SOPS 6389594 HAS SOUS 2674718 HAS SOUPS 2573007 WITH SCORE 2580729.057
AT ITER 702 NEW BEST:: SOT 12092061 SOS 7722036 HAS SOPS 6388635 HAS SOUS 2674605 HAS SOUPS 2572894 WITH SCORE 2580616.036
AT ITER 713 NEW BEST:: SOT 12089660 SOS 7719114 HAS SOPS 6383967 HAS SOUS 2669413 HAS SOUPS 2567702 WITH SCORE 2575421.114
AT ITER 715 NEW BEST:: SOT 12088340 SOS 7717857 HAS SOPS 6382390 HAS SOUS 2667628 HAS SOUPS 2565813 WITH SCORE 2573530.857
AT ITER 718 NEW BEST:: SOT 12087873 SOS 7717333 HAS SOPS 6381314 HAS SOUS 2665616 HAS SOUPS 2563786 WITH SCORE 2571503.333
AT ITER 719 NEW BEST:: SOT 12085082 SOS 7710884 HAS SOPS 6375176 HAS SOUS 2663308 HAS SOUPS 2561478 WITH SCORE 2569188.884
AT ITER 734 NEW BEST:: SOT 12084920 SOS 7710642 HAS SOPS 6374914 HAS SOUS 2662961 HAS SOUPS 2561136 WITH SCORE 2568846.642
AT ITER 736 NEW BEST:: SOT 12084257 SOS 7710499 HAS SOPS 6374465 HAS SOUS 2661022 HAS SOUPS 2559174 WITH SCORE 2566884.499
AT ITER 737 NEW BEST:: SOT 12083761 SOS 7710003 HAS SOPS 6373729 HAS SOUS 2660786 HAS SOUPS 2558938 WITH SCORE 2566648.003
AT ITER 749 NEW BEST:: SOT 12083873 SOS 7710329 HAS SOPS 6375429 HAS SOUS 2659422 HAS SOUPS 2557574 WITH SCORE 2565284.329
AT ITER 752 NEW BEST:: SOT 12086106 SOS 7714856 HAS SOPS 6382664 HAS SOUS 2656585 HAS SOUPS 2554737 WITH SCORE 2562451.856
AT ITER 755 NEW BEST:: SOT 12085747 SOS 7714545 HAS SOPS 6382415 HAS SOUS 2655152 HAS SOUPS 2553304 WITH SCORE 2561018.545
AT ITER 756 NEW BEST:: SOT 12087832 SOS 7722734 HAS SOPS 6390830 HAS SOUS 2654567 HAS SOUPS 2552822 WITH SCORE 2560544.734
AT ITER 775 NEW BEST:: SOT 12087612 SOS 7722470 HAS SOPS 6390586 HAS SOUS 2654247 HAS SOUPS 2552502 WITH SCORE 2560224.47
AT ITER 777 NEW BEST:: SOT 12086011 SOS 7718748 HAS SOPS 6390448 HAS SOUS 2653441 HAS SOUPS 2551696 WITH SCORE 2559414.748
AT ITER 781 NEW BEST:: SOT 12085646 SOS 7718350 HAS SOPS 6389885 HAS SOUS 2652790 HAS SOUPS 2550979 WITH SCORE 2558697.35
AT ITER 783 NEW BEST:: SOT 12085278 SOS 7716942 HAS SOPS 6388631 HAS SOUS 2651960 HAS SOUPS 2550149 WITH SCORE 2557865.942
AT ITER 784 NEW BEST:: SOT 12084158 SOS 7715649 HAS SOPS 6387120 HAS SOUS 2650445 HAS SOUPS 2548540 WITH SCORE 2556255.649
AT ITER 787 NEW BEST:: SOT 12087043 SOS 7720051 HAS SOPS 6389766 HAS SOUS 2650342 HAS SOUPS 2548395 WITH SCORE 2556115.051
AT ITER 795 NEW BEST:: SOT 12078903 SOS 7707862 HAS SOPS 6376709 HAS SOUS 2626538 HAS SOUPS 2524717 WITH SCORE 2532424.862
AT ITER 801 NEW BEST:: SOT 12078772 SOS 7707241 HAS SOPS 6375985 HAS SOUS 2625860 HAS SOUPS 2524155 WITH SCORE 2531862.241
AT ITER 807 NEW BEST:: SOT 12078817 SOS 7707286 HAS SOPS 6376030 HAS SOUS 2625673 HAS SOUPS 2523968 WITH SCORE 2531675.286
AT ITER 815 NEW BEST:: SOT 12077378 SOS 7706495 HAS SOPS 6376293 HAS SOUS 2607570 HAS SOUPS 2506613 WITH SCORE 2514319.495
AT ITER 825 NEW BEST:: SOT 12077538 SOS 7706645 HAS SOPS 6376313 HAS SOUS 2607535 HAS SOUPS 2506578 WITH SCORE 2514284.645
AT ITER 828 NEW BEST:: SOT 12077425 SOS 7706504 HAS SOPS 6375990 HAS SOUS 2607209 HAS SOUPS 2506252 WITH SCORE 2513958.504
AT ITER 831 NEW BEST:: SOT 12076462 SOS 7705404 HAS SOPS 6374953 HAS SOUS 2602433 HAS SOUPS 2501561 WITH SCORE 2509266.404
AT ITER 834 NEW BEST:: SOT 12076414 SOS 7705347 HAS SOPS 6374878 HAS SOUS 2602343 HAS SOUPS 2501471 WITH SCORE 2509176.347
AT ITER 839 NEW BEST:: SOT 12071660 SOS 7692905 HAS SOPS 6365794 HAS SOUS 2588832 HAS SOUPS 2488098 WITH SCORE 2495790.905
AT ITER 840 NEW BEST:: SOT 12067991 SOS 7688421 HAS SOPS 6362318 HAS SOUS 2584937 HAS SOUPS 2484181 WITH SCORE 2491869.421
AT ITER 843 NEW BEST:: SOT 12060285 SOS 7680715 HAS SOPS 6354612 HAS SOUS 2576595 HAS SOUPS 2475839 WITH SCORE 2483519.715
AT ITER 845 NEW BEST:: SOT 12060214 SOS 7680680 HAS SOPS 6354515 HAS SOUS 2576424 HAS SOUPS 2475668 WITH SCORE 2483348.68
AT ITER 856 NEW BEST:: SOT 12060208 SOS 7680671 HAS SOPS 6354506 HAS SOUS 2576421 HAS SOUPS 2475665 WITH SCORE 2483345.671
AT ITER 862 NEW BEST:: SOT 12059799 SOS 7680078 HAS SOPS 6353886 HAS SOUS 2576244 HAS SOUPS 2475488 WITH SCORE 2483168.078
AT ITER 866 NEW BEST:: SOT 12058537 SOS 7678816 HAS SOPS 6352176 HAS SOUS 2572934 HAS SOUPS 2472178 WITH SCORE 2479856.816
AT ITER 871 NEW BEST:: SOT 12050870 SOS 7667446 HAS SOPS 6341051 HAS SOUS 2555521 HAS SOUPS 2454888 WITH SCORE 2462555.446
AT ITER 879 NEW BEST:: SOT 12039985 SOS 7652001 HAS SOPS 6329497 HAS SOUS 2538313 HAS SOUPS 2437632 WITH SCORE 2445284.001
AT ITER 909 NEW BEST:: SOT 12035751 SOS 7647086 HAS SOPS 6323979 HAS SOUS 2533246 HAS SOUPS 2432193 WITH SCORE 2439840.086
AT ITER 914 NEW BEST:: SOT 12038182 SOS 7653244 HAS SOPS 6327781 HAS SOUS 2533156 HAS SOUPS 2432103 WITH SCORE 2439756.244
AT ITER 918 NEW BEST:: SOT 12036975 SOS 7646100 HAS SOPS 6324257 HAS SOUS 2530863 HAS SOUPS 2429810 WITH SCORE 2437456.1
AT ITER 919 NEW BEST:: SOT 12036948 SOS 7644838 HAS SOPS 6324960 HAS SOUS 2530635 HAS SOUPS 2429582 WITH SCORE 2437226.838
AT ITER 927 NEW BEST:: SOT 12036672 SOS 7646779 HAS SOPS 6328190 HAS SOUS 2527618 HAS SOUPS 2426565 WITH SCORE 2434211.779
AT ITER 929 NEW BEST:: SOT 12031516 SOS 7641631 HAS SOPS 6323034 HAS SOUS 2522470 HAS SOUPS 2421409 WITH SCORE 2429050.631
AT ITER 960 NEW BEST:: SOT 12030513 SOS 7639561 HAS SOPS 6323495 HAS SOUS 2518148 HAS SOUPS 2418117 WITH SCORE 2425756.561
AT ITER 961 NEW BEST:: SOT 12027294 SOS 7636096 HAS SOPS 6319957 HAS SOUS 2514298 HAS SOUPS 2414298 WITH SCORE 2421934.096
AT ITER 969 NEW BEST:: SOT 12032792 SOS 7640131 HAS SOPS 6322143 HAS SOUS 2509700 HAS SOUPS 2409284 WITH SCORE 2416924.131
AT ITER 973 NEW BEST:: SOT 12029605 SOS 7636497 HAS SOPS 6320117 HAS SOUS 2504559 HAS SOUPS 2404446 WITH SCORE 2412082.497
AT ITER 976 NEW BEST:: SOT 12029293 SOS 7638006 HAS SOPS 6322077 HAS SOUS 2503447 HAS SOUPS 2403334 WITH SCORE 2410972.006
AT ITER 983 NEW BEST:: SOT 12031846 SOS 7641928 HAS SOPS 6326811 HAS SOUS 2498058 HAS SOUPS 2398051 WITH SCORE 2405692.928
AT ITER 986 NEW BEST:: SOT 12032253 SOS 7640020 HAS SOPS 6328612 HAS SOUS 2494196 HAS SOUPS 2394983 WITH SCORE 2402623.02
AT ITER 1012 NEW BEST:: SOT 12032202 SOS 7639934 HAS SOPS 6328453 HAS SOUS 2493944 HAS SOUPS 2394731 WITH SCORE 2402370.934
AT ITER 1021 NEW BEST:: SOT 12032169 SOS 7639844 HAS SOPS 6328729 HAS SOUS 2493816 HAS SOUPS 2394603 WITH SCORE 2402242.844
AT ITER 1026 NEW BEST:: SOT 12024865 SOS 7628408 HAS SOPS 6322212 HAS SOUS 2474732 HAS SOUPS 2375696 WITH SCORE 2383324.408
AT ITER 1027 NEW BEST:: SOT 12024094 SOS 7627391 HAS SOPS 6321094 HAS SOUS 2473752 HAS SOUPS 2374716 WITH SCORE 2382343.391
AT ITER 1035 NEW BEST:: SOT 12037789 SOS 7637204 HAS SOPS 6332879 HAS SOUS 2462564 HAS SOUPS 2364603 WITH SCORE 2372240.204
AT ITER 1073 NEW BEST:: SOT 12036605 SOS 7636026 HAS SOPS 6331125 HAS SOUS 2460154 HAS SOUPS 2362163 WITH SCORE 2369799.026
AT ITER 1102 NEW BEST:: SOT 12036266 SOS 7635687 HAS SOPS 6330786 HAS SOUS 2459807 HAS SOUPS 2361816 WITH SCORE 2369451.687
AT ITER 1119 NEW BEST:: SOT 12035545 SOS 7632563 HAS SOPS 6328463 HAS SOUS 2455754 HAS SOUPS 2357821 WITH SCORE 2365453.563
AT ITER 1136 NEW BEST:: SOT 12032893 SOS 7630222 HAS SOPS 6323963 HAS SOUS 2449827 HAS SOUPS 2351854 WITH SCORE 2359484.222
AT ITER 1159 NEW BEST:: SOT 12032815 SOS 7628135 HAS SOPS 6322764 HAS SOUS 2449818 HAS SOUPS 2351845 WITH SCORE 2359473.135
AT ITER 1167 NEW BEST:: SOT 12030706 SOS 7626009 HAS SOPS 6320638 HAS SOUS 2447548 HAS SOUPS 2349575 WITH SCORE 2357201.009
AT ITER 1173 NEW BEST:: SOT 12028681 SOS 7622535 HAS SOPS 6317139 HAS SOUS 2446757 HAS SOUPS 2348801 WITH SCORE 2356423.535
AT ITER 1193 NEW BEST:: SOT 12028683 SOS 7622495 HAS SOPS 6317119 HAS SOUS 2446683 HAS SOUPS 2348743 WITH SCORE 2356365.495
AT ITER 1201 NEW BEST:: SOT 12028620 SOS 7622428 HAS SOPS 6316652 HAS SOUS 2445688 HAS SOUPS 2347748 WITH SCORE 2355370.428
AT ITER 1223 NEW BEST:: SOT 12028219 SOS 7622402 HAS SOPS 6316760 HAS SOUS 2443719 HAS SOUPS 2345779 WITH SCORE 2353401.402
AT ITER 1226 NEW BEST:: SOT 12027787 SOS 7621329 HAS SOPS 6316113 HAS SOUS 2443371 HAS SOUPS 2345431 WITH SCORE 2353052.329
AT ITER 1227 NEW BEST:: SOT 12029089 SOS 7624118 HAS SOPS 6317931 HAS SOUS 2442843 HAS SOUPS 2345011 WITH SCORE 2352635.118
AT ITER 1236 NEW BEST:: SOT 12023910 SOS 7608425 HAS SOPS 6314014 HAS SOUS 2440984 HAS SOUPS 2343336 WITH SCORE 2350944.425
AT ITER 1243 NEW BEST:: SOT 12024994 SOS 7609221 HAS SOPS 6316411 HAS SOUS 2435714 HAS SOUPS 2338253 WITH SCORE 2345862.221
AT ITER 1305 NEW BEST:: SOT 12023878 SOS 7608910 HAS SOPS 6314853 HAS SOUS 2432686 HAS SOUPS 2335191 WITH SCORE 2342799.91
AT ITER 1312 NEW BEST:: SOT 12018548 SOS 7603580 HAS SOPS 6309523 HAS SOUS 2425892 HAS SOUPS 2328397 WITH SCORE 2336000.58
AT ITER 1315 NEW BEST:: SOT 12018464 SOS 7603510 HAS SOPS 6309453 HAS SOUS 2425528 HAS SOUPS 2328033 WITH SCORE 2335636.51
AT ITER 1319 NEW BEST:: SOT 12020628 SOS 7605674 HAS SOPS 6310945 HAS SOUS 2425036 HAS SOUPS 2327445 WITH SCORE 2335050.674
AT ITER 1327 NEW BEST:: SOT 12021525 SOS 7608880 HAS SOPS 6313396 HAS SOUS 2422534 HAS SOUPS 2324919 WITH SCORE 2332527.88
AT ITER 1330 NEW BEST:: SOT 12021958 SOS 7611946 HAS SOPS 6316644 HAS SOUS 2419964 HAS SOUPS 2322385 WITH SCORE 2329996.946
AT ITER 1339 NEW BEST:: SOT 12021827 SOS 7610962 HAS SOPS 6315246 HAS SOUS 2419590 HAS SOUPS 2322011 WITH SCORE 2329621.962
AT ITER 1360 NEW BEST:: SOT 12020699 SOS 7608032 HAS SOPS 6313442 HAS SOUS 2418933 HAS SOUPS 2321354 WITH SCORE 2328962.032
AT ITER 1366 NEW BEST:: SOT 12018810 SOS 7605008 HAS SOPS 6310494 HAS SOUS 2415705 HAS SOUPS 2318192 WITH SCORE 2325797.008
AT ITER 1367 NEW BEST:: SOT 12017631 SOS 7603958 HAS SOPS 6309707 HAS SOUS 2409333 HAS SOUPS 2311707 WITH SCORE 2319310.958
AT ITER 1381 NEW BEST:: SOT 12015733 SOS 7602142 HAS SOPS 6307359 HAS SOUS 2405569 HAS SOUPS 2307943 WITH SCORE 2315545.142
AT ITER 1391 NEW BEST:: SOT 12015803 SOS 7602789 HAS SOPS 6307558 HAS SOUS 2403786 HAS SOUPS 2306160 WITH SCORE 2313762.789
AT ITER 1393 NEW BEST:: SOT 12017613 SOS 7605719 HAS SOPS 6311054 HAS SOUS 2402305 HAS SOUPS 2304704 WITH SCORE 2312309.719
AT ITER 1401 NEW BEST:: SOT 12016693 SOS 7603568 HAS SOPS 6307714 HAS SOUS 2398935 HAS SOUPS 2301334 WITH SCORE 2308937.568
AT ITER 1424 NEW BEST:: SOT 12016652 SOS 7602971 HAS SOPS 6307320 HAS SOUS 2398760 HAS SOUPS 2301159 WITH SCORE 2308761.971
AT ITER 1443 NEW BEST:: SOT 12016478 SOS 7602908 HAS SOPS 6307365 HAS SOUS 2398417 HAS SOUPS 2300816 WITH SCORE 2308418.908
AT ITER 1449 NEW BEST:: SOT 12014762 SOS 7600306 HAS SOPS 6304601 HAS SOUS 2396191 HAS SOUPS 2298584 WITH SCORE 2306184.306
AT ITER 1460 NEW BEST:: SOT 12015601 SOS 7600797 HAS SOPS 6304191 HAS SOUS 2395106 HAS SOUPS 2297548 WITH SCORE 2305148.797
AT ITER 1516 NEW BEST:: SOT 12016064 SOS 7601092 HAS SOPS 6304354 HAS SOUS 2394767 HAS SOUPS 2297415 WITH SCORE 2305016.092
AT ITER 1521 NEW BEST:: SOT 12015410 SOS 7600458 HAS SOPS 6304644 HAS SOUS 2392645 HAS SOUPS 2295293 WITH SCORE 2302893.458
AT ITER 1533 NEW BEST:: SOT 12011072 SOS 7592493 HAS SOPS 6301349 HAS SOUS 2391198 HAS SOUPS 2293852 WITH SCORE 2301444.493
AT ITER 1547 NEW BEST:: SOT 12010530 SOS 7592043 HAS SOPS 6300923 HAS SOUS 2390633 HAS SOUPS 2293287 WITH SCORE 2300879.043
AT ITER 1563 NEW BEST:: SOT 12012839 SOS 7592456 HAS SOPS 6308929 HAS SOUS 2383701 HAS SOUPS 2287199 WITH SCORE 2294791.456
AT ITER 1564 NEW BEST:: SOT 12014246 SOS 7607205 HAS SOPS 6323736 HAS SOUS 2382959 HAS SOUPS 2286457 WITH SCORE 2294064.205
AT ITER 1566 NEW BEST:: SOT 12013986 SOS 7606945 HAS SOPS 6323348 HAS SOUS 2382247 HAS SOUPS 2285745 WITH SCORE 2293351.945
AT ITER 1571 NEW BEST:: SOT 12013781 SOS 7606709 HAS SOPS 6323446 HAS SOUS 2379801 HAS SOUPS 2283299 WITH SCORE 2290905.709
AT ITER 1575 NEW BEST:: SOT 12015454 SOS 7609921 HAS SOPS 6327698 HAS SOUS 2377143 HAS SOUPS 2280641 WITH SCORE 2288250.921
AT ITER 1583 NEW BEST:: SOT 12015468 SOS 7609681 HAS SOPS 6327289 HAS SOUS 2375545 HAS SOUPS 2279043 WITH SCORE 2286652.681
AT ITER 1591 NEW BEST:: SOT 12017826 SOS 7615275 HAS SOPS 6332598 HAS SOUS 2367588 HAS SOUPS 2271237 WITH SCORE 2278852.275
AT ITER 1596 NEW BEST:: SOT 12021412 SOS 7623324 HAS SOPS 6340805 HAS SOUS 2366944 HAS SOUPS 2270593 WITH SCORE 2278216.324
AT ITER 1613 NEW BEST:: SOT 12021056 SOS 7621855 HAS SOPS 6339704 HAS SOUS 2366158 HAS SOUPS 2269807 WITH SCORE 2277428.855
AT ITER 1618 NEW BEST:: SOT 12021195 SOS 7622049 HAS SOPS 6339706 HAS SOUS 2365701 HAS SOUPS 2269350 WITH SCORE 2276972.049
AT ITER 1625 NEW BEST:: SOT 12016638 SOS 7618391 HAS SOPS 6334758 HAS SOUS 2360433 HAS SOUPS 2264121 WITH SCORE 2271739.391
AT ITER 1632 NEW BEST:: SOT 12016320 SOS 7618051 HAS SOPS 6334594 HAS SOUS 2360380 HAS SOUPS 2264079 WITH SCORE 2271697.051
AT ITER 1642 NEW BEST:: SOT 12002374 SOS 7604141 HAS SOPS 6320453 HAS SOUS 2346300 HAS SOUPS 2249899 WITH SCORE 2257503.141
AT ITER 1712 NEW BEST:: SOT 12001727 SOS 7603326 HAS SOPS 6319638 HAS SOUS 2345327 HAS SOUPS 2248926 WITH SCORE 2256529.326
AT ITER 1720 NEW BEST:: SOT 12005101 SOS 7611853 HAS SOPS 6325664 HAS SOUS 2340366 HAS SOUPS 2243940 WITH SCORE 2251551.853
AT ITER 1722 NEW BEST:: SOT 12005177 SOS 7611971 HAS SOPS 6325582 HAS SOUS 2340316 HAS SOUPS 2243886 WITH SCORE 2251497.971
AT ITER 1726 NEW BEST:: SOT 12005166 SOS 7609705 HAS SOPS 6322721 HAS SOUS 2339228 HAS SOUPS 2242798 WITH SCORE 2250407.705
AT ITER 1732 NEW BEST:: SOT 12003872 SOS 7605692 HAS SOPS 6319056 HAS SOUS 2338409 HAS SOUPS 2241979 WITH SCORE 2249584.692
AT ITER 1755 NEW BEST:: SOT 12005541 SOS 7612058 HAS SOPS 6323209 HAS SOUS 2336960 HAS SOUPS 2240434 WITH SCORE 2248046.058
AT ITER 1797 NEW BEST:: SOT 12004406 SOS 7609820 HAS SOPS 6321934 HAS SOUS 2333072 HAS SOUPS 2236906 WITH SCORE 2244515.82
AT ITER 1812 NEW BEST:: SOT 12004347 SOS 7609801 HAS SOPS 6322163 HAS SOUS 2332821 HAS SOUPS 2236663 WITH SCORE 2244272.801
AT ITER 1813 NEW BEST:: SOT 12004869 SOS 7611457 HAS SOPS 6323402 HAS SOUS 2332725 HAS SOUPS 2236567 WITH SCORE 2244178.457
AT ITER 1826 NEW BEST:: SOT 12001526 SOS 7604877 HAS SOPS 6316626 HAS SOUS 2326192 HAS SOUPS 2230096 WITH SCORE 2237700.877
AT ITER 1827 NEW BEST:: SOT 11996879 SOS 7608260 HAS SOPS 6324942 HAS SOUS 2321197 HAS SOUPS 2225101 WITH SCORE 2232709.26
AT ITER 1837 NEW BEST:: SOT 11995094 SOS 7606326 HAS SOPS 6322709 HAS SOUS 2316718 HAS SOUPS 2220682 WITH SCORE 2228288.326
AT ITER 1848 NEW BEST:: SOT 11995087 SOS 7606355 HAS SOPS 6322866 HAS SOUS 2316659 HAS SOUPS 2220623 WITH SCORE 2228229.355
AT ITER 1859 NEW BEST:: SOT 11990518 SOS 7598959 HAS SOPS 6315510 HAS SOUS 2307525 HAS SOUPS 2211604 WITH SCORE 2219202.959
AT ITER 1872 NEW BEST:: SOT 11991169 SOS 7599518 HAS SOPS 6316427 HAS SOUS 2307231 HAS SOUPS 2211310 WITH SCORE 2218909.518
AT ITER 1877 NEW BEST:: SOT 11988759 SOS 7597543 HAS SOPS 6313057 HAS SOUS 2299194 HAS SOUPS 2203273 WITH SCORE 2210870.543
AT ITER 1893 NEW BEST:: SOT 11993503 SOS 7611717 HAS SOPS 6329359 HAS SOUS 2298980 HAS SOUPS 2203154 WITH SCORE 2210765.717
AT ITER 1900 NEW BEST:: SOT 11995734 SOS 7621046 HAS SOPS 6338540 HAS SOUS 2298052 HAS SOUPS 2202226 WITH SCORE 2209847.046
AT ITER 1901 NEW BEST:: SOT 11997032 SOS 7622778 HAS SOPS 6341881 HAS SOUS 2295518 HAS SOUPS 2199698 WITH SCORE 2207320.778
AT ITER 1924 NEW BEST:: SOT 11993539 SOS 7611639 HAS SOPS 6328777 HAS SOUS 2291348 HAS SOUPS 2195528 WITH SCORE 2203139.639
AT ITER 1935 NEW BEST:: SOT 11992422 SOS 7609690 HAS SOPS 6326815 HAS SOUS 2289789 HAS SOUPS 2193969 WITH SCORE 2201578.69
AT ITER 1936 NEW BEST:: SOT 11992582 SOS 7608778 HAS SOPS 6329990 HAS SOUS 2289205 HAS SOUPS 2193385 WITH SCORE 2200993.778
AT ITER 1941 NEW BEST:: SOT 11992426 SOS 7608616 HAS SOPS 6329780 HAS SOUS 2288860 HAS SOUPS 2193040 WITH SCORE 2200648.616
AT ITER 1942 NEW BEST:: SOT 11992234 SOS 7609076 HAS SOPS 6331274 HAS SOUS 2285963 HAS SOUPS 2190143 WITH SCORE 2197752.076
AT ITER 1950 NEW BEST:: SOT 11990613 SOS 7606681 HAS SOPS 6329350 HAS SOUS 2282290 HAS SOUPS 2186592 WITH SCORE 2194198.681
AT ITER 1957 NEW BEST:: SOT 11988358 SOS 7600374 HAS SOPS 6324420 HAS SOUS 2278746 HAS SOUPS 2183103 WITH SCORE 2190703.374
AT ITER 1960 NEW BEST:: SOT 11989868 SOS 7602027 HAS SOPS 6326850 HAS SOUS 2278725 HAS SOUPS 2183032 WITH SCORE 2190634.027
AT ITER 1965 NEW BEST:: SOT 11985492 SOS 7593277 HAS SOPS 6317724 HAS SOUS 2275121 HAS SOUPS 2179428 WITH SCORE 2187021.277
AT ITER 1975 NEW BEST:: SOT 11997260 SOS 7618993 HAS SOPS 6343134 HAS SOUS 2273120 HAS SOUPS 2177427 WITH SCORE 2185045.993
AT ITER 1987 NEW BEST:: SOT 11997927 SOS 7622652 HAS SOPS 6345673 HAS SOUS 2272335 HAS SOUPS 2176620 WITH SCORE 2184242.652
AT ITER 1989 NEW BEST:: SOT 11997989 SOS 7622644 HAS SOPS 6345522 HAS SOUS 2272127 HAS SOUPS 2176412 WITH SCORE 2184034.644
AT ITER 1994 NEW BEST:: SOT 11998256 SOS 7623682 HAS SOPS 6346240 HAS SOUS 2271257 HAS SOUPS 2175520 WITH SCORE 2183143.682
AT ITER 2006 NEW BEST:: SOT 11996291 SOS 7621542 HAS SOPS 6343251 HAS SOUS 2267956 HAS SOUPS 2172219 WITH SCORE 2179840.542
AT ITER 2021 NEW BEST:: SOT 11996246 SOS 7621360 HAS SOPS 6343020 HAS SOUS 2267784 HAS SOUPS 2172047 WITH SCORE 2179668.36
AT ITER 2036 NEW BEST:: SOT 11995927 SOS 7620494 HAS SOPS 6342466 HAS SOUS 2267622 HAS SOUPS 2171891 WITH SCORE 2179511.494
AT ITER 2039 NEW BEST:: SOT 11995549 SOS 7619914 HAS SOPS 6342649 HAS SOUS 2267244 HAS SOUPS 2171520 WITH SCORE 2179139.914
AT ITER 2043 NEW BEST:: SOT 11991820 SOS 7607595 HAS SOPS 6327777 HAS SOUS 2266033 HAS SOUPS 2170073 WITH SCORE 2177680.595
AT ITER 2044 NEW BEST:: SOT 11990891 SOS 7607003 HAS SOPS 6325830 HAS SOUS 2259359 HAS SOUPS 2163377 WITH SCORE 2170984.003
AT ITER 2047 NEW BEST:: SOT 11993124 SOS 7611763 HAS SOPS 6329781 HAS SOUS 2253733 HAS SOUPS 2157708 WITH SCORE 2165319.763
AT ITER 2056 NEW BEST:: SOT 11992094 SOS 7610733 HAS SOPS 6328751 HAS SOUS 2252983 HAS SOUPS 2156958 WITH SCORE 2164568.733
AT ITER 2078 NEW BEST:: SOT 11991671 SOS 7610071 HAS SOPS 6328040 HAS SOUS 2252218 HAS SOUPS 2156200 WITH SCORE 2163810.071
AT ITER 2084 NEW BEST:: SOT 11991652 SOS 7610636 HAS SOPS 6328321 HAS SOUS 2252206 HAS SOUPS 2156188 WITH SCORE 2163798.636
AT ITER 2086 NEW BEST:: SOT 11990176 SOS 7605884 HAS SOPS 6320043 HAS SOUS 2249176 HAS SOUPS 2153074 WITH SCORE 2160679.884
AT ITER 2091 NEW BEST:: SOT 11989076 SOS 7602891 HAS SOPS 6317518 HAS SOUS 2248627 HAS SOUPS 2152525 WITH SCORE 2160127.891
AT ITER 2135 NEW BEST:: SOT 11987560 SOS 7596853 HAS SOPS 6313535 HAS SOUS 2244935 HAS SOUPS 2148833 WITH SCORE 2156429.853
AT ITER 2155 NEW BEST:: SOT 11980001 SOS 7575021 HAS SOPS 6300919 HAS SOUS 2242266 HAS SOUPS 2146164 WITH SCORE 2153739.021
AT ITER 2160 NEW BEST:: SOT 11978289 SOS 7573109 HAS SOPS 6299260 HAS SOUS 2240020 HAS SOUPS 2143916 WITH SCORE 2151489.109
AT ITER 2166 NEW BEST:: SOT 11974653 SOS 7564018 HAS SOPS 6290889 HAS SOUS 2237837 HAS SOUPS 2141733 WITH SCORE 2149297.018
AT ITER 2176 NEW BEST:: SOT 11971797 SOS 7556426 HAS SOPS 6285371 HAS SOUS 2237647 HAS SOUPS 2141543 WITH SCORE 2149099.426
AT ITER 2179 NEW BEST:: SOT 11969774 SOS 7552373 HAS SOPS 6280481 HAS SOUS 2232226 HAS SOUPS 2136169 WITH SCORE 2143721.373
AT ITER 2187 NEW BEST:: SOT 11971213 SOS 7553623 HAS SOPS 6281392 HAS SOUS 2231476 HAS SOUPS 2135384 WITH SCORE 2142937.623
AT ITER 2190 NEW BEST:: SOT 11971188 SOS 7554013 HAS SOPS 6281588 HAS SOUS 2231206 HAS SOUPS 2135114 WITH SCORE 2142668.013
AT ITER 2195 NEW BEST:: SOT 11970463 SOS 7551859 HAS SOPS 6279886 HAS SOUS 2231092 HAS SOUPS 2135000 WITH SCORE 2142551.859
AT ITER 2212 NEW BEST:: SOT 11970459 SOS 7551853 HAS SOPS 6279880 HAS SOUS 2231073 HAS SOUPS 2134981 WITH SCORE 2142532.853
AT ITER 2215 NEW BEST:: SOT 11970408 SOS 7551810 HAS SOPS 6279747 HAS SOUS 2230729 HAS SOUPS 2134612 WITH SCORE 2142163.81
AT ITER 2218 NEW BEST:: SOT 11966896 SOS 7547700 HAS SOPS 6272912 HAS SOUS 2219791 HAS SOUPS 2123674 WITH SCORE 2131221.7
AT ITER 2233 NEW BEST:: SOT 11969177 SOS 7553243 HAS SOPS 6282442 HAS SOUS 2218947 HAS SOUPS 2122943 WITH SCORE 2130496.243
AT ITER 2242 NEW BEST:: SOT 11967658 SOS 7551858 HAS SOPS 6280703 HAS SOUS 2217373 HAS SOUPS 2121423 WITH SCORE 2128974.858
AT ITER 2255 NEW BEST:: SOT 11964417 SOS 7547312 HAS SOPS 6276382 HAS SOUS 2214021 HAS SOUPS 2118071 WITH SCORE 2125618.312
AT ITER 2264 NEW BEST:: SOT 11956471 SOS 7525830 HAS SOPS 6260017 HAS SOUS 2211262 HAS SOUPS 2115312 WITH SCORE 2122837.83
AT ITER 2272 NEW BEST:: SOT 11956657 SOS 7527009 HAS SOPS 6260786 HAS SOUS 2209672 HAS SOUPS 2113722 WITH SCORE 2121249.009
AT ITER 2276 NEW BEST:: SOT 11953417 SOS 7519564 HAS SOPS 6253155 HAS SOUS 2201664 HAS SOUPS 2106104 WITH SCORE 2113623.564
AT ITER 2277 NEW BEST:: SOT 11953240 SOS 7519683 HAS SOPS 6251825 HAS SOUS 2200359 HAS SOUPS 2104768 WITH SCORE 2112287.683
AT ITER 2279 NEW BEST:: SOT 11952920 SOS 7520141 HAS SOPS 6251963 HAS SOUS 2199161 HAS SOUPS 2103570 WITH SCORE 2111090.141
AT ITER 2286 NEW BEST:: SOT 11952933 SOS 7520068 HAS SOPS 6251911 HAS SOUS 2198942 HAS SOUPS 2103351 WITH SCORE 2110871.068
AT ITER 2287 NEW BEST:: SOT 11953023 SOS 7520165 HAS SOPS 6251771 HAS SOUS 2198869 HAS SOUPS 2103278 WITH SCORE 2110798.165
AT ITER 2326 NEW BEST:: SOT 11946509 SOS 7511002 HAS SOPS 6245485 HAS SOUS 2194259 HAS SOUPS 2098608 WITH SCORE 2106119.002
AT ITER 2362 NEW BEST:: SOT 11946121 SOS 7510940 HAS SOPS 6246611 HAS SOUS 2194055 HAS SOUPS 2098404 WITH SCORE 2105914.94
AT ITER 2366 NEW BEST:: SOT 11945479 SOS 7508510 HAS SOPS 6243231 HAS SOUS 2192551 HAS SOUPS 2096900 WITH SCORE 2104408.51
AT ITER 2368 NEW BEST:: SOT 11945044 SOS 7507243 HAS SOPS 6241454 HAS SOUS 2187768 HAS SOUPS 2092117 WITH SCORE 2099624.243
AT ITER 2396 NEW BEST:: SOT 11944598 SOS 7504400 HAS SOPS 6237715 HAS SOUS 2185758 HAS SOUPS 2090107 WITH SCORE 2097611.4
AT ITER 2406 NEW BEST:: SOT 11944598 SOS 7504498 HAS SOPS 6237843 HAS SOUS 2185754 HAS SOUPS 2090103 WITH SCORE 2097607.498
AT ITER 2428 NEW BEST:: SOT 11944962 SOS 7504888 HAS SOPS 6238153 HAS SOUS 2185605 HAS SOUPS 2089954 WITH SCORE 2097458.888
AT ITER 2433 NEW BEST:: SOT 11944768 SOS 7503856 HAS SOPS 6237191 HAS SOUS 2185484 HAS SOUPS 2089833 WITH SCORE 2097336.856
AT ITER 2434 NEW BEST:: SOT 11944666 SOS 7505279 HAS SOPS 6238239 HAS SOUS 2184362 HAS SOUPS 2088711 WITH SCORE 2096216.279
AT ITER 2446 NEW BEST:: SOT 11944921 SOS 7505637 HAS SOPS 6239552 HAS SOUS 2183782 HAS SOUPS 2088175 WITH SCORE 2095680.637
AT ITER 2451 NEW BEST:: SOT 11944811 SOS 7505531 HAS SOPS 6239428 HAS SOUS 2183652 HAS SOUPS 2088045 WITH SCORE 2095550.531
AT ITER 2477 NEW BEST:: SOT 11944962 SOS 7505328 HAS SOPS 6239359 HAS SOUS 2183565 HAS SOUPS 2087990 WITH SCORE 2095495.328
AT ITER 2497 NEW BEST:: SOT 11944112 SOS 7498686 HAS SOPS 6234992 HAS SOUS 2176659 HAS SOUPS 2081135 WITH SCORE 2088633.686
AT ITER 2498 NEW BEST:: SOT 11943873 SOS 7498688 HAS SOPS 6234829 HAS SOUS 2176562 HAS SOUPS 2081004 WITH SCORE 2088502.688
AT ITER 2505 NEW BEST:: SOT 11944410 SOS 7499837 HAS SOPS 6236020 HAS SOUS 2175406 HAS SOUPS 2079848 WITH SCORE 2087347.837
AT ITER 2514 NEW BEST:: SOT 11944132 SOS 7499461 HAS SOPS 6235486 HAS SOUS 2175033 HAS SOUPS 2079372 WITH SCORE 2086871.461
AT ITER 2578 NEW BEST:: SOT 11944076 SOS 7499257 HAS SOPS 6235284 HAS SOUS 2175007 HAS SOUPS 2079344 WITH SCORE 2086843.257
AT ITER 2603 NEW BEST:: SOT 11943619 SOS 7498100 HAS SOPS 6234176 HAS SOUS 2174102 HAS SOUPS 2078446 WITH SCORE 2085944.1
AT ITER 2608 NEW BEST:: SOT 11948779 SOS 7503111 HAS SOPS 6234961 HAS SOUS 2163004 HAS SOUPS 2067348 WITH SCORE 2074851.111
AT ITER 2614 NEW BEST:: SOT 11948685 SOS 7503037 HAS SOPS 6234618 HAS SOUS 2162438 HAS SOUPS 2066782 WITH SCORE 2074285.037
AT ITER 2624 NEW BEST:: SOT 11948206 SOS 7502619 HAS SOPS 6234012 HAS SOUS 2161239 HAS SOUPS 2065583 WITH SCORE 2073085.619
AT ITER 2629 NEW BEST:: SOT 11952668 SOS 7523726 HAS SOPS 6252771 HAS SOUS 2151538 HAS SOUPS 2055882 WITH SCORE 2063405.726
AT ITER 2649 NEW BEST:: SOT 11952646 SOS 7523716 HAS SOPS 6252733 HAS SOUS 2151481 HAS SOUPS 2055825 WITH SCORE 2063348.716
AT ITER 2650 NEW BEST:: SOT 11952613 SOS 7523496 HAS SOPS 6252685 HAS SOUS 2151436 HAS SOUPS 2055780 WITH SCORE 2063303.496
AT ITER 2686 NEW BEST:: SOT 11953584 SOS 7512383 HAS SOPS 6243554 HAS SOUS 2149088 HAS SOUPS 2053565 WITH SCORE 2061077.383
AT ITER 2688 NEW BEST:: SOT 11952841 SOS 7511679 HAS SOPS 6242466 HAS SOUS 2147098 HAS SOUPS 2051575 WITH SCORE 2059086.679
AT ITER 2689 NEW BEST:: SOT 11952849 SOS 7511654 HAS SOPS 6242495 HAS SOUS 2147075 HAS SOUPS 2051552 WITH SCORE 2059063.654
AT ITER 2714 NEW BEST:: SOT 11951269 SOS 7510062 HAS SOPS 6240663 HAS SOUS 2145471 HAS SOUPS 2049948 WITH SCORE 2057458.062
AT ITER 2715 NEW BEST:: SOT 11950051 SOS 7509309 HAS SOPS 6240637 HAS SOUS 2144651 HAS SOUPS 2049128 WITH SCORE 2056637.309
AT ITER 2718 NEW BEST:: SOT 11949978 SOS 7508886 HAS SOPS 6240103 HAS SOUS 2144491 HAS SOUPS 2048968 WITH SCORE 2056476.886
AT ITER 2720 NEW BEST:: SOT 11951836 SOS 7514478 HAS SOPS 6242558 HAS SOUS 2142599 HAS SOUPS 2047076 WITH SCORE 2054590.478
AT ITER 2745 NEW BEST:: SOT 11951542 SOS 7514426 HAS SOPS 6242608 HAS SOUS 2142463 HAS SOUPS 2046940 WITH SCORE 2054454.426
AT ITER 2751 NEW BEST:: SOT 11955915 SOS 7523485 HAS SOPS 6250787 HAS SOUS 2142505 HAS SOUPS 2046859 WITH SCORE 2054382.485
AT ITER 2761 NEW BEST:: SOT 11955826 SOS 7523375 HAS SOPS 6250642 HAS SOUS 2142389 HAS SOUPS 2046743 WITH SCORE 2054266.375
AT ITER 2774 NEW BEST:: SOT 11955836 SOS 7523387 HAS SOPS 6250590 HAS SOUS 2142127 HAS SOUPS 2046481 WITH SCORE 2054004.387
AT ITER 2790 NEW BEST:: SOT 11955888 SOS 7523326 HAS SOPS 6250518 HAS SOUS 2141478 HAS SOUPS 2045832 WITH SCORE 2053355.326
AT ITER 2808 NEW BEST:: SOT 11955631 SOS 7522164 HAS SOPS 6249966 HAS SOUS 2140506 HAS SOUPS 2045253 WITH SCORE 2052775.164
AT ITER 2814 NEW BEST:: SOT 11955212 SOS 7519504 HAS SOPS 6247930 HAS SOUS 2140241 HAS SOUPS 2044988 WITH SCORE 2052507.504
AT ITER 2816 NEW BEST:: SOT 11954867 SOS 7518294 HAS SOPS 6247024 HAS SOUS 2140129 HAS SOUPS 2044884 WITH SCORE 2052402.294
AT ITER 2818 NEW BEST:: SOT 11954313 SOS 7518390 HAS SOPS 6246227 HAS SOUS 2138429 HAS SOUPS 2043184 WITH SCORE 2050702.39
AT ITER 2839 NEW BEST:: SOT 11954030 SOS 7517849 HAS SOPS 6245721 HAS SOUS 2137558 HAS SOUPS 2042415 WITH SCORE 2049932.849
AT ITER 2854 NEW BEST:: SOT 11954889 SOS 7521106 HAS SOPS 6249189 HAS SOUS 2137219 HAS SOUPS 2042096 WITH SCORE 2049617.106
AT ITER 2883 NEW BEST:: SOT 11950796 SOS 7505835 HAS SOPS 6241420 HAS SOUS 2134806 HAS SOUPS 2039814 WITH SCORE 2047319.835
AT ITER 2887 NEW BEST:: SOT 11951050 SOS 7509487 HAS SOPS 6244911 HAS SOUS 2134118 HAS SOUPS 2039126 WITH SCORE 2046635.487
AT ITER 2894 NEW BEST:: SOT 11951071 SOS 7509426 HAS SOPS 6245104 HAS SOUS 2134049 HAS SOUPS 2039057 WITH SCORE 2046566.426
AT ITER 2897 NEW BEST:: SOT 11951321 SOS 7509717 HAS SOPS 6246824 HAS SOUS 2132415 HAS SOUPS 2037495 WITH SCORE 2045004.717
AT ITER 2907 NEW BEST:: SOT 11950444 SOS 7507258 HAS SOPS 6244996 HAS SOUS 2131464 HAS SOUPS 2036544 WITH SCORE 2044051.258
AT ITER 2923 NEW BEST:: SOT 11950853 SOS 7506595 HAS SOPS 6246356 HAS SOUS 2131437 HAS SOUPS 2036517 WITH SCORE 2044023.595
AT ITER 2939 NEW BEST:: SOT 11949224 SOS 7504909 HAS SOPS 6244423 HAS SOUS 2129337 HAS SOUPS 2034390 WITH SCORE 2041894.909
AT ITER 2940 NEW BEST:: SOT 11945924 SOS 7501898 HAS SOPS 6240446 HAS SOUS 2123736 HAS SOUPS 2028489 WITH SCORE 2035990.898
AT ITER 2946 NEW BEST:: SOT 11947078 SOS 7500737 HAS SOPS 6237223 HAS SOUS 2122677 HAS SOUPS 2027430 WITH SCORE 2034930.737
AT ITER 2953 NEW BEST:: SOT 11947105 SOS 7500812 HAS SOPS 6237268 HAS SOUS 2122605 HAS SOUPS 2027358 WITH SCORE 2034858.812
AT ITER 2957 NEW BEST:: SOT 11946435 SOS 7498562 HAS SOPS 6234597 HAS SOUS 2120766 HAS SOUPS 2025519 WITH SCORE 2033017.562
AT ITER 2958 NEW BEST:: SOT 11946657 SOS 7499626 HAS SOPS 6235124 HAS SOUS 2119672 HAS SOUPS 2024425 WITH SCORE 2031924.626
AT ITER 2970 NEW BEST:: SOT 11946619 SOS 7499560 HAS SOPS 6235064 HAS SOUS 2119648 HAS SOUPS 2024400 WITH SCORE 2031899.56
AT ITER 2979 NEW BEST:: SOT 11947744 SOS 7500996 HAS SOPS 6236082 HAS SOUS 2117561 HAS SOUPS 2022313 WITH SCORE 2029813.996
AT ITER 2992 NEW BEST:: SOT 11949276 SOS 7506242 HAS SOPS 6237987 HAS SOUS 2112478 HAS SOUPS 2017230 WITH SCORE 2024736.242
AT ITER 2995 NEW BEST:: SOT 11949909 SOS 7509932 HAS SOPS 6240082 HAS SOUS 2111301 HAS SOUPS 2016053 WITH SCORE 2023562.932
AT ITER 2996 NEW BEST:: SOT 11947759 SOS 7505449 HAS SOPS 6234647 HAS SOUS 2106019 HAS SOUPS 2010740 WITH SCORE 2018245.449
AT ITER 3005 NEW BEST:: SOT 11949994 SOS 7503614 HAS SOPS 6234182 HAS SOUS 2101239 HAS SOUPS 2005960 WITH SCORE 2013463.614
AT ITER 3022 NEW BEST:: SOT 11949532 SOS 7502727 HAS SOPS 6233135 HAS SOUS 2100086 HAS SOUPS 2004816 WITH SCORE 2012318.727
AT ITER 3029 NEW BEST:: SOT 11946879 SOS 7503264 HAS SOPS 6234355 HAS SOUS 2099540 HAS SOUPS 2004270 WITH SCORE 2011773.264
AT ITER 3072 NEW BEST:: SOT 11948382 SOS 7503834 HAS SOPS 6238829 HAS SOUS 2098548 HAS SOUPS 2003278 WITH SCORE 2010781.834
AT ITER 3088 NEW BEST:: SOT 11947285 SOS 7496570 HAS SOPS 6234254 HAS SOUS 2098154 HAS SOUPS 2002884 WITH SCORE 2010380.57
AT ITER 3097 NEW BEST:: SOT 11947284 SOS 7497399 HAS SOPS 6235382 HAS SOUS 2097897 HAS SOUPS 2002627 WITH SCORE 2010124.399
AT ITER 3130 NEW BEST:: SOT 11945210 SOS 7495117 HAS SOPS 6232574 HAS SOUS 2094625 HAS SOUPS 1999355 WITH SCORE 2006850.117
AT ITER 3132 NEW BEST:: SOT 11944297 SOS 7493280 HAS SOPS 6230865 HAS SOUS 2094210 HAS SOUPS 1998972 WITH SCORE 2006465.28
AT ITER 3144 NEW BEST:: SOT 11943444 SOS 7490436 HAS SOPS 6227648 HAS SOUS 2094107 HAS SOUPS 1998852 WITH SCORE 2006342.436
AT ITER 3164 NEW BEST:: SOT 11936667 SOS 7482162 HAS SOPS 6219037 HAS SOUS 2087119 HAS SOUPS 1991785 WITH SCORE 1999267.162
AT ITER 3202 NEW BEST:: SOT 11937143 SOS 7481675 HAS SOPS 6218130 HAS SOUS 2084718 HAS SOUPS 1989384 WITH SCORE 1996865.675
AT ITER 3223 NEW BEST:: SOT 11937728 SOS 7482930 HAS SOPS 6219405 HAS SOUS 2083961 HAS SOUPS 1988627 WITH SCORE 1996109.93
AT ITER 3234 NEW BEST:: SOT 11937882 SOS 7482994 HAS SOPS 6219559 HAS SOUS 2083253 HAS SOUPS 1987983 WITH SCORE 1995465.994
AT ITER 3251 NEW BEST:: SOT 11934157 SOS 7480046 HAS SOPS 6213934 HAS SOUS 2078646 HAS SOUPS 1983269 WITH SCORE 1990749.046
AT ITER 3253 NEW BEST:: SOT 11936920 SOS 7482610 HAS SOPS 6218273 HAS SOUS 2075859 HAS SOUPS 1980672 WITH SCORE 1988154.61
AT ITER 3280 NEW BEST:: SOT 11935802 SOS 7478907 HAS SOPS 6215070 HAS SOUS 2072363 HAS SOUPS 1977176 WITH SCORE 1984654.907
AT ITER 3282 NEW BEST:: SOT 11936592 SOS 7478355 HAS SOPS 6214438 HAS SOUS 2071486 HAS SOUPS 1976299 WITH SCORE 1983777.355
AT ITER 3287 NEW BEST:: SOT 11936511 SOS 7483434 HAS SOPS 6217685 HAS SOUS 2066833 HAS SOUPS 1971646 WITH SCORE 1979129.434
AT ITER 3294 NEW BEST:: SOT 11936396 SOS 7483292 HAS SOPS 6217522 HAS SOUS 2066649 HAS SOUPS 1971465 WITH SCORE 1978948.292
AT ITER 3296 NEW BEST:: SOT 11939121 SOS 7486017 HAS SOPS 6219559 HAS SOUS 2066274 HAS SOUPS 1971090 WITH SCORE 1978576.017
AT ITER 3298 NEW BEST:: SOT 11937746 SOS 7483978 HAS SOPS 6218152 HAS SOUS 2065255 HAS SOUPS 1970071 WITH SCORE 1977554.978
AT ITER 3308 NEW BEST:: SOT 11935680 SOS 7481226 HAS SOPS 6214659 HAS SOUS 2062179 HAS SOUPS 1966995 WITH SCORE 1974476.226
AT ITER 3314 NEW BEST:: SOT 11935600 SOS 7481146 HAS SOPS 6214579 HAS SOUS 2062179 HAS SOUPS 1966995 WITH SCORE 1974476.146
AT ITER 3320 NEW BEST:: SOT 11935572 SOS 7480326 HAS SOPS 6213294 HAS SOUS 2060893 HAS SOUPS 1965724 WITH SCORE 1973204.326
AT ITER 3324 NEW BEST:: SOT 11935182 SOS 7489438 HAS SOPS 6220139 HAS SOUS 2058472 HAS SOUPS 1963303 WITH SCORE 1970792.438
AT ITER 3327 NEW BEST:: SOT 11942224 SOS 7494334 HAS SOPS 6219439 HAS SOUS 2054033 HAS SOUPS 1958864 WITH SCORE 1966358.334
AT ITER 3351 NEW BEST:: SOT 11939440 SOS 7489933 HAS SOPS 6211966 HAS SOUS 2046434 HAS SOUPS 1951032 WITH SCORE 1958521.933
AT ITER 3369 NEW BEST:: SOT 11939762 SOS 7489695 HAS SOPS 6211672 HAS SOUS 2042540 HAS SOUPS 1947138 WITH SCORE 1954627.695
AT ITER 3379 NEW BEST:: SOT 11939326 SOS 7489550 HAS SOPS 6212418 HAS SOUS 2041470 HAS SOUPS 1946068 WITH SCORE 1953557.55
AT ITER 3396 NEW BEST:: SOT 11938536 SOS 7488737 HAS SOPS 6211628 HAS SOUS 2040680 HAS SOUPS 1945301 WITH SCORE 1952789.737
AT ITER 3404 NEW BEST:: SOT 11939494 SOS 7489679 HAS SOPS 6211330 HAS SOUS 2038897 HAS SOUPS 1942118 WITH SCORE 1949607.679
AT ITER 3406 NEW BEST:: SOT 11938028 SOS 7487562 HAS SOPS 6209289 HAS SOUS 2037544 HAS SOUPS 1940765 WITH SCORE 1948252.562
AT ITER 3422 NEW BEST:: SOT 11931029 SOS 7480245 HAS SOPS 6201384 HAS SOUS 2025997 HAS SOUPS 1929218 WITH SCORE 1936698.245
AT ITER 3430 NEW BEST:: SOT 11927272 SOS 7473025 HAS SOPS 6194213 HAS SOUS 2021310 HAS SOUPS 1924531 WITH SCORE 1932004.025
AT ITER 3431 NEW BEST:: SOT 11927158 SOS 7472913 HAS SOPS 6194031 HAS SOUS 2021146 HAS SOUPS 1924367 WITH SCORE 1931839.913
AT ITER 3435 NEW BEST:: SOT 11926073 SOS 7469951 HAS SOPS 6191235 HAS SOUS 2020502 HAS SOUPS 1923667 WITH SCORE 1931136.951
AT ITER 3442 NEW BEST:: SOT 11926492 SOS 7473681 HAS SOPS 6197212 HAS SOUS 2020033 HAS SOUPS 1923198 WITH SCORE 1930671.681
AT ITER 3443 NEW BEST:: SOT 11925228 SOS 7472786 HAS SOPS 6196218 HAS SOUS 2018129 HAS SOUPS 1921734 WITH SCORE 1929206.786
AT ITER 3454 NEW BEST:: SOT 11925117 SOS 7474661 HAS SOPS 6199081 HAS SOUS 2017056 HAS SOUPS 1920661 WITH SCORE 1928135.661
AT ITER 3459 NEW BEST:: SOT 11922607 SOS 7472048 HAS SOPS 6195515 HAS SOUS 2013328 HAS SOUPS 1916933 WITH SCORE 1924405.048
AT ITER 3463 NEW BEST:: SOT 11920333 SOS 7469371 HAS SOPS 6192997 HAS SOUS 2011359 HAS SOUPS 1914964 WITH SCORE 1922433.371
AT ITER 3479 NEW BEST:: SOT 11920009 SOS 7469047 HAS SOPS 6192545 HAS SOUS 2010519 HAS SOUPS 1914124 WITH SCORE 1921593.047
AT ITER 3482 NEW BEST:: SOT 11913173 SOS 7456654 HAS SOPS 6183069 HAS SOUS 2002088 HAS SOUPS 1906529 WITH SCORE 1913985.654
AT ITER 3485 NEW BEST:: SOT 11912511 SOS 7451365 HAS SOPS 6181626 HAS SOUS 2000177 HAS SOUPS 1904618 WITH SCORE 1912069.365
AT ITER 3490 NEW BEST:: SOT 11907440 SOS 7430612 HAS SOPS 6164660 HAS SOUS 1997418 HAS SOUPS 1901859 WITH SCORE 1909289.612
AT ITER 3494 NEW BEST:: SOT 11905176 SOS 7419558 HAS SOPS 6159720 HAS SOUS 1993793 HAS SOUPS 1898635 WITH SCORE 1906054.558
AT ITER 3499 NEW BEST:: SOT 11902315 SOS 7416133 HAS SOPS 6157159 HAS SOUS 1987617 HAS SOUPS 1892520 WITH SCORE 1899936.133
AT ITER 3501 NEW BEST:: SOT 11902308 SOS 7415041 HAS SOPS 6156026 HAS SOUS 1987574 HAS SOUPS 1892477 WITH SCORE 1899892.041
AT ITER 3502 NEW BEST:: SOT 11902416 SOS 7413935 HAS SOPS 6155634 HAS SOUS 1987181 HAS SOUPS 1892084 WITH SCORE 1899497.935
AT ITER 3513 NEW BEST:: SOT 11902472 SOS 7414023 HAS SOPS 6155746 HAS SOUS 1987181 HAS SOUPS 1892082 WITH SCORE 1899496.023
AT ITER 3518 NEW BEST:: SOT 11902466 SOS 7414094 HAS SOPS 6155810 HAS SOUS 1987165 HAS SOUPS 1892066 WITH SCORE 1899480.094
AT ITER 3520 NEW BEST:: SOT 11901990 SOS 7413632 HAS SOPS 6155124 HAS SOUS 1986767 HAS SOUPS 1891540 WITH SCORE 1898953.632
AT ITER 3524 NEW BEST:: SOT 11901728 SOS 7411959 HAS SOPS 6153095 HAS SOUS 1986246 HAS SOUPS 1891019 WITH SCORE 1898430.959
AT ITER 3544 NEW BEST:: SOT 11903021 SOS 7413649 HAS SOPS 6155549 HAS SOUS 1985962 HAS SOUPS 1890978 WITH SCORE 1898391.649
AT ITER 3560 NEW BEST:: SOT 11905109 SOS 7426619 HAS SOPS 6165382 HAS SOUS 1981101 HAS SOUPS 1886098 WITH SCORE 1893524.619
AT ITER 3570 NEW BEST:: SOT 11902521 SOS 7424283 HAS SOPS 6162794 HAS SOUS 1979829 HAS SOUPS 1884802 WITH SCORE 1892226.283
AT ITER 3589 NEW BEST:: SOT 11892939 SOS 7417214 HAS SOPS 6155919 HAS SOUS 1976299 HAS SOUPS 1881160 WITH SCORE 1888577.214
AT ITER 3603 NEW BEST:: SOT 11892625 SOS 7417699 HAS SOPS 6154999 HAS SOUS 1975586 HAS SOUPS 1880447 WITH SCORE 1887864.699
AT ITER 3609 NEW BEST:: SOT 11891786 SOS 7416749 HAS SOPS 6154349 HAS SOUS 1973556 HAS SOUPS 1878481 WITH SCORE 1885897.749
AT ITER 3638 NEW BEST:: SOT 11891155 SOS 7415836 HAS SOPS 6153696 HAS SOUS 1972192 HAS SOUPS 1877138 WITH SCORE 1884553.836
AT ITER 3639 NEW BEST:: SOT 11890106 SOS 7414338 HAS SOPS 6152579 HAS SOUS 1971620 HAS SOUPS 1876566 WITH SCORE 1883980.338
AT ITER 3642 NEW BEST:: SOT 11888971 SOS 7414140 HAS SOPS 6151824 HAS SOUS 1968102 HAS SOUPS 1872996 WITH SCORE 1880410.14
AT ITER 3648 NEW BEST:: SOT 11887670 SOS 7413015 HAS SOPS 6150886 HAS SOUS 1965315 HAS SOUPS 1870209 WITH SCORE 1877622.015
AT ITER 3655 NEW BEST:: SOT 11887919 SOS 7418461 HAS SOPS 6153273 HAS SOUS 1964862 HAS SOUPS 1869711 WITH SCORE 1877129.461
AT ITER 3663 NEW BEST:: SOT 11888236 SOS 7417921 HAS SOPS 6153658 HAS SOUS 1964205 HAS SOUPS 1869129 WITH SCORE 1876546.921
AT ITER 3676 NEW BEST:: SOT 11887785 SOS 7417549 HAS SOPS 6152887 HAS SOUS 1964125 HAS SOUPS 1868887 WITH SCORE 1876304.549
AT ITER 3689 NEW BEST:: SOT 11887581 SOS 7417337 HAS SOPS 6152611 HAS SOUS 1963605 HAS SOUPS 1868367 WITH SCORE 1875784.337
AT ITER 3696 NEW BEST:: SOT 11886002 SOS 7404996 HAS SOPS 6141763 HAS SOUS 1961365 HAS SOUPS 1867519 WITH SCORE 1874923.996
AT ITER 3724 NEW BEST:: SOT 11884598 SOS 7404119 HAS SOPS 6140519 HAS SOUS 1960893 HAS SOUPS 1866996 WITH SCORE 1874400.119
AT ITER 3737 NEW BEST:: SOT 11883334 SOS 7402844 HAS SOPS 6139683 HAS SOUS 1959958 HAS SOUPS 1866500 WITH SCORE 1873902.844
AT ITER 3745 NEW BEST:: SOT 11882821 SOS 7402331 HAS SOPS 6139062 HAS SOUS 1959148 HAS SOUPS 1865687 WITH SCORE 1873089.331
AT ITER 3749 NEW BEST:: SOT 11882629 SOS 7402123 HAS SOPS 6138854 HAS SOUS 1958527 HAS SOUPS 1865066 WITH SCORE 1872468.123
AT ITER 3755 NEW BEST:: SOT 11882027 SOS 7401598 HAS SOPS 6138104 HAS SOUS 1958448 HAS SOUPS 1865002 WITH SCORE 1872403.598
AT ITER 3764 NEW BEST:: SOT 11881184 SOS 7400755 HAS SOPS 6137261 HAS SOUS 1957827 HAS SOUPS 1864381 WITH SCORE 1871781.755
AT ITER 3768 NEW BEST:: SOT 11881012 SOS 7400851 HAS SOPS 6137093 HAS SOUS 1956739 HAS SOUPS 1863278 WITH SCORE 1870678.851
AT ITER 3772 NEW BEST:: SOT 11879648 SOS 7395858 HAS SOPS 6132007 HAS SOUS 1956439 HAS SOUPS 1862974 WITH SCORE 1870369.858
AT ITER 3804 NEW BEST:: SOT 11879648 SOS 7395939 HAS SOPS 6131824 HAS SOUS 1956202 HAS SOUPS 1862733 WITH SCORE 1870128.939
AT ITER 3810 NEW BEST:: SOT 11878637 SOS 7393892 HAS SOPS 6130281 HAS SOUS 1953816 HAS SOUPS 1860382 WITH SCORE 1867775.892
AT ITER 3816 NEW BEST:: SOT 11879380 SOS 7393269 HAS SOPS 6129222 HAS SOUS 1952824 HAS SOUPS 1859477 WITH SCORE 1866870.269
AT ITER 3817 NEW BEST:: SOT 11878351 SOS 7393240 HAS SOPS 6129794 HAS SOUS 1951710 HAS SOUPS 1858363 WITH SCORE 1865756.24
AT ITER 3824 NEW BEST:: SOT 11882880 SOS 7406728 HAS SOPS 6138264 HAS SOUS 1949622 HAS SOUPS 1856275 WITH SCORE 1863681.728
AT ITER 3827 NEW BEST:: SOT 11882717 SOS 7406481 HAS SOPS 6137966 HAS SOUS 1949252 HAS SOUPS 1855905 WITH SCORE 1863311.481
AT ITER 3830 NEW BEST:: SOT 11882334 SOS 7402710 HAS SOPS 6135052 HAS SOUS 1948526 HAS SOUPS 1855223 WITH SCORE 1862625.71
AT ITER 3834 NEW BEST:: SOT 11882214 SOS 7402640 HAS SOPS 6134981 HAS SOUS 1948388 HAS SOUPS 1855085 WITH SCORE 1862487.64
AT ITER 3851 NEW BEST:: SOT 11882150 SOS 7402587 HAS SOPS 6134864 HAS SOUS 1948264 HAS SOUPS 1854960 WITH SCORE 1862362.587
AT ITER 3874 NEW BEST:: SOT 11881685 SOS 7402122 HAS SOPS 6134399 HAS SOUS 1947759 HAS SOUPS 1854455 WITH SCORE 1861857.122
AT ITER 3903 NEW BEST:: SOT 11881694 SOS 7402166 HAS SOPS 6134435 HAS SOUS 1947751 HAS SOUPS 1854447 WITH SCORE 1861849.166
AT ITER 3907 NEW BEST:: SOT 11879697 SOS 7399730 HAS SOPS 6132503 HAS SOUS 1947170 HAS SOUPS 1853903 WITH SCORE 1861302.73
AT ITER 3948 NEW BEST:: SOT 11881613 SOS 7403128 HAS SOPS 6133533 HAS SOUS 1943371 HAS SOUPS 1850048 WITH SCORE 1857451.128
AT ITER 3960 NEW BEST:: SOT 11875347 SOS 7391872 HAS SOPS 6125200 HAS SOUS 1939645 HAS SOUPS 1846454 WITH SCORE 1853845.872
AT ITER 3963 NEW BEST:: SOT 11875384 SOS 7390901 HAS SOPS 6124803 HAS SOUS 1939338 HAS SOUPS 1846147 WITH SCORE 1853537.901
AT ITER 3966 NEW BEST:: SOT 11876230 SOS 7393542 HAS SOPS 6125996 HAS SOUS 1938078 HAS SOUPS 1844887 WITH SCORE 1852280.542
AT ITER 3983 NEW BEST:: SOT 11875766 SOS 7393070 HAS SOPS 6125276 HAS SOUS 1936814 HAS SOUPS 1843623 WITH SCORE 1851016.07
AT ITER 4006 NEW BEST:: SOT 11872907 SOS 7385336 HAS SOPS 6123260 HAS SOUS 1936730 HAS SOUPS 1843539 WITH SCORE 1850924.336
AT ITER 4007 NEW BEST:: SOT 11871695 SOS 7383021 HAS SOPS 6121091 HAS SOUS 1934050 HAS SOUPS 1840885 WITH SCORE 1848268.021
AT ITER 4011 NEW BEST:: SOT 11871073 SOS 7382441 HAS SOPS 6120150 HAS SOUS 1932440 HAS SOUPS 1839267 WITH SCORE 1846649.441
AT ITER 4018 NEW BEST:: SOT 11870747 SOS 7382612 HAS SOPS 6120744 HAS SOUS 1930398 HAS SOUPS 1837225 WITH SCORE 1844607.612
AT ITER 4022 NEW BEST:: SOT 11869217 SOS 7380297 HAS SOPS 6118641 HAS SOUS 1928616 HAS SOUPS 1835494 WITH SCORE 1842874.297
AT ITER 4024 NEW BEST:: SOT 11869065 SOS 7382063 HAS SOPS 6121551 HAS SOUS 1924375 HAS SOUPS 1831327 WITH SCORE 1838709.063
AT ITER 4027 NEW BEST:: SOT 11870714 SOS 7384941 HAS SOPS 6124816 HAS SOUS 1923355 HAS SOUPS 1830360 WITH SCORE 1837744.941
AT ITER 4032 NEW BEST:: SOT 11873790 SOS 7389605 HAS SOPS 6128304 HAS SOUS 1922126 HAS SOUPS 1829131 WITH SCORE 1836520.605
AT ITER 4033 NEW BEST:: SOT 11872747 SOS 7388459 HAS SOPS 6127819 HAS SOUS 1919294 HAS SOUPS 1826345 WITH SCORE 1833733.459
AT ITER 4038 NEW BEST:: SOT 11872597 SOS 7388438 HAS SOPS 6127734 HAS SOUS 1918995 HAS SOUPS 1826042 WITH SCORE 1833430.438
AT ITER 4054 NEW BEST:: SOT 11872907 SOS 7389380 HAS SOPS 6128711 HAS SOUS 1918273 HAS SOUPS 1825320 WITH SCORE 1832709.38
AT ITER 4063 NEW BEST:: SOT 11871960 SOS 7388480 HAS SOPS 6127331 HAS SOUS 1915749 HAS SOUPS 1822796 WITH SCORE 1830184.48
AT ITER 4080 NEW BEST:: SOT 11868633 SOS 7383532 HAS SOPS 6120810 HAS SOUS 1908871 HAS SOUPS 1816176 WITH SCORE 1823559.532
AT ITER 4081 NEW BEST:: SOT 11868153 SOS 7382006 HAS SOPS 6119798 HAS SOUS 1906814 HAS SOUPS 1814263 WITH SCORE 1821645.006
AT ITER 4093 NEW BEST:: SOT 11862524 SOS 7371168 HAS SOPS 6108429 HAS SOUS 1897300 HAS SOUPS 1804822 WITH SCORE 1812193.168
AT ITER 4099 NEW BEST:: SOT 11862147 SOS 7370945 HAS SOPS 6107979 HAS SOUS 1896525 HAS SOUPS 1804047 WITH SCORE 1811417.945
AT ITER 4113 NEW BEST:: SOT 11862018 SOS 7370799 HAS SOPS 6107748 HAS SOUS 1896447 HAS SOUPS 1803969 WITH SCORE 1811339.799
AT ITER 4133 NEW BEST:: SOT 11860024 SOS 7364692 HAS SOPS 6100377 HAS SOUS 1891270 HAS SOUPS 1798792 WITH SCORE 1806156.692
AT ITER 4135 NEW BEST:: SOT 11855888 SOS 7361222 HAS SOPS 6096664 HAS SOUS 1889687 HAS SOUPS 1797137 WITH SCORE 1804498.222
AT ITER 4137 NEW BEST:: SOT 11854749 SOS 7347260 HAS SOPS 6083543 HAS SOUS 1889543 HAS SOUPS 1796993 WITH SCORE 1804340.26
AT ITER 4166 NEW BEST:: SOT 11857849 SOS 7353814 HAS SOPS 6088503 HAS SOUS 1887712 HAS SOUPS 1795162 WITH SCORE 1802515.814
AT ITER 4171 NEW BEST:: SOT 11855371 SOS 7351252 HAS SOPS 6085735 HAS SOUS 1878091 HAS SOUPS 1785477 WITH SCORE 1792828.252
AT ITER 4198 NEW BEST:: SOT 11854974 SOS 7350336 HAS SOPS 6084427 HAS SOUS 1876980 HAS SOUPS 1784366 WITH SCORE 1791716.336
AT ITER 4214 NEW BEST:: SOT 11853940 SOS 7348927 HAS SOPS 6082706 HAS SOUS 1875070 HAS SOUPS 1782470 WITH SCORE 1789818.927
AT ITER 4225 NEW BEST:: SOT 11856197 SOS 7352502 HAS SOPS 6088068 HAS SOUS 1873748 HAS SOUPS 1781542 WITH SCORE 1788894.502
AT ITER 4237 NEW BEST:: SOT 11856086 SOS 7351186 HAS SOPS 6089102 HAS SOUS 1872364 HAS SOUPS 1780158 WITH SCORE 1787509.186
AT ITER 4241 NEW BEST:: SOT 11855606 SOS 7352110 HAS SOPS 6089280 HAS SOUS 1870714 HAS SOUPS 1778469 WITH SCORE 1785821.11
AT ITER 4246 NEW BEST:: SOT 11849158 SOS 7342110 HAS SOPS 6077552 HAS SOUS 1863079 HAS SOUPS 1770834 WITH SCORE 1778176.11
AT ITER 4253 NEW BEST:: SOT 11848093 SOS 7340617 HAS SOPS 6075808 HAS SOUS 1861502 HAS SOUPS 1769257 WITH SCORE 1776597.617
AT ITER 4258 NEW BEST:: SOT 11848045 SOS 7340272 HAS SOPS 6075415 HAS SOUS 1861463 HAS SOUPS 1769218 WITH SCORE 1776558.272
AT ITER 4269 NEW BEST:: SOT 11848751 SOS 7340842 HAS SOPS 6075887 HAS SOUS 1861349 HAS SOUPS 1769036 WITH SCORE 1776376.842
AT ITER 4273 NEW BEST:: SOT 11848885 SOS 7340976 HAS SOPS 6076021 HAS SOUS 1860403 HAS SOUPS 1768090 WITH SCORE 1775430.976
AT ITER 4279 NEW BEST:: SOT 11849428 SOS 7342158 HAS SOPS 6076890 HAS SOUS 1859846 HAS SOUPS 1767560 WITH SCORE 1774902.158
AT ITER 4285 NEW BEST:: SOT 11848533 SOS 7338640 HAS SOPS 6073581 HAS SOUS 1859847 HAS SOUPS 1767561 WITH SCORE 1774899.64
AT ITER 4293 NEW BEST:: SOT 11848432 SOS 7338484 HAS SOPS 6073425 HAS SOUS 1859561 HAS SOUPS 1767275 WITH SCORE 1774613.484
AT ITER 4308 NEW BEST:: SOT 11848147 SOS 7337275 HAS SOPS 6072676 HAS SOUS 1859308 HAS SOUPS 1767022 WITH SCORE 1774359.275
AT ITER 4313 NEW BEST:: SOT 11846329 SOS 7335157 HAS SOPS 6068842 HAS SOUS 1853031 HAS SOUPS 1760745 WITH SCORE 1768080.157
AT ITER 4325 NEW BEST:: SOT 11846258 SOS 7333744 HAS SOPS 6067091 HAS SOUS 1851601 HAS SOUPS 1759315 WITH SCORE 1766648.744
AT ITER 4332 NEW BEST:: SOT 11846280 SOS 7334123 HAS SOPS 6066998 HAS SOUS 1849680 HAS SOUPS 1757394 WITH SCORE 1764728.123
AT ITER 4384 NEW BEST:: SOT 11845613 SOS 7333065 HAS SOPS 6066137 HAS SOUS 1847513 HAS SOUPS 1755227 WITH SCORE 1762560.065
AT ITER 4398 NEW BEST:: SOT 11845346 SOS 7332826 HAS SOPS 6065561 HAS SOUS 1845996 HAS SOUPS 1753782 WITH SCORE 1761114.826
AT ITER 4402 NEW BEST:: SOT 11845216 SOS 7332762 HAS SOPS 6065049 HAS SOUS 1845568 HAS SOUPS 1753346 WITH SCORE 1760678.762
AT ITER 4414 NEW BEST:: SOT 11845758 SOS 7333304 HAS SOPS 6065351 HAS SOUS 1845614 HAS SOUPS 1753280 WITH SCORE 1760613.304
AT ITER 4421 NEW BEST:: SOT 11846169 SOS 7324316 HAS SOPS 6063426 HAS SOUS 1845562 HAS SOUPS 1753228 WITH SCORE 1760552.316
AT ITER 4471 NEW BEST:: SOT 11849383 SOS 7325358 HAS SOPS 6064222 HAS SOUS 1845448 HAS SOUPS 1753114 WITH SCORE 1760439.358
AT ITER 4479 NEW BEST:: SOT 11848396 SOS 7322451 HAS SOPS 6062080 HAS SOUS 1844657 HAS SOUPS 1752323 WITH SCORE 1759645.451
AT ITER 4495 NEW BEST:: SOT 11848315 SOS 7322478 HAS SOPS 6062035 HAS SOUS 1844554 HAS SOUPS 1752220 WITH SCORE 1759542.478
AT ITER 4498 NEW BEST:: SOT 11846879 SOS 7321099 HAS SOPS 6060896 HAS SOUS 1844306 HAS SOUPS 1751972 WITH SCORE 1759293.099
AT ITER 4503 NEW BEST:: SOT 11857269 SOS 7345150 HAS SOPS 6084096 HAS SOUS 1843298 HAS SOUPS 1750964 WITH SCORE 1758309.15
AT ITER 4506 NEW BEST:: SOT 11859877 SOS 7354723 HAS SOPS 6094229 HAS SOUS 1840429 HAS SOUPS 1748095 WITH SCORE 1755449.723
AT ITER 4509 NEW BEST:: SOT 11859752 SOS 7354597 HAS SOPS 6094086 HAS SOUS 1839896 HAS SOUPS 1747609 WITH SCORE 1754963.597
AT ITER 4552 NEW BEST:: SOT 11859406 SOS 7352571 HAS SOPS 6091104 HAS SOUS 1836859 HAS SOUPS 1744572 WITH SCORE 1751924.571
AT ITER 4555 NEW BEST:: SOT 11859382 SOS 7352330 HAS SOPS 6090406 HAS SOUS 1836530 HAS SOUPS 1744243 WITH SCORE 1751595.33
AT ITER 4565 NEW BEST:: SOT 11858558 SOS 7349516 HAS SOPS 6087881 HAS SOUS 1834217 HAS SOUPS 1741996 WITH SCORE 1749345.516
AT ITER 4625 NEW BEST:: SOT 11856096 SOS 7343027 HAS SOPS 6087407 HAS SOUS 1834174 HAS SOUPS 1741953 WITH SCORE 1749296.027
AT ITER 4628 NEW BEST:: SOT 11855826 SOS 7341761 HAS SOPS 6086283 HAS SOUS 1833660 HAS SOUPS 1741439 WITH SCORE 1748780.761
AT ITER 4636 NEW BEST:: SOT 11855888 SOS 7341937 HAS SOPS 6086462 HAS SOUS 1833638 HAS SOUPS 1741417 WITH SCORE 1748758.937
AT ITER 4642 NEW BEST:: SOT 11855244 SOS 7339649 HAS SOPS 6084558 HAS SOUS 1833545 HAS SOUPS 1741324 WITH SCORE 1748663.649
AT ITER 4649 NEW BEST:: SOT 11853688 SOS 7338059 HAS SOPS 6083844 HAS SOUS 1831423 HAS SOUPS 1740318 WITH SCORE 1747656.059
AT ITER 4683 NEW BEST:: SOT 11847137 SOS 7320765 HAS SOPS 6066136 HAS SOUS 1823451 HAS SOUPS 1732726 WITH SCORE 1740046.765
AT ITER 4687 NEW BEST:: SOT 11847371 SOS 7320937 HAS SOPS 6065984 HAS SOUS 1823290 HAS SOUPS 1732565 WITH SCORE 1739885.937
AT ITER 4698 NEW BEST:: SOT 11847134 SOS 7320673 HAS SOPS 6065578 HAS SOUS 1822769 HAS SOUPS 1732044 WITH SCORE 1739364.673
AT ITER 4700 NEW BEST:: SOT 11846409 SOS 7319928 HAS SOPS 6065153 HAS SOUS 1821460 HAS SOUPS 1730735 WITH SCORE 1738054.928
AT ITER 4705 NEW BEST:: SOT 11844998 SOS 7318639 HAS SOPS 6062877 HAS SOUS 1819659 HAS SOUPS 1728934 WITH SCORE 1736252.639
AT ITER 4734 NEW BEST:: SOT 11844366 SOS 7317869 HAS SOPS 6061912 HAS SOUS 1817977 HAS SOUPS 1727261 WITH SCORE 1734578.869
AT ITER 4756 NEW BEST:: SOT 11840809 SOS 7313417 HAS SOPS 6058459 HAS SOUS 1809646 HAS SOUPS 1718930 WITH SCORE 1726243.417
AT ITER 4764 NEW BEST:: SOT 11841134 SOS 7313719 HAS SOPS 6058716 HAS SOUS 1809150 HAS SOUPS 1718722 WITH SCORE 1726035.719
AT ITER 4768 NEW BEST:: SOT 11840042 SOS 7311205 HAS SOPS 6056623 HAS SOUS 1808241 HAS SOUPS 1717840 WITH SCORE 1725151.205
AT ITER 4776 NEW BEST:: SOT 11838358 SOS 7310056 HAS SOPS 6054507 HAS SOUS 1806080 HAS SOUPS 1715414 WITH SCORE 1722724.056
AT ITER 4810 NEW BEST:: SOT 11839140 SOS 7309288 HAS SOPS 6052362 HAS SOUS 1805354 HAS SOUPS 1714688 WITH SCORE 1721997.288
AT ITER 4831 NEW BEST:: SOT 11838627 SOS 7308410 HAS SOPS 6050670 HAS SOUS 1802212 HAS SOUPS 1711592 WITH SCORE 1718900.41
AT ITER 4833 NEW BEST:: SOT 11838087 SOS 7307056 HAS SOPS 6048817 HAS SOUS 1801852 HAS SOUPS 1711232 WITH SCORE 1718539.056
AT ITER 4840 NEW BEST:: SOT 11837777 SOS 7306618 HAS SOPS 6048133 HAS SOUS 1801408 HAS SOUPS 1710788 WITH SCORE 1718094.618
AT ITER 4844 NEW BEST:: SOT 11837571 SOS 7304923 HAS SOPS 6046145 HAS SOUS 1800468 HAS SOUPS 1709848 WITH SCORE 1717152.923
AT ITER 4862 NEW BEST:: SOT 11830775 SOS 7292248 HAS SOPS 6035147 HAS SOUS 1798916 HAS SOUPS 1708296 WITH SCORE 1715588.248
AT ITER 4907 NEW BEST:: SOT 11828995 SOS 7290532 HAS SOPS 6033079 HAS SOUS 1797155 HAS SOUPS 1706228 WITH SCORE 1713518.532
AT ITER 4914 NEW BEST:: SOT 11830388 SOS 7290722 HAS SOPS 6036809 HAS SOUS 1794350 HAS SOUPS 1703423 WITH SCORE 1710713.722
AT ITER 4930 NEW BEST:: SOT 11829214 SOS 7290187 HAS SOPS 6036622 HAS SOUS 1793426 HAS SOUPS 1702499 WITH SCORE 1709789.187
AT ITER 4939 NEW BEST:: SOT 11827996 SOS 7288499 HAS SOPS 6034673 HAS SOUS 1790218 HAS SOUPS 1699311 WITH SCORE 1706599.499
AT ITER 4947 NEW BEST:: SOT 11828295 SOS 7287946 HAS SOPS 6035191 HAS SOUS 1789809 HAS SOUPS 1698902 WITH SCORE 1706189.946
AT ITER 4993 NEW BEST:: SOT 11828627 SOS 7288257 HAS SOPS 6036174 HAS SOUS 1788992 HAS SOUPS 1698757 WITH SCORE 1706045.257
AT ITER 4999 NEW BEST:: SOT 11827275 SOS 7286541 HAS SOPS 6034042 HAS SOUS 1786236 HAS SOUPS 1696014 WITH SCORE 1703300.541
AT ITER 5004 NEW BEST:: SOT 11826988 SOS 7285828 HAS SOPS 6033626 HAS SOUS 1785996 HAS SOUPS 1695781 WITH SCORE 1703066.828
AT ITER 5034 NEW BEST:: SOT 11826988 SOS 7285846 HAS SOPS 6033644 HAS SOUS 1785906 HAS SOUPS 1695691 WITH SCORE 1702976.846
AT ITER 5047 NEW BEST:: SOT 11826765 SOS 7285407 HAS SOPS 6033202 HAS SOUS 1785773 HAS SOUPS 1695558 WITH SCORE 1702843.407
AT ITER 5048 NEW BEST:: SOT 11826495 SOS 7284837 HAS SOPS 6032608 HAS SOUS 1785498 HAS SOUPS 1695286 WITH SCORE 1702570.837
AT ITER 5089 NEW BEST:: SOT 11818752 SOS 7277485 HAS SOPS 6024637 HAS SOUS 1778468 HAS SOUPS 1688203 WITH SCORE 1695480.485
AT ITER 5090 NEW BEST:: SOT 11817994 SOS 7276682 HAS SOPS 6023234 HAS SOUS 1777097 HAS SOUPS 1686832 WITH SCORE 1694108.682
AT ITER 5125 NEW BEST:: SOT 11817408 SOS 7276032 HAS SOPS 6022448 HAS SOUS 1776383 HAS SOUPS 1686110 WITH SCORE 1693386.032
AT ITER 5148 NEW BEST:: SOT 11816382 SOS 7275291 HAS SOPS 6021522 HAS SOUS 1774865 HAS SOUPS 1684592 WITH SCORE 1691867.291
AT ITER 5173 NEW BEST:: SOT 11816115 SOS 7275066 HAS SOPS 6021161 HAS SOUS 1774604 HAS SOUPS 1684331 WITH SCORE 1691606.066
AT ITER 5175 NEW BEST:: SOT 11816258 SOS 7279455 HAS SOPS 6024151 HAS SOUS 1771271 HAS SOUPS 1680998 WITH SCORE 1688277.455
AT ITER 5184 NEW BEST:: SOT 11815665 SOS 7278304 HAS SOPS 6021689 HAS SOUS 1769872 HAS SOUPS 1679581 WITH SCORE 1686859.304
AT ITER 5216 NEW BEST:: SOT 11815750 SOS 7278364 HAS SOPS 6021819 HAS SOUS 1769833 HAS SOUPS 1679542 WITH SCORE 1686820.364
AT ITER 5258 NEW BEST:: SOT 11814629 SOS 7274719 HAS SOPS 6017406 HAS SOUS 1768812 HAS SOUPS 1678521 WITH SCORE 1685795.719
AT ITER 5288 NEW BEST:: SOT 11814804 SOS 7274998 HAS SOPS 6017357 HAS SOUS 1768725 HAS SOUPS 1678382 WITH SCORE 1685656.998
AT ITER 5331 NEW BEST:: SOT 11813670 SOS 7273843 HAS SOPS 6015834 HAS SOUS 1766619 HAS SOUPS 1676276 WITH SCORE 1683549.843
AT ITER 5348 NEW BEST:: SOT 11813447 SOS 7274228 HAS SOPS 6015633 HAS SOUS 1765600 HAS SOUPS 1675247 WITH SCORE 1682521.228
AT ITER 5350 NEW BEST:: SOT 11813039 SOS 7273882 HAS SOPS 6014967 HAS SOUS 1764596 HAS SOUPS 1674243 WITH SCORE 1681516.882
AT ITER 5359 NEW BEST:: SOT 11812854 SOS 7273332 HAS SOPS 6014879 HAS SOUS 1762450 HAS SOUPS 1672097 WITH SCORE 1679370.332
AT ITER 5383 NEW BEST:: SOT 11814998 SOS 7272970 HAS SOPS 6014450 HAS SOUS 1761871 HAS SOUPS 1671518 WITH SCORE 1678790.97
AT ITER 5438 NEW BEST:: SOT 11814877 SOS 7272869 HAS SOPS 6014362 HAS SOUS 1761744 HAS SOUPS 1671391 WITH SCORE 1678663.869
AT ITER 5440 NEW BEST:: SOT 11814329 SOS 7272321 HAS SOPS 6013750 HAS SOUS 1761272 HAS SOUPS 1670919 WITH SCORE 1678191.321
AT ITER 5461 NEW BEST:: SOT 11814741 SOS 7272701 HAS SOPS 6013922 HAS SOUS 1759696 HAS SOUPS 1669343 WITH SCORE 1676615.701
AT ITER 5462 NEW BEST:: SOT 11814976 SOS 7275882 HAS SOPS 6015886 HAS SOUS 1759735 HAS SOUPS 1669338 WITH SCORE 1676613.882
AT ITER 5464 NEW BEST:: SOT 11810085 SOS 7277446 HAS SOPS 6016951 HAS SOUS 1757473 HAS SOUPS 1667076 WITH SCORE 1674353.446
AT ITER 5494 NEW BEST:: SOT 11809374 SOS 7276225 HAS SOPS 6016068 HAS SOUS 1756445 HAS SOUPS 1666048 WITH SCORE 1673324.225
AT ITER 5513 NEW BEST:: SOT 11810867 SOS 7277621 HAS SOPS 6017561 HAS SOUS 1755402 HAS SOUPS 1665037 WITH SCORE 1672314.621
AT ITER 5524 NEW BEST:: SOT 11809850 SOS 7276350 HAS SOPS 6016022 HAS SOUS 1753556 HAS SOUPS 1663186 WITH SCORE 1670462.35
AT ITER 5551 NEW BEST:: SOT 11809568 SOS 7276088 HAS SOPS 6015696 HAS SOUS 1752714 HAS SOUPS 1662344 WITH SCORE 1669620.088
AT ITER 5553 NEW BEST:: SOT 11809944 SOS 7276864 HAS SOPS 6016160 HAS SOUS 1752681 HAS SOUPS 1662103 WITH SCORE 1669379.864
AT ITER 5573 NEW BEST:: SOT 11810891 SOS 7277973 HAS SOPS 6017707 HAS SOUS 1752462 HAS SOUPS 1661986 WITH SCORE 1669263.973
AT ITER 5574 NEW BEST:: SOT 11812058 SOS 7281281 HAS SOPS 6015044 HAS SOUS 1746318 HAS SOUPS 1655842 WITH SCORE 1663123.281
AT ITER 5618 NEW BEST:: SOT 11809491 SOS 7271537 HAS SOPS 6009683 HAS SOUS 1745565 HAS SOUPS 1655180 WITH SCORE 1662451.537
AT ITER 5641 NEW BEST:: SOT 11808680 SOS 7270664 HAS SOPS 6009941 HAS SOUS 1742676 HAS SOUPS 1652291 WITH SCORE 1659561.664
AT ITER 5643 NEW BEST:: SOT 11808694 SOS 7270678 HAS SOPS 6009923 HAS SOUS 1742034 HAS SOUPS 1651649 WITH SCORE 1658919.678
AT ITER 5649 NEW BEST:: SOT 11814890 SOS 7276714 HAS SOPS 6014503 HAS SOUS 1740760 HAS SOUPS 1650375 WITH SCORE 1657651.714
AT ITER 5651 NEW BEST:: SOT 11814774 SOS 7276431 HAS SOPS 6014188 HAS SOUS 1740711 HAS SOUPS 1650330 WITH SCORE 1657606.431
AT ITER 5652 NEW BEST:: SOT 11809634 SOS 7275203 HAS SOPS 6007870 HAS SOUS 1731438 HAS SOUPS 1641057 WITH SCORE 1648332.203
AT ITER 5654 NEW BEST:: SOT 11809634 SOS 7275735 HAS SOPS 6008402 HAS SOUS 1730906 HAS SOUPS 1640525 WITH SCORE 1647800.735
AT ITER 5663 NEW BEST:: SOT 11809468 SOS 7275515 HAS SOPS 6007903 HAS SOUS 1730426 HAS SOUPS 1640033 WITH SCORE 1647308.515
AT ITER 5681 NEW BEST:: SOT 11811354 SOS 7282348 HAS SOPS 6015024 HAS SOUS 1729540 HAS SOUPS 1639207 WITH SCORE 1646489.348
AT ITER 5687 NEW BEST:: SOT 11810023 SOS 7280201 HAS SOPS 6014094 HAS SOUS 1728699 HAS SOUPS 1638398 WITH SCORE 1645678.201
AT ITER 5704 NEW BEST:: SOT 11810031 SOS 7279997 HAS SOPS 6013972 HAS SOUS 1728637 HAS SOUPS 1638336 WITH SCORE 1645615.997
AT ITER 5710 NEW BEST:: SOT 11810192 SOS 7280116 HAS SOPS 6014152 HAS SOUS 1728294 HAS SOUPS 1637993 WITH SCORE 1645273.116
AT ITER 5719 NEW BEST:: SOT 11810159 SOS 7280522 HAS SOPS 6014483 HAS SOUS 1728194 HAS SOUPS 1637893 WITH SCORE 1645173.522
AT ITER 5728 NEW BEST:: SOT 11809344 SOS 7279703 HAS SOPS 6013664 HAS SOUS 1727451 HAS SOUPS 1637150 WITH SCORE 1644429.703
AT ITER 5750 NEW BEST:: SOT 11808533 SOS 7278663 HAS SOPS 6011999 HAS SOUS 1725357 HAS SOUPS 1635090 WITH SCORE 1642368.663
AT ITER 5754 NEW BEST:: SOT 11808228 SOS 7276412 HAS SOPS 6010365 HAS SOUS 1724871 HAS SOUPS 1634630 WITH SCORE 1641906.412
AT ITER 5760 NEW BEST:: SOT 11808043 SOS 7276255 HAS SOPS 6010313 HAS SOUS 1724581 HAS SOUPS 1634340 WITH SCORE 1641616.255
AT ITER 5772 NEW BEST:: SOT 11808093 SOS 7276200 HAS SOPS 6010433 HAS SOUS 1724519 HAS SOUPS 1634278 WITH SCORE 1641554.2
AT ITER 5775 NEW BEST:: SOT 11808238 SOS 7276875 HAS SOPS 6012042 HAS SOUS 1723232 HAS SOUPS 1632991 WITH SCORE 1640267.875
AT ITER 5792 NEW BEST:: SOT 11801937 SOS 7268222 HAS SOPS 6002453 HAS SOUS 1710163 HAS SOUPS 1620086 WITH SCORE 1627354.222
AT ITER 5823 NEW BEST:: SOT 11801283 SOS 7267785 HAS SOPS 6002216 HAS SOUS 1709524 HAS SOUPS 1619447 WITH SCORE 1626714.785
AT ITER 5824 NEW BEST:: SOT 11801267 SOS 7267772 HAS SOPS 6002187 HAS SOUS 1709496 HAS SOUPS 1619418 WITH SCORE 1626685.772
AT ITER 5903 NEW BEST:: SOT 11800505 SOS 7266220 HAS SOPS 6000866 HAS SOUS 1707970 HAS SOUPS 1618060 WITH SCORE 1625326.22
AT ITER 5913 NEW BEST:: SOT 11795319 SOS 7259028 HAS SOPS 5995088 HAS SOUS 1703712 HAS SOUPS 1613925 WITH SCORE 1621184.028
AT ITER 5955 NEW BEST:: SOT 11795103 SOS 7258788 HAS SOPS 5994952 HAS SOUS 1703136 HAS SOUPS 1613381 WITH SCORE 1620639.788
AT ITER 5959 NEW BEST:: SOT 11794783 SOS 7258468 HAS SOPS 5994408 HAS SOUS 1703200 HAS SOUPS 1613189 WITH SCORE 1620447.468
AT ITER 5961 NEW BEST:: SOT 11792615 SOS 7256388 HAS SOPS 5992088 HAS SOUS 1700312 HAS SOUPS 1610301 WITH SCORE 1617557.388
AT ITER 5982 NEW BEST:: SOT 11792499 SOS 7256176 HAS SOPS 5991876 HAS SOUS 1699882 HAS SOUPS 1609871 WITH SCORE 1617127.176
AT ITER 5986 NEW BEST:: SOT 11791995 SOS 7259814 HAS SOPS 5992487 HAS SOUS 1698612 HAS SOUPS 1608529 WITH SCORE 1615788.814
AT ITER 6002 NEW BEST:: SOT 11792311 SOS 7260250 HAS SOPS 5992491 HAS SOUS 1698176 HAS SOUPS 1608093 WITH SCORE 1615353.25
AT ITER 6023 NEW BEST:: SOT 11792026 SOS 7259917 HAS SOPS 5992574 HAS SOUS 1697603 HAS SOUPS 1607520 WITH SCORE 1614779.917
AT ITER 6031 NEW BEST:: SOT 11792383 SOS 7260797 HAS SOPS 5993524 HAS SOUS 1693631 HAS SOUPS 1603548 WITH SCORE 1610808.797
AT ITER 6055 NEW BEST:: SOT 11794866 SOS 7264127 HAS SOPS 5995102 HAS SOUS 1693045 HAS SOUPS 1602962 WITH SCORE 1610226.127
AT ITER 6069 NEW BEST:: SOT 11794865 SOS 7264090 HAS SOPS 5995095 HAS SOUS 1693041 HAS SOUPS 1602958 WITH SCORE 1610222.09
AT ITER 6075 NEW BEST:: SOT 11794753 SOS 7263284 HAS SOPS 5994177 HAS SOUS 1692766 HAS SOUPS 1602683 WITH SCORE 1609946.284
AT ITER 6076 NEW BEST:: SOT 11794136 SOS 7259622 HAS SOPS 5990578 HAS SOUS 1692138 HAS SOUPS 1602055 WITH SCORE 1609314.622
AT ITER 6084 NEW BEST:: SOT 11794039 SOS 7259413 HAS SOPS 5990131 HAS SOUS 1691285 HAS SOUPS 1601202 WITH SCORE 1608461.413
AT ITER 6107 NEW BEST:: SOT 11792319 SOS 7256979 HAS SOPS 5988944 HAS SOUS 1690140 HAS SOUPS 1600082 WITH SCORE 1607338.979
AT ITER 6121 NEW BEST:: SOT 11792984 SOS 7258103 HAS SOPS 5989473 HAS SOUS 1689448 HAS SOUPS 1599410 WITH SCORE 1606668.103
AT ITER 6127 NEW BEST:: SOT 11791376 SOS 7256495 HAS SOPS 5987865 HAS SOUS 1687552 HAS SOUPS 1597514 WITH SCORE 1604770.495
AT ITER 6130 NEW BEST:: SOT 11789819 SOS 7256098 HAS SOPS 5986205 HAS SOUS 1682129 HAS SOUPS 1592135 WITH SCORE 1599391.098
AT ITER 6139 NEW BEST:: SOT 11789911 SOS 7256376 HAS SOPS 5986504 HAS SOUS 1681676 HAS SOUPS 1591682 WITH SCORE 1598938.376
AT ITER 6156 NEW BEST:: SOT 11789154 SOS 7255546 HAS SOPS 5985482 HAS SOUS 1680056 HAS SOUPS 1590062 WITH SCORE 1597317.546
AT ITER 6160 NEW BEST:: SOT 11790246 SOS 7256638 HAS SOPS 5986574 HAS SOUS 1680040 HAS SOUPS 1590046 WITH SCORE 1597302.638
AT ITER 6209 NEW BEST:: SOT 11785501 SOS 7247775 HAS SOPS 5980017 HAS SOUS 1679650 HAS SOUPS 1589656 WITH SCORE 1596903.775
AT ITER 6220 NEW BEST:: SOT 11786586 SOS 7248590 HAS SOPS 5981639 HAS SOUS 1676406 HAS SOUPS 1586483 WITH SCORE 1593731.59
AT ITER 6224 NEW BEST:: SOT 11786505 SOS 7248238 HAS SOPS 5981266 HAS SOUS 1676179 HAS SOUPS 1586256 WITH SCORE 1593504.238
AT ITER 6233 NEW BEST:: SOT 11785554 SOS 7246482 HAS SOPS 5980062 HAS SOUS 1674944 HAS SOUPS 1585021 WITH SCORE 1592267.482
AT ITER 6288 NEW BEST:: SOT 11780590 SOS 7241518 HAS SOPS 5974426 HAS SOUS 1671368 HAS SOUPS 1581445 WITH SCORE 1588686.518
AT ITER 6302 NEW BEST:: SOT 11779673 SOS 7237584 HAS SOPS 5972621 HAS SOUS 1670373 HAS SOUPS 1580529 WITH SCORE 1587766.584
AT ITER 6304 NEW BEST:: SOT 11779647 SOS 7237523 HAS SOPS 5972580 HAS SOUS 1670350 HAS SOUPS 1580507 WITH SCORE 1587744.523
AT ITER 6369 NEW BEST:: SOT 11777625 SOS 7234857 HAS SOPS 5970160 HAS SOUS 1668850 HAS SOUPS 1579055 WITH SCORE 1586289.857
AT ITER 6376 NEW BEST:: SOT 11777020 SOS 7232872 HAS SOPS 5969580 HAS SOUS 1667428 HAS SOUPS 1577666 WITH SCORE 1584898.872
AT ITER 6396 NEW BEST:: SOT 11776381 SOS 7233014 HAS SOPS 5968537 HAS SOUS 1665179 HAS SOUPS 1575417 WITH SCORE 1582650.014
AT ITER 6402 NEW BEST:: SOT 11778145 SOS 7237530 HAS SOPS 5973347 HAS SOUS 1664801 HAS SOUPS 1575039 WITH SCORE 1582276.53
AT ITER 6420 NEW BEST:: SOT 11776432 SOS 7234937 HAS SOPS 5971394 HAS SOUS 1663024 HAS SOUPS 1573277 WITH SCORE 1580511.937
AT ITER 6421 NEW BEST:: SOT 11776283 SOS 7234053 HAS SOPS 5970390 HAS SOUS 1662605 HAS SOUPS 1572873 WITH SCORE 1580107.053
AT ITER 6423 NEW BEST:: SOT 11776278 SOS 7234047 HAS SOPS 5970455 HAS SOUS 1662601 HAS SOUPS 1572870 WITH SCORE 1580104.047
AT ITER 6426 NEW BEST:: SOT 11776319 SOS 7234097 HAS SOPS 5970571 HAS SOUS 1661847 HAS SOUPS 1572133 WITH SCORE 1579367.097
AT ITER 6470 NEW BEST:: SOT 11776211 SOS 7232169 HAS SOPS 5968647 HAS SOUS 1661351 HAS SOUPS 1571637 WITH SCORE 1578869.169
AT ITER 6495 NEW BEST:: SOT 11775588 SOS 7231551 HAS SOPS 5967883 HAS SOUS 1660742 HAS SOUPS 1571028 WITH SCORE 1578259.551
AT ITER 6502 NEW BEST:: SOT 11775486 SOS 7231245 HAS SOPS 5967427 HAS SOUS 1660400 HAS SOUPS 1570686 WITH SCORE 1577917.245
AT ITER 6526 NEW BEST:: SOT 11775482 SOS 7231235 HAS SOPS 5967435 HAS SOUS 1660342 HAS SOUPS 1570630 WITH SCORE 1577861.235
AT ITER 6530 NEW BEST:: SOT 11775509 SOS 7231254 HAS SOPS 5967216 HAS SOUS 1659689 HAS SOUPS 1569731 WITH SCORE 1576962.254
AT ITER 6549 NEW BEST:: SOT 11775461 SOS 7231115 HAS SOPS 5967092 HAS SOUS 1659684 HAS SOUPS 1569726 WITH SCORE 1576957.115
AT ITER 6573 NEW BEST:: SOT 11777750 SOS 7238331 HAS SOPS 5972541 HAS SOUS 1656969 HAS SOUPS 1566815 WITH SCORE 1574053.331
AT ITER 6581 NEW BEST:: SOT 11777536 SOS 7238005 HAS SOPS 5972438 HAS SOUS 1656496 HAS SOUPS 1566342 WITH SCORE 1573580.005
AT ITER 6585 NEW BEST:: SOT 11775904 SOS 7236827 HAS SOPS 5969718 HAS SOUS 1651480 HAS SOUPS 1561326 WITH SCORE 1568562.827
AT ITER 6593 NEW BEST:: SOT 11776314 SOS 7231511 HAS SOPS 5966971 HAS SOUS 1649821 HAS SOUPS 1559802 WITH SCORE 1567033.511
AT ITER 6601 NEW BEST:: SOT 11775906 SOS 7231540 HAS SOPS 5966754 HAS SOUS 1646877 HAS SOUPS 1556844 WITH SCORE 1564075.54
AT ITER 6649 NEW BEST:: SOT 11769159 SOS 7212397 HAS SOPS 5950364 HAS SOUS 1641549 HAS SOUPS 1551650 WITH SCORE 1558862.397
AT ITER 6657 NEW BEST:: SOT 11769658 SOS 7214635 HAS SOPS 5947405 HAS SOUS 1638943 HAS SOUPS 1548680 WITH SCORE 1555894.635
AT ITER 6675 NEW BEST:: SOT 11768167 SOS 7211073 HAS SOPS 5943335 HAS SOUS 1636805 HAS SOUPS 1546524 WITH SCORE 1553735.073
AT ITER 6677 NEW BEST:: SOT 11766580 SOS 7207383 HAS SOPS 5940138 HAS SOUS 1635232 HAS SOUPS 1544967 WITH SCORE 1552174.383
AT ITER 6687 NEW BEST:: SOT 11766510 SOS 7206205 HAS SOPS 5938713 HAS SOUS 1634433 HAS SOUPS 1544168 WITH SCORE 1551374.205
AT ITER 6691 NEW BEST:: SOT 11765835 SOS 7205562 HAS SOPS 5937215 HAS SOUS 1634428 HAS SOUPS 1543822 WITH SCORE 1551027.562
AT ITER 6711 NEW BEST:: SOT 11764910 SOS 7204331 HAS SOPS 5935319 HAS SOUS 1631916 HAS SOUPS 1541138 WITH SCORE 1548342.331
AT ITER 6729 NEW BEST:: SOT 11764560 SOS 7203318 HAS SOPS 5934312 HAS SOUS 1631550 HAS SOUPS 1540772 WITH SCORE 1547975.318
AT ITER 6736 NEW BEST:: SOT 11764524 SOS 7203632 HAS SOPS 5934727 HAS SOUS 1630936 HAS SOUPS 1540158 WITH SCORE 1547361.632
AT ITER 6750 NEW BEST:: SOT 11761516 SOS 7193224 HAS SOPS 5928070 HAS SOUS 1629669 HAS SOUPS 1539202 WITH SCORE 1546395.224
AT ITER 6762 NEW BEST:: SOT 11759084 SOS 7190167 HAS SOPS 5925213 HAS SOUS 1624970 HAS SOUPS 1534503 WITH SCORE 1541693.167
AT ITER 6769 NEW BEST:: SOT 11757652 SOS 7188260 HAS SOPS 5923238 HAS SOUS 1623365 HAS SOUPS 1532914 WITH SCORE 1540102.26
AT ITER 6775 NEW BEST:: SOT 11757393 SOS 7187673 HAS SOPS 5922943 HAS SOUS 1623189 HAS SOUPS 1532738 WITH SCORE 1539925.673
AT ITER 6798 NEW BEST:: SOT 11757373 SOS 7187630 HAS SOPS 5922805 HAS SOUS 1623183 HAS SOUPS 1532732 WITH SCORE 1539919.63
AT ITER 6817 NEW BEST:: SOT 11758826 SOS 7184681 HAS SOPS 5922265 HAS SOUS 1621140 HAS SOUPS 1531097 WITH SCORE 1538281.681
AT ITER 6852 NEW BEST:: SOT 11757031 SOS 7181384 HAS SOPS 5919216 HAS SOUS 1619695 HAS SOUPS 1529683 WITH SCORE 1536864.384
AT ITER 6856 NEW BEST:: SOT 11757447 SOS 7181952 HAS SOPS 5918692 HAS SOUS 1618981 HAS SOUPS 1528969 WITH SCORE 1536150.952
AT ITER 6860 NEW BEST:: SOT 11757446 SOS 7181851 HAS SOPS 5918399 HAS SOUS 1618408 HAS SOUPS 1528396 WITH SCORE 1535577.851
AT ITER 6865 NEW BEST:: SOT 11756726 SOS 7181131 HAS SOPS 5917663 HAS SOUS 1618088 HAS SOUPS 1528076 WITH SCORE 1535257.131
AT ITER 6866 NEW BEST:: SOT 11755882 SOS 7179292 HAS SOPS 5915384 HAS SOUS 1616961 HAS SOUPS 1526949 WITH SCORE 1534128.292
AT ITER 6868 NEW BEST:: SOT 11755779 SOS 7175190 HAS SOPS 5910566 HAS SOUS 1615098 HAS SOUPS 1525104 WITH SCORE 1532279.19
AT ITER 6872 NEW BEST:: SOT 11754948 SOS 7174329 HAS SOPS 5909503 HAS SOUS 1613857 HAS SOUPS 1523847 WITH SCORE 1531021.329
AT ITER 6888 NEW BEST:: SOT 11754820 SOS 7174205 HAS SOPS 5909315 HAS SOUS 1613521 HAS SOUPS 1523511 WITH SCORE 1530685.205
AT ITER 6895 NEW BEST:: SOT 11754680 SOS 7173967 HAS SOPS 5909093 HAS SOUS 1613137 HAS SOUPS 1523135 WITH SCORE 1530308.967
AT ITER 6896 NEW BEST:: SOT 11753546 SOS 7172289 HAS SOPS 5907551 HAS SOUS 1611834 HAS SOUPS 1521849 WITH SCORE 1529021.289
AT ITER 6897 NEW BEST:: SOT 11752443 SOS 7169193 HAS SOPS 5905171 HAS SOUS 1610777 HAS SOUPS 1520792 WITH SCORE 1527961.193
AT ITER 6913 NEW BEST:: SOT 11750757 SOS 7166951 HAS SOPS 5903467 HAS SOUS 1608518 HAS SOUPS 1518791 WITH SCORE 1525957.951
AT ITER 6923 NEW BEST:: SOT 11749148 SOS 7165938 HAS SOPS 5900116 HAS SOUS 1602161 HAS SOUPS 1512452 WITH SCORE 1519617.938
AT ITER 6938 NEW BEST:: SOT 11749100 SOS 7165045 HAS SOPS 5899418 HAS SOUS 1601379 HAS SOUPS 1511690 WITH SCORE 1518855.045
AT ITER 6962 NEW BEST:: SOT 11748951 SOS 7165286 HAS SOPS 5900306 HAS SOUS 1600598 HAS SOUPS 1510941 WITH SCORE 1518106.286
AT ITER 6967 NEW BEST:: SOT 11748627 SOS 7164962 HAS SOPS 5899982 HAS SOUS 1600274 HAS SOUPS 1510617 WITH SCORE 1517781.962
AT ITER 6977 NEW BEST:: SOT 11749464 SOS 7163867 HAS SOPS 5898320 HAS SOUS 1599825 HAS SOUPS 1510168 WITH SCORE 1517331.867
AT ITER 7000 NEW BEST:: SOT 11752500 SOS 7167907 HAS SOPS 5903168 HAS SOUS 1595295 HAS SOUPS 1505667 WITH SCORE 1512834.907
AT ITER 7027 NEW BEST:: SOT 11751564 SOS 7165845 HAS SOPS 5901864 HAS SOUS 1594197 HAS SOUPS 1504569 WITH SCORE 1511734.845
AT ITER 7037 NEW BEST:: SOT 11750488 SOS 7163538 HAS SOPS 5900814 HAS SOUS 1593738 HAS SOUPS 1504135 WITH SCORE 1511298.538
AT ITER 7050 NEW BEST:: SOT 11750488 SOS 7162563 HAS SOPS 5899839 HAS SOUS 1593572 HAS SOUPS 1503969 WITH SCORE 1511131.563
AT ITER 7056 NEW BEST:: SOT 11750536 SOS 7162453 HAS SOPS 5900037 HAS SOUS 1593203 HAS SOUPS 1503600 WITH SCORE 1510762.453
AT ITER 7066 NEW BEST:: SOT 11750024 SOS 7161553 HAS SOPS 5899487 HAS SOUS 1592608 HAS SOUPS 1503005 WITH SCORE 1510166.553
AT ITER 7068 NEW BEST:: SOT 11749870 SOS 7161469 HAS SOPS 5899396 HAS SOUS 1591650 HAS SOUPS 1502047 WITH SCORE 1509208.469
AT ITER 7097 NEW BEST:: SOT 11751042 SOS 7163280 HAS SOPS 5902239 HAS SOUS 1591005 HAS SOUPS 1501402 WITH SCORE 1508565.28
AT ITER 7099 NEW BEST:: SOT 11751842 SOS 7168594 HAS SOPS 5906941 HAS SOUS 1590381 HAS SOUPS 1500778 WITH SCORE 1507946.594
AT ITER 7107 NEW BEST:: SOT 11752444 SOS 7166162 HAS SOPS 5904509 HAS SOUS 1590368 HAS SOUPS 1500765 WITH SCORE 1507931.162
AT ITER 7158 NEW BEST:: SOT 11751980 SOS 7165782 HAS SOPS 5903901 HAS SOUS 1590261 HAS SOUPS 1500613 WITH SCORE 1507778.782
AT ITER 7181 NEW BEST:: SOT 11750811 SOS 7161388 HAS SOPS 5900528 HAS SOUS 1589687 HAS SOUPS 1500495 WITH SCORE 1507656.388
AT ITER 7206 NEW BEST:: SOT 11748467 SOS 7159031 HAS SOPS 5897403 HAS SOUS 1584947 HAS SOUPS 1495755 WITH SCORE 1502914.031
AT ITER 7212 NEW BEST:: SOT 11747665 SOS 7158229 HAS SOPS 5896425 HAS SOUS 1583269 HAS SOUPS 1494077 WITH SCORE 1501235.229
AT ITER 7226 NEW BEST:: SOT 11747895 SOS 7158595 HAS SOPS 5897296 HAS SOUS 1583222 HAS SOUPS 1494030 WITH SCORE 1501188.595
AT ITER 7233 NEW BEST:: SOT 11747591 SOS 7157953 HAS SOPS 5897062 HAS SOUS 1582548 HAS SOUPS 1493356 WITH SCORE 1500513.953
AT ITER 7234 NEW BEST:: SOT 11748174 SOS 7158529 HAS SOPS 5897638 HAS SOUS 1582420 HAS SOUPS 1493228 WITH SCORE 1500386.529
AT ITER 7237 NEW BEST:: SOT 11748049 SOS 7158484 HAS SOPS 5897318 HAS SOUS 1582073 HAS SOUPS 1492881 WITH SCORE 1500039.484
AT ITER 7253 NEW BEST:: SOT 11745408 SOS 7151322 HAS SOPS 5889225 HAS SOUS 1581692 HAS SOUPS 1492463 WITH SCORE 1499614.322
AT ITER 7258 NEW BEST:: SOT 11745112 SOS 7150151 HAS SOPS 5888601 HAS SOUS 1581593 HAS SOUPS 1492374 WITH SCORE 1499524.151
AT ITER 7312 NEW BEST:: SOT 11741891 SOS 7146081 HAS SOPS 5883769 HAS SOUS 1573992 HAS SOUPS 1484733 WITH SCORE 1491879.081
AT ITER 7345 NEW BEST:: SOT 11742946 SOS 7147217 HAS SOPS 5884946 HAS SOUS 1571050 HAS SOUPS 1481935 WITH SCORE 1489082.217
AT ITER 7349 NEW BEST:: SOT 11738403 SOS 7139509 HAS SOPS 5876777 HAS SOUS 1564177 HAS SOUPS 1475106 WITH SCORE 1482245.509
AT ITER 7367 NEW BEST:: SOT 11737917 SOS 7137280 HAS SOPS 5874292 HAS SOUS 1562850 HAS SOUPS 1473753 WITH SCORE 1480890.28
AT ITER 7368 NEW BEST:: SOT 11729577 SOS 7130202 HAS SOPS 5865932 HAS SOUS 1557682 HAS SOUPS 1468442 WITH SCORE 1475572.202
AT ITER 7388 NEW BEST:: SOT 11728937 SOS 7129562 HAS SOPS 5865292 HAS SOUS 1557042 HAS SOUPS 1467802 WITH SCORE 1474931.562
AT ITER 7413 NEW BEST:: SOT 11728002 SOS 7128706 HAS SOPS 5864044 HAS SOUS 1556033 HAS SOUPS 1466533 WITH SCORE 1473661.706
AT ITER 7414 NEW BEST:: SOT 11727957 SOS 7127931 HAS SOPS 5863393 HAS SOUS 1555843 HAS SOUPS 1466343 WITH SCORE 1473470.931
AT ITER 7433 NEW BEST:: SOT 11727897 SOS 7128953 HAS SOPS 5864510 HAS SOUS 1555821 HAS SOUPS 1466319 WITH SCORE 1473447.953
AT ITER 7449 NEW BEST:: SOT 11728858 SOS 7130331 HAS SOPS 5863356 HAS SOUS 1555039 HAS SOUPS 1465457 WITH SCORE 1472587.331
AT ITER 7466 NEW BEST:: SOT 11724802 SOS 7114627 HAS SOPS 5853131 HAS SOUS 1553782 HAS SOUPS 1464273 WITH SCORE 1471387.627
AT ITER 7482 NEW BEST:: SOT 11723702 SOS 7113848 HAS SOPS 5851488 HAS SOUS 1552137 HAS SOUPS 1462628 WITH SCORE 1469741.848
AT ITER 7533 NEW BEST:: SOT 11724299 SOS 7116502 HAS SOPS 5853981 HAS SOUS 1551674 HAS SOUPS 1462165 WITH SCORE 1469281.502
AT ITER 7534 NEW BEST:: SOT 11723770 SOS 7114167 HAS SOPS 5852182 HAS SOUS 1551308 HAS SOUPS 1461799 WITH SCORE 1468913.167
AT ITER 7552 NEW BEST:: SOT 11723764 SOS 7114227 HAS SOPS 5852210 HAS SOUS 1551298 HAS SOUPS 1461789 WITH SCORE 1468903.227
AT ITER 7569 NEW BEST:: SOT 11723424 SOS 7113609 HAS SOPS 5851299 HAS SOUS 1549829 HAS SOUPS 1460347 WITH SCORE 1467460.609
AT ITER 7585 NEW BEST:: SOT 11723170 SOS 7108892 HAS SOPS 5846644 HAS SOUS 1548978 HAS SOUPS 1459551 WITH SCORE 1466659.892
AT ITER 7588 NEW BEST:: SOT 11723150 SOS 7108872 HAS SOPS 5846624 HAS SOUS 1548938 HAS SOUPS 1459511 WITH SCORE 1466619.872
AT ITER 7597 NEW BEST:: SOT 11723862 SOS 7109584 HAS SOPS 5847096 HAS SOUS 1548802 HAS SOUPS 1459375 WITH SCORE 1466484.584
AT ITER 7598 NEW BEST:: SOT 11725301 SOS 7111042 HAS SOPS 5848554 HAS SOUS 1548302 HAS SOUPS 1458875 WITH SCORE 1465986.042
AT ITER 7611 NEW BEST:: SOT 11724261 SOS 7109888 HAS SOPS 5847892 HAS SOUS 1547603 HAS SOUPS 1458148 WITH SCORE 1465257.888
AT ITER 7631 NEW BEST:: SOT 11722538 SOS 7108170 HAS SOPS 5845771 HAS SOUS 1546876 HAS SOUPS 1457382 WITH SCORE 1464490.17
AT ITER 7667 NEW BEST:: SOT 11724439 SOS 7109312 HAS SOPS 5844037 HAS SOUS 1541977 HAS SOUPS 1452483 WITH SCORE 1459592.312
AT ITER 7672 NEW BEST:: SOT 11722220 SOS 7107370 HAS SOPS 5841279 HAS SOUS 1540652 HAS SOUPS 1451018 WITH SCORE 1458125.37
AT ITER 7690 NEW BEST:: SOT 11720175 SOS 7106171 HAS SOPS 5839616 HAS SOUS 1538168 HAS SOUPS 1448534 WITH SCORE 1455640.171
AT ITER 7720 NEW BEST:: SOT 11721649 SOS 7104746 HAS SOPS 5839581 HAS SOUS 1537045 HAS SOUPS 1447411 WITH SCORE 1454515.746
AT ITER 7732 NEW BEST:: SOT 11721471 SOS 7104564 HAS SOPS 5839399 HAS SOUS 1536877 HAS SOUPS 1447243 WITH SCORE 1454347.564
AT ITER 7752 NEW BEST:: SOT 11718288 SOS 7096238 HAS SOPS 5830356 HAS SOUS 1532842 HAS SOUPS 1443208 WITH SCORE 1450304.238
AT ITER 7786 NEW BEST:: SOT 11718149 SOS 7096071 HAS SOPS 5829993 HAS SOUS 1532283 HAS SOUPS 1442621 WITH SCORE 1449717.071
AT ITER 7817 NEW BEST:: SOT 11717976 SOS 7095173 HAS SOPS 5829172 HAS SOUS 1528937 HAS SOUPS 1439314 WITH SCORE 1446409.173
AT ITER 7865 NEW BEST:: SOT 11712879 SOS 7084645 HAS SOPS 5819748 HAS SOUS 1526385 HAS SOUPS 1436762 WITH SCORE 1443846.645
AT ITER 7872 NEW BEST:: SOT 11712295 SOS 7084057 HAS SOPS 5819016 HAS SOUS 1525499 HAS SOUPS 1435876 WITH SCORE 1442960.057
AT ITER 7878 NEW BEST:: SOT 11712449 SOS 7084579 HAS SOPS 5819736 HAS SOUS 1525431 HAS SOUPS 1435808 WITH SCORE 1442892.579
AT ITER 7884 NEW BEST:: SOT 11717235 SOS 7088914 HAS SOPS 5824014 HAS SOUS 1524439 HAS SOUPS 1434816 WITH SCORE 1441904.914
AT ITER 7891 NEW BEST:: SOT 11716717 SOS 7086671 HAS SOPS 5821824 HAS SOUS 1524330 HAS SOUPS 1434707 WITH SCORE 1441793.671
AT ITER 7897 NEW BEST:: SOT 11716052 SOS 7082628 HAS SOPS 5819352 HAS SOUS 1521761 HAS SOUPS 1432138 WITH SCORE 1439220.628
AT ITER 7898 NEW BEST:: SOT 11716196 SOS 7083796 HAS SOPS 5820272 HAS SOUS 1521577 HAS SOUPS 1431946 WITH SCORE 1439029.796
AT ITER 7955 NEW BEST:: SOT 11715962 SOS 7084824 HAS SOPS 5820804 HAS SOUS 1521556 HAS SOUPS 1431913 WITH SCORE 1438997.824
AT ITER 7976 NEW BEST:: SOT 11711295 SOS 7077767 HAS SOPS 5814667 HAS SOUS 1517554 HAS SOUPS 1428081 WITH SCORE 1435158.767
AT ITER 7990 NEW BEST:: SOT 11711292 SOS 7077625 HAS SOPS 5814481 HAS SOUS 1517515 HAS SOUPS 1428042 WITH SCORE 1435119.625
AT ITER 8012 NEW BEST:: SOT 11715024 SOS 7081405 HAS SOPS 5817276 HAS SOUS 1517129 HAS SOUPS 1427112 WITH SCORE 1434193.405
AT ITER 8035 NEW BEST:: SOT 11710743 SOS 7072597 HAS SOPS 5809412 HAS SOUS 1514574 HAS SOUPS 1424557 WITH SCORE 1431629.597
AT ITER 8087 NEW BEST:: SOT 11710716 SOS 7072389 HAS SOPS 5809109 HAS SOUS 1514560 HAS SOUPS 1424543 WITH SCORE 1431615.389
AT ITER 8183 NEW BEST:: SOT 11710630 SOS 7069873 HAS SOPS 5805827 HAS SOUS 1514306 HAS SOUPS 1424291 WITH SCORE 1431360.873
AT ITER 8217 NEW BEST:: SOT 11711563 SOS 7070840 HAS SOPS 5805294 HAS SOUS 1515102 HAS SOUPS 1424079 WITH SCORE 1431149.84
AT ITER 8234 NEW BEST:: SOT 11710948 SOS 7071225 HAS SOPS 5805131 HAS SOUS 1514520 HAS SOUPS 1423497 WITH SCORE 1430568.225
AT ITER 8265 NEW BEST:: SOT 11710340 SOS 7065403 HAS SOPS 5799334 HAS SOUS 1512526 HAS SOUPS 1421503 WITH SCORE 1428568.403
AT ITER 8278 NEW BEST:: SOT 11710354 SOS 7069218 HAS SOPS 5803325 HAS SOUS 1512126 HAS SOUPS 1421103 WITH SCORE 1428172.218
AT ITER 8313 NEW BEST:: SOT 11709852 SOS 7071001 HAS SOPS 5804643 HAS SOUS 1510349 HAS SOUPS 1419284 WITH SCORE 1426355.001
AT ITER 8314 NEW BEST:: SOT 11709372 SOS 7070481 HAS SOPS 5804323 HAS SOUS 1509493 HAS SOUPS 1418486 WITH SCORE 1425556.481
AT ITER 8319 NEW BEST:: SOT 11707880 SOS 7066083 HAS SOPS 5800103 HAS SOUS 1509078 HAS SOUPS 1418071 WITH SCORE 1425137.083
AT ITER 8353 NEW BEST:: SOT 11707496 SOS 7065667 HAS SOPS 5800496 HAS SOUS 1508574 HAS SOUPS 1417587 WITH SCORE 1424652.667
AT ITER 8383 NEW BEST:: SOT 11707504 SOS 7065619 HAS SOPS 5800290 HAS SOUS 1508521 HAS SOUPS 1417534 WITH SCORE 1424599.619
AT ITER 8386 NEW BEST:: SOT 11707887 SOS 7066017 HAS SOPS 5800544 HAS SOUS 1507820 HAS SOUPS 1416833 WITH SCORE 1423899.017
AT ITER 8391 NEW BEST:: SOT 11704480 SOS 7059444 HAS SOPS 5793341 HAS SOUS 1499958 HAS SOUPS 1409079 WITH SCORE 1416138.444
AT ITER 8407 NEW BEST:: SOT 11704072 SOS 7058680 HAS SOPS 5791827 HAS SOUS 1498597 HAS SOUPS 1407718 WITH SCORE 1414776.68
AT ITER 8418 NEW BEST:: SOT 11703898 SOS 7059542 HAS SOPS 5792752 HAS SOUS 1497960 HAS SOUPS 1407081 WITH SCORE 1414140.542
AT ITER 8443 NEW BEST:: SOT 11703896 SOS 7059570 HAS SOPS 5792728 HAS SOUS 1497948 HAS SOUPS 1407069 WITH SCORE 1414128.57
AT ITER 8444 NEW BEST:: SOT 11702452 SOS 7057883 HAS SOPS 5791810 HAS SOUS 1497788 HAS SOUPS 1406909 WITH SCORE 1413966.883
AT ITER 8449 NEW BEST:: SOT 11699801 SOS 7055213 HAS SOPS 5788596 HAS SOUS 1493918 HAS SOUPS 1403039 WITH SCORE 1410094.213
AT ITER 8482 NEW BEST:: SOT 11698329 SOS 7053709 HAS SOPS 5786836 HAS SOUS 1491694 HAS SOUPS 1400815 WITH SCORE 1407868.709
AT ITER 8497 NEW BEST:: SOT 11698166 SOS 7053498 HAS SOPS 5786533 HAS SOUS 1491245 HAS SOUPS 1400366 WITH SCORE 1407419.498
AT ITER 8516 NEW BEST:: SOT 11698979 SOS 7056239 HAS SOPS 5787344 HAS SOUS 1491102 HAS SOUPS 1400190 WITH SCORE 1407246.239
AT ITER 8530 NEW BEST:: SOT 11698774 SOS 7055477 HAS SOPS 5786661 HAS SOUS 1489359 HAS SOUPS 1398461 WITH SCORE 1405516.477
AT ITER 8572 NEW BEST:: SOT 11697685 SOS 7049821 HAS SOPS 5780988 HAS SOUS 1487922 HAS SOUPS 1397024 WITH SCORE 1404073.821
AT ITER 8613 NEW BEST:: SOT 11697937 SOS 7051709 HAS SOPS 5783981 HAS SOUS 1487914 HAS SOUPS 1397016 WITH SCORE 1404067.709
AT ITER 8640 NEW BEST:: SOT 11698898 SOS 7052887 HAS SOPS 5783271 HAS SOUS 1487832 HAS SOUPS 1396910 WITH SCORE 1403962.887
AT ITER 8648 NEW BEST:: SOT 11698456 SOS 7052324 HAS SOPS 5783176 HAS SOUS 1486966 HAS SOUPS 1396044 WITH SCORE 1403096.324
AT ITER 8667 NEW BEST:: SOT 11698686 SOS 7050490 HAS SOPS 5783111 HAS SOUS 1486765 HAS SOUPS 1395843 WITH SCORE 1402893.49
AT ITER 8673 NEW BEST:: SOT 11705358 SOS 7062799 HAS SOPS 5792685 HAS SOUS 1486205 HAS SOUPS 1395283 WITH SCORE 1402345.799
AT ITER 8675 NEW BEST:: SOT 11705574 SOS 7065322 HAS SOPS 5795164 HAS SOUS 1485818 HAS SOUPS 1394896 WITH SCORE 1401961.322
AT ITER 8731 NEW BEST:: SOT 11703870 SOS 7066039 HAS SOPS 5795876 HAS SOUS 1482750 HAS SOUPS 1391828 WITH SCORE 1398894.039
AT ITER 8738 NEW BEST:: SOT 11702962 SOS 7064981 HAS SOPS 5796632 HAS SOUS 1481822 HAS SOUPS 1390935 WITH SCORE 1397999.981
AT ITER 8807 NEW BEST:: SOT 11702893 SOS 7064876 HAS SOPS 5796271 HAS SOUS 1481447 HAS SOUPS 1390560 WITH SCORE 1397624.876
AT ITER 8820 NEW BEST:: SOT 11697729 SOS 7059646 HAS SOPS 5790512 HAS SOUS 1477986 HAS SOUPS 1387092 WITH SCORE 1394151.646
AT ITER 8853 NEW BEST:: SOT 11697661 SOS 7059550 HAS SOPS 5790440 HAS SOUS 1477906 HAS SOUPS 1387014 WITH SCORE 1394073.55
AT ITER 8889 NEW BEST:: SOT 11695299 SOS 7052746 HAS SOPS 5781377 HAS SOUS 1474486 HAS SOUPS 1383594 WITH SCORE 1390646.746
AT ITER 8901 NEW BEST:: SOT 11695017 SOS 7052292 HAS SOPS 5781133 HAS SOUS 1474152 HAS SOUPS 1383332 WITH SCORE 1390384.292
AT ITER 8907 NEW BEST:: SOT 11694201 SOS 7051463 HAS SOPS 5779952 HAS SOUS 1471764 HAS SOUPS 1380944 WITH SCORE 1387995.463
AT ITER 8908 NEW BEST:: SOT 11694234 SOS 7050884 HAS SOPS 5780188 HAS SOUS 1471697 HAS SOUPS 1380877 WITH SCORE 1387927.884
AT ITER 8930 NEW BEST:: SOT 11694570 SOS 7061113 HAS SOPS 5789951 HAS SOUS 1471505 HAS SOUPS 1380685 WITH SCORE 1387746.113
AT ITER 8936 NEW BEST:: SOT 11694802 SOS 7061517 HAS SOPS 5790430 HAS SOUS 1470658 HAS SOUPS 1379856 WITH SCORE 1386917.517
AT ITER 8949 NEW BEST:: SOT 11694597 SOS 7061019 HAS SOPS 5789964 HAS SOUS 1470522 HAS SOUPS 1379745 WITH SCORE 1386806.019
AT ITER 8990 NEW BEST:: SOT 11694570 SOS 7060954 HAS SOPS 5789776 HAS SOUS 1470135 HAS SOUPS 1379358 WITH SCORE 1386418.954
AT ITER 9009 NEW BEST:: SOT 11694444 SOS 7060807 HAS SOPS 5789629 HAS SOUS 1470093 HAS SOUPS 1379316 WITH SCORE 1386376.807
AT ITER 9011 NEW BEST:: SOT 11695124 SOS 7061696 HAS SOPS 5789633 HAS SOUS 1466562 HAS SOUPS 1375928 WITH SCORE 1382989.696
AT ITER 9039 NEW BEST:: SOT 11694126 SOS 7060698 HAS SOPS 5788283 HAS SOUS 1465292 HAS SOUPS 1374626 WITH SCORE 1381686.698
AT ITER 9040 NEW BEST:: SOT 11690891 SOS 7061572 HAS SOPS 5788477 HAS SOUS 1464593 HAS SOUPS 1373825 WITH SCORE 1380886.572
AT ITER 9073 NEW BEST:: SOT 11690879 SOS 7061242 HAS SOPS 5787300 HAS SOUS 1462874 HAS SOUPS 1372106 WITH SCORE 1379167.242
AT ITER 9103 NEW BEST:: SOT 11690818 SOS 7061158 HAS SOPS 5786805 HAS SOUS 1461650 HAS SOUPS 1370882 WITH SCORE 1377943.158
AT ITER 9111 NEW BEST:: SOT 11689735 SOS 7058941 HAS SOPS 5784873 HAS SOUS 1460525 HAS SOUPS 1369833 WITH SCORE 1376891.941
AT ITER 9120 NEW BEST:: SOT 11688801 SOS 7057835 HAS SOPS 5783851 HAS SOUS 1459611 HAS SOUPS 1368919 WITH SCORE 1375976.835
AT ITER 9124 NEW BEST:: SOT 11686591 SOS 7054618 HAS SOPS 5780489 HAS SOUS 1453648 HAS SOUPS 1362956 WITH SCORE 1370010.618
AT ITER 9165 NEW BEST:: SOT 11687740 SOS 7055831 HAS SOPS 5781534 HAS SOUS 1452575 HAS SOUPS 1361883 WITH SCORE 1368938.831
AT ITER 9192 NEW BEST:: SOT 11687638 SOS 7055605 HAS SOPS 5781273 HAS SOUS 1452445 HAS SOUPS 1361751 WITH SCORE 1368806.605
AT ITER 9209 NEW BEST:: SOT 11686508 SOS 7053156 HAS SOPS 5780527 HAS SOUS 1451888 HAS SOUPS 1361266 WITH SCORE 1368319.156
AT ITER 9234 NEW BEST:: SOT 11686918 SOS 7054208 HAS SOPS 5780933 HAS SOUS 1451248 HAS SOUPS 1360626 WITH SCORE 1367680.208
AT ITER 9247 NEW BEST:: SOT 11687133 SOS 7054946 HAS SOPS 5781323 HAS SOUS 1451152 HAS SOUPS 1360530 WITH SCORE 1367584.946
AT ITER 9269 NEW BEST:: SOT 11686999 SOS 7055150 HAS SOPS 5780866 HAS SOUS 1450653 HAS SOUPS 1360019 WITH SCORE 1367074.15
AT ITER 9301 NEW BEST:: SOT 11685983 SOS 7056212 HAS SOPS 5780120 HAS SOUS 1450618 HAS SOUPS 1359984 WITH SCORE 1367040.212
AT ITER 9303 NEW BEST:: SOT 11680783 SOS 7046578 HAS SOPS 5770196 HAS SOUS 1449544 HAS SOUPS 1358910 WITH SCORE 1365956.578
AT ITER 9308 NEW BEST:: SOT 11680755 SOS 7046071 HAS SOPS 5769726 HAS SOUS 1449473 HAS SOUPS 1358839 WITH SCORE 1365885.071
AT ITER 9334 NEW BEST:: SOT 11680414 SOS 7045626 HAS SOPS 5769317 HAS SOUS 1448764 HAS SOUPS 1358134 WITH SCORE 1365179.626
AT ITER 9369 NEW BEST:: SOT 11679724 SOS 7044606 HAS SOPS 5768372 HAS SOUS 1448190 HAS SOUPS 1357547 WITH SCORE 1364591.606
AT ITER 9372 NEW BEST:: SOT 11679308 SOS 7044457 HAS SOPS 5768189 HAS SOUS 1446889 HAS SOUPS 1356246 WITH SCORE 1363290.457
AT ITER 9375 NEW BEST:: SOT 11680304 SOS 7044405 HAS SOPS 5768232 HAS SOUS 1445300 HAS SOUPS 1354721 WITH SCORE 1361765.405
AT ITER 9388 NEW BEST:: SOT 11679979 SOS 7043657 HAS SOPS 5767468 HAS SOUS 1444798 HAS SOUPS 1354224 WITH SCORE 1361267.657
AT ITER 9404 NEW BEST:: SOT 11679977 SOS 7043851 HAS SOPS 5767582 HAS SOUS 1444610 HAS SOUPS 1354034 WITH SCORE 1361077.851
AT ITER 9409 NEW BEST:: SOT 11679496 SOS 7043082 HAS SOPS 5766837 HAS SOUS 1443972 HAS SOUPS 1353405 WITH SCORE 1360448.082
AT ITER 9431 NEW BEST:: SOT 11679446 SOS 7043018 HAS SOPS 5766853 HAS SOUS 1443481 HAS SOUPS 1353106 WITH SCORE 1360149.018
AT ITER 9449 NEW BEST:: SOT 11679031 SOS 7044885 HAS SOPS 5768720 HAS SOUS 1441454 HAS SOUPS 1351079 WITH SCORE 1358123.885
AT ITER 9482 NEW BEST:: SOT 11679035 SOS 7044843 HAS SOPS 5768704 HAS SOUS 1441432 HAS SOUPS 1351057 WITH SCORE 1358101.843
AT ITER 9492 NEW BEST:: SOT 11677726 SOS 7041070 HAS SOPS 5766013 HAS SOUS 1440272 HAS SOUPS 1350289 WITH SCORE 1357330.07
AT ITER 9511 NEW BEST:: SOT 11675865 SOS 7036395 HAS SOPS 5762485 HAS SOUS 1439754 HAS SOUPS 1349771 WITH SCORE 1356807.395
AT ITER 9563 NEW BEST:: SOT 11675203 SOS 7035768 HAS SOPS 5761522 HAS SOUS 1438571 HAS SOUPS 1348588 WITH SCORE 1355623.768
AT ITER 9594 NEW BEST:: SOT 11675200 SOS 7033808 HAS SOPS 5760108 HAS SOUS 1438406 HAS SOUPS 1348423 WITH SCORE 1355456.808
AT ITER 9622 NEW BEST:: SOT 11673820 SOS 7032238 HAS SOPS 5757958 HAS SOUS 1435666 HAS SOUPS 1345693 WITH SCORE 1352725.238
AT ITER 9637 NEW BEST:: SOT 11673854 SOS 7032564 HAS SOPS 5758153 HAS SOUS 1435630 HAS SOUPS 1345657 WITH SCORE 1352689.564
AT ITER 9642 NEW BEST:: SOT 11670926 SOS 7027639 HAS SOPS 5753914 HAS SOUS 1433820 HAS SOUPS 1343847 WITH SCORE 1350874.639
AT ITER 9646 NEW BEST:: SOT 11670631 SOS 7024293 HAS SOPS 5752044 HAS SOUS 1430796 HAS SOUPS 1340906 WITH SCORE 1347930.293
AT ITER 9665 NEW BEST:: SOT 11668924 SOS 7023416 HAS SOPS 5750064 HAS SOUS 1428419 HAS SOUPS 1338529 WITH SCORE 1345552.416
AT ITER 9668 NEW BEST:: SOT 11669196 SOS 7024692 HAS SOPS 5750690 HAS SOUS 1427691 HAS SOUPS 1337799 WITH SCORE 1344823.692
AT ITER 9746 NEW BEST:: SOT 11667547 SOS 7021389 HAS SOPS 5744779 HAS SOUS 1421894 HAS SOUPS 1331849 WITH SCORE 1338870.389
AT ITER 9774 NEW BEST:: SOT 11666934 SOS 7021887 HAS SOPS 5744475 HAS SOUS 1419163 HAS SOUPS 1329137 WITH SCORE 1336158.887
AT ITER 9778 NEW BEST:: SOT 11666826 SOS 7021782 HAS SOPS 5744306 HAS SOUS 1418671 HAS SOUPS 1328645 WITH SCORE 1335666.782
AT ITER 9794 NEW BEST:: SOT 11662629 SOS 7015980 HAS SOPS 5737733 HAS SOUS 1411201 HAS SOUPS 1321112 WITH SCORE 1328127.98
AT ITER 9830 NEW BEST:: SOT 11661953 SOS 7015196 HAS SOPS 5736843 HAS SOUS 1409929 HAS SOUPS 1319840 WITH SCORE 1326855.196
AT ITER 9840 NEW BEST:: SOT 11661892 SOS 7015086 HAS SOPS 5736744 HAS SOUS 1409872 HAS SOUPS 1319783 WITH SCORE 1326798.086
AT ITER 9854 NEW BEST:: SOT 11661799 SOS 7015413 HAS SOPS 5736404 HAS SOUS 1408739 HAS SOUPS 1318640 WITH SCORE 1325655.413
AT ITER 9857 NEW BEST:: SOT 11661799 SOS 7015548 HAS SOPS 5736538 HAS SOUS 1408733 HAS SOUPS 1318634 WITH SCORE 1325649.548
AT ITER 9860 NEW BEST:: SOT 11661738 SOS 7016057 HAS SOPS 5736799 HAS SOUS 1408689 HAS SOUPS 1318590 WITH SCORE 1325606.057
AT ITER 9880 NEW BEST:: SOT 11662807 SOS 7016871 HAS SOPS 5737868 HAS SOUS 1407463 HAS SOUPS 1317398 WITH SCORE 1324414.871
AT ITER 9897 NEW BEST:: SOT 11662799 SOS 7015480 HAS SOPS 5737110 HAS SOUS 1407143 HAS SOUPS 1317078 WITH SCORE 1324093.48
AT ITER 9917 NEW BEST:: SOT 11661233 SOS 7013738 HAS SOPS 5734916 HAS SOUS 1403370 HAS SOUPS 1313326 WITH SCORE 1320339.738
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14847856 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16074988 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-5"
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 RERS17pb113-PT-5, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204000040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-5.tgz
mv RERS17pb113-PT-5 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 ;