About the Execution of Smart+red for RERS17pb113-PT-7
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1308.228 | 3600000.00 | 3677505.00 | 9426.90 | [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-167889204000056.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-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000056
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 5.6K Feb 26 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 18:18 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:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 18:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 18:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 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 1679050271468
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-7
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 10:51:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 10:51:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 10:51:13] [INFO ] Load time of PNML (sax parser for PT used): 555 ms
[2023-03-17 10:51:13] [INFO ] Transformed 639 places.
[2023-03-17 10:51:14] [INFO ] Transformed 31353 transitions.
[2023-03-17 10:51:14] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 749 ms.
[2023-03-17 10:51:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 123 ms.
Total runtime 906 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 7
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 9 NEW BEST:: SOT 12194885 SOS 7741113 HAS SOPS 6413282 HAS SOUS 3044797 HAS SOUPS 2944398 WITH SCORE 2952139.113
AT ITER 22 NEW BEST:: SOT 12192270 SOS 7738476 HAS SOPS 6408992 HAS SOUS 3039274 HAS SOUPS 2938847 WITH SCORE 2946585.476
AT ITER 23 NEW BEST:: SOT 12191868 SOS 7737948 HAS SOPS 6408380 HAS SOUS 3038653 HAS SOUPS 2938226 WITH SCORE 2945963.948
AT ITER 30 NEW BEST:: SOT 12191959 SOS 7740205 HAS SOPS 6408664 HAS SOUS 3034587 HAS SOUPS 2934160 WITH SCORE 2941900.205
AT ITER 34 NEW BEST:: SOT 12191618 SOS 7739837 HAS SOPS 6407891 HAS SOUS 3032986 HAS SOUPS 2932439 WITH SCORE 2940178.837
AT ITER 40 NEW BEST:: SOT 12190383 SOS 7737124 HAS SOPS 6406008 HAS SOUS 3027641 HAS SOUPS 2927515 WITH SCORE 2935252.124
AT ITER 43 NEW BEST:: SOT 12193680 SOS 7740224 HAS SOPS 6409095 HAS SOUS 3023567 HAS SOUPS 2924249 WITH SCORE 2931989.224
AT ITER 45 NEW BEST:: SOT 12192448 SOS 7739037 HAS SOPS 6406823 HAS SOUS 3020044 HAS SOUPS 2920768 WITH SCORE 2928507.037
AT ITER 46 NEW BEST:: SOT 12188439 SOS 7728635 HAS SOPS 6400914 HAS SOUS 3013734 HAS SOUPS 2914458 WITH SCORE 2922186.635
AT ITER 50 NEW BEST:: SOT 12187740 SOS 7727904 HAS SOPS 6399703 HAS SOUS 3011993 HAS SOUPS 2912447 WITH SCORE 2920174.904
AT ITER 67 NEW BEST:: SOT 12187182 SOS 7727312 HAS SOPS 6398601 HAS SOUS 3009544 HAS SOUPS 2909953 WITH SCORE 2917680.312
AT ITER 75 NEW BEST:: SOT 12187451 SOS 7731584 HAS SOPS 6403395 HAS SOUS 3004137 HAS SOUPS 2904673 WITH SCORE 2912404.584
AT ITER 78 NEW BEST:: SOT 12185780 SOS 7732266 HAS SOPS 6401727 HAS SOUS 2999799 HAS SOUPS 2900335 WITH SCORE 2908067.266
AT ITER 87 NEW BEST:: SOT 12192530 SOS 7739056 HAS SOPS 6408532 HAS SOUS 2997915 HAS SOUPS 2898466 WITH SCORE 2906205.056
AT ITER 88 NEW BEST:: SOT 12192169 SOS 7738681 HAS SOPS 6408176 HAS SOUS 2997382 HAS SOUPS 2897951 WITH SCORE 2905689.681
AT ITER 91 NEW BEST:: SOT 12191835 SOS 7737897 HAS SOPS 6407819 HAS SOUS 2997046 HAS SOUPS 2897615 WITH SCORE 2905352.897
AT ITER 92 NEW BEST:: SOT 12194410 SOS 7741121 HAS SOPS 6410110 HAS SOUS 2993530 HAS SOUPS 2894213 WITH SCORE 2901954.121
AT ITER 97 NEW BEST:: SOT 12173324 SOS 7690850 HAS SOPS 6362963 HAS SOUS 2973215 HAS SOUPS 2873948 WITH SCORE 2881638.85
AT ITER 101 NEW BEST:: SOT 12171222 SOS 7687556 HAS SOPS 6360024 HAS SOUS 2970365 HAS SOUPS 2871135 WITH SCORE 2878822.556
AT ITER 114 NEW BEST:: SOT 12166650 SOS 7682984 HAS SOPS 6355452 HAS SOUS 2965793 HAS SOUPS 2866563 WITH SCORE 2874245.984
AT ITER 123 NEW BEST:: SOT 12157346 SOS 7673680 HAS SOPS 6346148 HAS SOUS 2955689 HAS SOUPS 2856459 WITH SCORE 2864132.68
AT ITER 126 NEW BEST:: SOT 12157476 SOS 7674341 HAS SOPS 6346041 HAS SOUS 2954979 HAS SOUPS 2855721 WITH SCORE 2863395.341
AT ITER 129 NEW BEST:: SOT 12157713 SOS 7674779 HAS SOPS 6347355 HAS SOUS 2951294 HAS SOUPS 2852480 WITH SCORE 2860154.779
AT ITER 135 NEW BEST:: SOT 12157067 SOS 7674655 HAS SOPS 6347665 HAS SOUS 2948070 HAS SOUPS 2849256 WITH SCORE 2856930.655
AT ITER 166 NEW BEST:: SOT 12154898 SOS 7669846 HAS SOPS 6345480 HAS SOUS 2947961 HAS SOUPS 2849147 WITH SCORE 2856816.846
AT ITER 168 NEW BEST:: SOT 12152563 SOS 7667459 HAS SOPS 6343115 HAS SOUS 2941242 HAS SOUPS 2842450 WITH SCORE 2850117.459
AT ITER 172 NEW BEST:: SOT 12152081 SOS 7667932 HAS SOPS 6342675 HAS SOUS 2938578 HAS SOUPS 2839786 WITH SCORE 2847453.932
AT ITER 173 NEW BEST:: SOT 12157349 SOS 7680307 HAS SOPS 6354123 HAS SOUS 2934165 HAS SOUPS 2835320 WITH SCORE 2843000.307
AT ITER 174 NEW BEST:: SOT 12158885 SOS 7687790 HAS SOPS 6363240 HAS SOUS 2933259 HAS SOUPS 2834414 WITH SCORE 2842101.79
AT ITER 177 NEW BEST:: SOT 12158807 SOS 7688531 HAS SOPS 6366907 HAS SOUS 2930416 HAS SOUPS 2831756 WITH SCORE 2839444.531
AT ITER 178 NEW BEST:: SOT 12161248 SOS 7693272 HAS SOPS 6371748 HAS SOUS 2930396 HAS SOUPS 2831736 WITH SCORE 2839429.272
AT ITER 193 NEW BEST:: SOT 12162012 SOS 7694768 HAS SOPS 6373018 HAS SOUS 2928521 HAS SOUPS 2829861 WITH SCORE 2837555.768
AT ITER 207 NEW BEST:: SOT 12162400 SOS 7695250 HAS SOPS 6373875 HAS SOUS 2927424 HAS SOUPS 2828764 WITH SCORE 2836459.25
AT ITER 209 NEW BEST:: SOT 12161515 SOS 7694245 HAS SOPS 6373210 HAS SOUS 2925019 HAS SOUPS 2826539 WITH SCORE 2834233.245
AT ITER 214 NEW BEST:: SOT 12159071 SOS 7691201 HAS SOPS 6372393 HAS SOUS 2921586 HAS SOUPS 2823180 WITH SCORE 2830871.201
AT ITER 228 NEW BEST:: SOT 12159678 SOS 7694976 HAS SOPS 6373595 HAS SOUS 2917288 HAS SOUPS 2818801 WITH SCORE 2826495.976
AT ITER 241 NEW BEST:: SOT 12172210 SOS 7729226 HAS SOPS 6403378 HAS SOUS 2915053 HAS SOUPS 2816566 WITH SCORE 2824295.226
AT ITER 242 NEW BEST:: SOT 12164411 SOS 7718536 HAS SOPS 6399915 HAS SOUS 2909457 HAS SOUPS 2811688 WITH SCORE 2819406.536
AT ITER 265 NEW BEST:: SOT 12165203 SOS 7719338 HAS SOPS 6400537 HAS SOUS 2908808 HAS SOUPS 2811039 WITH SCORE 2818758.338
AT ITER 268 NEW BEST:: SOT 12165125 SOS 7718990 HAS SOPS 6400396 HAS SOUS 2908658 HAS SOUPS 2810935 WITH SCORE 2818653.99
AT ITER 302 NEW BEST:: SOT 12165128 SOS 7719017 HAS SOPS 6400411 HAS SOUS 2908559 HAS SOUPS 2810839 WITH SCORE 2818558.017
AT ITER 305 NEW BEST:: SOT 12164834 SOS 7720419 HAS SOPS 6401859 HAS SOUS 2907803 HAS SOUPS 2810083 WITH SCORE 2817803.419
AT ITER 309 NEW BEST:: SOT 12162801 SOS 7717005 HAS SOPS 6399291 HAS SOUS 2903903 HAS SOUPS 2806212 WITH SCORE 2813929.005
AT ITER 325 NEW BEST:: SOT 12162205 SOS 7716398 HAS SOPS 6398519 HAS SOUS 2902944 HAS SOUPS 2805253 WITH SCORE 2812969.398
AT ITER 338 NEW BEST:: SOT 12161289 SOS 7714626 HAS SOPS 6396734 HAS SOUS 2898726 HAS SOUPS 2801035 WITH SCORE 2808749.626
AT ITER 366 NEW BEST:: SOT 12160537 SOS 7712139 HAS SOPS 6395327 HAS SOUS 2897917 HAS SOUPS 2800226 WITH SCORE 2807938.139
AT ITER 368 NEW BEST:: SOT 12160519 SOS 7712241 HAS SOPS 6395337 HAS SOUS 2897883 HAS SOUPS 2800192 WITH SCORE 2807904.241
AT ITER 380 NEW BEST:: SOT 12177600 SOS 7757585 HAS SOPS 6440733 HAS SOUS 2897690 HAS SOUPS 2800051 WITH SCORE 2807808.585
AT ITER 416 NEW BEST:: SOT 12174151 SOS 7753738 HAS SOPS 6435846 HAS SOUS 2891743 HAS SOUPS 2794148 WITH SCORE 2801901.738
AT ITER 420 NEW BEST:: SOT 12174138 SOS 7754495 HAS SOPS 6434504 HAS SOUS 2888496 HAS SOUPS 2790798 WITH SCORE 2798552.495
AT ITER 422 NEW BEST:: SOT 12174535 SOS 7756024 HAS SOPS 6437358 HAS SOUS 2888437 HAS SOUPS 2790739 WITH SCORE 2798495.024
AT ITER 444 NEW BEST:: SOT 12174612 SOS 7756246 HAS SOPS 6437435 HAS SOUS 2888369 HAS SOUPS 2790666 WITH SCORE 2798422.246
AT ITER 460 NEW BEST:: SOT 12165212 SOS 7743936 HAS SOPS 6423984 HAS SOUS 2872560 HAS SOUPS 2774938 WITH SCORE 2782681.936
AT ITER 481 NEW BEST:: SOT 12160024 SOS 7735444 HAS SOPS 6414816 HAS SOUS 2861150 HAS SOUPS 2764695 WITH SCORE 2772430.444
AT ITER 491 NEW BEST:: SOT 12158757 SOS 7734023 HAS SOPS 6412955 HAS SOUS 2858167 HAS SOUPS 2761712 WITH SCORE 2769446.023
AT ITER 509 NEW BEST:: SOT 12158151 SOS 7733888 HAS SOPS 6412089 HAS SOUS 2857284 HAS SOUPS 2760334 WITH SCORE 2768067.888
AT ITER 519 NEW BEST:: SOT 12158238 SOS 7739637 HAS SOPS 6418058 HAS SOUS 2854047 HAS SOUPS 2757097 WITH SCORE 2764836.637
AT ITER 531 NEW BEST:: SOT 12156281 SOS 7742353 HAS SOPS 6419699 HAS SOUS 2852807 HAS SOUPS 2755726 WITH SCORE 2763468.353
AT ITER 533 NEW BEST:: SOT 12155833 SOS 7741018 HAS SOPS 6420668 HAS SOUS 2852388 HAS SOUPS 2755364 WITH SCORE 2763105.018
AT ITER 538 NEW BEST:: SOT 12155813 SOS 7740883 HAS SOPS 6420465 HAS SOUS 2851976 HAS SOUPS 2754924 WITH SCORE 2762664.883
AT ITER 550 NEW BEST:: SOT 12155113 SOS 7736066 HAS SOPS 6417233 HAS SOUS 2848710 HAS SOUPS 2751658 WITH SCORE 2759394.066
AT ITER 561 NEW BEST:: SOT 12154796 SOS 7735729 HAS SOPS 6416920 HAS SOUS 2848121 HAS SOUPS 2751073 WITH SCORE 2758808.729
AT ITER 580 NEW BEST:: SOT 12155721 SOS 7739316 HAS SOPS 6421004 HAS SOUS 2846469 HAS SOUPS 2749421 WITH SCORE 2757160.316
AT ITER 590 NEW BEST:: SOT 12156490 SOS 7739941 HAS SOPS 6424286 HAS SOUS 2844845 HAS SOUPS 2747797 WITH SCORE 2755536.941
AT ITER 603 NEW BEST:: SOT 12158171 SOS 7745285 HAS SOPS 6431844 HAS SOUS 2843946 HAS SOUPS 2746979 WITH SCORE 2754724.285
AT ITER 606 NEW BEST:: SOT 12155658 SOS 7738207 HAS SOPS 6428575 HAS SOUS 2837585 HAS SOUPS 2741057 WITH SCORE 2748795.207
AT ITER 614 NEW BEST:: SOT 12154559 SOS 7736940 HAS SOPS 6427318 HAS SOUS 2835226 HAS SOUPS 2738698 WITH SCORE 2746434.94
AT ITER 629 NEW BEST:: SOT 12154995 SOS 7738600 HAS SOPS 6431190 HAS SOUS 2834689 HAS SOUPS 2738161 WITH SCORE 2745899.6
AT ITER 641 NEW BEST:: SOT 12155286 SOS 7739069 HAS SOPS 6431499 HAS SOUS 2833756 HAS SOUPS 2737068 WITH SCORE 2744807.069
AT ITER 643 NEW BEST:: SOT 12155184 SOS 7739008 HAS SOPS 6432687 HAS SOUS 2830223 HAS SOUPS 2734105 WITH SCORE 2741844.008
AT ITER 671 NEW BEST:: SOT 12154687 SOS 7739854 HAS SOPS 6433891 HAS SOUS 2828588 HAS SOUPS 2732470 WITH SCORE 2740209.854
AT ITER 690 NEW BEST:: SOT 12151584 SOS 7733556 HAS SOPS 6428481 HAS SOUS 2820108 HAS SOUPS 2724517 WITH SCORE 2732250.556
AT ITER 698 NEW BEST:: SOT 12156546 SOS 7743440 HAS SOPS 6438891 HAS SOUS 2818941 HAS SOUPS 2723382 WITH SCORE 2731125.44
AT ITER 699 NEW BEST:: SOT 12156853 SOS 7744305 HAS SOPS 6439994 HAS SOUS 2818862 HAS SOUPS 2723303 WITH SCORE 2731047.305
AT ITER 701 NEW BEST:: SOT 12156046 SOS 7741169 HAS SOPS 6439918 HAS SOUS 2817828 HAS SOUPS 2722269 WITH SCORE 2730010.169
AT ITER 704 NEW BEST:: SOT 12158315 SOS 7745007 HAS SOPS 6445394 HAS SOUS 2814943 HAS SOUPS 2719421 WITH SCORE 2727166.007
AT ITER 711 NEW BEST:: SOT 12159129 SOS 7745721 HAS SOPS 6446208 HAS SOUS 2813687 HAS SOUPS 2718195 WITH SCORE 2725940.721
AT ITER 715 NEW BEST:: SOT 12158816 SOS 7745129 HAS SOPS 6445401 HAS SOUS 2812034 HAS SOUPS 2716604 WITH SCORE 2724349.129
AT ITER 717 NEW BEST:: SOT 12158288 SOS 7744599 HAS SOPS 6444541 HAS SOUS 2810232 HAS SOUPS 2714802 WITH SCORE 2722546.599
AT ITER 719 NEW BEST:: SOT 12158050 SOS 7743683 HAS SOPS 6444150 HAS SOUS 2809353 HAS SOUPS 2713923 WITH SCORE 2721666.683
AT ITER 720 NEW BEST:: SOT 12158095 SOS 7743644 HAS SOPS 6443929 HAS SOUS 2808792 HAS SOUPS 2713376 WITH SCORE 2721119.644
AT ITER 722 NEW BEST:: SOT 12156533 SOS 7743550 HAS SOPS 6442268 HAS SOUS 2807299 HAS SOUPS 2711794 WITH SCORE 2719537.55
AT ITER 724 NEW BEST:: SOT 12156420 SOS 7744831 HAS SOPS 6444315 HAS SOUS 2807029 HAS SOUPS 2711524 WITH SCORE 2719268.831
AT ITER 728 NEW BEST:: SOT 12151251 SOS 7737998 HAS SOPS 6440839 HAS SOUS 2804732 HAS SOUPS 2709227 WITH SCORE 2716964.998
AT ITER 730 NEW BEST:: SOT 12146613 SOS 7732849 HAS SOPS 6435441 HAS SOUS 2794799 HAS SOUPS 2699294 WITH SCORE 2707026.849
AT ITER 731 NEW BEST:: SOT 12145948 SOS 7729682 HAS SOPS 6431644 HAS SOUS 2794078 HAS SOUPS 2698573 WITH SCORE 2706302.682
AT ITER 740 NEW BEST:: SOT 12136998 SOS 7720732 HAS SOPS 6419142 HAS SOUS 2783624 HAS SOUPS 2685335 WITH SCORE 2693055.732
AT ITER 752 NEW BEST:: SOT 12136221 SOS 7721983 HAS SOPS 6417911 HAS SOUS 2782573 HAS SOUPS 2684131 WITH SCORE 2691852.983
AT ITER 762 NEW BEST:: SOT 12143185 SOS 7732241 HAS SOPS 6426954 HAS SOUS 2777916 HAS SOUPS 2679354 WITH SCORE 2687086.241
AT ITER 765 NEW BEST:: SOT 12142737 SOS 7731782 HAS SOPS 6426330 HAS SOUS 2777281 HAS SOUPS 2678554 WITH SCORE 2686285.782
AT ITER 767 NEW BEST:: SOT 12139988 SOS 7729114 HAS SOPS 6423662 HAS SOUS 2775536 HAS SOUPS 2676809 WITH SCORE 2684538.114
AT ITER 770 NEW BEST:: SOT 12139943 SOS 7728842 HAS SOPS 6423602 HAS SOUS 2775360 HAS SOUPS 2676633 WITH SCORE 2684361.842
AT ITER 793 NEW BEST:: SOT 12139844 SOS 7728698 HAS SOPS 6423056 HAS SOUS 2775109 HAS SOUPS 2676346 WITH SCORE 2684074.698
AT ITER 797 NEW BEST:: SOT 12141813 SOS 7737838 HAS SOPS 6429000 HAS SOUS 2772609 HAS SOUPS 2673846 WITH SCORE 2681583.838
AT ITER 807 NEW BEST:: SOT 12141723 SOS 7738292 HAS SOPS 6429358 HAS SOUS 2771812 HAS SOUPS 2673049 WITH SCORE 2680787.292
AT ITER 811 NEW BEST:: SOT 12141696 SOS 7738295 HAS SOPS 6429340 HAS SOUS 2771695 HAS SOUPS 2672932 WITH SCORE 2680670.295
AT ITER 817 NEW BEST:: SOT 12137583 SOS 7735341 HAS SOPS 6426708 HAS SOUS 2762366 HAS SOUPS 2663654 WITH SCORE 2671389.341
AT ITER 834 NEW BEST:: SOT 12134625 SOS 7734183 HAS SOPS 6425433 HAS SOUS 2760947 HAS SOUPS 2662235 WITH SCORE 2669969.183
AT ITER 841 NEW BEST:: SOT 12134119 SOS 7733515 HAS SOPS 6424667 HAS SOUS 2759855 HAS SOUPS 2661143 WITH SCORE 2668876.515
AT ITER 856 NEW BEST:: SOT 12131468 SOS 7730928 HAS SOPS 6422576 HAS SOUS 2759666 HAS SOUPS 2660954 WITH SCORE 2668684.928
AT ITER 869 NEW BEST:: SOT 12129172 SOS 7731852 HAS SOPS 6428948 HAS SOUS 2747861 HAS SOUPS 2649397 WITH SCORE 2657128.852
AT ITER 877 NEW BEST:: SOT 12128661 SOS 7731341 HAS SOPS 6427973 HAS SOUS 2744882 HAS SOUPS 2646418 WITH SCORE 2654149.341
AT ITER 880 NEW BEST:: SOT 12125966 SOS 7728765 HAS SOPS 6425122 HAS SOUS 2739693 HAS SOUPS 2641177 WITH SCORE 2648905.765
AT ITER 883 NEW BEST:: SOT 12126135 SOS 7729852 HAS SOPS 6426070 HAS SOUS 2739591 HAS SOUPS 2641075 WITH SCORE 2648804.852
AT ITER 886 NEW BEST:: SOT 12130107 SOS 7738305 HAS SOPS 6430836 HAS SOUS 2739326 HAS SOUPS 2640810 WITH SCORE 2648548.305
AT ITER 894 NEW BEST:: SOT 12130882 SOS 7737562 HAS SOPS 6429171 HAS SOUS 2736420 HAS SOUPS 2638056 WITH SCORE 2645793.562
AT ITER 915 NEW BEST:: SOT 12129677 SOS 7732669 HAS SOPS 6425016 HAS SOUS 2733130 HAS SOUPS 2634805 WITH SCORE 2642537.669
AT ITER 917 NEW BEST:: SOT 12127788 SOS 7726716 HAS SOPS 6421034 HAS SOUS 2719469 HAS SOUPS 2621833 WITH SCORE 2629559.716
AT ITER 921 NEW BEST:: SOT 12125827 SOS 7723237 HAS SOPS 6420978 HAS SOUS 2718958 HAS SOUPS 2621322 WITH SCORE 2629045.237
AT ITER 927 NEW BEST:: SOT 12125954 SOS 7723375 HAS SOPS 6420684 HAS SOUS 2716693 HAS SOUPS 2619057 WITH SCORE 2626780.375
AT ITER 931 NEW BEST:: SOT 12125954 SOS 7723375 HAS SOPS 6420708 HAS SOUS 2716687 HAS SOUPS 2619054 WITH SCORE 2626777.375
AT ITER 936 NEW BEST:: SOT 12124583 SOS 7720936 HAS SOPS 6419369 HAS SOUS 2709893 HAS SOUPS 2612540 WITH SCORE 2620260.936
AT ITER 939 NEW BEST:: SOT 12122067 SOS 7717704 HAS SOPS 6416324 HAS SOUS 2703890 HAS SOUPS 2606581 WITH SCORE 2614298.704
AT ITER 943 NEW BEST:: SOT 12122834 SOS 7722826 HAS SOPS 6420543 HAS SOUS 2702909 HAS SOUPS 2605600 WITH SCORE 2613322.826
AT ITER 946 NEW BEST:: SOT 12095306 SOS 7688871 HAS SOPS 6388436 HAS SOUS 2651475 HAS SOUPS 2554330 WITH SCORE 2562018.871
AT ITER 953 NEW BEST:: SOT 12095270 SOS 7688835 HAS SOPS 6388400 HAS SOUS 2651267 HAS SOUPS 2554122 WITH SCORE 2561810.835
AT ITER 960 NEW BEST:: SOT 12095275 SOS 7689354 HAS SOPS 6388735 HAS SOUS 2649924 HAS SOUPS 2552779 WITH SCORE 2560468.354
AT ITER 970 NEW BEST:: SOT 12094224 SOS 7688496 HAS SOPS 6388442 HAS SOUS 2647315 HAS SOUPS 2550170 WITH SCORE 2557858.496
AT ITER 973 NEW BEST:: SOT 12091871 SOS 7681226 HAS SOPS 6380642 HAS SOUS 2642960 HAS SOUPS 2545815 WITH SCORE 2553496.226
AT ITER 977 NEW BEST:: SOT 12091250 SOS 7679792 HAS SOPS 6381156 HAS SOUS 2642653 HAS SOUPS 2545508 WITH SCORE 2553187.792
AT ITER 978 NEW BEST:: SOT 12082122 SOS 7668714 HAS SOPS 6372381 HAS SOUS 2622008 HAS SOUPS 2525388 WITH SCORE 2533056.714
AT ITER 985 NEW BEST:: SOT 12081627 SOS 7668194 HAS SOPS 6371866 HAS SOUS 2621363 HAS SOUPS 2524748 WITH SCORE 2532416.194
AT ITER 992 NEW BEST:: SOT 12080545 SOS 7666917 HAS SOPS 6370109 HAS SOUS 2619253 HAS SOUPS 2522658 WITH SCORE 2530324.917
AT ITER 997 NEW BEST:: SOT 12078597 SOS 7661470 HAS SOPS 6365200 HAS SOUS 2617366 HAS SOUPS 2520771 WITH SCORE 2528432.47
AT ITER 1003 NEW BEST:: SOT 12077377 SOS 7659685 HAS SOPS 6363320 HAS SOUS 2615330 HAS SOUPS 2518735 WITH SCORE 2526394.685
AT ITER 1013 NEW BEST:: SOT 12077370 SOS 7659667 HAS SOPS 6363318 HAS SOUS 2615283 HAS SOUPS 2518688 WITH SCORE 2526347.667
AT ITER 1020 NEW BEST:: SOT 12072778 SOS 7654720 HAS SOPS 6358882 HAS SOUS 2610988 HAS SOUPS 2514444 WITH SCORE 2522098.72
AT ITER 1021 NEW BEST:: SOT 12076812 SOS 7663639 HAS SOPS 6364977 HAS SOUS 2610117 HAS SOUPS 2513573 WITH SCORE 2521236.639
AT ITER 1026 NEW BEST:: SOT 12076230 SOS 7662334 HAS SOPS 6364092 HAS SOUS 2608242 HAS SOUPS 2511698 WITH SCORE 2519360.334
AT ITER 1028 NEW BEST:: SOT 12070150 SOS 7651941 HAS SOPS 6353705 HAS SOUS 2597191 HAS SOUPS 2500736 WITH SCORE 2508387.941
AT ITER 1038 NEW BEST:: SOT 12082692 SOS 7675987 HAS SOPS 6371104 HAS SOUS 2596239 HAS SOUPS 2499534 WITH SCORE 2507209.987
AT ITER 1056 NEW BEST:: SOT 12087036 SOS 7687931 HAS SOPS 6378193 HAS SOUS 2584352 HAS SOUPS 2487647 WITH SCORE 2495334.931
AT ITER 1057 NEW BEST:: SOT 12087035 SOS 7687878 HAS SOPS 6378140 HAS SOUS 2584341 HAS SOUPS 2487636 WITH SCORE 2495323.878
AT ITER 1058 NEW BEST:: SOT 12088936 SOS 7689779 HAS SOPS 6379241 HAS SOUS 2583858 HAS SOUPS 2486849 WITH SCORE 2494538.779
AT ITER 1059 NEW BEST:: SOT 12084968 SOS 7678722 HAS SOPS 6374535 HAS SOUS 2582900 HAS SOUPS 2486005 WITH SCORE 2493683.722
AT ITER 1070 NEW BEST:: SOT 12081292 SOS 7674255 HAS SOPS 6369796 HAS SOUS 2574935 HAS SOUPS 2478040 WITH SCORE 2485714.255
AT ITER 1080 NEW BEST:: SOT 12080095 SOS 7671309 HAS SOPS 6367268 HAS SOUS 2573732 HAS SOUPS 2476837 WITH SCORE 2484508.309
AT ITER 1083 NEW BEST:: SOT 12073115 SOS 7658147 HAS SOPS 6356630 HAS SOUS 2561289 HAS SOUPS 2464558 WITH SCORE 2472216.147
AT ITER 1091 NEW BEST:: SOT 12069532 SOS 7648872 HAS SOPS 6348211 HAS SOUS 2560818 HAS SOUPS 2464087 WITH SCORE 2471735.872
AT ITER 1096 NEW BEST:: SOT 12069257 SOS 7648345 HAS SOPS 6348034 HAS SOUS 2560185 HAS SOUPS 2463454 WITH SCORE 2471102.345
AT ITER 1111 NEW BEST:: SOT 12068335 SOS 7647423 HAS SOPS 6346808 HAS SOUS 2558715 HAS SOUPS 2461984 WITH SCORE 2469631.423
AT ITER 1115 NEW BEST:: SOT 12065981 SOS 7642875 HAS SOPS 6342122 HAS SOUS 2556371 HAS SOUPS 2459640 WITH SCORE 2467282.875
AT ITER 1117 NEW BEST:: SOT 12062006 SOS 7638659 HAS SOPS 6338028 HAS SOUS 2546284 HAS SOUPS 2449607 WITH SCORE 2457245.659
AT ITER 1121 NEW BEST:: SOT 12052879 SOS 7623276 HAS SOPS 6326124 HAS SOUS 2532157 HAS SOUPS 2435637 WITH SCORE 2443260.276
AT ITER 1136 NEW BEST:: SOT 12061303 SOS 7644207 HAS SOPS 6344052 HAS SOUS 2529113 HAS SOUPS 2432593 WITH SCORE 2440237.207
AT ITER 1138 NEW BEST:: SOT 12060593 SOS 7640618 HAS SOPS 6341230 HAS SOUS 2527668 HAS SOUPS 2431158 WITH SCORE 2438798.618
AT ITER 1161 NEW BEST:: SOT 12058693 SOS 7634656 HAS SOPS 6335934 HAS SOUS 2522848 HAS SOUPS 2426338 WITH SCORE 2433972.656
AT ITER 1164 NEW BEST:: SOT 12049340 SOS 7625126 HAS SOPS 6322584 HAS SOUS 2516224 HAS SOUPS 2417125 WITH SCORE 2424750.126
AT ITER 1171 NEW BEST:: SOT 12046175 SOS 7611052 HAS SOPS 6312438 HAS SOUS 2513117 HAS SOUPS 2414018 WITH SCORE 2421629.052
AT ITER 1184 NEW BEST:: SOT 12048058 SOS 7611931 HAS SOPS 6313317 HAS SOUS 2512474 HAS SOUPS 2413375 WITH SCORE 2420986.931
AT ITER 1189 NEW BEST:: SOT 12039780 SOS 7601808 HAS SOPS 6314094 HAS SOUS 2492689 HAS SOUPS 2393825 WITH SCORE 2401426.808
AT ITER 1191 NEW BEST:: SOT 12038024 SOS 7594723 HAS SOPS 6310278 HAS SOUS 2491606 HAS SOUPS 2392742 WITH SCORE 2400336.723
AT ITER 1193 NEW BEST:: SOT 12037960 SOS 7593458 HAS SOPS 6310564 HAS SOUS 2491374 HAS SOUPS 2392510 WITH SCORE 2400103.458
AT ITER 1205 NEW BEST:: SOT 12035696 SOS 7591080 HAS SOPS 6307841 HAS SOUS 2488321 HAS SOUPS 2389480 WITH SCORE 2397071.08
AT ITER 1207 NEW BEST:: SOT 12033619 SOS 7585529 HAS SOPS 6302490 HAS SOUS 2488266 HAS SOUPS 2389425 WITH SCORE 2397010.529
AT ITER 1209 NEW BEST:: SOT 12033412 SOS 7585612 HAS SOPS 6302195 HAS SOUS 2487153 HAS SOUPS 2388312 WITH SCORE 2395897.612
AT ITER 1224 NEW BEST:: SOT 12030102 SOS 7576182 HAS SOPS 6295765 HAS SOUS 2486150 HAS SOUPS 2387382 WITH SCORE 2394958.182
AT ITER 1226 NEW BEST:: SOT 12030001 SOS 7575238 HAS SOPS 6294675 HAS SOUS 2485800 HAS SOUPS 2387032 WITH SCORE 2394607.238
AT ITER 1242 NEW BEST:: SOT 12030141 SOS 7584418 HAS SOPS 6302469 HAS SOUS 2476955 HAS SOUPS 2378187 WITH SCORE 2385771.418
AT ITER 1250 NEW BEST:: SOT 12029734 SOS 7582231 HAS SOPS 6301032 HAS SOUS 2476628 HAS SOUPS 2377860 WITH SCORE 2385442.231
AT ITER 1252 NEW BEST:: SOT 12030042 SOS 7583439 HAS SOPS 6302814 HAS SOUS 2473783 HAS SOUPS 2375015 WITH SCORE 2382598.439
AT ITER 1260 NEW BEST:: SOT 12022148 SOS 7566007 HAS SOPS 6289202 HAS SOUS 2473418 HAS SOUPS 2374650 WITH SCORE 2382216.007
AT ITER 1268 NEW BEST:: SOT 12022358 SOS 7565856 HAS SOPS 6289925 HAS SOUS 2472317 HAS SOUPS 2373549 WITH SCORE 2381114.856
AT ITER 1273 NEW BEST:: SOT 12022316 SOS 7565790 HAS SOPS 6289709 HAS SOUS 2472146 HAS SOUPS 2373375 WITH SCORE 2380940.79
AT ITER 1275 NEW BEST:: SOT 12023552 SOS 7569497 HAS SOPS 6293659 HAS SOUS 2469487 HAS SOUPS 2370716 WITH SCORE 2378285.497
AT ITER 1287 NEW BEST:: SOT 12022874 SOS 7568574 HAS SOPS 6292730 HAS SOUS 2468844 HAS SOUPS 2370073 WITH SCORE 2377641.574
AT ITER 1289 NEW BEST:: SOT 12022476 SOS 7567551 HAS SOPS 6292091 HAS SOUS 2466615 HAS SOUPS 2367893 WITH SCORE 2375460.551
AT ITER 1292 NEW BEST:: SOT 12027932 SOS 7580633 HAS SOPS 6304553 HAS SOUS 2465684 HAS SOUPS 2366911 WITH SCORE 2374491.633
AT ITER 1299 NEW BEST:: SOT 12025719 SOS 7576175 HAS SOPS 6297949 HAS SOUS 2461157 HAS SOUPS 2362384 WITH SCORE 2369960.175
AT ITER 1314 NEW BEST:: SOT 12024520 SOS 7575481 HAS SOPS 6297013 HAS SOUS 2460116 HAS SOUPS 2361306 WITH SCORE 2368881.481
AT ITER 1334 NEW BEST:: SOT 12024901 SOS 7573727 HAS SOPS 6296267 HAS SOUS 2459650 HAS SOUPS 2360840 WITH SCORE 2368413.727
AT ITER 1342 NEW BEST:: SOT 12023185 SOS 7572994 HAS SOPS 6294674 HAS SOUS 2449771 HAS SOUPS 2350961 WITH SCORE 2358533.994
AT ITER 1352 NEW BEST:: SOT 12021590 SOS 7573336 HAS SOPS 6295515 HAS SOUS 2444829 HAS SOUPS 2346019 WITH SCORE 2353592.336
AT ITER 1360 NEW BEST:: SOT 12020968 SOS 7572918 HAS SOPS 6294626 HAS SOUS 2443417 HAS SOUPS 2344589 WITH SCORE 2352161.918
AT ITER 1368 NEW BEST:: SOT 12020038 SOS 7572167 HAS SOPS 6293624 HAS SOUS 2441288 HAS SOUPS 2342460 WITH SCORE 2350032.167
AT ITER 1369 NEW BEST:: SOT 12021118 SOS 7570365 HAS SOPS 6291897 HAS SOUS 2441104 HAS SOUPS 2342308 WITH SCORE 2349878.365
AT ITER 1392 NEW BEST:: SOT 12019850 SOS 7569042 HAS SOPS 6290536 HAS SOUS 2439267 HAS SOUPS 2340495 WITH SCORE 2348064.042
AT ITER 1398 NEW BEST:: SOT 12016093 SOS 7560251 HAS SOPS 6282408 HAS SOUS 2438816 HAS SOUPS 2340141 WITH SCORE 2347701.251
AT ITER 1403 NEW BEST:: SOT 12011992 SOS 7551992 HAS SOPS 6274849 HAS SOUS 2431848 HAS SOUPS 2333290 WITH SCORE 2340841.992
AT ITER 1438 NEW BEST:: SOT 12013894 SOS 7560934 HAS SOPS 6286917 HAS SOUS 2430223 HAS SOUPS 2331665 WITH SCORE 2339225.934
AT ITER 1454 NEW BEST:: SOT 12013019 SOS 7557575 HAS SOPS 6283160 HAS SOUS 2428074 HAS SOUPS 2329516 WITH SCORE 2337073.575
AT ITER 1464 NEW BEST:: SOT 12012604 SOS 7554716 HAS SOPS 6279410 HAS SOUS 2427559 HAS SOUPS 2329001 WITH SCORE 2336555.716
AT ITER 1466 NEW BEST:: SOT 12012599 SOS 7554690 HAS SOPS 6279386 HAS SOUS 2427558 HAS SOUPS 2329000 WITH SCORE 2336554.69
AT ITER 1475 NEW BEST:: SOT 12012503 SOS 7553804 HAS SOPS 6278355 HAS SOUS 2427202 HAS SOUPS 2328644 WITH SCORE 2336197.804
AT ITER 1510 NEW BEST:: SOT 12012243 SOS 7553839 HAS SOPS 6278040 HAS SOUS 2426227 HAS SOUPS 2327669 WITH SCORE 2335222.839
AT ITER 1511 NEW BEST:: SOT 12013712 SOS 7560323 HAS SOPS 6285944 HAS SOUS 2424818 HAS SOUPS 2326260 WITH SCORE 2333820.323
AT ITER 1527 NEW BEST:: SOT 12016507 SOS 7566625 HAS SOPS 6295657 HAS SOUS 2423862 HAS SOUPS 2325172 WITH SCORE 2332738.625
AT ITER 1549 NEW BEST:: SOT 12016561 SOS 7565236 HAS SOPS 6293570 HAS SOUS 2418709 HAS SOUPS 2320083 WITH SCORE 2327648.236
AT ITER 1550 NEW BEST:: SOT 12016374 SOS 7565075 HAS SOPS 6292821 HAS SOUS 2417064 HAS SOUPS 2318416 WITH SCORE 2325981.075
AT ITER 1558 NEW BEST:: SOT 12015832 SOS 7566346 HAS SOPS 6291780 HAS SOUS 2414040 HAS SOUPS 2315321 WITH SCORE 2322887.346
AT ITER 1568 NEW BEST:: SOT 12015719 SOS 7566323 HAS SOPS 6291373 HAS SOUS 2412131 HAS SOUPS 2313412 WITH SCORE 2320978.323
AT ITER 1589 NEW BEST:: SOT 12015075 SOS 7565702 HAS SOPS 6290384 HAS SOUS 2410372 HAS SOUPS 2311653 WITH SCORE 2319218.702
AT ITER 1601 NEW BEST:: SOT 12015392 SOS 7566950 HAS SOPS 6290737 HAS SOUS 2408271 HAS SOUPS 2309443 WITH SCORE 2317009.95
AT ITER 1628 NEW BEST:: SOT 12015434 SOS 7565914 HAS SOPS 6290353 HAS SOUS 2408193 HAS SOUPS 2309365 WITH SCORE 2316930.914
AT ITER 1683 NEW BEST:: SOT 12023260 SOS 7583009 HAS SOPS 6302569 HAS SOUS 2401435 HAS SOUPS 2301989 WITH SCORE 2309572.009
AT ITER 1691 NEW BEST:: SOT 12022391 SOS 7581926 HAS SOPS 6301563 HAS SOUS 2399666 HAS SOUPS 2300309 WITH SCORE 2307890.926
AT ITER 1692 NEW BEST:: SOT 12023331 SOS 7587292 HAS SOPS 6306982 HAS SOUS 2399385 HAS SOUPS 2300028 WITH SCORE 2307615.292
AT ITER 1694 NEW BEST:: SOT 12021703 SOS 7585598 HAS SOPS 6305237 HAS SOUS 2395359 HAS SOUPS 2296002 WITH SCORE 2303587.598
AT ITER 1714 NEW BEST:: SOT 12020638 SOS 7583248 HAS SOPS 6300602 HAS SOUS 2392894 HAS SOUPS 2293660 WITH SCORE 2301243.248
AT ITER 1719 NEW BEST:: SOT 12020577 SOS 7583157 HAS SOPS 6300436 HAS SOUS 2392728 HAS SOUPS 2293494 WITH SCORE 2301077.157
AT ITER 1724 NEW BEST:: SOT 12021095 SOS 7585927 HAS SOPS 6301729 HAS SOUS 2390282 HAS SOUPS 2291048 WITH SCORE 2298633.927
AT ITER 1734 NEW BEST:: SOT 12013672 SOS 7576568 HAS SOPS 6292247 HAS SOUS 2369985 HAS SOUPS 2270885 WITH SCORE 2278461.568
AT ITER 1741 NEW BEST:: SOT 12013070 SOS 7575966 HAS SOPS 6291289 HAS SOUS 2368397 HAS SOUPS 2269297 WITH SCORE 2276872.966
AT ITER 1743 NEW BEST:: SOT 12013409 SOS 7576012 HAS SOPS 6286318 HAS SOUS 2363819 HAS SOUPS 2264719 WITH SCORE 2272295.012
AT ITER 1747 NEW BEST:: SOT 12012496 SOS 7576665 HAS SOPS 6285758 HAS SOUS 2358704 HAS SOUPS 2259604 WITH SCORE 2267180.665
AT ITER 1750 NEW BEST:: SOT 12011048 SOS 7574469 HAS SOPS 6283642 HAS SOUS 2357798 HAS SOUPS 2258636 WITH SCORE 2266210.469
AT ITER 1752 NEW BEST:: SOT 12010360 SOS 7574258 HAS SOPS 6283938 HAS SOUS 2355833 HAS SOUPS 2256659 WITH SCORE 2264233.258
AT ITER 1759 NEW BEST:: SOT 12011138 SOS 7577074 HAS SOPS 6287309 HAS SOUS 2344974 HAS SOUPS 2245714 WITH SCORE 2253291.074
AT ITER 1761 NEW BEST:: SOT 12011126 SOS 7577040 HAS SOPS 6287247 HAS SOUS 2344946 HAS SOUPS 2245686 WITH SCORE 2253263.04
AT ITER 1762 NEW BEST:: SOT 12011039 SOS 7577000 HAS SOPS 6287098 HAS SOUS 2344676 HAS SOUPS 2245416 WITH SCORE 2252993.0
AT ITER 1765 NEW BEST:: SOT 12010378 SOS 7577242 HAS SOPS 6287019 HAS SOUS 2341910 HAS SOUPS 2242650 WITH SCORE 2250227.242
AT ITER 1766 NEW BEST:: SOT 12003877 SOS 7566890 HAS SOPS 6275025 HAS SOUS 2326223 HAS SOUPS 2226963 WITH SCORE 2234529.89
AT ITER 1790 NEW BEST:: SOT 12003663 SOS 7566566 HAS SOPS 6274053 HAS SOUS 2325587 HAS SOUPS 2226327 WITH SCORE 2233893.566
AT ITER 1798 NEW BEST:: SOT 12003936 SOS 7567262 HAS SOPS 6274742 HAS SOUS 2325361 HAS SOUPS 2226101 WITH SCORE 2233668.262
AT ITER 1814 NEW BEST:: SOT 12003936 SOS 7567262 HAS SOPS 6274742 HAS SOUS 2325301 HAS SOUPS 2226041 WITH SCORE 2233608.262
AT ITER 1816 NEW BEST:: SOT 12004788 SOS 7568525 HAS SOPS 6276093 HAS SOUS 2323513 HAS SOUPS 2224253 WITH SCORE 2231821.525
AT ITER 1831 NEW BEST:: SOT 12006856 SOS 7572872 HAS SOPS 6278972 HAS SOUS 2322708 HAS SOUPS 2223400 WITH SCORE 2230972.872
AT ITER 1837 NEW BEST:: SOT 12010566 SOS 7580644 HAS SOPS 6283071 HAS SOUS 2321776 HAS SOUPS 2222384 WITH SCORE 2229964.644
AT ITER 1851 NEW BEST:: SOT 12010631 SOS 7580351 HAS SOPS 6282665 HAS SOUS 2320925 HAS SOUPS 2221533 WITH SCORE 2229113.351
AT ITER 1854 NEW BEST:: SOT 12006133 SOS 7564752 HAS SOPS 6279307 HAS SOUS 2318051 HAS SOUPS 2219765 WITH SCORE 2227329.752
AT ITER 1908 NEW BEST:: SOT 12005543 SOS 7562456 HAS SOPS 6278013 HAS SOUS 2313529 HAS SOUPS 2215339 WITH SCORE 2222901.456
AT ITER 1922 NEW BEST:: SOT 12004794 SOS 7561251 HAS SOPS 6276542 HAS SOUS 2312125 HAS SOUPS 2213845 WITH SCORE 2221406.251
AT ITER 1925 NEW BEST:: SOT 12004295 SOS 7556324 HAS SOPS 6276653 HAS SOUS 2308909 HAS SOUPS 2210629 WITH SCORE 2218185.324
AT ITER 1941 NEW BEST:: SOT 12004410 SOS 7554768 HAS SOPS 6276637 HAS SOUS 2308591 HAS SOUPS 2210311 WITH SCORE 2217865.768
AT ITER 1958 NEW BEST:: SOT 12004997 SOS 7559636 HAS SOPS 6282048 HAS SOUS 2306289 HAS SOUPS 2208080 WITH SCORE 2215639.636
AT ITER 1973 NEW BEST:: SOT 12006853 SOS 7557463 HAS SOPS 6280630 HAS SOUS 2302013 HAS SOUPS 2203889 WITH SCORE 2211446.463
AT ITER 2015 NEW BEST:: SOT 12006837 SOS 7557319 HAS SOPS 6280618 HAS SOUS 2301945 HAS SOUPS 2203821 WITH SCORE 2211378.319
AT ITER 2018 NEW BEST:: SOT 12006885 SOS 7557411 HAS SOPS 6280763 HAS SOUS 2301655 HAS SOUPS 2203531 WITH SCORE 2211088.411
AT ITER 2023 NEW BEST:: SOT 12006332 SOS 7557576 HAS SOPS 6279186 HAS SOUS 2301297 HAS SOUPS 2203173 WITH SCORE 2210730.576
AT ITER 2041 NEW BEST:: SOT 12001003 SOS 7552003 HAS SOPS 6272159 HAS SOUS 2289112 HAS SOUPS 2191143 WITH SCORE 2198695.003
AT ITER 2047 NEW BEST:: SOT 12000533 SOS 7550387 HAS SOPS 6268831 HAS SOUS 2282700 HAS SOUPS 2184776 WITH SCORE 2192326.387
AT ITER 2048 NEW BEST:: SOT 11999991 SOS 7549925 HAS SOPS 6268772 HAS SOUS 2281425 HAS SOUPS 2183501 WITH SCORE 2191050.925
AT ITER 2053 NEW BEST:: SOT 11999979 SOS 7549838 HAS SOPS 6268858 HAS SOUS 2281348 HAS SOUPS 2183424 WITH SCORE 2190973.838
AT ITER 2054 NEW BEST:: SOT 11994669 SOS 7538386 HAS SOPS 6258503 HAS SOUS 2275321 HAS SOUPS 2177397 WITH SCORE 2184935.386
AT ITER 2064 NEW BEST:: SOT 11994841 SOS 7538921 HAS SOPS 6258925 HAS SOUS 2275312 HAS SOUPS 2177388 WITH SCORE 2184926.921
AT ITER 2066 NEW BEST:: SOT 11952670 SOS 7466921 HAS SOPS 6210375 HAS SOUS 2255328 HAS SOUPS 2157729 WITH SCORE 2165195.921
AT ITER 2068 NEW BEST:: SOT 11953057 SOS 7467217 HAS SOPS 6210668 HAS SOUS 2254563 HAS SOUPS 2156964 WITH SCORE 2164431.217
AT ITER 2079 NEW BEST:: SOT 11953739 SOS 7472126 HAS SOPS 6213555 HAS SOUS 2244288 HAS SOUPS 2146639 WITH SCORE 2154111.126
AT ITER 2086 NEW BEST:: SOT 11950902 SOS 7469336 HAS SOPS 6210570 HAS SOUS 2240727 HAS SOUPS 2143078 WITH SCORE 2150547.336
AT ITER 2111 NEW BEST:: SOT 11950361 SOS 7468715 HAS SOPS 6209926 HAS SOUS 2239836 HAS SOUPS 2142228 WITH SCORE 2149696.715
AT ITER 2114 NEW BEST:: SOT 11950389 SOS 7468769 HAS SOPS 6209747 HAS SOUS 2237411 HAS SOUPS 2139829 WITH SCORE 2147297.769
AT ITER 2131 NEW BEST:: SOT 11949775 SOS 7468878 HAS SOPS 6209388 HAS SOUS 2237186 HAS SOUPS 2139604 WITH SCORE 2147072.878
AT ITER 2133 NEW BEST:: SOT 11949068 SOS 7466687 HAS SOPS 6207205 HAS SOUS 2236331 HAS SOUPS 2138753 WITH SCORE 2146219.687
AT ITER 2138 NEW BEST:: SOT 11948753 SOS 7466324 HAS SOPS 6206686 HAS SOUS 2235668 HAS SOUPS 2138090 WITH SCORE 2145556.324
AT ITER 2144 NEW BEST:: SOT 11948515 SOS 7466484 HAS SOPS 6206185 HAS SOUS 2235326 HAS SOUPS 2137748 WITH SCORE 2145214.484
AT ITER 2156 NEW BEST:: SOT 11949260 SOS 7466472 HAS SOPS 6204039 HAS SOUS 2233114 HAS SOUPS 2135536 WITH SCORE 2143002.472
AT ITER 2157 NEW BEST:: SOT 11948789 SOS 7466010 HAS SOPS 6203397 HAS SOUS 2232475 HAS SOUPS 2134897 WITH SCORE 2142363.01
AT ITER 2161 NEW BEST:: SOT 11948470 SOS 7465630 HAS SOPS 6202957 HAS SOUS 2232006 HAS SOUPS 2134428 WITH SCORE 2141893.63
AT ITER 2166 NEW BEST:: SOT 11948320 SOS 7465290 HAS SOPS 6202732 HAS SOUS 2231961 HAS SOUPS 2134383 WITH SCORE 2141848.29
AT ITER 2175 NEW BEST:: SOT 11947614 SOS 7464269 HAS SOPS 6201330 HAS SOUS 2231014 HAS SOUPS 2133223 WITH SCORE 2140687.269
AT ITER 2213 NEW BEST:: SOT 11946140 SOS 7461922 HAS SOPS 6198567 HAS SOUS 2228136 HAS SOUPS 2130356 WITH SCORE 2137817.922
AT ITER 2218 NEW BEST:: SOT 11945643 SOS 7461477 HAS SOPS 6197887 HAS SOUS 2226617 HAS SOUPS 2128837 WITH SCORE 2136298.477
AT ITER 2230 NEW BEST:: SOT 11945363 SOS 7461052 HAS SOPS 6197478 HAS SOUS 2226380 HAS SOUPS 2128593 WITH SCORE 2136054.052
AT ITER 2246 NEW BEST:: SOT 11947690 SOS 7465363 HAS SOPS 6202145 HAS SOUS 2225819 HAS SOUPS 2128032 WITH SCORE 2135497.363
AT ITER 2249 NEW BEST:: SOT 11946215 SOS 7465378 HAS SOPS 6201382 HAS SOUS 2223918 HAS SOUPS 2126131 WITH SCORE 2133596.378
AT ITER 2250 NEW BEST:: SOT 11944676 SOS 7463266 HAS SOPS 6199192 HAS SOUS 2221175 HAS SOUPS 2123415 WITH SCORE 2130878.266
AT ITER 2253 NEW BEST:: SOT 11944672 SOS 7463262 HAS SOPS 6199188 HAS SOUS 2221003 HAS SOUPS 2123243 WITH SCORE 2130706.262
AT ITER 2257 NEW BEST:: SOT 11943439 SOS 7461618 HAS SOPS 6197494 HAS SOUS 2219229 HAS SOUPS 2121497 WITH SCORE 2128958.618
AT ITER 2269 NEW BEST:: SOT 11942115 SOS 7460299 HAS SOPS 6196175 HAS SOUS 2218013 HAS SOUPS 2120281 WITH SCORE 2127741.299
AT ITER 2271 NEW BEST:: SOT 11941441 SOS 7460760 HAS SOPS 6197575 HAS SOUS 2211979 HAS SOUPS 2114112 WITH SCORE 2121572.76
AT ITER 2277 NEW BEST:: SOT 11935811 SOS 7437923 HAS SOPS 6174767 HAS SOUS 2208478 HAS SOUPS 2110602 WITH SCORE 2118039.923
AT ITER 2298 NEW BEST:: SOT 11942575 SOS 7459436 HAS SOPS 6192663 HAS SOUS 2208401 HAS SOUPS 2110510 WITH SCORE 2117969.436
AT ITER 2335 NEW BEST:: SOT 11942045 SOS 7458895 HAS SOPS 6191957 HAS SOUS 2207579 HAS SOUPS 2109688 WITH SCORE 2117146.895
AT ITER 2339 NEW BEST:: SOT 11941496 SOS 7459948 HAS SOPS 6192052 HAS SOUS 2202667 HAS SOUPS 2104776 WITH SCORE 2112235.948
AT ITER 2345 NEW BEST:: SOT 11940395 SOS 7455135 HAS SOPS 6189145 HAS SOUS 2200818 HAS SOUPS 2102927 WITH SCORE 2110382.135
AT ITER 2349 NEW BEST:: SOT 11938289 SOS 7450751 HAS SOPS 6185807 HAS SOUS 2198922 HAS SOUPS 2101005 WITH SCORE 2108455.751
AT ITER 2372 NEW BEST:: SOT 11938084 SOS 7450369 HAS SOPS 6184658 HAS SOUS 2198921 HAS SOUPS 2100977 WITH SCORE 2108427.369
AT ITER 2388 NEW BEST:: SOT 11937406 SOS 7449615 HAS SOPS 6183374 HAS SOUS 2197871 HAS SOUPS 2099915 WITH SCORE 2107364.615
AT ITER 2423 NEW BEST:: SOT 11937144 SOS 7448907 HAS SOPS 6183346 HAS SOUS 2196493 HAS SOUPS 2098574 WITH SCORE 2106022.907
AT ITER 2430 NEW BEST:: SOT 11937268 SOS 7451391 HAS SOPS 6182952 HAS SOUS 2193696 HAS SOUPS 2095777 WITH SCORE 2103228.391
AT ITER 2431 NEW BEST:: SOT 11919098 SOS 7431484 HAS SOPS 6162896 HAS SOUS 2172701 HAS SOUPS 2075079 WITH SCORE 2082510.484
AT ITER 2437 NEW BEST:: SOT 11923900 SOS 7437386 HAS SOPS 6172609 HAS SOUS 2170765 HAS SOUPS 2074113 WITH SCORE 2081550.386
AT ITER 2450 NEW BEST:: SOT 11922877 SOS 7430833 HAS SOPS 6165245 HAS SOUS 2168299 HAS SOUPS 2071388 WITH SCORE 2078818.833
AT ITER 2466 NEW BEST:: SOT 11922283 SOS 7430174 HAS SOPS 6164463 HAS SOUS 2167349 HAS SOUPS 2070433 WITH SCORE 2077863.174
AT ITER 2488 NEW BEST:: SOT 11918134 SOS 7428752 HAS SOPS 6164932 HAS SOUS 2167300 HAS SOUPS 2070384 WITH SCORE 2077812.752
AT ITER 2489 NEW BEST:: SOT 11918086 SOS 7428584 HAS SOPS 6164674 HAS SOUS 2167197 HAS SOUPS 2070281 WITH SCORE 2077709.584
AT ITER 2493 NEW BEST:: SOT 11918043 SOS 7428756 HAS SOPS 6164064 HAS SOUS 2165913 HAS SOUPS 2068911 WITH SCORE 2076339.756
AT ITER 2525 NEW BEST:: SOT 11918498 SOS 7426896 HAS SOPS 6159532 HAS SOUS 2161674 HAS SOUPS 2064520 WITH SCORE 2071946.896
AT ITER 2535 NEW BEST:: SOT 11919574 SOS 7428403 HAS SOPS 6161730 HAS SOUS 2160579 HAS SOUPS 2064417 WITH SCORE 2071845.403
AT ITER 2540 NEW BEST:: SOT 11918542 SOS 7426726 HAS SOPS 6160189 HAS SOUS 2158678 HAS SOUPS 2062616 WITH SCORE 2070042.726
AT ITER 2558 NEW BEST:: SOT 11917279 SOS 7424929 HAS SOPS 6159827 HAS SOUS 2157894 HAS SOUPS 2062479 WITH SCORE 2069903.929
AT ITER 2582 NEW BEST:: SOT 11915222 SOS 7421828 HAS SOPS 6156672 HAS SOUS 2154833 HAS SOUPS 2059585 WITH SCORE 2067006.828
AT ITER 2591 NEW BEST:: SOT 11911014 SOS 7417542 HAS SOPS 6151771 HAS SOUS 2147210 HAS SOUPS 2051962 WITH SCORE 2059379.542
AT ITER 2598 NEW BEST:: SOT 11910309 SOS 7416867 HAS SOPS 6151360 HAS SOUS 2146928 HAS SOUPS 2051680 WITH SCORE 2059096.867
AT ITER 2607 NEW BEST:: SOT 11910036 SOS 7415974 HAS SOPS 6150187 HAS SOUS 2146769 HAS SOUPS 2051521 WITH SCORE 2058936.974
AT ITER 2612 NEW BEST:: SOT 11909489 SOS 7414348 HAS SOPS 6146737 HAS SOUS 2145458 HAS SOUPS 2050164 WITH SCORE 2057578.348
AT ITER 2634 NEW BEST:: SOT 11909329 SOS 7416071 HAS SOPS 6147742 HAS SOUS 2142253 HAS SOUPS 2046959 WITH SCORE 2054375.071
AT ITER 2636 NEW BEST:: SOT 11909549 SOS 7418395 HAS SOPS 6148331 HAS SOUS 2140828 HAS SOUPS 2045534 WITH SCORE 2052952.395
AT ITER 2639 NEW BEST:: SOT 11908271 SOS 7415983 HAS SOPS 6146542 HAS SOUS 2138627 HAS SOUPS 2043360 WITH SCORE 2050775.983
AT ITER 2665 NEW BEST:: SOT 11902006 SOS 7404630 HAS SOPS 6135835 HAS SOUS 2131384 HAS SOUPS 2036178 WITH SCORE 2043582.63
AT ITER 2667 NEW BEST:: SOT 11902002 SOS 7404620 HAS SOPS 6136129 HAS SOUS 2131111 HAS SOUPS 2035905 WITH SCORE 2043309.62
AT ITER 2668 NEW BEST:: SOT 11901545 SOS 7404155 HAS SOPS 6135634 HAS SOUS 2130386 HAS SOUPS 2035180 WITH SCORE 2042584.155
AT ITER 2669 NEW BEST:: SOT 11899925 SOS 7401431 HAS SOPS 6131771 HAS SOUS 2127680 HAS SOUPS 2032474 WITH SCORE 2039875.431
AT ITER 2698 NEW BEST:: SOT 11898944 SOS 7400341 HAS SOPS 6129665 HAS SOUS 2127209 HAS SOUPS 2031946 WITH SCORE 2039346.341
AT ITER 2699 NEW BEST:: SOT 11898912 SOS 7400309 HAS SOPS 6129633 HAS SOUS 2127209 HAS SOUPS 2031946 WITH SCORE 2039346.309
AT ITER 2701 NEW BEST:: SOT 11896311 SOS 7393997 HAS SOPS 6125814 HAS SOUS 2125970 HAS SOUPS 2030800 WITH SCORE 2038193.997
AT ITER 2708 NEW BEST:: SOT 11896487 SOS 7394145 HAS SOPS 6125978 HAS SOUS 2125786 HAS SOUPS 2030616 WITH SCORE 2038010.145
AT ITER 2710 NEW BEST:: SOT 11894752 SOS 7388412 HAS SOPS 6121988 HAS SOUS 2124299 HAS SOUPS 2029129 WITH SCORE 2036517.412
AT ITER 2723 NEW BEST:: SOT 11892680 SOS 7386288 HAS SOPS 6119218 HAS SOUS 2120090 HAS SOUPS 2024914 WITH SCORE 2032300.288
AT ITER 2734 NEW BEST:: SOT 11891689 SOS 7385035 HAS SOPS 6116717 HAS SOUS 2115521 HAS SOUPS 2020345 WITH SCORE 2027730.035
AT ITER 2735 NEW BEST:: SOT 11891602 SOS 7384998 HAS SOPS 6116452 HAS SOUS 2114856 HAS SOUPS 2019680 WITH SCORE 2027064.998
AT ITER 2762 NEW BEST:: SOT 11890831 SOS 7384155 HAS SOPS 6114446 HAS SOUS 2114176 HAS SOUPS 2019000 WITH SCORE 2026384.155
AT ITER 2774 NEW BEST:: SOT 11892732 SOS 7386064 HAS SOPS 6115174 HAS SOUS 2112334 HAS SOUPS 2017158 WITH SCORE 2024544.064
AT ITER 2782 NEW BEST:: SOT 11892157 SOS 7384888 HAS SOPS 6114643 HAS SOUS 2111761 HAS SOUPS 2016623 WITH SCORE 2024007.888
AT ITER 2783 NEW BEST:: SOT 11894572 SOS 7388199 HAS SOPS 6116161 HAS SOUS 2109166 HAS SOUPS 2013946 WITH SCORE 2021334.199
AT ITER 2804 NEW BEST:: SOT 11892678 SOS 7389272 HAS SOPS 6116702 HAS SOUS 2103234 HAS SOUPS 2008098 WITH SCORE 2015487.272
AT ITER 2816 NEW BEST:: SOT 11892885 SOS 7389714 HAS SOPS 6117303 HAS SOUS 2102623 HAS SOUPS 2007487 WITH SCORE 2014876.714
AT ITER 2817 NEW BEST:: SOT 11892612 SOS 7387509 HAS SOPS 6115911 HAS SOUS 2100627 HAS SOUPS 2005514 WITH SCORE 2012901.509
AT ITER 2819 NEW BEST:: SOT 11892524 SOS 7387225 HAS SOPS 6115701 HAS SOUS 2100507 HAS SOUPS 2005396 WITH SCORE 2012783.225
AT ITER 2821 NEW BEST:: SOT 11888780 SOS 7384019 HAS SOPS 6109512 HAS SOUS 2092882 HAS SOUPS 1997771 WITH SCORE 2005155.019
AT ITER 2832 NEW BEST:: SOT 11887568 SOS 7382803 HAS SOPS 6107816 HAS SOUS 2089174 HAS SOUPS 1994063 WITH SCORE 2001445.803
AT ITER 2842 NEW BEST:: SOT 11887036 SOS 7382332 HAS SOPS 6107540 HAS SOUS 2088598 HAS SOUPS 1993487 WITH SCORE 2000869.332
AT ITER 2847 NEW BEST:: SOT 11890677 SOS 7388118 HAS SOPS 6112869 HAS SOUS 2080770 HAS SOUPS 1985555 WITH SCORE 1992943.118
AT ITER 2848 NEW BEST:: SOT 11892410 SOS 7393446 HAS SOPS 6117424 HAS SOUS 2080674 HAS SOUPS 1985406 WITH SCORE 1992799.446
AT ITER 2852 NEW BEST:: SOT 11892956 SOS 7395503 HAS SOPS 6119423 HAS SOUS 2079830 HAS SOUPS 1984562 WITH SCORE 1991957.503
AT ITER 2877 NEW BEST:: SOT 11890010 SOS 7388576 HAS SOPS 6113630 HAS SOUS 2079469 HAS SOUPS 1984244 WITH SCORE 1991632.576
AT ITER 2880 NEW BEST:: SOT 11888933 SOS 7388165 HAS SOPS 6111298 HAS SOUS 2074394 HAS SOUPS 1979094 WITH SCORE 1986482.165
AT ITER 2883 NEW BEST:: SOT 11888435 SOS 7387935 HAS SOPS 6109999 HAS SOUS 2071482 HAS SOUPS 1976182 WITH SCORE 1983569.935
AT ITER 2895 NEW BEST:: SOT 11887656 SOS 7398394 HAS SOPS 6117831 HAS SOUS 2070118 HAS SOUPS 1974818 WITH SCORE 1982216.394
AT ITER 2906 NEW BEST:: SOT 11886592 SOS 7397351 HAS SOPS 6116142 HAS SOUS 2064920 HAS SOUPS 1969796 WITH SCORE 1977193.351
AT ITER 2930 NEW BEST:: SOT 11886322 SOS 7397891 HAS SOPS 6116269 HAS SOUS 2063740 HAS SOUPS 1968616 WITH SCORE 1976013.891
AT ITER 2973 NEW BEST:: SOT 11885892 SOS 7397131 HAS SOPS 6115509 HAS SOUS 2063220 HAS SOUPS 1968096 WITH SCORE 1975493.131
AT ITER 2983 NEW BEST:: SOT 11885660 SOS 7396801 HAS SOPS 6115127 HAS SOUS 2062910 HAS SOUPS 1967790 WITH SCORE 1975186.801
AT ITER 2992 NEW BEST:: SOT 11879754 SOS 7387591 HAS SOPS 6106105 HAS SOUS 2047205 HAS SOUPS 1952174 WITH SCORE 1959561.591
AT ITER 3006 NEW BEST:: SOT 11880327 SOS 7390383 HAS SOPS 6108530 HAS SOUS 2046160 HAS SOUPS 1951129 WITH SCORE 1958519.383
AT ITER 3020 NEW BEST:: SOT 11867359 SOS 7367998 HAS SOPS 6091954 HAS SOUS 2036630 HAS SOUPS 1941642 WITH SCORE 1949009.998
AT ITER 3024 NEW BEST:: SOT 11866796 SOS 7364237 HAS SOPS 6090424 HAS SOUS 2035623 HAS SOUPS 1940665 WITH SCORE 1948029.237
AT ITER 3039 NEW BEST:: SOT 11862724 SOS 7359667 HAS SOPS 6085318 HAS SOUS 2030662 HAS SOUPS 1935704 WITH SCORE 1943063.667
AT ITER 3048 NEW BEST:: SOT 11867873 SOS 7372476 HAS SOPS 6086378 HAS SOUS 2013188 HAS SOUPS 1918230 WITH SCORE 1925602.476
AT ITER 3068 NEW BEST:: SOT 11867180 SOS 7375397 HAS SOPS 6091381 HAS SOUS 2012621 HAS SOUPS 1917663 WITH SCORE 1925038.397
AT ITER 3076 NEW BEST:: SOT 11874005 SOS 7386103 HAS SOPS 6102007 HAS SOUS 2011890 HAS SOUPS 1916895 WITH SCORE 1924281.103
AT ITER 3082 NEW BEST:: SOT 11874989 SOS 7381094 HAS SOPS 6091740 HAS SOUS 2005605 HAS SOUPS 1910411 WITH SCORE 1917792.094
AT ITER 3097 NEW BEST:: SOT 11873553 SOS 7379840 HAS SOPS 6089172 HAS SOUS 2003472 HAS SOUPS 1908278 WITH SCORE 1915657.84
AT ITER 3099 NEW BEST:: SOT 11873331 SOS 7379474 HAS SOPS 6088899 HAS SOUS 2003226 HAS SOUPS 1908044 WITH SCORE 1915423.474
AT ITER 3101 NEW BEST:: SOT 11873698 SOS 7379574 HAS SOPS 6089573 HAS SOUS 1998715 HAS SOUPS 1903559 WITH SCORE 1910938.574
AT ITER 3121 NEW BEST:: SOT 11871896 SOS 7366181 HAS SOPS 6081477 HAS SOUS 1993987 HAS SOUPS 1898831 WITH SCORE 1906197.181
AT ITER 3131 NEW BEST:: SOT 11871901 SOS 7366222 HAS SOPS 6081518 HAS SOUS 1993914 HAS SOUPS 1898758 WITH SCORE 1906124.222
AT ITER 3161 NEW BEST:: SOT 11871837 SOS 7366142 HAS SOPS 6081758 HAS SOUS 1993700 HAS SOUPS 1898544 WITH SCORE 1905910.142
AT ITER 3162 NEW BEST:: SOT 11870520 SOS 7362564 HAS SOPS 6078881 HAS SOUS 1989894 HAS SOUPS 1894776 WITH SCORE 1902138.564
AT ITER 3179 NEW BEST:: SOT 11870703 SOS 7362742 HAS SOPS 6079027 HAS SOUS 1989569 HAS SOUPS 1894451 WITH SCORE 1901813.742
AT ITER 3184 NEW BEST:: SOT 11868093 SOS 7360365 HAS SOPS 6074311 HAS SOUS 1981439 HAS SOUPS 1886320 WITH SCORE 1893680.365
AT ITER 3198 NEW BEST:: SOT 11870768 SOS 7367303 HAS SOPS 6081687 HAS SOUS 1975751 HAS SOUPS 1881865 WITH SCORE 1889232.303
AT ITER 3205 NEW BEST:: SOT 11869989 SOS 7365472 HAS SOPS 6080019 HAS SOUS 1972864 HAS SOUPS 1878978 WITH SCORE 1886343.472
AT ITER 3221 NEW BEST:: SOT 11867790 SOS 7363273 HAS SOPS 6077820 HAS SOUS 1970665 HAS SOUPS 1876779 WITH SCORE 1884142.273
AT ITER 3229 NEW BEST:: SOT 11867381 SOS 7363920 HAS SOPS 6074438 HAS SOUS 1965418 HAS SOUPS 1871532 WITH SCORE 1878895.92
AT ITER 3241 NEW BEST:: SOT 11868017 SOS 7365761 HAS SOPS 6074154 HAS SOUS 1963526 HAS SOUPS 1869640 WITH SCORE 1877005.761
AT ITER 3258 NEW BEST:: SOT 11867960 SOS 7367419 HAS SOPS 6074031 HAS SOUS 1962389 HAS SOUPS 1868503 WITH SCORE 1875870.419
AT ITER 3260 NEW BEST:: SOT 11867760 SOS 7367249 HAS SOPS 6073759 HAS SOUS 1961922 HAS SOUPS 1868033 WITH SCORE 1875400.249
AT ITER 3272 NEW BEST:: SOT 11867675 SOS 7367092 HAS SOPS 6073510 HAS SOUS 1961901 HAS SOUPS 1868012 WITH SCORE 1875379.092
AT ITER 3292 NEW BEST:: SOT 11867039 SOS 7366456 HAS SOPS 6072330 HAS SOUS 1958389 HAS SOUPS 1864500 WITH SCORE 1871866.456
AT ITER 3303 NEW BEST:: SOT 11865536 SOS 7364169 HAS SOPS 6070610 HAS SOUS 1956882 HAS SOUPS 1862993 WITH SCORE 1870357.169
AT ITER 3317 NEW BEST:: SOT 11864912 SOS 7362202 HAS SOPS 6069166 HAS SOUS 1956096 HAS SOUPS 1862220 WITH SCORE 1869582.202
AT ITER 3323 NEW BEST:: SOT 11858903 SOS 7356359 HAS SOPS 6061678 HAS SOUS 1949147 HAS SOUPS 1855191 WITH SCORE 1862547.359
AT ITER 3336 NEW BEST:: SOT 11849735 SOS 7347171 HAS SOPS 6051946 HAS SOUS 1938825 HAS SOUPS 1844869 WITH SCORE 1852216.171
AT ITER 3340 NEW BEST:: SOT 11849431 SOS 7347251 HAS SOPS 6051778 HAS SOUS 1938393 HAS SOUPS 1844189 WITH SCORE 1851536.251
AT ITER 3361 NEW BEST:: SOT 11849399 SOS 7346409 HAS SOPS 6051139 HAS SOUS 1938023 HAS SOUPS 1843819 WITH SCORE 1851165.409
AT ITER 3419 NEW BEST:: SOT 11851213 SOS 7348337 HAS SOPS 6053931 HAS SOUS 1936668 HAS SOUPS 1842464 WITH SCORE 1849812.337
AT ITER 3445 NEW BEST:: SOT 11849636 SOS 7345496 HAS SOPS 6051123 HAS SOUS 1935299 HAS SOUPS 1841095 WITH SCORE 1848440.496
AT ITER 3457 NEW BEST:: SOT 11849566 SOS 7345089 HAS SOPS 6050853 HAS SOUS 1935182 HAS SOUPS 1840978 WITH SCORE 1848323.089
AT ITER 3463 NEW BEST:: SOT 11849719 SOS 7345989 HAS SOPS 6051318 HAS SOUS 1935012 HAS SOUPS 1840808 WITH SCORE 1848153.989
AT ITER 3482 NEW BEST:: SOT 11859772 SOS 7374348 HAS SOPS 6076285 HAS SOUS 1933030 HAS SOUPS 1838826 WITH SCORE 1846200.348
AT ITER 3503 NEW BEST:: SOT 11858982 SOS 7372855 HAS SOPS 6074047 HAS SOUS 1929464 HAS SOUPS 1835708 WITH SCORE 1843080.855
AT ITER 3505 NEW BEST:: SOT 11858543 SOS 7374614 HAS SOPS 6075241 HAS SOUS 1925406 HAS SOUPS 1831650 WITH SCORE 1839024.614
AT ITER 3531 NEW BEST:: SOT 11858480 SOS 7378187 HAS SOPS 6077494 HAS SOUS 1925134 HAS SOUPS 1831378 WITH SCORE 1838756.187
AT ITER 3560 NEW BEST:: SOT 11858303 SOS 7377621 HAS SOPS 6078002 HAS SOUS 1922906 HAS SOUPS 1829143 WITH SCORE 1836520.621
AT ITER 3562 NEW BEST:: SOT 11857527 SOS 7376845 HAS SOPS 6077226 HAS SOUS 1922690 HAS SOUPS 1828927 WITH SCORE 1836303.845
AT ITER 3572 NEW BEST:: SOT 11857330 SOS 7376573 HAS SOPS 6076894 HAS SOUS 1922580 HAS SOUPS 1828822 WITH SCORE 1836198.573
AT ITER 3619 NEW BEST:: SOT 11856811 SOS 7375945 HAS SOPS 6075892 HAS SOUS 1921323 HAS SOUPS 1827554 WITH SCORE 1834929.945
AT ITER 3620 NEW BEST:: SOT 11864649 SOS 7383717 HAS SOPS 6079784 HAS SOUS 1918477 HAS SOUPS 1824708 WITH SCORE 1832091.717
AT ITER 3635 NEW BEST:: SOT 11858421 SOS 7371382 HAS SOPS 6067963 HAS SOUS 1914903 HAS SOUPS 1821154 WITH SCORE 1828525.382
AT ITER 3649 NEW BEST:: SOT 11853055 SOS 7364683 HAS SOPS 6059945 HAS SOUS 1905888 HAS SOUPS 1812287 WITH SCORE 1819651.683
AT ITER 3675 NEW BEST:: SOT 11852215 SOS 7363679 HAS SOPS 6060970 HAS SOUS 1905329 HAS SOUPS 1811728 WITH SCORE 1819091.679
AT ITER 3680 NEW BEST:: SOT 11851681 SOS 7363197 HAS SOPS 6060332 HAS SOUS 1904543 HAS SOUPS 1810942 WITH SCORE 1818305.197
AT ITER 3702 NEW BEST:: SOT 11851440 SOS 7363136 HAS SOPS 6060241 HAS SOUS 1904407 HAS SOUPS 1810791 WITH SCORE 1818154.136
AT ITER 3703 NEW BEST:: SOT 11848443 SOS 7360374 HAS SOPS 6055495 HAS SOUS 1901828 HAS SOUPS 1808212 WITH SCORE 1815572.374
AT ITER 3726 NEW BEST:: SOT 11850645 SOS 7363094 HAS SOPS 6057170 HAS SOUS 1901230 HAS SOUPS 1807614 WITH SCORE 1814977.094
AT ITER 3729 NEW BEST:: SOT 11855558 SOS 7372428 HAS SOPS 6068281 HAS SOUS 1889595 HAS SOUPS 1796236 WITH SCORE 1803608.428
AT ITER 3753 NEW BEST:: SOT 11854449 SOS 7368252 HAS SOPS 6064632 HAS SOUS 1888284 HAS SOUPS 1794925 WITH SCORE 1802293.252
AT ITER 3774 NEW BEST:: SOT 11853954 SOS 7367715 HAS SOPS 6063805 HAS SOUS 1887231 HAS SOUPS 1793867 WITH SCORE 1801234.715
AT ITER 3781 NEW BEST:: SOT 11853792 SOS 7367438 HAS SOPS 6063267 HAS SOUS 1885431 HAS SOUPS 1792067 WITH SCORE 1799434.438
AT ITER 3808 NEW BEST:: SOT 11851601 SOS 7360681 HAS SOPS 6055832 HAS SOUS 1884538 HAS SOUPS 1791106 WITH SCORE 1798466.681
AT ITER 3809 NEW BEST:: SOT 11852072 SOS 7361600 HAS SOPS 6055999 HAS SOUS 1884528 HAS SOUPS 1790997 WITH SCORE 1798358.6
AT ITER 3811 NEW BEST:: SOT 11853489 SOS 7364871 HAS SOPS 6057559 HAS SOUS 1881646 HAS SOUPS 1788064 WITH SCORE 1795428.871
AT ITER 3833 NEW BEST:: SOT 11853566 SOS 7364704 HAS SOPS 6056445 HAS SOUS 1879972 HAS SOUPS 1786390 WITH SCORE 1793754.704
AT ITER 3841 NEW BEST:: SOT 11856702 SOS 7369102 HAS SOPS 6061980 HAS SOUS 1878266 HAS SOUPS 1784684 WITH SCORE 1792053.102
AT ITER 3865 NEW BEST:: SOT 11853859 SOS 7365881 HAS SOPS 6059547 HAS SOUS 1875524 HAS SOUPS 1781981 WITH SCORE 1789346.881
AT ITER 3887 NEW BEST:: SOT 11853726 SOS 7365664 HAS SOPS 6059186 HAS SOUS 1875419 HAS SOUPS 1781780 WITH SCORE 1789145.664
AT ITER 3902 NEW BEST:: SOT 11853721 SOS 7365645 HAS SOPS 6059167 HAS SOUS 1875234 HAS SOUPS 1781595 WITH SCORE 1788960.645
AT ITER 3908 NEW BEST:: SOT 11853037 SOS 7365396 HAS SOPS 6058592 HAS SOUS 1874647 HAS SOUPS 1781008 WITH SCORE 1788373.396
AT ITER 3909 NEW BEST:: SOT 11853102 SOS 7368111 HAS SOPS 6060282 HAS SOUS 1873922 HAS SOUPS 1780241 WITH SCORE 1787609.111
AT ITER 3919 NEW BEST:: SOT 11851969 SOS 7366730 HAS SOPS 6058077 HAS SOUS 1871797 HAS SOUPS 1777919 WITH SCORE 1785285.73
AT ITER 3924 NEW BEST:: SOT 11854157 SOS 7370266 HAS SOPS 6061829 HAS SOUS 1871513 HAS SOUPS 1777635 WITH SCORE 1785005.266
AT ITER 3945 NEW BEST:: SOT 11854802 SOS 7370890 HAS SOPS 6062389 HAS SOUS 1870462 HAS SOUPS 1776584 WITH SCORE 1783954.89
AT ITER 3962 NEW BEST:: SOT 11854751 SOS 7370794 HAS SOPS 6062303 HAS SOUS 1870370 HAS SOUPS 1776492 WITH SCORE 1783862.794
AT ITER 3977 NEW BEST:: SOT 11854399 SOS 7370442 HAS SOPS 6062079 HAS SOUS 1869814 HAS SOUPS 1775936 WITH SCORE 1783306.442
AT ITER 3992 NEW BEST:: SOT 11853086 SOS 7367571 HAS SOPS 6060190 HAS SOUS 1869095 HAS SOUPS 1775217 WITH SCORE 1782584.571
AT ITER 4013 NEW BEST:: SOT 11851284 SOS 7364364 HAS SOPS 6058042 HAS SOUS 1861106 HAS SOUPS 1767228 WITH SCORE 1774592.364
AT ITER 4018 NEW BEST:: SOT 11850526 SOS 7363606 HAS SOPS 6057284 HAS SOUS 1860764 HAS SOUPS 1766886 WITH SCORE 1774249.606
AT ITER 4019 NEW BEST:: SOT 11850570 SOS 7363882 HAS SOPS 6057476 HAS SOUS 1860716 HAS SOUPS 1766834 WITH SCORE 1774197.882
AT ITER 4030 NEW BEST:: SOT 11852798 SOS 7365677 HAS SOPS 6059878 HAS SOUS 1858480 HAS SOUPS 1764695 WITH SCORE 1772060.677
AT ITER 4034 NEW BEST:: SOT 11852186 SOS 7364808 HAS SOPS 6059110 HAS SOUS 1857153 HAS SOUPS 1763368 WITH SCORE 1770732.808
AT ITER 4037 NEW BEST:: SOT 11850487 SOS 7363331 HAS SOPS 6056610 HAS SOUS 1852456 HAS SOUPS 1758671 WITH SCORE 1766034.331
AT ITER 4048 NEW BEST:: SOT 11849537 SOS 7362390 HAS SOPS 6055365 HAS SOUS 1850758 HAS SOUPS 1756973 WITH SCORE 1764335.39
AT ITER 4111 NEW BEST:: SOT 11849427 SOS 7362280 HAS SOPS 6055223 HAS SOUS 1850584 HAS SOUPS 1756767 WITH SCORE 1764129.28
AT ITER 4115 NEW BEST:: SOT 11849394 SOS 7362276 HAS SOPS 6055147 HAS SOUS 1850438 HAS SOUPS 1756619 WITH SCORE 1763981.276
AT ITER 4127 NEW BEST:: SOT 11848273 SOS 7360705 HAS SOPS 6053594 HAS SOUS 1848939 HAS SOUPS 1755138 WITH SCORE 1762498.705
AT ITER 4136 NEW BEST:: SOT 11847554 SOS 7359165 HAS SOPS 6052416 HAS SOUS 1848239 HAS SOUPS 1754463 WITH SCORE 1761822.165
AT ITER 4146 NEW BEST:: SOT 11847675 SOS 7359484 HAS SOPS 6052633 HAS SOUS 1848216 HAS SOUPS 1754440 WITH SCORE 1761799.484
AT ITER 4149 NEW BEST:: SOT 11847523 SOS 7359282 HAS SOPS 6052839 HAS SOUS 1847944 HAS SOUPS 1754198 WITH SCORE 1761557.282
AT ITER 4157 NEW BEST:: SOT 11847381 SOS 7357628 HAS SOPS 6051796 HAS SOUS 1847758 HAS SOUPS 1754012 WITH SCORE 1761369.628
AT ITER 4158 NEW BEST:: SOT 11846923 SOS 7353728 HAS SOPS 6048071 HAS SOUS 1844281 HAS SOUPS 1750689 WITH SCORE 1758042.728
AT ITER 4172 NEW BEST:: SOT 11836552 SOS 7324361 HAS SOPS 6034719 HAS SOUS 1843884 HAS SOUPS 1750456 WITH SCORE 1757780.361
AT ITER 4179 NEW BEST:: SOT 11837339 SOS 7325768 HAS SOPS 6037246 HAS SOUS 1843702 HAS SOUPS 1750274 WITH SCORE 1757599.768
AT ITER 4182 NEW BEST:: SOT 11836901 SOS 7325438 HAS SOPS 6036418 HAS SOUS 1843015 HAS SOUPS 1749578 WITH SCORE 1756903.438
AT ITER 4200 NEW BEST:: SOT 11833712 SOS 7315341 HAS SOPS 6022851 HAS SOUS 1838346 HAS SOUPS 1744909 WITH SCORE 1752224.341
AT ITER 4246 NEW BEST:: SOT 11833627 SOS 7316529 HAS SOPS 6023126 HAS SOUS 1838234 HAS SOUPS 1744780 WITH SCORE 1752096.529
AT ITER 4249 NEW BEST:: SOT 11833081 SOS 7315975 HAS SOPS 6022676 HAS SOUS 1837672 HAS SOUPS 1744226 WITH SCORE 1751541.975
AT ITER 4263 NEW BEST:: SOT 11832250 SOS 7313957 HAS SOPS 6020089 HAS SOUS 1835907 HAS SOUPS 1742498 WITH SCORE 1749811.957
AT ITER 4268 NEW BEST:: SOT 11832601 SOS 7314243 HAS SOPS 6020250 HAS SOUS 1835758 HAS SOUPS 1742349 WITH SCORE 1749663.243
AT ITER 4293 NEW BEST:: SOT 11827924 SOS 7304845 HAS SOPS 6011274 HAS SOUS 1830133 HAS SOUPS 1736780 WITH SCORE 1744084.845
AT ITER 4296 NEW BEST:: SOT 11828080 SOS 7304735 HAS SOPS 6010343 HAS SOUS 1828647 HAS SOUPS 1735294 WITH SCORE 1742598.735
AT ITER 4307 NEW BEST:: SOT 11828123 SOS 7304847 HAS SOPS 6010338 HAS SOUS 1828626 HAS SOUPS 1735273 WITH SCORE 1742577.847
AT ITER 4359 NEW BEST:: SOT 11827560 SOS 7304076 HAS SOPS 6009895 HAS SOUS 1828015 HAS SOUPS 1734670 WITH SCORE 1741974.076
AT ITER 4360 NEW BEST:: SOT 11828125 SOS 7306759 HAS SOPS 6012127 HAS SOUS 1827968 HAS SOUPS 1734623 WITH SCORE 1741929.759
AT ITER 4366 NEW BEST:: SOT 11827644 SOS 7306700 HAS SOPS 6011947 HAS SOUS 1825161 HAS SOUPS 1731816 WITH SCORE 1739122.7
AT ITER 4378 NEW BEST:: SOT 11827854 SOS 7308676 HAS SOPS 6013710 HAS SOUS 1824978 HAS SOUPS 1731633 WITH SCORE 1738941.676
AT ITER 4393 NEW BEST:: SOT 11827620 SOS 7308278 HAS SOPS 6013351 HAS SOUS 1824714 HAS SOUPS 1731369 WITH SCORE 1738677.278
AT ITER 4398 NEW BEST:: SOT 11825126 SOS 7300914 HAS SOPS 6006313 HAS SOUS 1821545 HAS SOUPS 1728229 WITH SCORE 1735529.914
AT ITER 4420 NEW BEST:: SOT 11824978 SOS 7300766 HAS SOPS 6006149 HAS SOUS 1821449 HAS SOUPS 1728133 WITH SCORE 1735433.766
AT ITER 4471 NEW BEST:: SOT 11825021 SOS 7300267 HAS SOPS 6005312 HAS SOUS 1821388 HAS SOUPS 1728072 WITH SCORE 1735372.267
AT ITER 4472 NEW BEST:: SOT 11817621 SOS 7292735 HAS SOPS 5997890 HAS SOUS 1814144 HAS SOUPS 1720828 WITH SCORE 1728120.735
AT ITER 4485 NEW BEST:: SOT 11818022 SOS 7293134 HAS SOPS 5998289 HAS SOUS 1814065 HAS SOUPS 1720749 WITH SCORE 1728042.134
AT ITER 4504 NEW BEST:: SOT 11814544 SOS 7287645 HAS SOPS 5992519 HAS SOUS 1807743 HAS SOUPS 1714293 WITH SCORE 1721580.645
AT ITER 4527 NEW BEST:: SOT 11813134 SOS 7282214 HAS SOPS 5987175 HAS SOUS 1807630 HAS SOUPS 1714180 WITH SCORE 1721462.214
AT ITER 4555 NEW BEST:: SOT 11813024 SOS 7282192 HAS SOPS 5986911 HAS SOUS 1807432 HAS SOUPS 1713982 WITH SCORE 1721264.192
AT ITER 4573 NEW BEST:: SOT 11812787 SOS 7281991 HAS SOPS 5986596 HAS SOUS 1806958 HAS SOUPS 1713508 WITH SCORE 1720789.991
AT ITER 4611 NEW BEST:: SOT 11813154 SOS 7286818 HAS SOPS 5989684 HAS SOUS 1806910 HAS SOUPS 1713460 WITH SCORE 1720746.818
AT ITER 4622 NEW BEST:: SOT 11811739 SOS 7285415 HAS SOPS 5988217 HAS SOUS 1806751 HAS SOUPS 1713301 WITH SCORE 1720586.415
AT ITER 4632 NEW BEST:: SOT 11809068 SOS 7280487 HAS SOPS 5984736 HAS SOUS 1802690 HAS SOUPS 1709948 WITH SCORE 1717228.487
AT ITER 4633 NEW BEST:: SOT 11809471 SOS 7286832 HAS SOPS 5989912 HAS SOUS 1802170 HAS SOUPS 1709373 WITH SCORE 1716659.832
AT ITER 4634 NEW BEST:: SOT 11809457 SOS 7286888 HAS SOPS 5989988 HAS SOUS 1802104 HAS SOUPS 1709307 WITH SCORE 1716593.888
AT ITER 4635 NEW BEST:: SOT 11806668 SOS 7283503 HAS SOPS 5987157 HAS SOUS 1793619 HAS SOUPS 1700874 WITH SCORE 1708157.503
AT ITER 4654 NEW BEST:: SOT 11806191 SOS 7283026 HAS SOPS 5986536 HAS SOUS 1792770 HAS SOUPS 1700025 WITH SCORE 1707308.026
AT ITER 4656 NEW BEST:: SOT 11806147 SOS 7282425 HAS SOPS 5984779 HAS SOUS 1787687 HAS SOUPS 1695342 WITH SCORE 1702624.425
AT ITER 4665 NEW BEST:: SOT 11805990 SOS 7282611 HAS SOPS 5984288 HAS SOUS 1787200 HAS SOUPS 1694855 WITH SCORE 1702137.611
AT ITER 4681 NEW BEST:: SOT 11803191 SOS 7278534 HAS SOPS 5985464 HAS SOUS 1783129 HAS SOUPS 1690784 WITH SCORE 1698062.534
AT ITER 4684 NEW BEST:: SOT 11800249 SOS 7266386 HAS SOPS 5981447 HAS SOUS 1782654 HAS SOUPS 1690309 WITH SCORE 1697575.386
AT ITER 4721 NEW BEST:: SOT 11797897 SOS 7262661 HAS SOPS 5979524 HAS SOUS 1780517 HAS SOUPS 1688172 WITH SCORE 1695434.661
AT ITER 4722 NEW BEST:: SOT 11795878 SOS 7260083 HAS SOPS 5974935 HAS SOUS 1774897 HAS SOUPS 1682552 WITH SCORE 1689812.083
AT ITER 4723 NEW BEST:: SOT 11791448 SOS 7256965 HAS SOPS 5972631 HAS SOUS 1773717 HAS SOUPS 1681372 WITH SCORE 1688628.965
AT ITER 4738 NEW BEST:: SOT 11791303 SOS 7255996 HAS SOPS 5971931 HAS SOUS 1773384 HAS SOUPS 1681050 WITH SCORE 1688305.996
AT ITER 4749 NEW BEST:: SOT 11788499 SOS 7253270 HAS SOPS 5969070 HAS SOUS 1769447 HAS SOUPS 1677063 WITH SCORE 1684316.27
AT ITER 4772 NEW BEST:: SOT 11787332 SOS 7251638 HAS SOPS 5967494 HAS SOUS 1768402 HAS SOUPS 1676039 WITH SCORE 1683290.638
AT ITER 4786 NEW BEST:: SOT 11787164 SOS 7251440 HAS SOPS 5967302 HAS SOUS 1768158 HAS SOUPS 1675797 WITH SCORE 1683048.44
AT ITER 4788 NEW BEST:: SOT 11784447 SOS 7247475 HAS SOPS 5963546 HAS SOUS 1764527 HAS SOUPS 1672190 WITH SCORE 1679437.475
AT ITER 4799 NEW BEST:: SOT 11784010 SOS 7245396 HAS SOPS 5960675 HAS SOUS 1763142 HAS SOUPS 1670805 WITH SCORE 1678050.396
AT ITER 4802 NEW BEST:: SOT 11775550 SOS 7228287 HAS SOPS 5939944 HAS SOUS 1759690 HAS SOUPS 1667069 WITH SCORE 1674297.287
AT ITER 4817 NEW BEST:: SOT 11775310 SOS 7228146 HAS SOPS 5939461 HAS SOUS 1759335 HAS SOUPS 1666621 WITH SCORE 1673849.146
AT ITER 4828 NEW BEST:: SOT 11775198 SOS 7228034 HAS SOPS 5939349 HAS SOUS 1759195 HAS SOUPS 1666481 WITH SCORE 1673709.034
AT ITER 4831 NEW BEST:: SOT 11772968 SOS 7225154 HAS SOPS 5936703 HAS SOUS 1758272 HAS SOUPS 1665558 WITH SCORE 1672783.154
AT ITER 4844 NEW BEST:: SOT 11773475 SOS 7226324 HAS SOPS 5939129 HAS SOUS 1756761 HAS SOUPS 1664047 WITH SCORE 1671273.324
AT ITER 4864 NEW BEST:: SOT 11772903 SOS 7225752 HAS SOPS 5938381 HAS SOUS 1755573 HAS SOUPS 1662859 WITH SCORE 1670084.752
AT ITER 4886 NEW BEST:: SOT 11772755 SOS 7225522 HAS SOPS 5938104 HAS SOUS 1754968 HAS SOUPS 1662195 WITH SCORE 1669420.522
AT ITER 4899 NEW BEST:: SOT 11772332 SOS 7225099 HAS SOPS 5937553 HAS SOUS 1753841 HAS SOUPS 1661068 WITH SCORE 1668293.099
AT ITER 4912 NEW BEST:: SOT 11772366 SOS 7225316 HAS SOPS 5938042 HAS SOUS 1753105 HAS SOUPS 1660332 WITH SCORE 1667557.316
AT ITER 4926 NEW BEST:: SOT 11772340 SOS 7224883 HAS SOPS 5938372 HAS SOUS 1751976 HAS SOUPS 1659245 WITH SCORE 1666469.883
AT ITER 4943 NEW BEST:: SOT 11772814 SOS 7226059 HAS SOPS 5938974 HAS SOUS 1751813 HAS SOUPS 1658937 WITH SCORE 1666163.059
AT ITER 4960 NEW BEST:: SOT 11771904 SOS 7228246 HAS SOPS 5939948 HAS SOUS 1745681 HAS SOUPS 1652805 WITH SCORE 1660033.246
AT ITER 4983 NEW BEST:: SOT 11773571 SOS 7229906 HAS SOPS 5940856 HAS SOUS 1744784 HAS SOUPS 1651908 WITH SCORE 1659137.906
AT ITER 4985 NEW BEST:: SOT 11773389 SOS 7229848 HAS SOPS 5940636 HAS SOUS 1744723 HAS SOUPS 1651847 WITH SCORE 1659076.848
AT ITER 5018 NEW BEST:: SOT 11771863 SOS 7225764 HAS SOPS 5938362 HAS SOUS 1741132 HAS SOUPS 1648256 WITH SCORE 1655481.764
AT ITER 5023 NEW BEST:: SOT 11773586 SOS 7230478 HAS SOPS 5942732 HAS SOUS 1738899 HAS SOUPS 1646023 WITH SCORE 1653253.478
AT ITER 5053 NEW BEST:: SOT 11773672 SOS 7230995 HAS SOPS 5943258 HAS SOUS 1738813 HAS SOUPS 1645944 WITH SCORE 1653174.995
AT ITER 5066 NEW BEST:: SOT 11773436 SOS 7230722 HAS SOPS 5942929 HAS SOUS 1738170 HAS SOUPS 1645301 WITH SCORE 1652531.722
AT ITER 5076 NEW BEST:: SOT 11770244 SOS 7227530 HAS SOPS 5939737 HAS SOUS 1736802 HAS SOUPS 1643933 WITH SCORE 1651160.53
AT ITER 5078 NEW BEST:: SOT 11770147 SOS 7227370 HAS SOPS 5939505 HAS SOUS 1736776 HAS SOUPS 1643899 WITH SCORE 1651126.37
AT ITER 5083 NEW BEST:: SOT 11770972 SOS 7227908 HAS SOPS 5940251 HAS SOUS 1729827 HAS SOUPS 1637025 WITH SCORE 1644252.908
AT ITER 5120 NEW BEST:: SOT 11770250 SOS 7226276 HAS SOPS 5938808 HAS SOUS 1729226 HAS SOUPS 1636424 WITH SCORE 1643650.276
AT ITER 5138 NEW BEST:: SOT 11770045 SOS 7226138 HAS SOPS 5938687 HAS SOUS 1728295 HAS SOUPS 1635493 WITH SCORE 1642719.138
AT ITER 5157 NEW BEST:: SOT 11769087 SOS 7225333 HAS SOPS 5937357 HAS SOUS 1725075 HAS SOUPS 1632252 WITH SCORE 1639477.333
AT ITER 5166 NEW BEST:: SOT 11769071 SOS 7225317 HAS SOPS 5937341 HAS SOUS 1725075 HAS SOUPS 1632252 WITH SCORE 1639477.317
AT ITER 5213 NEW BEST:: SOT 11768790 SOS 7223076 HAS SOPS 5935461 HAS SOUS 1724818 HAS SOUPS 1631995 WITH SCORE 1639218.076
AT ITER 5219 NEW BEST:: SOT 11769164 SOS 7224581 HAS SOPS 5936857 HAS SOUS 1724427 HAS SOUPS 1631604 WITH SCORE 1638828.581
AT ITER 5223 NEW BEST:: SOT 11769180 SOS 7224597 HAS SOPS 5936873 HAS SOUS 1724403 HAS SOUPS 1631580 WITH SCORE 1638804.597
AT ITER 5232 NEW BEST:: SOT 11768807 SOS 7221603 HAS SOPS 5933655 HAS SOUS 1724185 HAS SOUPS 1631362 WITH SCORE 1638583.603
AT ITER 5238 NEW BEST:: SOT 11774471 SOS 7229992 HAS SOPS 5943032 HAS SOUS 1723447 HAS SOUPS 1630709 WITH SCORE 1637938.992
AT ITER 5240 NEW BEST:: SOT 11770911 SOS 7224709 HAS SOPS 5937761 HAS SOUS 1720189 HAS SOUPS 1627451 WITH SCORE 1634675.709
AT ITER 5245 NEW BEST:: SOT 11769056 SOS 7222514 HAS SOPS 5935316 HAS SOUS 1716343 HAS SOUPS 1623623 WITH SCORE 1630845.514
AT ITER 5265 NEW BEST:: SOT 11769050 SOS 7222480 HAS SOPS 5935268 HAS SOUS 1716310 HAS SOUPS 1623590 WITH SCORE 1630812.48
AT ITER 5285 NEW BEST:: SOT 11767226 SOS 7219972 HAS SOPS 5932067 HAS SOUS 1713983 HAS SOUPS 1621211 WITH SCORE 1628430.972
AT ITER 5299 NEW BEST:: SOT 11765841 SOS 7217536 HAS SOPS 5929506 HAS SOUS 1711474 HAS SOUPS 1618702 WITH SCORE 1625919.536
AT ITER 5305 NEW BEST:: SOT 11765702 SOS 7217957 HAS SOPS 5931391 HAS SOUS 1711456 HAS SOUPS 1618684 WITH SCORE 1625901.957
AT ITER 5320 NEW BEST:: SOT 11764233 SOS 7216347 HAS SOPS 5929253 HAS SOUS 1708725 HAS SOUPS 1615953 WITH SCORE 1623169.347
AT ITER 5332 NEW BEST:: SOT 11763591 SOS 7215324 HAS SOPS 5928440 HAS SOUS 1708425 HAS SOUPS 1615653 WITH SCORE 1622868.324
AT ITER 5335 NEW BEST:: SOT 11761667 SOS 7211297 HAS SOPS 5925950 HAS SOUS 1705305 HAS SOUPS 1613259 WITH SCORE 1620470.297
AT ITER 5355 NEW BEST:: SOT 11759104 SOS 7204959 HAS SOPS 5920702 HAS SOUS 1703844 HAS SOUPS 1611831 WITH SCORE 1619035.959
AT ITER 5361 NEW BEST:: SOT 11758772 SOS 7204627 HAS SOPS 5920290 HAS SOUS 1703380 HAS SOUPS 1611367 WITH SCORE 1618571.627
AT ITER 5402 NEW BEST:: SOT 11758529 SOS 7204508 HAS SOPS 5919712 HAS SOUS 1701021 HAS SOUPS 1609058 WITH SCORE 1616262.508
AT ITER 5428 NEW BEST:: SOT 11758024 SOS 7203319 HAS SOPS 5919628 HAS SOUS 1699124 HAS SOUPS 1607161 WITH SCORE 1614364.319
AT ITER 5430 NEW BEST:: SOT 11756612 SOS 7201231 HAS SOPS 5917017 HAS SOUS 1689149 HAS SOUPS 1597664 WITH SCORE 1604865.231
AT ITER 5434 NEW BEST:: SOT 11756611 SOS 7201232 HAS SOPS 5917002 HAS SOUS 1689025 HAS SOUPS 1597540 WITH SCORE 1604741.232
AT ITER 5469 NEW BEST:: SOT 11756410 SOS 7201578 HAS SOPS 5914991 HAS SOUS 1688249 HAS SOUPS 1596764 WITH SCORE 1603965.578
AT ITER 5509 NEW BEST:: SOT 11756307 SOS 7201475 HAS SOPS 5914888 HAS SOUS 1688146 HAS SOUPS 1596661 WITH SCORE 1603862.475
AT ITER 5527 NEW BEST:: SOT 11756491 SOS 7207424 HAS SOPS 5921940 HAS SOUS 1674450 HAS SOUPS 1583150 WITH SCORE 1590357.424
AT ITER 5571 NEW BEST:: SOT 11754665 SOS 7205211 HAS SOPS 5920282 HAS SOUS 1670652 HAS SOUPS 1579352 WITH SCORE 1586557.211
AT ITER 5606 NEW BEST:: SOT 11755603 SOS 7208690 HAS SOPS 5921846 HAS SOUS 1669397 HAS SOUPS 1578097 WITH SCORE 1585305.69
AT ITER 5607 NEW BEST:: SOT 11755189 SOS 7207970 HAS SOPS 5917738 HAS SOUS 1665301 HAS SOUPS 1574001 WITH SCORE 1581208.97
AT ITER 5623 NEW BEST:: SOT 11754538 SOS 7208195 HAS SOPS 5916889 HAS SOUS 1664493 HAS SOUPS 1573193 WITH SCORE 1580401.195
AT ITER 5638 NEW BEST:: SOT 11754134 SOS 7208013 HAS SOPS 5916499 HAS SOUS 1663898 HAS SOUPS 1572598 WITH SCORE 1579806.013
AT ITER 5644 NEW BEST:: SOT 11754902 SOS 7206314 HAS SOPS 5913594 HAS SOUS 1660144 HAS SOUPS 1568844 WITH SCORE 1576050.314
AT ITER 5652 NEW BEST:: SOT 11754003 SOS 7205824 HAS SOPS 5912656 HAS SOUS 1658270 HAS SOUPS 1566970 WITH SCORE 1574175.824
AT ITER 5654 NEW BEST:: SOT 11756541 SOS 7210069 HAS SOPS 5915612 HAS SOUS 1656502 HAS SOUPS 1565176 WITH SCORE 1572386.069
AT ITER 5655 NEW BEST:: SOT 11756277 SOS 7210776 HAS SOPS 5915188 HAS SOUS 1655381 HAS SOUPS 1564055 WITH SCORE 1571265.776
AT ITER 5668 NEW BEST:: SOT 11757027 SOS 7213299 HAS SOPS 5917998 HAS SOUS 1654970 HAS SOUPS 1563644 WITH SCORE 1570857.299
AT ITER 5694 NEW BEST:: SOT 11756808 SOS 7213621 HAS SOPS 5918294 HAS SOUS 1654224 HAS SOUPS 1562898 WITH SCORE 1570111.621
AT ITER 5704 NEW BEST:: SOT 11755805 SOS 7211765 HAS SOPS 5917232 HAS SOUS 1653430 HAS SOUPS 1562149 WITH SCORE 1569360.765
AT ITER 5713 NEW BEST:: SOT 11755745 SOS 7211646 HAS SOPS 5917055 HAS SOUS 1653337 HAS SOUPS 1562056 WITH SCORE 1569267.646
AT ITER 5721 NEW BEST:: SOT 11754271 SOS 7210121 HAS SOPS 5915474 HAS SOUS 1650544 HAS SOUPS 1559288 WITH SCORE 1566498.121
AT ITER 5732 NEW BEST:: SOT 11754599 SOS 7210661 HAS SOPS 5914714 HAS SOUS 1649245 HAS SOUPS 1557989 WITH SCORE 1565199.661
AT ITER 5757 NEW BEST:: SOT 11753495 SOS 7209557 HAS SOPS 5913338 HAS SOUS 1647693 HAS SOUPS 1556437 WITH SCORE 1563646.557
AT ITER 5768 NEW BEST:: SOT 11753341 SOS 7207754 HAS SOPS 5910795 HAS SOUS 1647394 HAS SOUPS 1556138 WITH SCORE 1563345.754
AT ITER 5786 NEW BEST:: SOT 11752821 SOS 7207236 HAS SOPS 5910024 HAS SOUS 1646087 HAS SOUPS 1554826 WITH SCORE 1562033.236
AT ITER 5790 NEW BEST:: SOT 11753157 SOS 7207089 HAS SOPS 5910208 HAS SOUS 1643462 HAS SOUPS 1552201 WITH SCORE 1559408.089
AT ITER 5801 NEW BEST:: SOT 11753075 SOS 7206796 HAS SOPS 5909868 HAS SOUS 1643365 HAS SOUPS 1552104 WITH SCORE 1559310.796
AT ITER 5808 NEW BEST:: SOT 11753526 SOS 7207235 HAS SOPS 5910863 HAS SOUS 1642611 HAS SOUPS 1551401 WITH SCORE 1558608.235
AT ITER 5813 NEW BEST:: SOT 11753486 SOS 7207195 HAS SOPS 5910823 HAS SOUS 1642611 HAS SOUPS 1551401 WITH SCORE 1558608.195
AT ITER 5830 NEW BEST:: SOT 11753089 SOS 7206798 HAS SOPS 5910426 HAS SOUS 1641958 HAS SOUPS 1550748 WITH SCORE 1557954.798
AT ITER 5849 NEW BEST:: SOT 11752808 SOS 7206433 HAS SOPS 5910189 HAS SOUS 1641930 HAS SOUPS 1550704 WITH SCORE 1557910.433
AT ITER 5851 NEW BEST:: SOT 11750926 SOS 7204551 HAS SOPS 5908307 HAS SOUS 1640560 HAS SOUPS 1549334 WITH SCORE 1556538.551
AT ITER 5865 NEW BEST:: SOT 11750910 SOS 7204345 HAS SOPS 5907601 HAS SOUS 1637519 HAS SOUPS 1546345 WITH SCORE 1553549.345
AT ITER 5872 NEW BEST:: SOT 11751170 SOS 7205175 HAS SOPS 5908370 HAS SOUS 1637173 HAS SOUPS 1545999 WITH SCORE 1553204.175
AT ITER 5876 NEW BEST:: SOT 11751109 SOS 7205183 HAS SOPS 5908404 HAS SOUS 1637009 HAS SOUPS 1545835 WITH SCORE 1553040.183
AT ITER 5882 NEW BEST:: SOT 11752015 SOS 7206306 HAS SOPS 5909899 HAS SOUS 1636456 HAS SOUPS 1545530 WITH SCORE 1552736.306
AT ITER 5896 NEW BEST:: SOT 11750954 SOS 7202376 HAS SOPS 5905360 HAS SOUS 1630918 HAS SOUPS 1540083 WITH SCORE 1547285.376
AT ITER 5934 NEW BEST:: SOT 11749987 SOS 7198155 HAS SOPS 5901670 HAS SOUS 1630008 HAS SOUPS 1539173 WITH SCORE 1546371.155
AT ITER 5936 NEW BEST:: SOT 11750148 SOS 7196647 HAS SOPS 5900359 HAS SOUS 1630000 HAS SOUPS 1539165 WITH SCORE 1546361.647
AT ITER 5940 NEW BEST:: SOT 11751340 SOS 7197664 HAS SOPS 5901275 HAS SOUS 1628390 HAS SOUPS 1537519 WITH SCORE 1544716.664
AT ITER 5956 NEW BEST:: SOT 11751461 SOS 7197703 HAS SOPS 5901425 HAS SOUS 1627266 HAS SOUPS 1536890 WITH SCORE 1544087.703
AT ITER 5961 NEW BEST:: SOT 11749836 SOS 7196435 HAS SOPS 5901169 HAS SOUS 1626932 HAS SOUPS 1536556 WITH SCORE 1543752.435
AT ITER 5969 NEW BEST:: SOT 11750462 SOS 7197841 HAS SOPS 5902214 HAS SOUS 1625673 HAS SOUPS 1535297 WITH SCORE 1542494.841
AT ITER 6011 NEW BEST:: SOT 11750919 SOS 7198103 HAS SOPS 5902112 HAS SOUS 1625484 HAS SOUPS 1535173 WITH SCORE 1542371.103
AT ITER 6018 NEW BEST:: SOT 11749806 SOS 7195505 HAS SOPS 5899594 HAS SOUS 1624528 HAS SOUPS 1534217 WITH SCORE 1541412.505
AT ITER 6098 NEW BEST:: SOT 11749540 SOS 7193944 HAS SOPS 5899794 HAS SOUS 1624396 HAS SOUPS 1534085 WITH SCORE 1541278.944
AT ITER 6124 NEW BEST:: SOT 11745919 SOS 7189038 HAS SOPS 5895609 HAS SOUS 1619428 HAS SOUPS 1529192 WITH SCORE 1536381.038
AT ITER 6125 NEW BEST:: SOT 11745174 SOS 7189276 HAS SOPS 5896124 HAS SOUS 1616926 HAS SOUPS 1526690 WITH SCORE 1533879.276
AT ITER 6129 NEW BEST:: SOT 11744252 SOS 7187191 HAS SOPS 5894257 HAS SOUS 1615943 HAS SOUPS 1525707 WITH SCORE 1532894.191
AT ITER 6133 NEW BEST:: SOT 11743485 SOS 7186387 HAS SOPS 5893558 HAS SOUS 1614758 HAS SOUPS 1524522 WITH SCORE 1531708.387
AT ITER 6142 NEW BEST:: SOT 11744416 SOS 7189525 HAS SOPS 5895472 HAS SOUS 1613783 HAS SOUPS 1523547 WITH SCORE 1530736.525
AT ITER 6145 NEW BEST:: SOT 11744289 SOS 7189987 HAS SOPS 5895951 HAS SOUS 1612392 HAS SOUPS 1522156 WITH SCORE 1529345.987
AT ITER 6203 NEW BEST:: SOT 11744320 SOS 7190018 HAS SOPS 5895984 HAS SOUS 1612355 HAS SOUPS 1522121 WITH SCORE 1529311.018
AT ITER 6214 NEW BEST:: SOT 11742910 SOS 7189037 HAS SOPS 5891620 HAS SOUS 1605615 HAS SOUPS 1515381 WITH SCORE 1522570.037
AT ITER 6221 NEW BEST:: SOT 11742846 SOS 7189063 HAS SOPS 5891776 HAS SOUS 1605386 HAS SOUPS 1515157 WITH SCORE 1522346.063
AT ITER 6222 NEW BEST:: SOT 11742984 SOS 7189198 HAS SOPS 5891914 HAS SOUS 1605344 HAS SOUPS 1515118 WITH SCORE 1522307.198
AT ITER 6224 NEW BEST:: SOT 11737828 SOS 7184033 HAS SOPS 5886621 HAS SOUS 1601568 HAS SOUPS 1511342 WITH SCORE 1518526.033
AT ITER 6232 NEW BEST:: SOT 11737780 SOS 7183985 HAS SOPS 5886557 HAS SOUS 1601472 HAS SOUPS 1511246 WITH SCORE 1518429.985
AT ITER 6312 NEW BEST:: SOT 11736276 SOS 7181460 HAS SOPS 5883779 HAS SOUS 1598081 HAS SOUPS 1506964 WITH SCORE 1514145.46
AT ITER 6319 NEW BEST:: SOT 11736421 SOS 7181915 HAS SOPS 5883929 HAS SOUS 1597976 HAS SOUPS 1506859 WITH SCORE 1514040.915
AT ITER 6349 NEW BEST:: SOT 11736048 SOS 7181942 HAS SOPS 5883242 HAS SOUS 1596601 HAS SOUPS 1505484 WITH SCORE 1512665.942
AT ITER 6357 NEW BEST:: SOT 11735238 SOS 7181132 HAS SOPS 5882432 HAS SOUS 1596223 HAS SOUPS 1505106 WITH SCORE 1512287.132
AT ITER 6364 NEW BEST:: SOT 11734066 SOS 7178791 HAS SOPS 5879300 HAS SOUS 1594750 HAS SOUPS 1503633 WITH SCORE 1510811.791
AT ITER 6366 NEW BEST:: SOT 11733967 SOS 7178296 HAS SOPS 5878532 HAS SOUS 1594263 HAS SOUPS 1503146 WITH SCORE 1510324.296
AT ITER 6372 NEW BEST:: SOT 11735887 SOS 7185507 HAS SOPS 5884045 HAS SOUS 1593505 HAS SOUPS 1502372 WITH SCORE 1509557.507
AT ITER 6378 NEW BEST:: SOT 11734833 SOS 7184498 HAS SOPS 5882999 HAS SOUS 1591682 HAS SOUPS 1500557 WITH SCORE 1507741.498
AT ITER 6390 NEW BEST:: SOT 11734034 SOS 7183704 HAS SOPS 5882102 HAS SOUS 1591371 HAS SOUPS 1500243 WITH SCORE 1507426.704
AT ITER 6391 NEW BEST:: SOT 11733258 SOS 7181965 HAS SOPS 5879927 HAS SOUS 1590709 HAS SOUPS 1499581 WITH SCORE 1506762.965
AT ITER 6422 NEW BEST:: SOT 11732866 SOS 7181397 HAS SOPS 5879319 HAS SOUS 1589949 HAS SOUPS 1498821 WITH SCORE 1506002.397
AT ITER 6442 NEW BEST:: SOT 11732827 SOS 7181473 HAS SOPS 5879280 HAS SOUS 1589595 HAS SOUPS 1498467 WITH SCORE 1505648.473
AT ITER 6455 NEW BEST:: SOT 11732887 SOS 7181565 HAS SOPS 5879304 HAS SOUS 1589587 HAS SOUPS 1498459 WITH SCORE 1505640.565
AT ITER 6527 NEW BEST:: SOT 11732835 SOS 7181596 HAS SOPS 5879289 HAS SOUS 1589536 HAS SOUPS 1498408 WITH SCORE 1505589.596
AT ITER 6540 NEW BEST:: SOT 11733353 SOS 7184090 HAS SOPS 5879183 HAS SOUS 1587840 HAS SOUPS 1496677 WITH SCORE 1503861.09
AT ITER 6562 NEW BEST:: SOT 11732971 SOS 7182744 HAS SOPS 5879027 HAS SOUS 1586038 HAS SOUPS 1494875 WITH SCORE 1502057.744
AT ITER 6580 NEW BEST:: SOT 11732755 SOS 7179755 HAS SOPS 5878544 HAS SOUS 1584687 HAS SOUPS 1493524 WITH SCORE 1500703.755
AT ITER 6673 NEW BEST:: SOT 11731490 SOS 7177888 HAS SOPS 5876214 HAS SOUS 1583205 HAS SOUPS 1492028 WITH SCORE 1499205.888
AT ITER 6687 NEW BEST:: SOT 11730650 SOS 7177693 HAS SOPS 5875785 HAS SOUS 1579940 HAS SOUPS 1488728 WITH SCORE 1495905.693
AT ITER 6692 NEW BEST:: SOT 11730568 SOS 7177493 HAS SOPS 5875574 HAS SOUS 1579837 HAS SOUPS 1488626 WITH SCORE 1495803.493
AT ITER 6699 NEW BEST:: SOT 11730830 SOS 7178390 HAS SOPS 5876480 HAS SOUS 1579240 HAS SOUPS 1488043 WITH SCORE 1495221.39
AT ITER 6756 NEW BEST:: SOT 11730133 SOS 7177071 HAS SOPS 5873585 HAS SOUS 1575250 HAS SOUPS 1484053 WITH SCORE 1491230.071
AT ITER 6764 NEW BEST:: SOT 11729626 SOS 7175922 HAS SOPS 5872319 HAS SOUS 1574665 HAS SOUPS 1483468 WITH SCORE 1490643.922
AT ITER 6769 NEW BEST:: SOT 11729586 SOS 7175665 HAS SOPS 5872031 HAS SOUS 1574588 HAS SOUPS 1483391 WITH SCORE 1490566.665
AT ITER 6777 NEW BEST:: SOT 11729434 SOS 7175509 HAS SOPS 5871835 HAS SOUS 1574260 HAS SOUPS 1483061 WITH SCORE 1490236.509
AT ITER 6787 NEW BEST:: SOT 11730837 SOS 7180678 HAS SOPS 5876845 HAS SOUS 1573593 HAS SOUPS 1482394 WITH SCORE 1489574.678
AT ITER 6790 NEW BEST:: SOT 11730508 SOS 7180454 HAS SOPS 5876690 HAS SOUS 1573154 HAS SOUPS 1481963 WITH SCORE 1489143.454
AT ITER 6803 NEW BEST:: SOT 11730095 SOS 7179926 HAS SOPS 5876190 HAS SOUS 1570697 HAS SOUPS 1479506 WITH SCORE 1486685.926
AT ITER 6857 NEW BEST:: SOT 11731122 SOS 7181007 HAS SOPS 5877903 HAS SOUS 1570244 HAS SOUPS 1479149 WITH SCORE 1486330.007
AT ITER 6869 NEW BEST:: SOT 11729683 SOS 7177774 HAS SOPS 5875359 HAS SOUS 1569042 HAS SOUPS 1477974 WITH SCORE 1485151.774
AT ITER 6874 NEW BEST:: SOT 11729057 SOS 7177418 HAS SOPS 5873493 HAS SOUS 1563615 HAS SOUPS 1472502 WITH SCORE 1479679.418
AT ITER 6890 NEW BEST:: SOT 11728988 SOS 7177359 HAS SOPS 5873419 HAS SOUS 1563468 HAS SOUPS 1472355 WITH SCORE 1479532.359
AT ITER 6901 NEW BEST:: SOT 11729328 SOS 7174939 HAS SOPS 5869808 HAS SOUS 1563180 HAS SOUPS 1472067 WITH SCORE 1479241.939
AT ITER 6917 NEW BEST:: SOT 11728296 SOS 7173379 HAS SOPS 5868968 HAS SOUS 1562100 HAS SOUPS 1471011 WITH SCORE 1478184.379
AT ITER 6954 NEW BEST:: SOT 11724445 SOS 7169494 HAS SOPS 5863643 HAS SOUS 1561767 HAS SOUPS 1469238 WITH SCORE 1476407.494
AT ITER 6955 NEW BEST:: SOT 11724124 SOS 7169103 HAS SOPS 5863408 HAS SOUS 1561110 HAS SOUPS 1468677 WITH SCORE 1475846.103
AT ITER 6972 NEW BEST:: SOT 11727458 SOS 7174335 HAS SOPS 5868921 HAS SOUS 1559468 HAS SOUPS 1467035 WITH SCORE 1474209.335
AT ITER 6973 NEW BEST:: SOT 11724807 SOS 7170572 HAS SOPS 5863291 HAS SOUS 1557767 HAS SOUPS 1465108 WITH SCORE 1472278.572
AT ITER 6976 NEW BEST:: SOT 11721909 SOS 7161996 HAS SOPS 5856368 HAS SOUS 1552924 HAS SOUPS 1460326 WITH SCORE 1467487.996
AT ITER 6995 NEW BEST:: SOT 11722590 SOS 7164559 HAS SOPS 5858612 HAS SOUS 1552771 HAS SOUPS 1460159 WITH SCORE 1467323.559
AT ITER 7006 NEW BEST:: SOT 11722689 SOS 7163960 HAS SOPS 5858013 HAS SOUS 1552725 HAS SOUPS 1460113 WITH SCORE 1467276.96
AT ITER 7062 NEW BEST:: SOT 11722730 SOS 7162801 HAS SOPS 5857048 HAS SOUS 1551855 HAS SOUPS 1459243 WITH SCORE 1466405.801
AT ITER 7081 NEW BEST:: SOT 11722718 SOS 7162753 HAS SOPS 5857007 HAS SOUS 1551829 HAS SOUPS 1459217 WITH SCORE 1466379.753
AT ITER 7088 NEW BEST:: SOT 11723079 SOS 7162742 HAS SOPS 5856095 HAS SOUS 1551380 HAS SOUPS 1458768 WITH SCORE 1465930.742
AT ITER 7092 NEW BEST:: SOT 11727594 SOS 7165943 HAS SOPS 5860286 HAS SOUS 1549584 HAS SOUPS 1456972 WITH SCORE 1464137.943
AT ITER 7114 NEW BEST:: SOT 11726758 SOS 7166173 HAS SOPS 5859211 HAS SOUS 1546654 HAS SOUPS 1454042 WITH SCORE 1461208.173
AT ITER 7118 NEW BEST:: SOT 11726814 SOS 7164471 HAS SOPS 5857842 HAS SOUS 1545836 HAS SOUPS 1453252 WITH SCORE 1460416.471
AT ITER 7139 NEW BEST:: SOT 11726766 SOS 7164423 HAS SOPS 5857778 HAS SOUS 1545740 HAS SOUPS 1453156 WITH SCORE 1460320.423
AT ITER 7144 NEW BEST:: SOT 11726115 SOS 7162710 HAS SOPS 5856341 HAS SOUS 1545220 HAS SOUPS 1452636 WITH SCORE 1459798.71
AT ITER 7151 NEW BEST:: SOT 11726106 SOS 7162672 HAS SOPS 5856229 HAS SOUS 1545216 HAS SOUPS 1452632 WITH SCORE 1459794.672
AT ITER 7165 NEW BEST:: SOT 11725700 SOS 7161179 HAS SOPS 5855153 HAS SOUS 1544320 HAS SOUPS 1451831 WITH SCORE 1458992.179
AT ITER 7179 NEW BEST:: SOT 11724490 SOS 7160679 HAS SOPS 5853875 HAS SOUS 1541523 HAS SOUPS 1449034 WITH SCORE 1456194.679
AT ITER 7183 NEW BEST:: SOT 11723516 SOS 7158083 HAS SOPS 5851843 HAS SOUS 1540865 HAS SOUPS 1448376 WITH SCORE 1455534.083
AT ITER 7190 NEW BEST:: SOT 11720852 SOS 7155457 HAS SOPS 5849035 HAS SOUS 1535863 HAS SOUPS 1443547 WITH SCORE 1450702.457
AT ITER 7203 NEW BEST:: SOT 11720756 SOS 7155367 HAS SOPS 5848906 HAS SOUS 1535578 HAS SOUPS 1443259 WITH SCORE 1450414.367
AT ITER 7241 NEW BEST:: SOT 11718466 SOS 7152517 HAS SOPS 5845313 HAS SOUS 1528619 HAS SOUPS 1437048 WITH SCORE 1444200.517
AT ITER 7291 NEW BEST:: SOT 11718779 SOS 7152627 HAS SOPS 5845086 HAS SOUS 1528294 HAS SOUPS 1436723 WITH SCORE 1443875.627
AT ITER 7298 NEW BEST:: SOT 11718138 SOS 7151923 HAS SOPS 5844101 HAS SOUS 1526774 HAS SOUPS 1435203 WITH SCORE 1442354.923
AT ITER 7304 NEW BEST:: SOT 11717552 SOS 7150618 HAS SOPS 5842799 HAS SOUS 1526324 HAS SOUPS 1434753 WITH SCORE 1441903.618
AT ITER 7334 NEW BEST:: SOT 11717371 SOS 7150302 HAS SOPS 5842552 HAS SOUS 1526152 HAS SOUPS 1434581 WITH SCORE 1441731.302
AT ITER 7358 NEW BEST:: SOT 11715986 SOS 7148417 HAS SOPS 5840388 HAS SOUS 1523677 HAS SOUPS 1432106 WITH SCORE 1439254.417
AT ITER 7403 NEW BEST:: SOT 11716174 SOS 7148353 HAS SOPS 5839935 HAS SOUS 1523463 HAS SOUPS 1431892 WITH SCORE 1439040.353
AT ITER 7476 NEW BEST:: SOT 11716697 SOS 7149501 HAS SOPS 5840946 HAS SOUS 1522072 HAS SOUPS 1430550 WITH SCORE 1437699.501
AT ITER 7517 NEW BEST:: SOT 11717370 SOS 7150421 HAS SOPS 5843934 HAS SOUS 1521927 HAS SOUPS 1430405 WITH SCORE 1437555.421
AT ITER 7539 NEW BEST:: SOT 11716503 SOS 7149013 HAS SOPS 5841950 HAS SOUS 1518559 HAS SOUPS 1427048 WITH SCORE 1434197.013
AT ITER 7549 NEW BEST:: SOT 11715639 SOS 7148195 HAS SOPS 5841256 HAS SOUS 1516973 HAS SOUPS 1425462 WITH SCORE 1432610.195
AT ITER 7610 NEW BEST:: SOT 11716064 SOS 7148727 HAS SOPS 5841294 HAS SOUS 1516653 HAS SOUPS 1425095 WITH SCORE 1432243.727
AT ITER 7636 NEW BEST:: SOT 11715870 SOS 7148509 HAS SOPS 5840961 HAS SOUS 1516193 HAS SOUPS 1424635 WITH SCORE 1431783.509
AT ITER 7641 NEW BEST:: SOT 11715598 SOS 7148149 HAS SOPS 5840517 HAS SOUS 1516102 HAS SOUPS 1424497 WITH SCORE 1431645.149
AT ITER 7670 NEW BEST:: SOT 11715632 SOS 7148353 HAS SOPS 5840868 HAS SOUS 1514552 HAS SOUPS 1422947 WITH SCORE 1430095.353
AT ITER 7673 NEW BEST:: SOT 11716507 SOS 7148071 HAS SOPS 5839838 HAS SOUS 1513724 HAS SOUPS 1422119 WITH SCORE 1429267.071
AT ITER 7691 NEW BEST:: SOT 11716397 SOS 7149179 HAS SOPS 5840008 HAS SOUS 1512774 HAS SOUPS 1421155 WITH SCORE 1428304.179
AT ITER 7714 NEW BEST:: SOT 11715565 SOS 7147130 HAS SOPS 5838706 HAS SOUS 1507276 HAS SOUPS 1415657 WITH SCORE 1422804.13
AT ITER 7759 NEW BEST:: SOT 11715508 SOS 7147075 HAS SOPS 5838649 HAS SOUS 1507194 HAS SOUPS 1415575 WITH SCORE 1422722.075
AT ITER 7768 NEW BEST:: SOT 11715423 SOS 7144677 HAS SOPS 5836743 HAS SOUS 1505570 HAS SOUPS 1413991 WITH SCORE 1421135.677
AT ITER 7772 NEW BEST:: SOT 11715468 SOS 7144678 HAS SOPS 5836216 HAS SOUS 1505200 HAS SOUPS 1413513 WITH SCORE 1420657.678
AT ITER 7801 NEW BEST:: SOT 11714400 SOS 7140649 HAS SOPS 5833538 HAS SOUS 1504624 HAS SOUPS 1412997 WITH SCORE 1420137.649
AT ITER 7927 NEW BEST:: SOT 11714326 SOS 7140569 HAS SOPS 5833426 HAS SOUS 1504393 HAS SOUPS 1412766 WITH SCORE 1419906.569
AT ITER 7944 NEW BEST:: SOT 11714675 SOS 7141854 HAS SOPS 5833931 HAS SOUS 1503632 HAS SOUPS 1412005 WITH SCORE 1419146.854
AT ITER 7970 NEW BEST:: SOT 11716021 SOS 7146686 HAS SOPS 5837964 HAS SOUS 1503376 HAS SOUPS 1411707 WITH SCORE 1418853.686
AT ITER 7998 NEW BEST:: SOT 11715321 SOS 7145777 HAS SOPS 5835888 HAS SOUS 1501839 HAS SOUPS 1410170 WITH SCORE 1417315.777
AT ITER 8019 NEW BEST:: SOT 11715080 SOS 7145452 HAS SOPS 5835493 HAS SOUS 1501342 HAS SOUPS 1409668 WITH SCORE 1416813.452
AT ITER 8038 NEW BEST:: SOT 11708937 SOS 7135519 HAS SOPS 5825977 HAS SOUS 1496803 HAS SOUPS 1405129 WITH SCORE 1412264.519
AT ITER 8051 NEW BEST:: SOT 11707127 SOS 7133630 HAS SOPS 5822652 HAS SOUS 1494043 HAS SOUPS 1402390 WITH SCORE 1409523.63
AT ITER 8090 NEW BEST:: SOT 11706982 SOS 7134326 HAS SOPS 5822224 HAS SOUS 1492272 HAS SOUPS 1400619 WITH SCORE 1407753.326
AT ITER 8112 NEW BEST:: SOT 11707511 SOS 7132838 HAS SOPS 5820833 HAS SOUS 1491513 HAS SOUPS 1399860 WITH SCORE 1406992.838
AT ITER 8153 NEW BEST:: SOT 11708184 SOS 7132974 HAS SOPS 5820972 HAS SOUS 1491485 HAS SOUPS 1399832 WITH SCORE 1406964.974
AT ITER 8184 NEW BEST:: SOT 11708184 SOS 7133013 HAS SOPS 5820864 HAS SOUS 1491476 HAS SOUPS 1399823 WITH SCORE 1406956.013
AT ITER 8219 NEW BEST:: SOT 11707848 SOS 7132677 HAS SOPS 5820348 HAS SOUS 1490740 HAS SOUPS 1399087 WITH SCORE 1406219.677
AT ITER 8253 NEW BEST:: SOT 11706646 SOS 7131432 HAS SOPS 5818804 HAS SOUS 1488421 HAS SOUPS 1396758 WITH SCORE 1403889.432
AT ITER 8258 NEW BEST:: SOT 11706848 SOS 7131654 HAS SOPS 5818962 HAS SOUS 1487759 HAS SOUPS 1396096 WITH SCORE 1403227.654
AT ITER 8297 NEW BEST:: SOT 11699451 SOS 7110124 HAS SOPS 5801618 HAS SOUS 1486876 HAS SOUPS 1395197 WITH SCORE 1402307.124
AT ITER 8308 NEW BEST:: SOT 11699583 SOS 7110373 HAS SOPS 5803167 HAS SOUS 1486629 HAS SOUPS 1394950 WITH SCORE 1402060.373
AT ITER 8341 NEW BEST:: SOT 11700594 SOS 7114244 HAS SOPS 5799725 HAS SOUS 1486347 HAS SOUPS 1394333 WITH SCORE 1401447.244
AT ITER 8359 NEW BEST:: SOT 11700418 SOS 7113910 HAS SOPS 5799374 HAS SOUS 1486127 HAS SOUPS 1394113 WITH SCORE 1401226.91
AT ITER 8372 NEW BEST:: SOT 11700307 SOS 7113744 HAS SOPS 5799129 HAS SOUS 1485822 HAS SOUPS 1393811 WITH SCORE 1400924.744
AT ITER 8373 NEW BEST:: SOT 11700071 SOS 7113510 HAS SOPS 5798893 HAS SOUS 1485588 HAS SOUPS 1393575 WITH SCORE 1400688.51
AT ITER 8379 NEW BEST:: SOT 11699841 SOS 7113280 HAS SOPS 5798503 HAS SOUS 1485343 HAS SOUPS 1393330 WITH SCORE 1400443.28
AT ITER 8426 NEW BEST:: SOT 11699153 SOS 7112592 HAS SOPS 5798039 HAS SOUS 1484911 HAS SOUPS 1393010 WITH SCORE 1400122.592
AT ITER 8449 NEW BEST:: SOT 11699009 SOS 7112448 HAS SOPS 5797735 HAS SOUS 1483783 HAS SOUPS 1391882 WITH SCORE 1398994.448
AT ITER 8454 NEW BEST:: SOT 11693067 SOS 7106608 HAS SOPS 5791695 HAS SOUS 1478756 HAS SOUPS 1386806 WITH SCORE 1393912.608
AT ITER 8471 NEW BEST:: SOT 11692760 SOS 7104921 HAS SOPS 5789880 HAS SOUS 1478240 HAS SOUPS 1386290 WITH SCORE 1393394.921
AT ITER 8526 NEW BEST:: SOT 11692673 SOS 7104924 HAS SOPS 5789736 HAS SOUS 1477929 HAS SOUPS 1385979 WITH SCORE 1393083.924
AT ITER 8532 NEW BEST:: SOT 11692420 SOS 7107153 HAS SOPS 5791435 HAS SOUS 1477216 HAS SOUPS 1385266 WITH SCORE 1392373.153
AT ITER 8547 NEW BEST:: SOT 11692478 SOS 7107209 HAS SOPS 5791491 HAS SOUS 1477162 HAS SOUPS 1385212 WITH SCORE 1392319.209
AT ITER 8564 NEW BEST:: SOT 11691200 SOS 7105931 HAS SOPS 5790005 HAS SOUS 1475484 HAS SOUPS 1383534 WITH SCORE 1390639.931
AT ITER 8568 NEW BEST:: SOT 11688107 SOS 7098159 HAS SOPS 5783140 HAS SOUS 1475173 HAS SOUPS 1383223 WITH SCORE 1390321.159
AT ITER 8625 NEW BEST:: SOT 11686219 SOS 7097323 HAS SOPS 5782219 HAS SOUS 1466837 HAS SOUPS 1374887 WITH SCORE 1381984.323
AT ITER 8659 NEW BEST:: SOT 11686187 SOS 7097284 HAS SOPS 5782141 HAS SOUS 1466773 HAS SOUPS 1374822 WITH SCORE 1381919.284
AT ITER 8704 NEW BEST:: SOT 11685527 SOS 7094191 HAS SOPS 5778717 HAS SOUS 1465478 HAS SOUPS 1373527 WITH SCORE 1380621.191
AT ITER 8708 NEW BEST:: SOT 11685547 SOS 7094269 HAS SOPS 5778795 HAS SOUS 1465418 HAS SOUPS 1373467 WITH SCORE 1380561.269
AT ITER 8715 NEW BEST:: SOT 11684752 SOS 7093438 HAS SOPS 5777460 HAS SOUS 1464047 HAS SOUPS 1372087 WITH SCORE 1379180.438
AT ITER 8730 NEW BEST:: SOT 11686367 SOS 7101542 HAS SOPS 5786168 HAS SOUS 1463588 HAS SOUPS 1371628 WITH SCORE 1378729.542
AT ITER 8732 NEW BEST:: SOT 11686040 SOS 7102029 HAS SOPS 5785492 HAS SOUS 1461622 HAS SOUPS 1369610 WITH SCORE 1376712.029
AT ITER 8753 NEW BEST:: SOT 11686471 SOS 7101160 HAS SOPS 5786073 HAS SOUS 1459588 HAS SOUPS 1367465 WITH SCORE 1374566.16
AT ITER 8784 NEW BEST:: SOT 11686261 SOS 7099531 HAS SOPS 5784827 HAS SOUS 1458689 HAS SOUPS 1366602 WITH SCORE 1373701.531
AT ITER 8809 NEW BEST:: SOT 11686700 SOS 7100561 HAS SOPS 5785919 HAS SOUS 1457363 HAS SOUPS 1365276 WITH SCORE 1372376.561
AT ITER 8817 NEW BEST:: SOT 11685825 SOS 7097854 HAS SOPS 5784728 HAS SOUS 1455632 HAS SOUPS 1363723 WITH SCORE 1370820.854
AT ITER 8855 NEW BEST:: SOT 11683631 SOS 7093379 HAS SOPS 5780497 HAS SOUS 1452488 HAS SOUPS 1360619 WITH SCORE 1367712.379
AT ITER 8873 NEW BEST:: SOT 11681851 SOS 7091317 HAS SOPS 5778515 HAS SOUS 1450668 HAS SOUPS 1358885 WITH SCORE 1365976.317
AT ITER 8885 NEW BEST:: SOT 11681787 SOS 7091197 HAS SOPS 5778587 HAS SOUS 1450348 HAS SOUPS 1358573 WITH SCORE 1365664.197
AT ITER 8903 NEW BEST:: SOT 11680938 SOS 7090012 HAS SOPS 5777365 HAS SOUS 1449266 HAS SOUPS 1357453 WITH SCORE 1364543.012
AT ITER 8947 NEW BEST:: SOT 11680696 SOS 7087710 HAS SOPS 5775664 HAS SOUS 1448593 HAS SOUPS 1356780 WITH SCORE 1363867.71
AT ITER 8987 NEW BEST:: SOT 11679532 SOS 7084834 HAS SOPS 5772788 HAS SOUS 1446791 HAS SOUPS 1355002 WITH SCORE 1362086.834
AT ITER 8992 NEW BEST:: SOT 11679536 SOS 7085053 HAS SOPS 5772592 HAS SOUS 1446732 HAS SOUPS 1354943 WITH SCORE 1362028.053
AT ITER 8995 NEW BEST:: SOT 11679400 SOS 7084711 HAS SOPS 5772131 HAS SOUS 1446262 HAS SOUPS 1354473 WITH SCORE 1361557.711
AT ITER 8999 NEW BEST:: SOT 11675864 SOS 7078985 HAS SOPS 5766002 HAS SOUS 1442660 HAS SOUPS 1350871 WITH SCORE 1357949.985
AT ITER 9045 NEW BEST:: SOT 11675877 SOS 7078859 HAS SOPS 5766147 HAS SOUS 1442644 HAS SOUPS 1350855 WITH SCORE 1357933.859
AT ITER 9080 NEW BEST:: SOT 11675254 SOS 7079978 HAS SOPS 5766316 HAS SOUS 1442488 HAS SOUPS 1350699 WITH SCORE 1357778.978
AT ITER 9108 NEW BEST:: SOT 11675267 SOS 7080071 HAS SOPS 5766627 HAS SOUS 1442245 HAS SOUPS 1350456 WITH SCORE 1357536.071
AT ITER 9164 NEW BEST:: SOT 11675266 SOS 7080109 HAS SOPS 5766646 HAS SOUS 1442223 HAS SOUPS 1350434 WITH SCORE 1357514.109
AT ITER 9166 NEW BEST:: SOT 11674493 SOS 7078129 HAS SOPS 5765372 HAS SOUS 1440656 HAS SOUPS 1348922 WITH SCORE 1356000.129
AT ITER 9176 NEW BEST:: SOT 11675298 SOS 7078382 HAS SOPS 5766142 HAS SOUS 1438902 HAS SOUPS 1347168 WITH SCORE 1354246.382
AT ITER 9196 NEW BEST:: SOT 11674004 SOS 7075820 HAS SOPS 5762895 HAS SOUS 1437508 HAS SOUPS 1345774 WITH SCORE 1352849.82
AT ITER 9238 NEW BEST:: SOT 11674074 SOS 7075921 HAS SOPS 5762790 HAS SOUS 1437377 HAS SOUPS 1345643 WITH SCORE 1352718.921
AT ITER 9253 NEW BEST:: SOT 11673248 SOS 7076191 HAS SOPS 5762313 HAS SOUS 1436055 HAS SOUPS 1344321 WITH SCORE 1351397.191
AT ITER 9272 NEW BEST:: SOT 11673250 SOS 7076305 HAS SOPS 5762436 HAS SOUS 1436033 HAS SOUPS 1344299 WITH SCORE 1351375.305
AT ITER 9338 NEW BEST:: SOT 11679937 SOS 7086366 HAS SOPS 5773290 HAS SOUS 1435454 HAS SOUPS 1343898 WITH SCORE 1350984.366
AT ITER 9350 NEW BEST:: SOT 11679434 SOS 7084971 HAS SOPS 5772249 HAS SOUS 1434791 HAS SOUPS 1343261 WITH SCORE 1350345.971
AT ITER 9370 NEW BEST:: SOT 11679494 SOS 7085785 HAS SOPS 5772654 HAS SOUS 1434369 HAS SOUPS 1342831 WITH SCORE 1349916.785
AT ITER 9372 NEW BEST:: SOT 11677376 SOS 7079191 HAS SOPS 5768534 HAS SOUS 1433712 HAS SOUPS 1342231 WITH SCORE 1349310.191
AT ITER 9382 NEW BEST:: SOT 11678127 SOS 7082319 HAS SOPS 5771735 HAS SOUS 1432700 HAS SOUPS 1341219 WITH SCORE 1348301.319
AT ITER 9394 NEW BEST:: SOT 11677791 SOS 7077155 HAS SOPS 5767772 HAS SOUS 1431662 HAS SOUPS 1340181 WITH SCORE 1347258.155
AT ITER 9396 NEW BEST:: SOT 11677086 SOS 7074675 HAS SOPS 5765115 HAS SOUS 1430841 HAS SOUPS 1339360 WITH SCORE 1346434.675
AT ITER 9402 NEW BEST:: SOT 11677210 SOS 7074951 HAS SOPS 5765275 HAS SOUS 1430773 HAS SOUPS 1339292 WITH SCORE 1346366.951
AT ITER 9452 NEW BEST:: SOT 11676709 SOS 7074087 HAS SOPS 5765028 HAS SOUS 1430685 HAS SOUPS 1339227 WITH SCORE 1346301.087
AT ITER 9466 NEW BEST:: SOT 11676698 SOS 7074156 HAS SOPS 5765055 HAS SOUS 1430644 HAS SOUPS 1339186 WITH SCORE 1346260.156
AT ITER 9473 NEW BEST:: SOT 11676558 SOS 7074016 HAS SOPS 5764835 HAS SOUS 1430164 HAS SOUPS 1338706 WITH SCORE 1345780.016
AT ITER 9476 NEW BEST:: SOT 11676577 SOS 7074195 HAS SOPS 5764930 HAS SOUS 1430139 HAS SOUPS 1338681 WITH SCORE 1345755.195
AT ITER 9499 NEW BEST:: SOT 11676193 SOS 7074940 HAS SOPS 5764887 HAS SOUS 1427683 HAS SOUPS 1336225 WITH SCORE 1343299.94
AT ITER 9529 NEW BEST:: SOT 11676494 SOS 7075423 HAS SOPS 5765223 HAS SOUS 1427587 HAS SOUPS 1336122 WITH SCORE 1343197.423
AT ITER 9537 NEW BEST:: SOT 11679020 SOS 7077886 HAS SOPS 5766351 HAS SOUS 1426447 HAS SOUPS 1334991 WITH SCORE 1342068.886
AT ITER 9566 NEW BEST:: SOT 11678962 SOS 7078027 HAS SOPS 5766380 HAS SOUS 1426127 HAS SOUPS 1334675 WITH SCORE 1341753.027
AT ITER 9602 NEW BEST:: SOT 11678309 SOS 7076477 HAS SOPS 5764638 HAS SOUS 1425126 HAS SOUPS 1333674 WITH SCORE 1340750.477
AT ITER 9620 NEW BEST:: SOT 11678713 SOS 7078906 HAS SOPS 5766583 HAS SOUS 1423943 HAS SOUPS 1332491 WITH SCORE 1339569.906
AT ITER 9644 NEW BEST:: SOT 11676659 SOS 7075561 HAS SOPS 5763841 HAS SOUS 1423819 HAS SOUPS 1332367 WITH SCORE 1339442.561
AT ITER 9653 NEW BEST:: SOT 11676868 SOS 7075770 HAS SOPS 5763826 HAS SOUS 1423188 HAS SOUPS 1331736 WITH SCORE 1338811.77
AT ITER 9658 NEW BEST:: SOT 11676851 SOS 7075956 HAS SOPS 5763306 HAS SOUS 1423017 HAS SOUPS 1331565 WITH SCORE 1338640.956
AT ITER 9674 NEW BEST:: SOT 11676791 SOS 7075914 HAS SOPS 5763264 HAS SOUS 1422963 HAS SOUPS 1331511 WITH SCORE 1338586.914
AT ITER 9698 NEW BEST:: SOT 11674696 SOS 7072300 HAS SOPS 5752687 HAS SOUS 1420796 HAS SOUPS 1329344 WITH SCORE 1336416.3
AT ITER 9727 NEW BEST:: SOT 11674720 SOS 7067630 HAS SOPS 5751262 HAS SOUS 1420455 HAS SOUPS 1329003 WITH SCORE 1336070.63
AT ITER 9729 NEW BEST:: SOT 11674760 SOS 7067726 HAS SOPS 5751374 HAS SOUS 1420399 HAS SOUPS 1328951 WITH SCORE 1336018.726
AT ITER 9737 NEW BEST:: SOT 11674059 SOS 7067045 HAS SOPS 5750296 HAS SOUS 1418744 HAS SOUPS 1327296 WITH SCORE 1334363.045
AT ITER 9762 NEW BEST:: SOT 11673899 SOS 7066885 HAS SOPS 5750120 HAS SOUS 1418536 HAS SOUPS 1327088 WITH SCORE 1334154.885
AT ITER 9776 NEW BEST:: SOT 11674562 SOS 7070623 HAS SOPS 5753228 HAS SOUS 1416934 HAS SOUPS 1325431 WITH SCORE 1332501.623
AT ITER 9781 NEW BEST:: SOT 11667759 SOS 7055754 HAS SOPS 5742106 HAS SOUS 1410970 HAS SOUPS 1319502 WITH SCORE 1326557.754
AT ITER 9800 NEW BEST:: SOT 11666728 SOS 7053794 HAS SOPS 5741155 HAS SOUS 1408992 HAS SOUPS 1317524 WITH SCORE 1324577.794
AT ITER 9804 NEW BEST:: SOT 11666802 SOS 7054564 HAS SOPS 5742742 HAS SOUS 1408968 HAS SOUPS 1317500 WITH SCORE 1324554.564
AT ITER 9812 NEW BEST:: SOT 11666057 SOS 7051531 HAS SOPS 5740549 HAS SOUS 1408779 HAS SOUPS 1317356 WITH SCORE 1324407.531
AT ITER 9819 NEW BEST:: SOT 11666322 SOS 7054553 HAS SOPS 5741447 HAS SOUS 1408234 HAS SOUPS 1316811 WITH SCORE 1323865.553
AT ITER 9823 NEW BEST:: SOT 11666331 SOS 7054840 HAS SOPS 5741443 HAS SOUS 1408203 HAS SOUPS 1316780 WITH SCORE 1323834.84
AT ITER 9844 NEW BEST:: SOT 11664164 SOS 7051085 HAS SOPS 5739634 HAS SOUS 1407580 HAS SOUPS 1316572 WITH SCORE 1323623.085
AT ITER 9855 NEW BEST:: SOT 11663770 SOS 7050439 HAS SOPS 5739234 HAS SOUS 1407255 HAS SOUPS 1316355 WITH SCORE 1323405.439
AT ITER 9884 NEW BEST:: SOT 11663418 SOS 7050181 HAS SOPS 5738681 HAS SOUS 1406325 HAS SOUPS 1315425 WITH SCORE 1322475.181
AT ITER 9886 NEW BEST:: SOT 11664868 SOS 7053468 HAS SOPS 5737766 HAS SOUS 1397762 HAS SOUPS 1306862 WITH SCORE 1313915.468
AT ITER 9895 NEW BEST:: SOT 11664843 SOS 7053312 HAS SOPS 5737537 HAS SOUS 1397708 HAS SOUPS 1306808 WITH SCORE 1313861.312
AT ITER 9922 NEW BEST:: SOT 11664020 SOS 7052515 HAS SOPS 5736714 HAS SOUS 1396586 HAS SOUPS 1305673 WITH SCORE 1312725.515
AT ITER 9950 NEW BEST:: SOT 11664129 SOS 7052888 HAS SOPS 5736713 HAS SOUS 1396091 HAS SOUPS 1305195 WITH SCORE 1312247.888
AT ITER 9974 NEW BEST:: SOT 11662680 SOS 7049170 HAS SOPS 5733958 HAS SOUS 1394275 HAS SOUPS 1303704 WITH SCORE 1310753.17
AT ITER 9986 NEW BEST:: SOT 11662795 SOS 7051221 HAS SOPS 5735241 HAS SOUS 1392411 HAS SOUPS 1301818 WITH SCORE 1308869.221
AT ITER 9992 NEW BEST:: SOT 11662252 SOS 7050008 HAS SOPS 5734171 HAS SOUS 1390507 HAS SOUPS 1299931 WITH SCORE 1306981.008
AT ITER 9994 NEW BEST:: SOT 11661938 SOS 7048521 HAS SOPS 5732974 HAS SOUS 1390453 HAS SOUPS 1299901 WITH SCORE 1306949.521
AT ITER 9996 NEW BEST:: SOT 11661730 SOS 7048334 HAS SOPS 5732735 HAS SOUS 1390369 HAS SOUPS 1299721 WITH SCORE 1306769.334
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14814560 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16075064 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-7"
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-7, 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-167889204000056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-7.tgz
mv RERS17pb113-PT-7 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 ;