About the Execution of Smart+red for DLCshifumi-PT-3b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1362.388 | 3600000.00 | 3637512.00 | 13476.00 | [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.r107-tall-167814484700824.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 DLCshifumi-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700824
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 5.7K Feb 26 08:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 26 08:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 08:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678433011062
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=DLCshifumi-PT-3b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 07:23:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 07:23:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 07:23:32] [INFO ] Load time of PNML (sax parser for PT used): 250 ms
[2023-03-10 07:23:32] [INFO ] Transformed 7058 places.
[2023-03-10 07:23:32] [INFO ] Transformed 9611 transitions.
[2023-03-10 07:23:33] [INFO ] Found NUPN structural information;
[2023-03-10 07:23:33] [INFO ] Parsed PT model containing 7058 places and 9611 transitions and 24573 arcs in 598 ms.
[2023-03-10 07:23:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 7058 places, 9611 transitions and 24573 arcs took 47 ms.
Total runtime 671 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3b
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: 7058 places, 9611 transitions, 24573 arcs.
AT ITER 0 NEW BEST:: SOT 42863379 SOS 8304026 HAS SOPS 8304026 HAS SOUS 6796181 HAS SOUPS 6796181 WITH SCORE 6804485.026
AT ITER 1 NEW BEST:: SOT 42826875 SOS 8384518 HAS SOPS 8384518 HAS SOUS 6764717 HAS SOUPS 6764717 WITH SCORE 6773101.518
AT ITER 10 NEW BEST:: SOT 42826535 SOS 8382818 HAS SOPS 8382818 HAS SOUS 6764037 HAS SOUPS 6764037 WITH SCORE 6772419.818
AT ITER 22 NEW BEST:: SOT 42826172 SOS 8381003 HAS SOPS 8381003 HAS SOUS 6764037 HAS SOUPS 6764037 WITH SCORE 6772418.003
AT ITER 55 NEW BEST:: SOT 42826858 SOS 8382375 HAS SOPS 8382375 HAS SOUS 6763752 HAS SOUPS 6763752 WITH SCORE 6772134.375
AT ITER 67 NEW BEST:: SOT 42826314 SOS 8382919 HAS SOPS 8382919 HAS SOUS 6763208 HAS SOUPS 6763208 WITH SCORE 6771590.919
AT ITER 118 NEW BEST:: SOT 42825709 SOS 8382618 HAS SOPS 8382618 HAS SOUS 6762762 HAS SOUPS 6762762 WITH SCORE 6771144.618
AT ITER 180 NEW BEST:: SOT 42823019 SOS 8386366 HAS SOPS 8386366 HAS SOUS 6762004 HAS SOUPS 6762004 WITH SCORE 6770390.366
AT ITER 191 NEW BEST:: SOT 42822973 SOS 8386688 HAS SOPS 8386688 HAS SOUS 6761912 HAS SOUPS 6761912 WITH SCORE 6770298.688
AT ITER 204 NEW BEST:: SOT 42822973 SOS 8385847 HAS SOPS 8385847 HAS SOUS 6761912 HAS SOUPS 6761912 WITH SCORE 6770297.847
AT ITER 221 NEW BEST:: SOT 42822451 SOS 8384803 HAS SOPS 8384803 HAS SOUS 6760868 HAS SOUPS 6760868 WITH SCORE 6769252.803
AT ITER 224 NEW BEST:: SOT 42821665 SOS 8384013 HAS SOPS 8384013 HAS SOUS 6760081 HAS SOUPS 6760081 WITH SCORE 6768465.013
AT ITER 277 NEW BEST:: SOT 42821411 SOS 8384003 HAS SOPS 8384003 HAS SOUS 6760080 HAS SOUPS 6760080 WITH SCORE 6768464.003
AT ITER 294 NEW BEST:: SOT 42819819 SOS 8383570 HAS SOPS 8383570 HAS SOUS 6759617 HAS SOUPS 6759617 WITH SCORE 6768000.57
AT ITER 295 NEW BEST:: SOT 42819819 SOS 8384557 HAS SOPS 8384557 HAS SOUS 6759616 HAS SOUPS 6759616 WITH SCORE 6768000.557
AT ITER 298 NEW BEST:: SOT 42819143 SOS 8385114 HAS SOPS 8385114 HAS SOUS 6758064 HAS SOUPS 6758064 WITH SCORE 6766449.114
AT ITER 304 NEW BEST:: SOT 42818694 SOS 8384216 HAS SOPS 8384216 HAS SOUS 6757166 HAS SOUPS 6757166 WITH SCORE 6765550.216
AT ITER 306 NEW BEST:: SOT 42818694 SOS 8385028 HAS SOPS 8385028 HAS SOUS 6756893 HAS SOUPS 6756893 WITH SCORE 6765278.028
AT ITER 332 NEW BEST:: SOT 42818050 SOS 8384628 HAS SOPS 8384628 HAS SOUS 6756493 HAS SOUPS 6756493 WITH SCORE 6764877.628
AT ITER 337 NEW BEST:: SOT 42817970 SOS 8384780 HAS SOPS 8384780 HAS SOUS 6756411 HAS SOUPS 6756411 WITH SCORE 6764795.78
AT ITER 345 NEW BEST:: SOT 42817639 SOS 8384118 HAS SOPS 8384118 HAS SOUS 6755749 HAS SOUPS 6755749 WITH SCORE 6764133.118
AT ITER 355 NEW BEST:: SOT 42817291 SOS 8384108 HAS SOPS 8384108 HAS SOUS 6755748 HAS SOUPS 6755748 WITH SCORE 6764132.108
AT ITER 356 NEW BEST:: SOT 42816841 SOS 8383208 HAS SOPS 8383208 HAS SOUS 6754848 HAS SOUPS 6754848 WITH SCORE 6763231.208
AT ITER 369 NEW BEST:: SOT 42816805 SOS 8383711 HAS SOPS 8383711 HAS SOUS 6754776 HAS SOUPS 6754776 WITH SCORE 6763159.711
AT ITER 374 NEW BEST:: SOT 42814681 SOS 8382649 HAS SOPS 8382649 HAS SOUS 6753714 HAS SOUPS 6753714 WITH SCORE 6762096.649
AT ITER 458 NEW BEST:: SOT 42814681 SOS 8381898 HAS SOPS 8381898 HAS SOUS 6753714 HAS SOUPS 6753714 WITH SCORE 6762095.898
AT ITER 462 NEW BEST:: SOT 42813370 SOS 8379276 HAS SOPS 8379276 HAS SOUS 6751092 HAS SOUPS 6751092 WITH SCORE 6759471.276
AT ITER 464 NEW BEST:: SOT 42801973 SOS 8377368 HAS SOPS 8377368 HAS SOUS 6744146 HAS SOUPS 6744146 WITH SCORE 6752523.368
AT ITER 465 NEW BEST:: SOT 42801972 SOS 8377366 HAS SOPS 8377366 HAS SOUS 6744144 HAS SOUPS 6744144 WITH SCORE 6752521.366
AT ITER 487 NEW BEST:: SOT 42801709 SOS 8377103 HAS SOPS 8377103 HAS SOUS 6743618 HAS SOUPS 6743618 WITH SCORE 6751995.103
AT ITER 496 NEW BEST:: SOT 42800996 SOS 8375677 HAS SOPS 8375677 HAS SOUS 6742192 HAS SOUPS 6742192 WITH SCORE 6750567.677
AT ITER 500 NEW BEST:: SOT 42800996 SOS 8375541 HAS SOPS 8375541 HAS SOUS 6742056 HAS SOUPS 6742056 WITH SCORE 6750431.541
AT ITER 513 NEW BEST:: SOT 42800701 SOS 8374951 HAS SOPS 8374951 HAS SOUS 6741466 HAS SOUPS 6741466 WITH SCORE 6749840.951
AT ITER 518 NEW BEST:: SOT 42800542 SOS 8375122 HAS SOPS 8375122 HAS SOUS 6741148 HAS SOUPS 6741148 WITH SCORE 6749523.122
AT ITER 553 NEW BEST:: SOT 42799869 SOS 8374963 HAS SOPS 8374963 HAS SOUS 6740989 HAS SOUPS 6740989 WITH SCORE 6749363.963
AT ITER 582 NEW BEST:: SOT 42799438 SOS 8374353 HAS SOPS 8374353 HAS SOUS 6740809 HAS SOUPS 6740809 WITH SCORE 6749183.353
AT ITER 645 NEW BEST:: SOT 42798922 SOS 8373321 HAS SOPS 8373321 HAS SOUS 6739777 HAS SOUPS 6739777 WITH SCORE 6748150.321
AT ITER 677 NEW BEST:: SOT 42798921 SOS 8373319 HAS SOPS 8373319 HAS SOUS 6739775 HAS SOUPS 6739775 WITH SCORE 6748148.319
AT ITER 714 NEW BEST:: SOT 42798411 SOS 8372299 HAS SOPS 8372299 HAS SOUS 6738755 HAS SOUPS 6738755 WITH SCORE 6747127.299
AT ITER 721 NEW BEST:: SOT 42797588 SOS 8370653 HAS SOPS 8370653 HAS SOUS 6737109 HAS SOUPS 6737109 WITH SCORE 6745479.653
AT ITER 725 NEW BEST:: SOT 42797588 SOS 8371526 HAS SOPS 8371526 HAS SOUS 6737108 HAS SOUPS 6737108 WITH SCORE 6745479.526
AT ITER 732 NEW BEST:: SOT 42797335 SOS 8371020 HAS SOPS 8371020 HAS SOUS 6736855 HAS SOUPS 6736855 WITH SCORE 6745226.02
AT ITER 745 NEW BEST:: SOT 42796464 SOS 8370145 HAS SOPS 8370145 HAS SOUS 6735983 HAS SOUPS 6735983 WITH SCORE 6744353.145
AT ITER 756 NEW BEST:: SOT 42795859 SOS 8367120 HAS SOPS 8367120 HAS SOUS 6734773 HAS SOUPS 6734773 WITH SCORE 6743140.12
AT ITER 786 NEW BEST:: SOT 42795859 SOS 8368005 HAS SOPS 8368005 HAS SOUS 6734772 HAS SOUPS 6734772 WITH SCORE 6743140.005
AT ITER 796 NEW BEST:: SOT 42794228 SOS 8364743 HAS SOPS 8364743 HAS SOUS 6731526 HAS SOUPS 6731526 WITH SCORE 6739890.743
AT ITER 826 NEW BEST:: SOT 42793274 SOS 8363542 HAS SOPS 8363542 HAS SOUS 6730572 HAS SOUPS 6730572 WITH SCORE 6738935.542
AT ITER 852 NEW BEST:: SOT 42792441 SOS 8361876 HAS SOPS 8361876 HAS SOUS 6728906 HAS SOUPS 6728906 WITH SCORE 6737267.876
AT ITER 873 NEW BEST:: SOT 42792441 SOS 8361534 HAS SOPS 8361534 HAS SOUS 6728564 HAS SOUPS 6728564 WITH SCORE 6736925.534
AT ITER 889 NEW BEST:: SOT 42792441 SOS 8362146 HAS SOPS 8362146 HAS SOUS 6728563 HAS SOUPS 6728563 WITH SCORE 6736925.146
AT ITER 891 NEW BEST:: SOT 42792367 SOS 8361998 HAS SOPS 8361998 HAS SOUS 6728489 HAS SOUPS 6728489 WITH SCORE 6736850.998
AT ITER 898 NEW BEST:: SOT 42791487 SOS 8361316 HAS SOPS 8361316 HAS SOUS 6727714 HAS SOUPS 6727714 WITH SCORE 6736075.316
AT ITER 965 NEW BEST:: SOT 42791297 SOS 8360936 HAS SOPS 8360936 HAS SOUS 6727714 HAS SOUPS 6727714 WITH SCORE 6736074.936
AT ITER 979 NEW BEST:: SOT 42791297 SOS 8360936 HAS SOPS 8360936 HAS SOUS 6727347 HAS SOUPS 6727347 WITH SCORE 6735707.936
AT ITER 985 NEW BEST:: SOT 42791271 SOS 8360885 HAS SOPS 8360885 HAS SOUS 6727296 HAS SOUPS 6727296 WITH SCORE 6735656.885
AT ITER 986 NEW BEST:: SOT 42791048 SOS 8360439 HAS SOPS 8360439 HAS SOUS 6726850 HAS SOUPS 6726850 WITH SCORE 6735210.439
AT ITER 993 NEW BEST:: SOT 42789404 SOS 8362675 HAS SOPS 8362675 HAS SOUS 6726305 HAS SOUPS 6726305 WITH SCORE 6734667.675
AT ITER 997 NEW BEST:: SOT 42789404 SOS 8362675 HAS SOPS 8362675 HAS SOUS 6725135 HAS SOUPS 6725135 WITH SCORE 6733497.675
AT ITER 1014 NEW BEST:: SOT 42789403 SOS 8362673 HAS SOPS 8362673 HAS SOUS 6725133 HAS SOUPS 6725133 WITH SCORE 6733495.673
AT ITER 1021 NEW BEST:: SOT 42789389 SOS 8362645 HAS SOPS 8362645 HAS SOUS 6725105 HAS SOUPS 6725105 WITH SCORE 6733467.645
AT ITER 1028 NEW BEST:: SOT 42788302 SOS 8361554 HAS SOPS 8361554 HAS SOUS 6724017 HAS SOUPS 6724017 WITH SCORE 6732378.554
AT ITER 1051 NEW BEST:: SOT 42787623 SOS 8361391 HAS SOPS 8361391 HAS SOUS 6723854 HAS SOUPS 6723854 WITH SCORE 6732215.391
AT ITER 1069 NEW BEST:: SOT 42786647 SOS 8359439 HAS SOPS 8359439 HAS SOUS 6721987 HAS SOUPS 6721987 WITH SCORE 6730346.439
AT ITER 1077 NEW BEST:: SOT 42786375 SOS 8359167 HAS SOPS 8359167 HAS SOUS 6721715 HAS SOUPS 6721715 WITH SCORE 6730074.167
AT ITER 1088 NEW BEST:: SOT 42785615 SOS 8358628 HAS SOPS 8358628 HAS SOUS 6721179 HAS SOUPS 6721179 WITH SCORE 6729537.628
AT ITER 1114 NEW BEST:: SOT 42785615 SOS 8357812 HAS SOPS 8357812 HAS SOUS 6721179 HAS SOUPS 6721179 WITH SCORE 6729536.812
AT ITER 1117 NEW BEST:: SOT 42785615 SOS 8357468 HAS SOPS 8357468 HAS SOUS 6721093 HAS SOUPS 6721093 WITH SCORE 6729450.468
AT ITER 1121 NEW BEST:: SOT 42785615 SOS 8357263 HAS SOPS 8357263 HAS SOUS 6720888 HAS SOUPS 6720888 WITH SCORE 6729245.263
AT ITER 1126 NEW BEST:: SOT 42784795 SOS 8356443 HAS SOPS 8356443 HAS SOUS 6720068 HAS SOUPS 6720068 WITH SCORE 6728424.443
AT ITER 1135 NEW BEST:: SOT 42784554 SOS 8356574 HAS SOPS 8356574 HAS SOUS 6719985 HAS SOUPS 6719985 WITH SCORE 6728341.574
AT ITER 1138 NEW BEST:: SOT 42783960 SOS 8355386 HAS SOPS 8355386 HAS SOUS 6718797 HAS SOUPS 6718797 WITH SCORE 6727152.386
AT ITER 1173 NEW BEST:: SOT 42783372 SOS 8355088 HAS SOPS 8355088 HAS SOUS 6718502 HAS SOUPS 6718502 WITH SCORE 6726857.088
AT ITER 1181 NEW BEST:: SOT 42781793 SOS 8354834 HAS SOPS 8354834 HAS SOUS 6717561 HAS SOUPS 6717561 WITH SCORE 6725915.834
AT ITER 1192 NEW BEST:: SOT 42777945 SOS 8347138 HAS SOPS 8347138 HAS SOUS 6713713 HAS SOUPS 6713713 WITH SCORE 6722060.138
AT ITER 1205 NEW BEST:: SOT 42776719 SOS 8347627 HAS SOPS 8347627 HAS SOUS 6712646 HAS SOUPS 6712646 WITH SCORE 6720993.627
AT ITER 1209 NEW BEST:: SOT 42776719 SOS 8347627 HAS SOPS 8347627 HAS SOUS 6712282 HAS SOUPS 6712282 WITH SCORE 6720629.627
AT ITER 1242 NEW BEST:: SOT 42776719 SOS 8347439 HAS SOPS 8347439 HAS SOUS 6712282 HAS SOUPS 6712282 WITH SCORE 6720629.439
AT ITER 1254 NEW BEST:: SOT 42776286 SOS 8347341 HAS SOPS 8347341 HAS SOUS 6712105 HAS SOUPS 6712105 WITH SCORE 6720452.341
AT ITER 1277 NEW BEST:: SOT 42776106 SOS 8346981 HAS SOPS 8346981 HAS SOUS 6711745 HAS SOUPS 6711745 WITH SCORE 6720091.981
AT ITER 1294 NEW BEST:: SOT 42776106 SOS 8347078 HAS SOPS 8347078 HAS SOUS 6711648 HAS SOUPS 6711648 WITH SCORE 6719995.078
AT ITER 1352 NEW BEST:: SOT 42776106 SOS 8346822 HAS SOPS 8346822 HAS SOUS 6711648 HAS SOUPS 6711648 WITH SCORE 6719994.822
AT ITER 1355 NEW BEST:: SOT 42776105 SOS 8346820 HAS SOPS 8346820 HAS SOUS 6711646 HAS SOUPS 6711646 WITH SCORE 6719992.82
AT ITER 1391 NEW BEST:: SOT 42776105 SOS 8346820 HAS SOPS 8346820 HAS SOUS 6711245 HAS SOUPS 6711245 WITH SCORE 6719591.82
AT ITER 1407 NEW BEST:: SOT 42776105 SOS 8347163 HAS SOPS 8347163 HAS SOUS 6711244 HAS SOUPS 6711244 WITH SCORE 6719591.163
AT ITER 1414 NEW BEST:: SOT 42776003 SOS 8346959 HAS SOPS 8346959 HAS SOUS 6711142 HAS SOUPS 6711142 WITH SCORE 6719488.959
AT ITER 1415 NEW BEST:: SOT 42775759 SOS 8346471 HAS SOPS 8346471 HAS SOUS 6710654 HAS SOUPS 6710654 WITH SCORE 6719000.471
AT ITER 1419 NEW BEST:: SOT 42775101 SOS 8345155 HAS SOPS 8345155 HAS SOUS 6709338 HAS SOUPS 6709338 WITH SCORE 6717683.155
AT ITER 1446 NEW BEST:: SOT 42773705 SOS 8344457 HAS SOPS 8344457 HAS SOUS 6708640 HAS SOUPS 6708640 WITH SCORE 6716984.457
AT ITER 1455 NEW BEST:: SOT 42773097 SOS 8344650 HAS SOPS 8344650 HAS SOUS 6708253 HAS SOUPS 6708253 WITH SCORE 6716597.65
AT ITER 1474 NEW BEST:: SOT 42772509 SOS 8344062 HAS SOPS 8344062 HAS SOUS 6707665 HAS SOUPS 6707665 WITH SCORE 6716009.062
AT ITER 1484 NEW BEST:: SOT 42772318 SOS 8344812 HAS SOPS 8344812 HAS SOUS 6707473 HAS SOUPS 6707473 WITH SCORE 6715817.812
AT ITER 1491 NEW BEST:: SOT 42772498 SOS 8345172 HAS SOPS 8345172 HAS SOUS 6707291 HAS SOUPS 6707291 WITH SCORE 6715636.172
AT ITER 1509 NEW BEST:: SOT 42772193 SOS 8344562 HAS SOPS 8344562 HAS SOUS 6706681 HAS SOUPS 6706681 WITH SCORE 6715025.562
AT ITER 1531 NEW BEST:: SOT 42771817 SOS 8344650 HAS SOPS 8344650 HAS SOUS 6706585 HAS SOUPS 6706585 WITH SCORE 6714929.65
AT ITER 1549 NEW BEST:: SOT 42766172 SOS 8342306 HAS SOPS 8342306 HAS SOUS 6702857 HAS SOUPS 6702857 WITH SCORE 6711199.306
AT ITER 1616 NEW BEST:: SOT 42766002 SOS 8341966 HAS SOPS 8341966 HAS SOUS 6701818 HAS SOUPS 6701818 WITH SCORE 6710159.966
AT ITER 1617 NEW BEST:: SOT 42765578 SOS 8341542 HAS SOPS 8341542 HAS SOUS 6701394 HAS SOUPS 6701394 WITH SCORE 6709735.542
AT ITER 1657 NEW BEST:: SOT 42765487 SOS 8341360 HAS SOPS 8341360 HAS SOUS 6701212 HAS SOUPS 6701212 WITH SCORE 6709553.36
AT ITER 1727 NEW BEST:: SOT 42764583 SOS 8339552 HAS SOPS 8339552 HAS SOUS 6699404 HAS SOUPS 6699404 WITH SCORE 6707743.552
AT ITER 1757 NEW BEST:: SOT 42764429 SOS 8339244 HAS SOPS 8339244 HAS SOUS 6699250 HAS SOUPS 6699250 WITH SCORE 6707589.244
AT ITER 1767 NEW BEST:: SOT 42763474 SOS 8337334 HAS SOPS 8337334 HAS SOUS 6698295 HAS SOUPS 6698295 WITH SCORE 6706632.334
AT ITER 1769 NEW BEST:: SOT 42763145 SOS 8336677 HAS SOPS 8336677 HAS SOUS 6697638 HAS SOUPS 6697638 WITH SCORE 6705974.677
AT ITER 1782 NEW BEST:: SOT 42761703 SOS 8335956 HAS SOPS 8335956 HAS SOUS 6696917 HAS SOUPS 6696917 WITH SCORE 6705252.956
AT ITER 1802 NEW BEST:: SOT 42761509 SOS 8335568 HAS SOPS 8335568 HAS SOUS 6696529 HAS SOUPS 6696529 WITH SCORE 6704864.568
AT ITER 1806 NEW BEST:: SOT 42761509 SOS 8334796 HAS SOPS 8334796 HAS SOUS 6696401 HAS SOUPS 6696401 WITH SCORE 6704735.796
AT ITER 1832 NEW BEST:: SOT 42761509 SOS 8334796 HAS SOPS 8334796 HAS SOUS 6695046 HAS SOUPS 6695046 WITH SCORE 6703380.796
AT ITER 1871 NEW BEST:: SOT 42761207 SOS 8334515 HAS SOPS 8334515 HAS SOUS 6694982 HAS SOUPS 6694982 WITH SCORE 6703316.515
AT ITER 1891 NEW BEST:: SOT 42758964 SOS 8333365 HAS SOPS 8333365 HAS SOUS 6693832 HAS SOUPS 6693832 WITH SCORE 6702165.365
AT ITER 1902 NEW BEST:: SOT 42757477 SOS 8331874 HAS SOPS 8331874 HAS SOUS 6692344 HAS SOUPS 6692344 WITH SCORE 6700675.874
AT ITER 1914 NEW BEST:: SOT 42757476 SOS 8331872 HAS SOPS 8331872 HAS SOUS 6692342 HAS SOUPS 6692342 WITH SCORE 6700673.872
AT ITER 1999 NEW BEST:: SOT 42756961 SOS 8331353 HAS SOPS 8331353 HAS SOUS 6691826 HAS SOUPS 6691826 WITH SCORE 6700157.353
AT ITER 2001 NEW BEST:: SOT 42755989 SOS 8329409 HAS SOPS 8329409 HAS SOUS 6689882 HAS SOUPS 6689882 WITH SCORE 6698211.409
AT ITER 2028 NEW BEST:: SOT 42754705 SOS 8322989 HAS SOPS 8322989 HAS SOUS 6687314 HAS SOUPS 6687314 WITH SCORE 6695636.989
AT ITER 2038 NEW BEST:: SOT 42753895 SOS 8321369 HAS SOPS 8321369 HAS SOUS 6685694 HAS SOUPS 6685694 WITH SCORE 6694015.369
AT ITER 2043 NEW BEST:: SOT 42754147 SOS 8321873 HAS SOPS 8321873 HAS SOUS 6684840 HAS SOUPS 6684840 WITH SCORE 6693161.873
AT ITER 2076 NEW BEST:: SOT 42754145 SOS 8321871 HAS SOPS 8321871 HAS SOUS 6684831 HAS SOUPS 6684831 WITH SCORE 6693152.871
AT ITER 2079 NEW BEST:: SOT 42750202 SOS 8320909 HAS SOPS 8320909 HAS SOUS 6682619 HAS SOUPS 6682619 WITH SCORE 6690939.909
AT ITER 2106 NEW BEST:: SOT 42750075 SOS 8320655 HAS SOPS 8320655 HAS SOUS 6682401 HAS SOUPS 6682401 WITH SCORE 6690721.655
AT ITER 2148 NEW BEST:: SOT 42749538 SOS 8320517 HAS SOPS 8320517 HAS SOUS 6682176 HAS SOUPS 6682176 WITH SCORE 6690496.517
AT ITER 2154 NEW BEST:: SOT 42748683 SOS 8318462 HAS SOPS 8318462 HAS SOUS 6681015 HAS SOUPS 6681015 WITH SCORE 6689333.462
AT ITER 2181 NEW BEST:: SOT 42747894 SOS 8315938 HAS SOPS 8315938 HAS SOUS 6679820 HAS SOUPS 6679820 WITH SCORE 6688135.938
AT ITER 2184 NEW BEST:: SOT 42747893 SOS 8315936 HAS SOPS 8315936 HAS SOUS 6679818 HAS SOUPS 6679818 WITH SCORE 6688133.936
AT ITER 2246 NEW BEST:: SOT 42747893 SOS 8316426 HAS SOPS 8316426 HAS SOUS 6679817 HAS SOUPS 6679817 WITH SCORE 6688133.426
AT ITER 2260 NEW BEST:: SOT 42747746 SOS 8316181 HAS SOPS 8316181 HAS SOUS 6679621 HAS SOUPS 6679621 WITH SCORE 6687937.181
AT ITER 2276 NEW BEST:: SOT 42747743 SOS 8316175 HAS SOPS 8316175 HAS SOUS 6679615 HAS SOUPS 6679615 WITH SCORE 6687931.175
AT ITER 2288 NEW BEST:: SOT 42747743 SOS 8317089 HAS SOPS 8317089 HAS SOUS 6679308 HAS SOUPS 6679308 WITH SCORE 6687625.089
AT ITER 2294 NEW BEST:: SOT 42746364 SOS 8320799 HAS SOPS 8320799 HAS SOUS 6679215 HAS SOUPS 6679215 WITH SCORE 6687535.799
AT ITER 2344 NEW BEST:: SOT 42745647 SOS 8320078 HAS SOPS 8320078 HAS SOUS 6678497 HAS SOUPS 6678497 WITH SCORE 6686817.078
AT ITER 2411 NEW BEST:: SOT 42745272 SOS 8319328 HAS SOPS 8319328 HAS SOUS 6677747 HAS SOUPS 6677747 WITH SCORE 6686066.328
AT ITER 2421 NEW BEST:: SOT 42744545 SOS 8317873 HAS SOPS 8317873 HAS SOUS 6676292 HAS SOUPS 6676292 WITH SCORE 6684609.873
AT ITER 2428 NEW BEST:: SOT 42743896 SOS 8316449 HAS SOPS 8316449 HAS SOUS 6675747 HAS SOUPS 6675747 WITH SCORE 6684063.449
AT ITER 2464 NEW BEST:: SOT 42743596 SOS 8316445 HAS SOPS 8316445 HAS SOUS 6675596 HAS SOUPS 6675596 WITH SCORE 6683912.445
AT ITER 2466 NEW BEST:: SOT 42741351 SOS 8313130 HAS SOPS 8313130 HAS SOUS 6672176 HAS SOUPS 6672176 WITH SCORE 6680489.13
AT ITER 2469 NEW BEST:: SOT 42739767 SOS 8311978 HAS SOPS 8311978 HAS SOUS 6670880 HAS SOUPS 6670880 WITH SCORE 6679191.978
AT ITER 2483 NEW BEST:: SOT 42739480 SOS 8311405 HAS SOPS 8311405 HAS SOUS 6670307 HAS SOUPS 6670307 WITH SCORE 6678618.405
AT ITER 2510 NEW BEST:: SOT 42738919 SOS 8310283 HAS SOPS 8310283 HAS SOUS 6669185 HAS SOUPS 6669185 WITH SCORE 6677495.283
AT ITER 2519 NEW BEST:: SOT 42738918 SOS 8310281 HAS SOPS 8310281 HAS SOUS 6669183 HAS SOUPS 6669183 WITH SCORE 6677493.281
AT ITER 2539 NEW BEST:: SOT 42738930 SOS 8310305 HAS SOPS 8310305 HAS SOUS 6668906 HAS SOUPS 6668906 WITH SCORE 6677216.305
AT ITER 2556 NEW BEST:: SOT 42738354 SOS 8307425 HAS SOPS 8307425 HAS SOUS 6667754 HAS SOUPS 6667754 WITH SCORE 6676061.425
AT ITER 2563 NEW BEST:: SOT 42737415 SOS 8312577 HAS SOPS 8312577 HAS SOUS 6666219 HAS SOUPS 6666219 WITH SCORE 6674531.577
AT ITER 2584 NEW BEST:: SOT 42735195 SOS 8311467 HAS SOPS 8311467 HAS SOUS 6665109 HAS SOUPS 6665109 WITH SCORE 6673420.467
AT ITER 2605 NEW BEST:: SOT 42733284 SOS 8311170 HAS SOPS 8311170 HAS SOUS 6664373 HAS SOUPS 6664373 WITH SCORE 6672684.17
AT ITER 2621 NEW BEST:: SOT 42732826 SOS 8310254 HAS SOPS 8310254 HAS SOUS 6663457 HAS SOUPS 6663457 WITH SCORE 6671767.254
AT ITER 2626 NEW BEST:: SOT 42732826 SOS 8311193 HAS SOPS 8311193 HAS SOUS 6663456 HAS SOUPS 6663456 WITH SCORE 6671767.193
AT ITER 2661 NEW BEST:: SOT 42732782 SOS 8311149 HAS SOPS 8311149 HAS SOUS 6663456 HAS SOUPS 6663456 WITH SCORE 6671767.149
AT ITER 2736 NEW BEST:: SOT 42732782 SOS 8311149 HAS SOPS 8311149 HAS SOUS 6662887 HAS SOUPS 6662887 WITH SCORE 6671198.149
AT ITER 2741 NEW BEST:: SOT 42731808 SOS 8310586 HAS SOPS 8310586 HAS SOUS 6662120 HAS SOUPS 6662120 WITH SCORE 6670430.586
AT ITER 2752 NEW BEST:: SOT 42731133 SOS 8310584 HAS SOPS 8310584 HAS SOUS 6662115 HAS SOUPS 6662115 WITH SCORE 6670425.584
AT ITER 2756 NEW BEST:: SOT 42730684 SOS 8310131 HAS SOPS 8310131 HAS SOUS 6661665 HAS SOUPS 6661665 WITH SCORE 6669975.131
AT ITER 2778 NEW BEST:: SOT 42731371 SOS 8305205 HAS SOPS 8305205 HAS SOUS 6661368 HAS SOUPS 6661368 WITH SCORE 6669673.205
AT ITER 2784 NEW BEST:: SOT 42731299 SOS 8305061 HAS SOPS 8305061 HAS SOUS 6661224 HAS SOUPS 6661224 WITH SCORE 6669529.061
AT ITER 2795 NEW BEST:: SOT 42731118 SOS 8304699 HAS SOPS 8304699 HAS SOUS 6660786 HAS SOUPS 6660786 WITH SCORE 6669090.699
AT ITER 2801 NEW BEST:: SOT 42730955 SOS 8304536 HAS SOPS 8304536 HAS SOUS 6660786 HAS SOUPS 6660786 WITH SCORE 6669090.536
AT ITER 2803 NEW BEST:: SOT 42730954 SOS 8304534 HAS SOPS 8304534 HAS SOUS 6660784 HAS SOUPS 6660784 WITH SCORE 6669088.534
AT ITER 2826 NEW BEST:: SOT 42730954 SOS 8305108 HAS SOPS 8305108 HAS SOUS 6660783 HAS SOUPS 6660783 WITH SCORE 6669088.108
AT ITER 2829 NEW BEST:: SOT 42730954 SOS 8305108 HAS SOPS 8305108 HAS SOUS 6659708 HAS SOUPS 6659708 WITH SCORE 6668013.108
AT ITER 2845 NEW BEST:: SOT 42730953 SOS 8305106 HAS SOPS 8305106 HAS SOUS 6659706 HAS SOUPS 6659706 WITH SCORE 6668011.106
AT ITER 2875 NEW BEST:: SOT 42730731 SOS 8304958 HAS SOPS 8304958 HAS SOUS 6659558 HAS SOUPS 6659558 WITH SCORE 6667862.958
AT ITER 2900 NEW BEST:: SOT 42727158 SOS 8305092 HAS SOPS 8305092 HAS SOUS 6657659 HAS SOUPS 6657659 WITH SCORE 6665964.092
AT ITER 2923 NEW BEST:: SOT 42726998 SOS 8304772 HAS SOPS 8304772 HAS SOUS 6657339 HAS SOUPS 6657339 WITH SCORE 6665643.772
AT ITER 2937 NEW BEST:: SOT 42725227 SOS 8304134 HAS SOPS 8304134 HAS SOUS 6656701 HAS SOUPS 6656701 WITH SCORE 6665005.134
AT ITER 2938 NEW BEST:: SOT 42724022 SOS 8301724 HAS SOPS 8301724 HAS SOUS 6654308 HAS SOUPS 6654308 WITH SCORE 6662609.724
AT ITER 2941 NEW BEST:: SOT 42723773 SOS 8301226 HAS SOPS 8301226 HAS SOUS 6654134 HAS SOUPS 6654134 WITH SCORE 6662435.226
AT ITER 2942 NEW BEST:: SOT 42723771 SOS 8301224 HAS SOPS 8301224 HAS SOUS 6654127 HAS SOUPS 6654127 WITH SCORE 6662428.224
AT ITER 2946 NEW BEST:: SOT 42723341 SOS 8301006 HAS SOPS 8301006 HAS SOUS 6653267 HAS SOUPS 6653267 WITH SCORE 6661568.006
AT ITER 2960 NEW BEST:: SOT 42722971 SOS 8300266 HAS SOPS 8300266 HAS SOUS 6652388 HAS SOUPS 6652388 WITH SCORE 6660688.266
AT ITER 2961 NEW BEST:: SOT 42722817 SOS 8300112 HAS SOPS 8300112 HAS SOUS 6652388 HAS SOUPS 6652388 WITH SCORE 6660688.112
AT ITER 3008 NEW BEST:: SOT 42722808 SOS 8300094 HAS SOPS 8300094 HAS SOUS 6652370 HAS SOUPS 6652370 WITH SCORE 6660670.094
AT ITER 3040 NEW BEST:: SOT 42722509 SOS 8300267 HAS SOPS 8300267 HAS SOUS 6652328 HAS SOUPS 6652328 WITH SCORE 6660628.267
AT ITER 3048 NEW BEST:: SOT 42722183 SOS 8299941 HAS SOPS 8299941 HAS SOUS 6651676 HAS SOUPS 6651676 WITH SCORE 6659975.941
AT ITER 3059 NEW BEST:: SOT 42722183 SOS 8299941 HAS SOPS 8299941 HAS SOUS 6651622 HAS SOUPS 6651622 WITH SCORE 6659921.941
AT ITER 3078 NEW BEST:: SOT 42721007 SOS 8297589 HAS SOPS 8297589 HAS SOUS 6649270 HAS SOUPS 6649270 WITH SCORE 6657567.589
AT ITER 3100 NEW BEST:: SOT 42720499 SOS 8295444 HAS SOPS 8295444 HAS SOUS 6648917 HAS SOUPS 6648917 WITH SCORE 6657212.444
AT ITER 3105 NEW BEST:: SOT 42720499 SOS 8295114 HAS SOPS 8295114 HAS SOUS 6648697 HAS SOUPS 6648697 WITH SCORE 6656992.114
AT ITER 3141 NEW BEST:: SOT 42720362 SOS 8295113 HAS SOPS 8295113 HAS SOUS 6648696 HAS SOUPS 6648696 WITH SCORE 6656991.113
AT ITER 3151 NEW BEST:: SOT 42720347 SOS 8295094 HAS SOPS 8295094 HAS SOUS 6648680 HAS SOUPS 6648680 WITH SCORE 6656975.094
AT ITER 3158 NEW BEST:: SOT 42720346 SOS 8295092 HAS SOPS 8295092 HAS SOUS 6648678 HAS SOUPS 6648678 WITH SCORE 6656973.092
AT ITER 3190 NEW BEST:: SOT 42719761 SOS 8294753 HAS SOPS 8294753 HAS SOUS 6648339 HAS SOUPS 6648339 WITH SCORE 6656633.753
AT ITER 3200 NEW BEST:: SOT 42718178 SOS 8294323 HAS SOPS 8294323 HAS SOUS 6646919 HAS SOUPS 6646919 WITH SCORE 6655213.323
AT ITER 3221 NEW BEST:: SOT 42718383 SOS 8294321 HAS SOPS 8294321 HAS SOUS 6646918 HAS SOUPS 6646918 WITH SCORE 6655212.321
AT ITER 3231 NEW BEST:: SOT 42718339 SOS 8294233 HAS SOPS 8294233 HAS SOUS 6646874 HAS SOUPS 6646874 WITH SCORE 6655168.233
AT ITER 3235 NEW BEST:: SOT 42718333 SOS 8297578 HAS SOPS 8297578 HAS SOUS 6646868 HAS SOUPS 6646868 WITH SCORE 6655165.578
AT ITER 3248 NEW BEST:: SOT 42717131 SOS 8295797 HAS SOPS 8295797 HAS SOUS 6646302 HAS SOUPS 6646302 WITH SCORE 6654597.797
AT ITER 3265 NEW BEST:: SOT 42714948 SOS 8294737 HAS SOPS 8294737 HAS SOUS 6645221 HAS SOUPS 6645221 WITH SCORE 6653515.737
AT ITER 3266 NEW BEST:: SOT 42714357 SOS 8290411 HAS SOPS 8290411 HAS SOUS 6644039 HAS SOUPS 6644039 WITH SCORE 6652329.411
AT ITER 3271 NEW BEST:: SOT 42713850 SOS 8290486 HAS SOPS 8290486 HAS SOUS 6643895 HAS SOUPS 6643895 WITH SCORE 6652185.486
AT ITER 3280 NEW BEST:: SOT 42711582 SOS 8281094 HAS SOPS 8281094 HAS SOUS 6642713 HAS SOUPS 6642713 WITH SCORE 6650994.094
AT ITER 3285 NEW BEST:: SOT 42711349 SOS 8280628 HAS SOPS 8280628 HAS SOUS 6642247 HAS SOUPS 6642247 WITH SCORE 6650527.628
AT ITER 3290 NEW BEST:: SOT 42710795 SOS 8280328 HAS SOPS 8280328 HAS SOUS 6641693 HAS SOUPS 6641693 WITH SCORE 6649973.328
AT ITER 3300 NEW BEST:: SOT 42710200 SOS 8279138 HAS SOPS 8279138 HAS SOUS 6640503 HAS SOUPS 6640503 WITH SCORE 6648782.138
AT ITER 3303 NEW BEST:: SOT 42709982 SOS 8279566 HAS SOPS 8279566 HAS SOUS 6640283 HAS SOUPS 6640283 WITH SCORE 6648562.566
AT ITER 3304 NEW BEST:: SOT 42709982 SOS 8279523 HAS SOPS 8279523 HAS SOUS 6640283 HAS SOUPS 6640283 WITH SCORE 6648562.523
AT ITER 3307 NEW BEST:: SOT 42709331 SOS 8278872 HAS SOPS 8278872 HAS SOUS 6639632 HAS SOUPS 6639632 WITH SCORE 6647910.872
AT ITER 3319 NEW BEST:: SOT 42709331 SOS 8278872 HAS SOPS 8278872 HAS SOUS 6638517 HAS SOUPS 6638517 WITH SCORE 6646795.872
AT ITER 3330 NEW BEST:: SOT 42708732 SOS 8277674 HAS SOPS 8277674 HAS SOUS 6638116 HAS SOUPS 6638116 WITH SCORE 6646393.674
AT ITER 3337 NEW BEST:: SOT 42708863 SOS 8277936 HAS SOPS 8277936 HAS SOUS 6637935 HAS SOUPS 6637935 WITH SCORE 6646212.936
AT ITER 3384 NEW BEST:: SOT 42708939 SOS 8277524 HAS SOPS 8277524 HAS SOUS 6637523 HAS SOUPS 6637523 WITH SCORE 6645800.524
AT ITER 3400 NEW BEST:: SOT 42708463 SOS 8277641 HAS SOPS 8277641 HAS SOUS 6636570 HAS SOUPS 6636570 WITH SCORE 6644847.641
AT ITER 3417 NEW BEST:: SOT 42708463 SOS 8277641 HAS SOPS 8277641 HAS SOUS 6635037 HAS SOUPS 6635037 WITH SCORE 6643314.641
AT ITER 3430 NEW BEST:: SOT 42707953 SOS 8276621 HAS SOPS 8276621 HAS SOUS 6634017 HAS SOUPS 6634017 WITH SCORE 6642293.621
AT ITER 3455 NEW BEST:: SOT 42707481 SOS 8276149 HAS SOPS 8276149 HAS SOUS 6633545 HAS SOUPS 6633545 WITH SCORE 6641821.149
AT ITER 3461 NEW BEST:: SOT 42707251 SOS 8276148 HAS SOPS 8276148 HAS SOUS 6633544 HAS SOUPS 6633544 WITH SCORE 6641820.148
AT ITER 3492 NEW BEST:: SOT 42706681 SOS 8275504 HAS SOPS 8275504 HAS SOUS 6632690 HAS SOUPS 6632690 WITH SCORE 6640965.504
AT ITER 3504 NEW BEST:: SOT 42705497 SOS 8273136 HAS SOPS 8273136 HAS SOUS 6630322 HAS SOUPS 6630322 WITH SCORE 6638595.136
AT ITER 3523 NEW BEST:: SOT 42705084 SOS 8272310 HAS SOPS 8272310 HAS SOUS 6629909 HAS SOUPS 6629909 WITH SCORE 6638181.31
AT ITER 3546 NEW BEST:: SOT 42704568 SOS 8271794 HAS SOPS 8271794 HAS SOUS 6629393 HAS SOUPS 6629393 WITH SCORE 6637664.794
AT ITER 3574 NEW BEST:: SOT 42703046 SOS 8268750 HAS SOPS 8268750 HAS SOUS 6626349 HAS SOUPS 6626349 WITH SCORE 6634617.75
AT ITER 3586 NEW BEST:: SOT 42701050 SOS 8267752 HAS SOPS 8267752 HAS SOUS 6625351 HAS SOUPS 6625351 WITH SCORE 6633618.752
AT ITER 3594 NEW BEST:: SOT 42700628 SOS 8267175 HAS SOPS 8267175 HAS SOUS 6625041 HAS SOUPS 6625041 WITH SCORE 6633308.175
AT ITER 3601 NEW BEST:: SOT 42698164 SOS 8265383 HAS SOPS 8265383 HAS SOUS 6623025 HAS SOUPS 6623025 WITH SCORE 6631290.383
AT ITER 3625 NEW BEST:: SOT 42698889 SOS 8266032 HAS SOPS 8266032 HAS SOUS 6622949 HAS SOUPS 6622949 WITH SCORE 6631215.032
AT ITER 3631 NEW BEST:: SOT 42699175 SOS 8265744 HAS SOPS 8265744 HAS SOUS 6622948 HAS SOUPS 6622948 WITH SCORE 6631213.744
AT ITER 3648 NEW BEST:: SOT 42698980 SOS 8265353 HAS SOPS 8265353 HAS SOUS 6622557 HAS SOUPS 6622557 WITH SCORE 6630822.353
AT ITER 3660 NEW BEST:: SOT 42698737 SOS 8265512 HAS SOPS 8265512 HAS SOUS 6622529 HAS SOUPS 6622529 WITH SCORE 6630794.512
AT ITER 3664 NEW BEST:: SOT 42698187 SOS 8265182 HAS SOPS 8265182 HAS SOUS 6622199 HAS SOUPS 6622199 WITH SCORE 6630464.182
AT ITER 3680 NEW BEST:: SOT 42697977 SOS 8264973 HAS SOPS 8264973 HAS SOUS 6621778 HAS SOUPS 6621778 WITH SCORE 6630042.973
AT ITER 3691 NEW BEST:: SOT 42697730 SOS 8264479 HAS SOPS 8264479 HAS SOUS 6621531 HAS SOUPS 6621531 WITH SCORE 6629795.479
AT ITER 3699 NEW BEST:: SOT 42697131 SOS 8263928 HAS SOPS 8263928 HAS SOUS 6620980 HAS SOUPS 6620980 WITH SCORE 6629243.928
AT ITER 3705 NEW BEST:: SOT 42697112 SOS 8322139 HAS SOPS 8322139 HAS SOUS 6618055 HAS SOUPS 6618055 WITH SCORE 6626377.139
AT ITER 3708 NEW BEST:: SOT 42696554 SOS 8320744 HAS SOPS 8320744 HAS SOUS 6617497 HAS SOUPS 6617497 WITH SCORE 6625817.744
AT ITER 3718 NEW BEST:: SOT 42696553 SOS 8320742 HAS SOPS 8320742 HAS SOUS 6617495 HAS SOUPS 6617495 WITH SCORE 6625815.742
AT ITER 3719 NEW BEST:: SOT 42695132 SOS 8321473 HAS SOPS 8321473 HAS SOUS 6616074 HAS SOUPS 6616074 WITH SCORE 6624395.473
AT ITER 3727 NEW BEST:: SOT 42694544 SOS 8320983 HAS SOPS 8320983 HAS SOUS 6615584 HAS SOUPS 6615584 WITH SCORE 6623904.983
AT ITER 3736 NEW BEST:: SOT 42695005 SOS 8321905 HAS SOPS 8321905 HAS SOUS 6615488 HAS SOUPS 6615488 WITH SCORE 6623809.905
AT ITER 3743 NEW BEST:: SOT 42695005 SOS 8321751 HAS SOPS 8321751 HAS SOUS 6615334 HAS SOUPS 6615334 WITH SCORE 6623655.751
AT ITER 3748 NEW BEST:: SOT 42690901 SOS 8258204 HAS SOPS 8258204 HAS SOUS 6614447 HAS SOUPS 6614447 WITH SCORE 6622705.204
AT ITER 3752 NEW BEST:: SOT 42689759 SOS 8258203 HAS SOPS 8258203 HAS SOUS 6614446 HAS SOUPS 6614446 WITH SCORE 6622704.203
AT ITER 3755 NEW BEST:: SOT 42689759 SOS 8258095 HAS SOPS 8258095 HAS SOUS 6614419 HAS SOUPS 6614419 WITH SCORE 6622677.095
AT ITER 3759 NEW BEST:: SOT 42689444 SOS 8257465 HAS SOPS 8257465 HAS SOUS 6613746 HAS SOUPS 6613746 WITH SCORE 6622003.465
AT ITER 3806 NEW BEST:: SOT 42688900 SOS 8256377 HAS SOPS 8256377 HAS SOUS 6613202 HAS SOUPS 6613202 WITH SCORE 6621458.377
AT ITER 3870 NEW BEST:: SOT 42688121 SOS 8252482 HAS SOPS 8252482 HAS SOUS 6611644 HAS SOUPS 6611644 WITH SCORE 6619896.482
AT ITER 3882 NEW BEST:: SOT 42688027 SOS 8252294 HAS SOPS 8252294 HAS SOUS 6611456 HAS SOUPS 6611456 WITH SCORE 6619708.294
AT ITER 3887 NEW BEST:: SOT 42687505 SOS 8250989 HAS SOPS 8250989 HAS SOUS 6610934 HAS SOUPS 6610934 WITH SCORE 6619184.989
AT ITER 3959 NEW BEST:: SOT 42686648 SOS 8250237 HAS SOPS 8250237 HAS SOUS 6610077 HAS SOUPS 6610077 WITH SCORE 6618327.237
AT ITER 3976 NEW BEST:: SOT 42686648 SOS 8251097 HAS SOPS 8251097 HAS SOUS 6610076 HAS SOUPS 6610076 WITH SCORE 6618327.097
AT ITER 4008 NEW BEST:: SOT 42685877 SOS 8250326 HAS SOPS 8250326 HAS SOUS 6609305 HAS SOUPS 6609305 WITH SCORE 6617555.326
AT ITER 4017 NEW BEST:: SOT 42685876 SOS 8250324 HAS SOPS 8250324 HAS SOUS 6609303 HAS SOUPS 6609303 WITH SCORE 6617553.324
AT ITER 4021 NEW BEST:: SOT 42684478 SOS 8249625 HAS SOPS 8249625 HAS SOUS 6608604 HAS SOUPS 6608604 WITH SCORE 6616853.625
AT ITER 4040 NEW BEST:: SOT 42684161 SOS 8248991 HAS SOPS 8248991 HAS SOUS 6607970 HAS SOUPS 6607970 WITH SCORE 6616218.991
AT ITER 4042 NEW BEST:: SOT 42683642 SOS 8247953 HAS SOPS 8247953 HAS SOUS 6607451 HAS SOUPS 6607451 WITH SCORE 6615698.953
AT ITER 4067 NEW BEST:: SOT 42682188 SOS 8246044 HAS SOPS 8246044 HAS SOUS 6605700 HAS SOUPS 6605700 WITH SCORE 6613946.044
AT ITER 4071 NEW BEST:: SOT 42682188 SOS 8242189 HAS SOPS 8242189 HAS SOUS 6605622 HAS SOUPS 6605622 WITH SCORE 6613864.189
AT ITER 4072 NEW BEST:: SOT 42682017 SOS 8242159 HAS SOPS 8242159 HAS SOUS 6605521 HAS SOUPS 6605521 WITH SCORE 6613763.159
AT ITER 4078 NEW BEST:: SOT 42682017 SOS 8242159 HAS SOPS 8242159 HAS SOUS 6605520 HAS SOUPS 6605520 WITH SCORE 6613762.159
AT ITER 4084 NEW BEST:: SOT 42682017 SOS 8242159 HAS SOPS 8242159 HAS SOUS 6605519 HAS SOUPS 6605519 WITH SCORE 6613761.159
AT ITER 4100 NEW BEST:: SOT 42681343 SOS 8242170 HAS SOPS 8242170 HAS SOUS 6605187 HAS SOUPS 6605187 WITH SCORE 6613429.17
AT ITER 4161 NEW BEST:: SOT 42681075 SOS 8241366 HAS SOPS 8241366 HAS SOUS 6604785 HAS SOUPS 6604785 WITH SCORE 6613026.366
AT ITER 4164 NEW BEST:: SOT 42681748 SOS 8241038 HAS SOPS 8241038 HAS SOUS 6604621 HAS SOUPS 6604621 WITH SCORE 6612862.038
AT ITER 4171 NEW BEST:: SOT 42681748 SOS 8240736 HAS SOPS 8240736 HAS SOUS 6604621 HAS SOUPS 6604621 WITH SCORE 6612861.736
AT ITER 4189 NEW BEST:: SOT 42682021 SOS 8241282 HAS SOPS 8241282 HAS SOUS 6604594 HAS SOUPS 6604594 WITH SCORE 6612835.282
AT ITER 4209 NEW BEST:: SOT 42681491 SOS 8240752 HAS SOPS 8240752 HAS SOUS 6604064 HAS SOUPS 6604064 WITH SCORE 6612304.752
AT ITER 4225 NEW BEST:: SOT 42680739 SOS 8240261 HAS SOPS 8240261 HAS SOUS 6603573 HAS SOUPS 6603573 WITH SCORE 6611813.261
AT ITER 4236 NEW BEST:: SOT 42680475 SOS 8239733 HAS SOPS 8239733 HAS SOUS 6603045 HAS SOUPS 6603045 WITH SCORE 6611284.733
AT ITER 4250 NEW BEST:: SOT 42680327 SOS 8239877 HAS SOPS 8239877 HAS SOUS 6603044 HAS SOUPS 6603044 WITH SCORE 6611283.877
AT ITER 4252 NEW BEST:: SOT 42680327 SOS 8239740 HAS SOPS 8239740 HAS SOUS 6602907 HAS SOUPS 6602907 WITH SCORE 6611146.74
AT ITER 4262 NEW BEST:: SOT 42679819 SOS 8239232 HAS SOPS 8239232 HAS SOUS 6602399 HAS SOUPS 6602399 WITH SCORE 6610638.232
AT ITER 4285 NEW BEST:: SOT 42679108 SOS 8235677 HAS SOPS 8235677 HAS SOUS 6600977 HAS SOUPS 6600977 WITH SCORE 6609212.677
AT ITER 4309 NEW BEST:: SOT 42678523 SOS 8235092 HAS SOPS 8235092 HAS SOUS 6600392 HAS SOUPS 6600392 WITH SCORE 6608627.092
AT ITER 4315 NEW BEST:: SOT 42677847 SOS 8234412 HAS SOPS 8234412 HAS SOUS 6599715 HAS SOUPS 6599715 WITH SCORE 6607949.412
AT ITER 4323 NEW BEST:: SOT 42677525 SOS 8233768 HAS SOPS 8233768 HAS SOUS 6599393 HAS SOUPS 6599393 WITH SCORE 6607626.768
AT ITER 4328 NEW BEST:: SOT 42677449 SOS 8232792 HAS SOPS 8232792 HAS SOUS 6598811 HAS SOUPS 6598811 WITH SCORE 6607043.792
AT ITER 4330 NEW BEST:: SOT 42677449 SOS 8232792 HAS SOPS 8232792 HAS SOUS 6597673 HAS SOUPS 6597673 WITH SCORE 6605905.792
AT ITER 4346 NEW BEST:: SOT 42677449 SOS 8232792 HAS SOPS 8232792 HAS SOUS 6597404 HAS SOUPS 6597404 WITH SCORE 6605636.792
AT ITER 4351 NEW BEST:: SOT 42676080 SOS 8231419 HAS SOPS 8231419 HAS SOUS 6596034 HAS SOUPS 6596034 WITH SCORE 6604265.419
AT ITER 4386 NEW BEST:: SOT 42676364 SOS 8225568 HAS SOPS 8225568 HAS SOUS 6595229 HAS SOUPS 6595229 WITH SCORE 6603454.568
AT ITER 4388 NEW BEST:: SOT 42676079 SOS 8225532 HAS SOPS 8225532 HAS SOUS 6595178 HAS SOUPS 6595178 WITH SCORE 6603403.532
AT ITER 4390 NEW BEST:: SOT 42676079 SOS 8225379 HAS SOPS 8225379 HAS SOUS 6595178 HAS SOUPS 6595178 WITH SCORE 6603403.379
AT ITER 4403 NEW BEST:: SOT 42676078 SOS 8225377 HAS SOPS 8225377 HAS SOUS 6595176 HAS SOUPS 6595176 WITH SCORE 6603401.377
AT ITER 4437 NEW BEST:: SOT 42675287 SOS 8223995 HAS SOPS 8223995 HAS SOUS 6593996 HAS SOUPS 6593996 WITH SCORE 6602219.995
AT ITER 4441 NEW BEST:: SOT 42674523 SOS 8224036 HAS SOPS 8224036 HAS SOUS 6593910 HAS SOUPS 6593910 WITH SCORE 6602134.036
AT ITER 4458 NEW BEST:: SOT 42674040 SOS 8222320 HAS SOPS 8222320 HAS SOUS 6593592 HAS SOUPS 6593592 WITH SCORE 6601814.32
AT ITER 4469 NEW BEST:: SOT 42673174 SOS 8221584 HAS SOPS 8221584 HAS SOUS 6592856 HAS SOUPS 6592856 WITH SCORE 6601077.584
AT ITER 4476 NEW BEST:: SOT 42673635 SOS 8222506 HAS SOPS 8222506 HAS SOUS 6592767 HAS SOUPS 6592767 WITH SCORE 6600989.506
AT ITER 4481 NEW BEST:: SOT 42673603 SOS 8222442 HAS SOPS 8222442 HAS SOUS 6592735 HAS SOUPS 6592735 WITH SCORE 6600957.442
AT ITER 4494 NEW BEST:: SOT 42673288 SOS 8222056 HAS SOPS 8222056 HAS SOUS 6592420 HAS SOUPS 6592420 WITH SCORE 6600642.056
AT ITER 4506 NEW BEST:: SOT 42672534 SOS 8220548 HAS SOPS 8220548 HAS SOUS 6590912 HAS SOUPS 6590912 WITH SCORE 6599132.548
AT ITER 4513 NEW BEST:: SOT 42672102 SOS 8220175 HAS SOPS 8220175 HAS SOUS 6590265 HAS SOUPS 6590265 WITH SCORE 6598485.175
AT ITER 4540 NEW BEST:: SOT 42671641 SOS 8219253 HAS SOPS 8219253 HAS SOUS 6589803 HAS SOUPS 6589803 WITH SCORE 6598022.253
AT ITER 4542 NEW BEST:: SOT 42671512 SOS 8218995 HAS SOPS 8218995 HAS SOUS 6589545 HAS SOUPS 6589545 WITH SCORE 6597763.995
AT ITER 4546 NEW BEST:: SOT 42671942 SOS 8219288 HAS SOPS 8219288 HAS SOUS 6589408 HAS SOUPS 6589408 WITH SCORE 6597627.288
AT ITER 4556 NEW BEST:: SOT 42671336 SOS 8218992 HAS SOPS 8218992 HAS SOUS 6589112 HAS SOUPS 6589112 WITH SCORE 6597330.992
AT ITER 4583 NEW BEST:: SOT 42671335 SOS 8218990 HAS SOPS 8218990 HAS SOUS 6589110 HAS SOUPS 6589110 WITH SCORE 6597328.99
AT ITER 4614 NEW BEST:: SOT 42670644 SOS 8218729 HAS SOPS 8218729 HAS SOUS 6588418 HAS SOUPS 6588418 WITH SCORE 6596636.729
AT ITER 4629 NEW BEST:: SOT 42670644 SOS 8218684 HAS SOPS 8218684 HAS SOUS 6588373 HAS SOUPS 6588373 WITH SCORE 6596591.684
AT ITER 4698 NEW BEST:: SOT 42670562 SOS 8218438 HAS SOPS 8218438 HAS SOUS 6588127 HAS SOUPS 6588127 WITH SCORE 6596345.438
AT ITER 4701 NEW BEST:: SOT 42670219 SOS 8218629 HAS SOPS 8218629 HAS SOUS 6588068 HAS SOUPS 6588068 WITH SCORE 6596286.629
AT ITER 4708 NEW BEST:: SOT 42667767 SOS 8217259 HAS SOPS 8217259 HAS SOUS 6585616 HAS SOUPS 6585616 WITH SCORE 6593833.259
AT ITER 4713 NEW BEST:: SOT 42665862 SOS 8215685 HAS SOPS 8215685 HAS SOUS 6583745 HAS SOUPS 6583745 WITH SCORE 6591960.685
AT ITER 4720 NEW BEST:: SOT 42665860 SOS 8215682 HAS SOPS 8215682 HAS SOUS 6583740 HAS SOUPS 6583740 WITH SCORE 6591955.682
AT ITER 4724 NEW BEST:: SOT 42665344 SOS 8215424 HAS SOPS 8215424 HAS SOUS 6583482 HAS SOUPS 6583482 WITH SCORE 6591697.424
AT ITER 4726 NEW BEST:: SOT 42665344 SOS 8215086 HAS SOPS 8215086 HAS SOUS 6583144 HAS SOUPS 6583144 WITH SCORE 6591359.086
AT ITER 4732 NEW BEST:: SOT 42663671 SOS 8214638 HAS SOPS 8214638 HAS SOUS 6582696 HAS SOUPS 6582696 WITH SCORE 6590910.638
AT ITER 4741 NEW BEST:: SOT 42662812 SOS 8213418 HAS SOPS 8213418 HAS SOUS 6581476 HAS SOUPS 6581476 WITH SCORE 6589689.418
AT ITER 4756 NEW BEST:: SOT 42661288 SOS 8210370 HAS SOPS 8210370 HAS SOUS 6578428 HAS SOUPS 6578428 WITH SCORE 6586638.37
AT ITER 4790 NEW BEST:: SOT 42661286 SOS 8210368 HAS SOPS 8210368 HAS SOUS 6578426 HAS SOUPS 6578426 WITH SCORE 6586636.368
AT ITER 4831 NEW BEST:: SOT 42661342 SOS 8210340 HAS SOPS 8210340 HAS SOUS 6578398 HAS SOUPS 6578398 WITH SCORE 6586608.34
AT ITER 4835 NEW BEST:: SOT 42661323 SOS 8210964 HAS SOPS 8210964 HAS SOUS 6578359 HAS SOUPS 6578359 WITH SCORE 6586569.964
AT ITER 4841 NEW BEST:: SOT 42661323 SOS 8210106 HAS SOPS 8210106 HAS SOUS 6577930 HAS SOUPS 6577930 WITH SCORE 6586140.106
AT ITER 4843 NEW BEST:: SOT 42660956 SOS 8210266 HAS SOPS 8210266 HAS SOUS 6577861 HAS SOUPS 6577861 WITH SCORE 6586071.266
AT ITER 4872 NEW BEST:: SOT 42660956 SOS 8209703 HAS SOPS 8209703 HAS SOUS 6577861 HAS SOUPS 6577861 WITH SCORE 6586070.703
AT ITER 4895 NEW BEST:: SOT 42660592 SOS 8208975 HAS SOPS 8208975 HAS SOUS 6577133 HAS SOUPS 6577133 WITH SCORE 6585341.975
AT ITER 4899 NEW BEST:: SOT 42660412 SOS 8208615 HAS SOPS 8208615 HAS SOUS 6576952 HAS SOUPS 6576952 WITH SCORE 6585160.615
AT ITER 4933 NEW BEST:: SOT 42660329 SOS 8208450 HAS SOPS 8208450 HAS SOUS 6576787 HAS SOUPS 6576787 WITH SCORE 6584995.45
AT ITER 4941 NEW BEST:: SOT 42660329 SOS 8208679 HAS SOPS 8208679 HAS SOUS 6576786 HAS SOUPS 6576786 WITH SCORE 6584994.679
AT ITER 4959 NEW BEST:: SOT 42654128 SOS 8209115 HAS SOPS 8209115 HAS SOUS 6573335 HAS SOUPS 6573335 WITH SCORE 6581544.115
AT ITER 4970 NEW BEST:: SOT 42654128 SOS 8209115 HAS SOPS 8209115 HAS SOUS 6573170 HAS SOUPS 6573170 WITH SCORE 6581379.115
AT ITER 4990 NEW BEST:: SOT 42653942 SOS 8208991 HAS SOPS 8208991 HAS SOUS 6573046 HAS SOUPS 6573046 WITH SCORE 6581254.991
AT ITER 5019 NEW BEST:: SOT 42653274 SOS 8208901 HAS SOPS 8208901 HAS SOUS 6572956 HAS SOUPS 6572956 WITH SCORE 6581164.901
AT ITER 5049 NEW BEST:: SOT 42619681 SOS 8341766 HAS SOPS 8341766 HAS SOUS 6547661 HAS SOUPS 6547661 WITH SCORE 6556002.766
AT ITER 5051 NEW BEST:: SOT 42619680 SOS 8342814 HAS SOPS 8342814 HAS SOUS 6547659 HAS SOUPS 6547659 WITH SCORE 6556001.814
AT ITER 5054 NEW BEST:: SOT 42619680 SOS 8342069 HAS SOPS 8342069 HAS SOUS 6547659 HAS SOUPS 6547659 WITH SCORE 6556001.069
AT ITER 5084 NEW BEST:: SOT 42618081 SOS 8341715 HAS SOPS 8341715 HAS SOUS 6547008 HAS SOUPS 6547008 WITH SCORE 6555349.715
AT ITER 5090 NEW BEST:: SOT 42618081 SOS 8341141 HAS SOPS 8341141 HAS SOUS 6547008 HAS SOUPS 6547008 WITH SCORE 6555349.141
AT ITER 5125 NEW BEST:: SOT 42617214 SOS 8341000 HAS SOPS 8341000 HAS SOUS 6546867 HAS SOUPS 6546867 WITH SCORE 6555208.0
AT ITER 5141 NEW BEST:: SOT 42617202 SOS 8340976 HAS SOPS 8340976 HAS SOUS 6546843 HAS SOUPS 6546843 WITH SCORE 6555183.976
AT ITER 5167 NEW BEST:: SOT 42615105 SOS 8342131 HAS SOPS 8342131 HAS SOUS 6546529 HAS SOUPS 6546529 WITH SCORE 6554871.131
AT ITER 5184 NEW BEST:: SOT 42614345 SOS 8341370 HAS SOPS 8341370 HAS SOUS 6545768 HAS SOUPS 6545768 WITH SCORE 6554109.37
AT ITER 5191 NEW BEST:: SOT 42613030 SOS 8338740 HAS SOPS 8338740 HAS SOUS 6543138 HAS SOUPS 6543138 WITH SCORE 6551476.74
AT ITER 5210 NEW BEST:: SOT 42613030 SOS 8338740 HAS SOPS 8338740 HAS SOUS 6542560 HAS SOUPS 6542560 WITH SCORE 6550898.74
AT ITER 5228 NEW BEST:: SOT 42612795 SOS 8338270 HAS SOPS 8338270 HAS SOUS 6542090 HAS SOUPS 6542090 WITH SCORE 6550428.27
AT ITER 5229 NEW BEST:: SOT 42611805 SOS 8345596 HAS SOPS 8345596 HAS SOUS 6540889 HAS SOUPS 6540889 WITH SCORE 6549234.596
AT ITER 5244 NEW BEST:: SOT 42611689 SOS 8345459 HAS SOPS 8345459 HAS SOUS 6540773 HAS SOUPS 6540773 WITH SCORE 6549118.459
AT ITER 5248 NEW BEST:: SOT 42611587 SOS 8345255 HAS SOPS 8345255 HAS SOUS 6540671 HAS SOUPS 6540671 WITH SCORE 6549016.255
AT ITER 5264 NEW BEST:: SOT 42611434 SOS 8343935 HAS SOPS 8343935 HAS SOUS 6540365 HAS SOUPS 6540365 WITH SCORE 6548708.935
AT ITER 5279 NEW BEST:: SOT 42608262 SOS 8339506 HAS SOPS 8339506 HAS SOUS 6536772 HAS SOUPS 6536772 WITH SCORE 6545111.506
AT ITER 5284 NEW BEST:: SOT 42608047 SOS 8339291 HAS SOPS 8339291 HAS SOUS 6536342 HAS SOUPS 6536342 WITH SCORE 6544681.291
AT ITER 5306 NEW BEST:: SOT 42606594 SOS 8335891 HAS SOPS 8335891 HAS SOUS 6532942 HAS SOUPS 6532942 WITH SCORE 6541277.891
AT ITER 5308 NEW BEST:: SOT 42606364 SOS 8335891 HAS SOPS 8335891 HAS SOUS 6532482 HAS SOUPS 6532482 WITH SCORE 6540817.891
AT ITER 5317 NEW BEST:: SOT 42606032 SOS 8335227 HAS SOPS 8335227 HAS SOUS 6531554 HAS SOUPS 6531554 WITH SCORE 6539889.227
AT ITER 5318 NEW BEST:: SOT 42605887 SOS 8334938 HAS SOPS 8334938 HAS SOUS 6531265 HAS SOUPS 6531265 WITH SCORE 6539599.938
AT ITER 5329 NEW BEST:: SOT 42605874 SOS 8334912 HAS SOPS 8334912 HAS SOUS 6530912 HAS SOUPS 6530912 WITH SCORE 6539246.912
AT ITER 5356 NEW BEST:: SOT 42605783 SOS 8334087 HAS SOPS 8334087 HAS SOUS 6530730 HAS SOUPS 6530730 WITH SCORE 6539064.087
AT ITER 5387 NEW BEST:: SOT 42606543 SOS 8333405 HAS SOPS 8333405 HAS SOUS 6530389 HAS SOUPS 6530389 WITH SCORE 6538722.405
AT ITER 5388 NEW BEST:: SOT 42605254 SOS 8333083 HAS SOPS 8333083 HAS SOUS 6530067 HAS SOUPS 6530067 WITH SCORE 6538400.083
AT ITER 5394 NEW BEST:: SOT 42604261 SOS 8331097 HAS SOPS 8331097 HAS SOUS 6528081 HAS SOUPS 6528081 WITH SCORE 6536412.097
AT ITER 5396 NEW BEST:: SOT 42604217 SOS 8331009 HAS SOPS 8331009 HAS SOUS 6527733 HAS SOUPS 6527733 WITH SCORE 6536064.009
AT ITER 5402 NEW BEST:: SOT 42602885 SOS 8329673 HAS SOPS 8329673 HAS SOUS 6527220 HAS SOUPS 6527220 WITH SCORE 6535549.673
AT ITER 5456 NEW BEST:: SOT 42603549 SOS 8331001 HAS SOPS 8331001 HAS SOUS 6527203 HAS SOUPS 6527203 WITH SCORE 6535534.001
AT ITER 5473 NEW BEST:: SOT 42602958 SOS 8330788 HAS SOPS 8330788 HAS SOUS 6526021 HAS SOUPS 6526021 WITH SCORE 6534351.788
AT ITER 5534 NEW BEST:: SOT 42603525 SOS 8330638 HAS SOPS 8330638 HAS SOUS 6525871 HAS SOUPS 6525871 WITH SCORE 6534201.638
AT ITER 5552 NEW BEST:: SOT 42590500 SOS 8325843 HAS SOPS 8325843 HAS SOUS 6515373 HAS SOUPS 6515373 WITH SCORE 6523698.843
AT ITER 5554 NEW BEST:: SOT 42588580 SOS 8324403 HAS SOPS 8324403 HAS SOUS 6513613 HAS SOUPS 6513613 WITH SCORE 6521937.403
AT ITER 5579 NEW BEST:: SOT 42588240 SOS 8322617 HAS SOPS 8322617 HAS SOUS 6512316 HAS SOUPS 6512316 WITH SCORE 6520638.617
AT ITER 5585 NEW BEST:: SOT 42587965 SOS 8322067 HAS SOPS 8322067 HAS SOUS 6512041 HAS SOUPS 6512041 WITH SCORE 6520363.067
AT ITER 5598 NEW BEST:: SOT 42587476 SOS 8321089 HAS SOPS 8321089 HAS SOUS 6511063 HAS SOUPS 6511063 WITH SCORE 6519384.089
AT ITER 5620 NEW BEST:: SOT 42587475 SOS 8321087 HAS SOPS 8321087 HAS SOUS 6511061 HAS SOUPS 6511061 WITH SCORE 6519382.087
AT ITER 5653 NEW BEST:: SOT 42587475 SOS 8320982 HAS SOPS 8320982 HAS SOUS 6510956 HAS SOUPS 6510956 WITH SCORE 6519276.982
AT ITER 5673 NEW BEST:: SOT 42581835 SOS 8320764 HAS SOPS 8320764 HAS SOUS 6507179 HAS SOUPS 6507179 WITH SCORE 6515499.764
AT ITER 5688 NEW BEST:: SOT 42581835 SOS 8320764 HAS SOPS 8320764 HAS SOUS 6505851 HAS SOUPS 6505851 WITH SCORE 6514171.764
AT ITER 5723 NEW BEST:: SOT 42581772 SOS 8320638 HAS SOPS 8320638 HAS SOUS 6505725 HAS SOUPS 6505725 WITH SCORE 6514045.638
AT ITER 5726 NEW BEST:: SOT 42581672 SOS 8320438 HAS SOPS 8320438 HAS SOUS 6505525 HAS SOUPS 6505525 WITH SCORE 6513845.438
AT ITER 5768 NEW BEST:: SOT 42581672 SOS 8320318 HAS SOPS 8320318 HAS SOUS 6505525 HAS SOUPS 6505525 WITH SCORE 6513845.318
AT ITER 5797 NEW BEST:: SOT 42581616 SOS 8320318 HAS SOPS 8320318 HAS SOUS 6505469 HAS SOUPS 6505469 WITH SCORE 6513789.318
AT ITER 5809 NEW BEST:: SOT 42581022 SOS 8320511 HAS SOPS 8320511 HAS SOUS 6505121 HAS SOUPS 6505121 WITH SCORE 6513441.511
AT ITER 5810 NEW BEST:: SOT 42581022 SOS 8320916 HAS SOPS 8320916 HAS SOUS 6505120 HAS SOUPS 6505120 WITH SCORE 6513440.916
AT ITER 5882 NEW BEST:: SOT 42581002 SOS 8320877 HAS SOPS 8320877 HAS SOUS 6505081 HAS SOUPS 6505081 WITH SCORE 6513401.877
AT ITER 5917 NEW BEST:: SOT 42580696 SOS 8320265 HAS SOPS 8320265 HAS SOUS 6504469 HAS SOUPS 6504469 WITH SCORE 6512789.265
AT ITER 5927 NEW BEST:: SOT 42578818 SOS 8188349 HAS SOPS 8188349 HAS SOUS 6500713 HAS SOUPS 6500713 WITH SCORE 6508901.349
AT ITER 5939 NEW BEST:: SOT 42579104 SOS 8187790 HAS SOPS 8187790 HAS SOUS 6500154 HAS SOUPS 6500154 WITH SCORE 6508341.79
AT ITER 5949 NEW BEST:: SOT 42579104 SOS 8187594 HAS SOPS 8187594 HAS SOUS 6500154 HAS SOUPS 6500154 WITH SCORE 6508341.594
AT ITER 5971 NEW BEST:: SOT 42579103 SOS 8187592 HAS SOPS 8187592 HAS SOUS 6500152 HAS SOUPS 6500152 WITH SCORE 6508339.592
AT ITER 5972 NEW BEST:: SOT 42578589 SOS 8188484 HAS SOPS 8188484 HAS SOUS 6499785 HAS SOUPS 6499785 WITH SCORE 6507973.484
AT ITER 5984 NEW BEST:: SOT 42577676 SOS 8183919 HAS SOPS 8183919 HAS SOUS 6497959 HAS SOUPS 6497959 WITH SCORE 6506142.919
AT ITER 6007 NEW BEST:: SOT 42577656 SOS 8183879 HAS SOPS 8183879 HAS SOUS 6497939 HAS SOUPS 6497939 WITH SCORE 6506122.879
AT ITER 6013 NEW BEST:: SOT 42575202 SOS 8184230 HAS SOPS 8184230 HAS SOUS 6497380 HAS SOUPS 6497380 WITH SCORE 6505564.23
AT ITER 6020 NEW BEST:: SOT 42569730 SOS 8179670 HAS SOPS 8179670 HAS SOUS 6492364 HAS SOUPS 6492364 WITH SCORE 6500543.67
AT ITER 6021 NEW BEST:: SOT 42569664 SOS 8179538 HAS SOPS 8179538 HAS SOUS 6492141 HAS SOUPS 6492141 WITH SCORE 6500320.538
AT ITER 6026 NEW BEST:: SOT 42569422 SOS 8179879 HAS SOPS 8179879 HAS SOUS 6491367 HAS SOUPS 6491367 WITH SCORE 6499546.879
AT ITER 6057 NEW BEST:: SOT 42569190 SOS 8179415 HAS SOPS 8179415 HAS SOUS 6491220 HAS SOUPS 6491220 WITH SCORE 6499399.415
AT ITER 6061 NEW BEST:: SOT 42567964 SOS 8176963 HAS SOPS 8176963 HAS SOUS 6488768 HAS SOUPS 6488768 WITH SCORE 6496944.963
AT ITER 6079 NEW BEST:: SOT 42567455 SOS 8176751 HAS SOPS 8176751 HAS SOUS 6487750 HAS SOUPS 6487750 WITH SCORE 6495926.751
AT ITER 6094 NEW BEST:: SOT 42566909 SOS 8176751 HAS SOPS 8176751 HAS SOUS 6487204 HAS SOUPS 6487204 WITH SCORE 6495380.751
AT ITER 6106 NEW BEST:: SOT 42566387 SOS 8175707 HAS SOPS 8175707 HAS SOUS 6486160 HAS SOUPS 6486160 WITH SCORE 6494335.707
AT ITER 6112 NEW BEST:: SOT 42565536 SOS 8175701 HAS SOPS 8175701 HAS SOUS 6486151 HAS SOUPS 6486151 WITH SCORE 6494326.701
AT ITER 6117 NEW BEST:: SOT 42565089 SOS 8175686 HAS SOPS 8175686 HAS SOUS 6485997 HAS SOUPS 6485997 WITH SCORE 6494172.686
AT ITER 6118 NEW BEST:: SOT 42564804 SOS 8175116 HAS SOPS 8175116 HAS SOUS 6485427 HAS SOUPS 6485427 WITH SCORE 6493602.116
AT ITER 6144 NEW BEST:: SOT 42563690 SOS 8174002 HAS SOPS 8174002 HAS SOUS 6484313 HAS SOUPS 6484313 WITH SCORE 6492487.002
AT ITER 6146 NEW BEST:: SOT 42563254 SOS 8171096 HAS SOPS 8171096 HAS SOUS 6482816 HAS SOUPS 6482816 WITH SCORE 6490987.096
AT ITER 6170 NEW BEST:: SOT 42563254 SOS 8169866 HAS SOPS 8169866 HAS SOUS 6482816 HAS SOUPS 6482816 WITH SCORE 6490985.866
AT ITER 6192 NEW BEST:: SOT 42562913 SOS 8169184 HAS SOPS 8169184 HAS SOUS 6482134 HAS SOUPS 6482134 WITH SCORE 6490303.184
AT ITER 6206 NEW BEST:: SOT 42562913 SOS 8168150 HAS SOPS 8168150 HAS SOUS 6481617 HAS SOUPS 6481617 WITH SCORE 6489785.15
AT ITER 6212 NEW BEST:: SOT 42562913 SOS 8168150 HAS SOPS 8168150 HAS SOUS 6481207 HAS SOUPS 6481207 WITH SCORE 6489375.15
AT ITER 6213 NEW BEST:: SOT 42563012 SOS 8167892 HAS SOPS 8167892 HAS SOUS 6480949 HAS SOUPS 6480949 WITH SCORE 6489116.892
AT ITER 6217 NEW BEST:: SOT 42563012 SOS 8167892 HAS SOPS 8167892 HAS SOUS 6480388 HAS SOUPS 6480388 WITH SCORE 6488555.892
AT ITER 6243 NEW BEST:: SOT 42562593 SOS 8167054 HAS SOPS 8167054 HAS SOUS 6479550 HAS SOUPS 6479550 WITH SCORE 6487717.054
AT ITER 6256 NEW BEST:: SOT 42562356 SOS 8166580 HAS SOPS 8166580 HAS SOUS 6478745 HAS SOUPS 6478745 WITH SCORE 6486911.58
AT ITER 6262 NEW BEST:: SOT 42561364 SOS 8161620 HAS SOPS 8161620 HAS SOUS 6476761 HAS SOUPS 6476761 WITH SCORE 6484922.62
AT ITER 6266 NEW BEST:: SOT 42559978 SOS 8158386 HAS SOPS 8158386 HAS SOUS 6473989 HAS SOUPS 6473989 WITH SCORE 6482147.386
AT ITER 6271 NEW BEST:: SOT 42559720 SOS 8157870 HAS SOPS 8157870 HAS SOUS 6473473 HAS SOUPS 6473473 WITH SCORE 6481630.87
AT ITER 6275 NEW BEST:: SOT 42559719 SOS 8157868 HAS SOPS 8157868 HAS SOUS 6473471 HAS SOUPS 6473471 WITH SCORE 6481628.868
AT ITER 6293 NEW BEST:: SOT 42559341 SOS 8158590 HAS SOPS 8158590 HAS SOUS 6473454 HAS SOUPS 6473454 WITH SCORE 6481612.59
AT ITER 6309 NEW BEST:: SOT 42558807 SOS 8157522 HAS SOPS 8157522 HAS SOUS 6472386 HAS SOUPS 6472386 WITH SCORE 6480543.522
AT ITER 6320 NEW BEST:: SOT 42559057 SOS 8156920 HAS SOPS 8156920 HAS SOUS 6471784 HAS SOUPS 6471784 WITH SCORE 6479940.92
AT ITER 6356 NEW BEST:: SOT 42556763 SOS 8145402 HAS SOPS 8145402 HAS SOUS 6467842 HAS SOUPS 6467842 WITH SCORE 6475987.402
AT ITER 6372 NEW BEST:: SOT 42555983 SOS 8142672 HAS SOPS 8142672 HAS SOUS 6466672 HAS SOUPS 6466672 WITH SCORE 6474814.672
AT ITER 6385 NEW BEST:: SOT 42554706 SOS 8140118 HAS SOPS 8140118 HAS SOUS 6466352 HAS SOUPS 6466352 WITH SCORE 6474492.118
AT ITER 6387 NEW BEST:: SOT 42554705 SOS 8140116 HAS SOPS 8140116 HAS SOUS 6466350 HAS SOUPS 6466350 WITH SCORE 6474490.116
AT ITER 6428 NEW BEST:: SOT 42554348 SOS 8140128 HAS SOPS 8140128 HAS SOUS 6465992 HAS SOUPS 6465992 WITH SCORE 6474132.128
AT ITER 6446 NEW BEST:: SOT 42554088 SOS 8138835 HAS SOPS 8138835 HAS SOUS 6465983 HAS SOUPS 6465983 WITH SCORE 6474121.835
AT ITER 6462 NEW BEST:: SOT 42553911 SOS 8138481 HAS SOPS 8138481 HAS SOUS 6465629 HAS SOUPS 6465629 WITH SCORE 6473767.481
AT ITER 6468 NEW BEST:: SOT 42552621 SOS 8135471 HAS SOPS 8135471 HAS SOUS 6463479 HAS SOUPS 6463479 WITH SCORE 6471614.471
AT ITER 6472 NEW BEST:: SOT 42552555 SOS 8135339 HAS SOPS 8135339 HAS SOUS 6463119 HAS SOUPS 6463119 WITH SCORE 6471254.339
AT ITER 6475 NEW BEST:: SOT 42551769 SOS 8134930 HAS SOPS 8134930 HAS SOUS 6462523 HAS SOUPS 6462523 WITH SCORE 6470657.93
AT ITER 6477 NEW BEST:: SOT 42551543 SOS 8134478 HAS SOPS 8134478 HAS SOUS 6461665 HAS SOUPS 6461665 WITH SCORE 6469799.478
AT ITER 6494 NEW BEST:: SOT 42551202 SOS 8133796 HAS SOPS 8133796 HAS SOUS 6461114 HAS SOUPS 6461114 WITH SCORE 6469247.796
AT ITER 6509 NEW BEST:: SOT 42550901 SOS 8133472 HAS SOPS 8133472 HAS SOUS 6461033 HAS SOUPS 6461033 WITH SCORE 6469166.472
AT ITER 6558 NEW BEST:: SOT 42548677 SOS 8132946 HAS SOPS 8132946 HAS SOUS 6459009 HAS SOUPS 6459009 WITH SCORE 6467141.946
AT ITER 6567 NEW BEST:: SOT 42548675 SOS 8132286 HAS SOPS 8132286 HAS SOUS 6459005 HAS SOUPS 6459005 WITH SCORE 6467137.286
AT ITER 6572 NEW BEST:: SOT 42549131 SOS 8131902 HAS SOPS 8131902 HAS SOUS 6458888 HAS SOUPS 6458888 WITH SCORE 6467019.902
AT ITER 6619 NEW BEST:: SOT 42547785 SOS 8131251 HAS SOPS 8131251 HAS SOUS 6458775 HAS SOUPS 6458775 WITH SCORE 6466906.251
AT ITER 6643 NEW BEST:: SOT 42547785 SOS 8131115 HAS SOPS 8131115 HAS SOUS 6458639 HAS SOUPS 6458639 WITH SCORE 6466770.115
AT ITER 6677 NEW BEST:: SOT 42548213 SOS 8131971 HAS SOPS 8131971 HAS SOUS 6458574 HAS SOUPS 6458574 WITH SCORE 6466705.971
AT ITER 6685 NEW BEST:: SOT 42548213 SOS 8131823 HAS SOPS 8131823 HAS SOUS 6458426 HAS SOUPS 6458426 WITH SCORE 6466557.823
AT ITER 6727 NEW BEST:: SOT 42547040 SOS 8129478 HAS SOPS 8129478 HAS SOUS 6456208 HAS SOUPS 6456208 WITH SCORE 6464337.478
AT ITER 6728 NEW BEST:: SOT 42546941 SOS 8129379 HAS SOPS 8129379 HAS SOUS 6456208 HAS SOUPS 6456208 WITH SCORE 6464337.379
AT ITER 6739 NEW BEST:: SOT 42546537 SOS 8128975 HAS SOPS 8128975 HAS SOUS 6455804 HAS SOUPS 6455804 WITH SCORE 6463932.975
AT ITER 6743 NEW BEST:: SOT 42546475 SOS 8128727 HAS SOPS 8128727 HAS SOUS 6455742 HAS SOUPS 6455742 WITH SCORE 6463870.727
AT ITER 6752 NEW BEST:: SOT 42546771 SOS 8129319 HAS SOPS 8129319 HAS SOUS 6454653 HAS SOUPS 6454653 WITH SCORE 6462782.319
AT ITER 6767 NEW BEST:: SOT 42545353 SOS 8128619 HAS SOPS 8128619 HAS SOUS 6453237 HAS SOUPS 6453237 WITH SCORE 6461365.619
AT ITER 6775 NEW BEST:: SOT 42546163 SOS 8128467 HAS SOPS 8128467 HAS SOUS 6453220 HAS SOUPS 6453220 WITH SCORE 6461348.467
AT ITER 6780 NEW BEST:: SOT 42546163 SOS 8128310 HAS SOPS 8128310 HAS SOUS 6453220 HAS SOUPS 6453220 WITH SCORE 6461348.31
AT ITER 6786 NEW BEST:: SOT 42545676 SOS 8127336 HAS SOPS 8127336 HAS SOUS 6452246 HAS SOUPS 6452246 WITH SCORE 6460373.336
AT ITER 6793 NEW BEST:: SOT 42544899 SOS 8125782 HAS SOPS 8125782 HAS SOUS 6450692 HAS SOUPS 6450692 WITH SCORE 6458817.782
AT ITER 6815 NEW BEST:: SOT 42544899 SOS 8126477 HAS SOPS 8126477 HAS SOUS 6450691 HAS SOUPS 6450691 WITH SCORE 6458817.477
AT ITER 6834 NEW BEST:: SOT 42544860 SOS 8126399 HAS SOPS 8126399 HAS SOUS 6450613 HAS SOUPS 6450613 WITH SCORE 6458739.399
AT ITER 6874 NEW BEST:: SOT 42544177 SOS 8125716 HAS SOPS 8125716 HAS SOUS 6450268 HAS SOUPS 6450268 WITH SCORE 6458393.716
AT ITER 6900 NEW BEST:: SOT 42544173 SOS 8125708 HAS SOPS 8125708 HAS SOUS 6450260 HAS SOUPS 6450260 WITH SCORE 6458385.708
AT ITER 6903 NEW BEST:: SOT 42541633 SOS 8120628 HAS SOPS 8120628 HAS SOUS 6445180 HAS SOUPS 6445180 WITH SCORE 6453300.628
AT ITER 6921 NEW BEST:: SOT 42540246 SOS 8117854 HAS SOPS 8117854 HAS SOUS 6444358 HAS SOUPS 6444358 WITH SCORE 6452475.854
AT ITER 6925 NEW BEST:: SOT 42539774 SOS 8112379 HAS SOPS 8112379 HAS SOUS 6443601 HAS SOUPS 6443601 WITH SCORE 6451713.379
AT ITER 6958 NEW BEST:: SOT 42539016 SOS 8110863 HAS SOPS 8110863 HAS SOUS 6442085 HAS SOUPS 6442085 WITH SCORE 6450195.863
AT ITER 6968 NEW BEST:: SOT 42538402 SOS 8110361 HAS SOPS 8110361 HAS SOUS 6442030 HAS SOUPS 6442030 WITH SCORE 6450140.361
AT ITER 6975 NEW BEST:: SOT 42538138 SOS 8109833 HAS SOPS 8109833 HAS SOUS 6441502 HAS SOUPS 6441502 WITH SCORE 6449611.833
AT ITER 6985 NEW BEST:: SOT 42537622 SOS 8108801 HAS SOPS 8108801 HAS SOUS 6440470 HAS SOUPS 6440470 WITH SCORE 6448578.801
AT ITER 6997 NEW BEST:: SOT 42537399 SOS 8108355 HAS SOPS 8108355 HAS SOUS 6440024 HAS SOUPS 6440024 WITH SCORE 6448132.355
AT ITER 6999 NEW BEST:: SOT 42537691 SOS 8107801 HAS SOPS 8107801 HAS SOUS 6439470 HAS SOUPS 6439470 WITH SCORE 6447577.801
AT ITER 7063 NEW BEST:: SOT 42537612 SOS 8107955 HAS SOPS 8107955 HAS SOUS 6439390 HAS SOUPS 6439390 WITH SCORE 6447497.955
AT ITER 7073 NEW BEST:: SOT 42537490 SOS 8104768 HAS SOPS 8104768 HAS SOUS 6439146 HAS SOUPS 6439146 WITH SCORE 6447250.768
AT ITER 7083 NEW BEST:: SOT 42537481 SOS 8104750 HAS SOPS 8104750 HAS SOUS 6438349 HAS SOUPS 6438349 WITH SCORE 6446453.75
AT ITER 7131 NEW BEST:: SOT 42537259 SOS 8113408 HAS SOPS 8113408 HAS SOUS 6438127 HAS SOUPS 6438127 WITH SCORE 6446240.408
AT ITER 7136 NEW BEST:: SOT 42537018 SOS 8114013 HAS SOPS 8114013 HAS SOUS 6436882 HAS SOUPS 6436882 WITH SCORE 6444996.013
AT ITER 7141 NEW BEST:: SOT 42536757 SOS 8114162 HAS SOPS 8114162 HAS SOUS 6436360 HAS SOUPS 6436360 WITH SCORE 6444474.162
AT ITER 7151 NEW BEST:: SOT 42536299 SOS 8113246 HAS SOPS 8113246 HAS SOUS 6435209 HAS SOUPS 6435209 WITH SCORE 6443322.246
AT ITER 7152 NEW BEST:: SOT 42536047 SOS 8112742 HAS SOPS 8112742 HAS SOUS 6434576 HAS SOUPS 6434576 WITH SCORE 6442688.742
AT ITER 7155 NEW BEST:: SOT 42536110 SOS 8112868 HAS SOPS 8112868 HAS SOUS 6434557 HAS SOUPS 6434557 WITH SCORE 6442669.868
AT ITER 7164 NEW BEST:: SOT 42535979 SOS 8112606 HAS SOPS 8112606 HAS SOUS 6434109 HAS SOUPS 6434109 WITH SCORE 6442221.606
AT ITER 7166 NEW BEST:: SOT 42536110 SOS 8112475 HAS SOPS 8112475 HAS SOUS 6433978 HAS SOUPS 6433978 WITH SCORE 6442090.475
AT ITER 7169 NEW BEST:: SOT 42535164 SOS 8110583 HAS SOPS 8110583 HAS SOUS 6432086 HAS SOUPS 6432086 WITH SCORE 6440196.583
AT ITER 7189 NEW BEST:: SOT 42534818 SOS 8109891 HAS SOPS 8109891 HAS SOUS 6431740 HAS SOUPS 6431740 WITH SCORE 6439849.891
AT ITER 7202 NEW BEST:: SOT 42534556 SOS 8108757 HAS SOPS 8108757 HAS SOUS 6430753 HAS SOUPS 6430753 WITH SCORE 6438861.757
AT ITER 7207 NEW BEST:: SOT 42534189 SOS 8108957 HAS SOPS 8108957 HAS SOUS 6429738 HAS SOUPS 6429738 WITH SCORE 6437846.957
AT ITER 7210 NEW BEST:: SOT 42532431 SOS 8120296 HAS SOPS 8120296 HAS SOUS 6429003 HAS SOUPS 6429003 WITH SCORE 6437123.296
AT ITER 7217 NEW BEST:: SOT 42532872 SOS 8120289 HAS SOPS 8120289 HAS SOUS 6428567 HAS SOUPS 6428567 WITH SCORE 6436687.289
AT ITER 7230 NEW BEST:: SOT 42528427 SOS 8133056 HAS SOPS 8133056 HAS SOUS 6426527 HAS SOUPS 6426527 WITH SCORE 6434660.056
AT ITER 7289 NEW BEST:: SOT 42528523 SOS 8132758 HAS SOPS 8132758 HAS SOUS 6426378 HAS SOUPS 6426378 WITH SCORE 6434510.758
AT ITER 7295 NEW BEST:: SOT 42527819 SOS 8131350 HAS SOPS 8131350 HAS SOUS 6425674 HAS SOUPS 6425674 WITH SCORE 6433805.35
AT ITER 7351 NEW BEST:: SOT 42527715 SOS 8131142 HAS SOPS 8131142 HAS SOUS 6425466 HAS SOUPS 6425466 WITH SCORE 6433597.142
AT ITER 7387 NEW BEST:: SOT 42526907 SOS 8130331 HAS SOPS 8130331 HAS SOUS 6425464 HAS SOUPS 6425464 WITH SCORE 6433594.331
AT ITER 7400 NEW BEST:: SOT 42526907 SOS 8129378 HAS SOPS 8129378 HAS SOUS 6425464 HAS SOUPS 6425464 WITH SCORE 6433593.378
AT ITER 7441 NEW BEST:: SOT 42525644 SOS 8129470 HAS SOPS 8129470 HAS SOUS 6424292 HAS SOUPS 6424292 WITH SCORE 6432421.47
AT ITER 7489 NEW BEST:: SOT 42525249 SOS 8129314 HAS SOPS 8129314 HAS SOUS 6423502 HAS SOUPS 6423502 WITH SCORE 6431631.314
AT ITER 7496 NEW BEST:: SOT 42524211 SOS 8129140 HAS SOPS 8129140 HAS SOUS 6423098 HAS SOUPS 6423098 WITH SCORE 6431227.14
AT ITER 7499 NEW BEST:: SOT 42523965 SOS 8127923 HAS SOPS 8127923 HAS SOUS 6423080 HAS SOUPS 6423080 WITH SCORE 6431207.923
AT ITER 7513 NEW BEST:: SOT 42522802 SOS 8122108 HAS SOPS 8122108 HAS SOUS 6420754 HAS SOUPS 6420754 WITH SCORE 6428876.108
AT ITER 7519 NEW BEST:: SOT 42522420 SOS 8121344 HAS SOPS 8121344 HAS SOUS 6419867 HAS SOUPS 6419867 WITH SCORE 6427988.344
AT ITER 7561 NEW BEST:: SOT 42522420 SOS 8121344 HAS SOPS 8121344 HAS SOUS 6419285 HAS SOUPS 6419285 WITH SCORE 6427406.344
AT ITER 7573 NEW BEST:: SOT 42520927 SOS 8118358 HAS SOPS 8118358 HAS SOUS 6416299 HAS SOUPS 6416299 WITH SCORE 6424417.358
AT ITER 7586 NEW BEST:: SOT 42517624 SOS 8111752 HAS SOPS 8111752 HAS SOUS 6412996 HAS SOUPS 6412996 WITH SCORE 6421107.752
AT ITER 7649 NEW BEST:: SOT 42517623 SOS 8111291 HAS SOPS 8111291 HAS SOUS 6412535 HAS SOUPS 6412535 WITH SCORE 6420646.291
AT ITER 7686 NEW BEST:: SOT 42517365 SOS 8110001 HAS SOPS 8110001 HAS SOUS 6412527 HAS SOUPS 6412527 WITH SCORE 6420637.001
AT ITER 7724 NEW BEST:: SOT 42516809 SOS 8109445 HAS SOPS 8109445 HAS SOUS 6411971 HAS SOUPS 6411971 WITH SCORE 6420080.445
AT ITER 7754 NEW BEST:: SOT 42516351 SOS 8109154 HAS SOPS 8109154 HAS SOUS 6411680 HAS SOUPS 6411680 WITH SCORE 6419789.154
AT ITER 7761 NEW BEST:: SOT 42516159 SOS 8108770 HAS SOPS 8108770 HAS SOUS 6411488 HAS SOUPS 6411488 WITH SCORE 6419596.77
AT ITER 7778 NEW BEST:: SOT 42515358 SOS 8107969 HAS SOPS 8107969 HAS SOUS 6410687 HAS SOUPS 6410687 WITH SCORE 6418794.969
AT ITER 7787 NEW BEST:: SOT 42515173 SOS 8107599 HAS SOPS 8107599 HAS SOUS 6410317 HAS SOUPS 6410317 WITH SCORE 6418424.599
AT ITER 7791 NEW BEST:: SOT 42515173 SOS 8107599 HAS SOPS 8107599 HAS SOUS 6409913 HAS SOUPS 6409913 WITH SCORE 6418020.599
AT ITER 7804 NEW BEST:: SOT 42515173 SOS 8107529 HAS SOPS 8107529 HAS SOUS 6409878 HAS SOUPS 6409878 WITH SCORE 6417985.529
AT ITER 7808 NEW BEST:: SOT 42514518 SOS 8107345 HAS SOPS 8107345 HAS SOUS 6409694 HAS SOUPS 6409694 WITH SCORE 6417801.345
AT ITER 7813 NEW BEST:: SOT 42514518 SOS 8106357 HAS SOPS 8106357 HAS SOUS 6409200 HAS SOUPS 6409200 WITH SCORE 6417306.357
AT ITER 7815 NEW BEST:: SOT 42514428 SOS 8106178 HAS SOPS 8106178 HAS SOUS 6409021 HAS SOUPS 6409021 WITH SCORE 6417127.178
AT ITER 7836 NEW BEST:: SOT 42514018 SOS 8105495 HAS SOPS 8105495 HAS SOUS 6408338 HAS SOUPS 6408338 WITH SCORE 6416443.495
AT ITER 7843 NEW BEST:: SOT 42514018 SOS 8106397 HAS SOPS 8106397 HAS SOUS 6408337 HAS SOUPS 6408337 WITH SCORE 6416443.397
AT ITER 7847 NEW BEST:: SOT 42513629 SOS 8106474 HAS SOPS 8106474 HAS SOUS 6408233 HAS SOUPS 6408233 WITH SCORE 6416339.474
AT ITER 7864 NEW BEST:: SOT 42513569 SOS 8106354 HAS SOPS 8106354 HAS SOUS 6408113 HAS SOUPS 6408113 WITH SCORE 6416219.354
AT ITER 7868 NEW BEST:: SOT 42513436 SOS 8106706 HAS SOPS 8106706 HAS SOUS 6407980 HAS SOUPS 6407980 WITH SCORE 6416086.706
AT ITER 7879 NEW BEST:: SOT 42512696 SOS 8106469 HAS SOPS 8106469 HAS SOUS 6407889 HAS SOUPS 6407889 WITH SCORE 6415995.469
AT ITER 7884 NEW BEST:: SOT 42511824 SOS 8102109 HAS SOPS 8102109 HAS SOUS 6406145 HAS SOUPS 6406145 WITH SCORE 6414247.109
AT ITER 7897 NEW BEST:: SOT 42511749 SOS 8101959 HAS SOPS 8101959 HAS SOUS 6405919 HAS SOUPS 6405919 WITH SCORE 6414020.959
AT ITER 7908 NEW BEST:: SOT 42511719 SOS 8101899 HAS SOPS 8101899 HAS SOUS 6404669 HAS SOUPS 6404669 WITH SCORE 6412770.899
AT ITER 7909 NEW BEST:: SOT 42511719 SOS 8100780 HAS SOPS 8100780 HAS SOUS 6404669 HAS SOUPS 6404669 WITH SCORE 6412769.78
AT ITER 7928 NEW BEST:: SOT 42511582 SOS 8100506 HAS SOPS 8100506 HAS SOUS 6404532 HAS SOUPS 6404532 WITH SCORE 6412632.506
AT ITER 7952 NEW BEST:: SOT 42511449 SOS 8100336 HAS SOPS 8100336 HAS SOUS 6404303 HAS SOUPS 6404303 WITH SCORE 6412403.336
AT ITER 7954 NEW BEST:: SOT 42511398 SOS 8100234 HAS SOPS 8100234 HAS SOUS 6404201 HAS SOUPS 6404201 WITH SCORE 6412301.234
AT ITER 7969 NEW BEST:: SOT 42511062 SOS 8099898 HAS SOPS 8099898 HAS SOUS 6403865 HAS SOUPS 6403865 WITH SCORE 6411964.898
AT ITER 7974 NEW BEST:: SOT 42511062 SOS 8099590 HAS SOPS 8099590 HAS SOUS 6403711 HAS SOUPS 6403711 WITH SCORE 6411810.59
AT ITER 7991 NEW BEST:: SOT 42510834 SOS 8099134 HAS SOPS 8099134 HAS SOUS 6403489 HAS SOUPS 6403489 WITH SCORE 6411588.134
AT ITER 8001 NEW BEST:: SOT 42510241 SOS 8098729 HAS SOPS 8098729 HAS SOUS 6403084 HAS SOUPS 6403084 WITH SCORE 6411182.729
AT ITER 8011 NEW BEST:: SOT 42509986 SOS 8098219 HAS SOPS 8098219 HAS SOUS 6402574 HAS SOUPS 6402574 WITH SCORE 6410672.219
AT ITER 8040 NEW BEST:: SOT 42510361 SOS 8098593 HAS SOPS 8098593 HAS SOUS 6402573 HAS SOUPS 6402573 WITH SCORE 6410671.593
AT ITER 8070 NEW BEST:: SOT 42509970 SOS 8096638 HAS SOPS 8096638 HAS SOUS 6401791 HAS SOUPS 6401791 WITH SCORE 6409887.638
AT ITER 8082 NEW BEST:: SOT 42508823 SOS 8097781 HAS SOPS 8097781 HAS SOUS 6399496 HAS SOUPS 6399496 WITH SCORE 6407593.781
AT ITER 8086 NEW BEST:: SOT 42508878 SOS 8097591 HAS SOPS 8097591 HAS SOUS 6399451 HAS SOUPS 6399451 WITH SCORE 6407548.591
AT ITER 8103 NEW BEST:: SOT 42509030 SOS 8097556 HAS SOPS 8097556 HAS SOUS 6399416 HAS SOUPS 6399416 WITH SCORE 6407513.556
AT ITER 8104 NEW BEST:: SOT 42508258 SOS 8096012 HAS SOPS 8096012 HAS SOUS 6397872 HAS SOUPS 6397872 WITH SCORE 6405968.012
AT ITER 8121 NEW BEST:: SOT 42505233 SOS 8093980 HAS SOPS 8093980 HAS SOUS 6395553 HAS SOUPS 6395553 WITH SCORE 6403646.98
AT ITER 8188 NEW BEST:: SOT 42505233 SOS 8093980 HAS SOPS 8093980 HAS SOUS 6395502 HAS SOUPS 6395502 WITH SCORE 6403595.98
AT ITER 8210 NEW BEST:: SOT 42503993 SOS 8093488 HAS SOPS 8093488 HAS SOUS 6395010 HAS SOUPS 6395010 WITH SCORE 6403103.488
AT ITER 8217 NEW BEST:: SOT 42503993 SOS 8092976 HAS SOPS 8092976 HAS SOUS 6394754 HAS SOUPS 6394754 WITH SCORE 6402846.976
AT ITER 8228 NEW BEST:: SOT 42503433 SOS 8091856 HAS SOPS 8091856 HAS SOUS 6393634 HAS SOUPS 6393634 WITH SCORE 6401725.856
AT ITER 8251 NEW BEST:: SOT 42503433 SOS 8091856 HAS SOPS 8091856 HAS SOUS 6393633 HAS SOUPS 6393633 WITH SCORE 6401724.856
AT ITER 8270 NEW BEST:: SOT 42503004 SOS 8091787 HAS SOPS 8091787 HAS SOUS 6393467 HAS SOUPS 6393467 WITH SCORE 6401558.787
AT ITER 8273 NEW BEST:: SOT 42503004 SOS 8091787 HAS SOPS 8091787 HAS SOUS 6393328 HAS SOUPS 6393328 WITH SCORE 6401419.787
AT ITER 8274 NEW BEST:: SOT 42501998 SOS 8090781 HAS SOPS 8090781 HAS SOUS 6392322 HAS SOUPS 6392322 WITH SCORE 6400412.781
AT ITER 8276 NEW BEST:: SOT 42501758 SOS 8089581 HAS SOPS 8089581 HAS SOUS 6391842 HAS SOUPS 6391842 WITH SCORE 6399931.581
AT ITER 8335 NEW BEST:: SOT 42499447 SOS 8090959 HAS SOPS 8090959 HAS SOUS 6391076 HAS SOUPS 6391076 WITH SCORE 6399166.959
AT ITER 8370 NEW BEST:: SOT 42498794 SOS 8090015 HAS SOPS 8090015 HAS SOUS 6390423 HAS SOUPS 6390423 WITH SCORE 6398513.015
AT ITER 8391 NEW BEST:: SOT 42498905 SOS 8090090 HAS SOPS 8090090 HAS SOUS 6390387 HAS SOUPS 6390387 WITH SCORE 6398477.09
AT ITER 8411 NEW BEST:: SOT 42498240 SOS 8088893 HAS SOPS 8088893 HAS SOUS 6389583 HAS SOUPS 6389583 WITH SCORE 6397671.893
AT ITER 8421 NEW BEST:: SOT 42498239 SOS 8088002 HAS SOPS 8088002 HAS SOUS 6388692 HAS SOUPS 6388692 WITH SCORE 6396780.002
AT ITER 8422 NEW BEST:: SOT 42498238 SOS 8088000 HAS SOPS 8088000 HAS SOUS 6388690 HAS SOUPS 6388690 WITH SCORE 6396778.0
AT ITER 8423 NEW BEST:: SOT 42497809 SOS 8087142 HAS SOPS 8087142 HAS SOUS 6387143 HAS SOUPS 6387143 WITH SCORE 6395230.142
AT ITER 8435 NEW BEST:: SOT 42497809 SOS 8087142 HAS SOPS 8087142 HAS SOUS 6386223 HAS SOUPS 6386223 WITH SCORE 6394310.142
AT ITER 8437 NEW BEST:: SOT 42497781 SOS 8087086 HAS SOPS 8087086 HAS SOUS 6386195 HAS SOUPS 6386195 WITH SCORE 6394282.086
AT ITER 8443 NEW BEST:: SOT 42496590 SOS 8084704 HAS SOPS 8084704 HAS SOUS 6385001 HAS SOUPS 6385001 WITH SCORE 6393085.704
AT ITER 8452 NEW BEST:: SOT 42496590 SOS 8085290 HAS SOPS 8085290 HAS SOUS 6385000 HAS SOUPS 6385000 WITH SCORE 6393085.29
AT ITER 8460 NEW BEST:: SOT 42495827 SOS 8083764 HAS SOPS 8083764 HAS SOUS 6383474 HAS SOUPS 6383474 WITH SCORE 6391557.764
AT ITER 8476 NEW BEST:: SOT 42495827 SOS 8083534 HAS SOPS 8083534 HAS SOUS 6383474 HAS SOUPS 6383474 WITH SCORE 6391557.534
AT ITER 8482 NEW BEST:: SOT 42495795 SOS 8083470 HAS SOPS 8083470 HAS SOUS 6383410 HAS SOUPS 6383410 WITH SCORE 6391493.47
AT ITER 8512 NEW BEST:: SOT 42495795 SOS 8083470 HAS SOPS 8083470 HAS SOUS 6382650 HAS SOUPS 6382650 WITH SCORE 6390733.47
AT ITER 8555 NEW BEST:: SOT 42495532 SOS 8082944 HAS SOPS 8082944 HAS SOUS 6381923 HAS SOUPS 6381923 WITH SCORE 6390005.944
AT ITER 8569 NEW BEST:: SOT 42494715 SOS 8081310 HAS SOPS 8081310 HAS SOUS 6380289 HAS SOUPS 6380289 WITH SCORE 6388370.31
AT ITER 8570 NEW BEST:: SOT 42494715 SOS 8079162 HAS SOPS 8079162 HAS SOUS 6379752 HAS SOUPS 6379752 WITH SCORE 6387831.162
AT ITER 8587 NEW BEST:: SOT 42494715 SOS 8079062 HAS SOPS 8079062 HAS SOUS 6379652 HAS SOUPS 6379652 WITH SCORE 6387731.062
AT ITER 8604 NEW BEST:: SOT 42494018 SOS 8077668 HAS SOPS 8077668 HAS SOUS 6378258 HAS SOUPS 6378258 WITH SCORE 6386335.668
AT ITER 8617 NEW BEST:: SOT 42493661 SOS 8076954 HAS SOPS 8076954 HAS SOUS 6377983 HAS SOUPS 6377983 WITH SCORE 6386059.954
AT ITER 8622 NEW BEST:: SOT 42491795 SOS 8073222 HAS SOPS 8073222 HAS SOUS 6375322 HAS SOUPS 6375322 WITH SCORE 6383395.222
AT ITER 8624 NEW BEST:: SOT 42492114 SOS 8072741 HAS SOPS 8072741 HAS SOUS 6374841 HAS SOUPS 6374841 WITH SCORE 6382913.741
AT ITER 8666 NEW BEST:: SOT 42491084 SOS 8067591 HAS SOPS 8067591 HAS SOUS 6372781 HAS SOUPS 6372781 WITH SCORE 6380848.591
AT ITER 8674 NEW BEST:: SOT 42490415 SOS 8064915 HAS SOPS 8064915 HAS SOUS 6371443 HAS SOUPS 6371443 WITH SCORE 6379507.915
AT ITER 8681 NEW BEST:: SOT 42489861 SOS 8063530 HAS SOPS 8063530 HAS SOUS 6370889 HAS SOUPS 6370889 WITH SCORE 6378952.53
AT ITER 8733 NEW BEST:: SOT 42489738 SOS 8063284 HAS SOPS 8063284 HAS SOUS 6369994 HAS SOUPS 6369994 WITH SCORE 6378057.284
AT ITER 8742 NEW BEST:: SOT 42489146 SOS 8062100 HAS SOPS 8062100 HAS SOUS 6368687 HAS SOUPS 6368687 WITH SCORE 6376749.1
AT ITER 8743 NEW BEST:: SOT 42489146 SOS 8061920 HAS SOPS 8061920 HAS SOUS 6368597 HAS SOUPS 6368597 WITH SCORE 6376658.92
AT ITER 8750 NEW BEST:: SOT 42489146 SOS 8061362 HAS SOPS 8061362 HAS SOUS 6368597 HAS SOUPS 6368597 WITH SCORE 6376658.362
AT ITER 8766 NEW BEST:: SOT 42489146 SOS 8061179 HAS SOPS 8061179 HAS SOUS 6368414 HAS SOUPS 6368414 WITH SCORE 6376475.179
AT ITER 8785 NEW BEST:: SOT 42488858 SOS 8060603 HAS SOPS 8060603 HAS SOUS 6368126 HAS SOUPS 6368126 WITH SCORE 6376186.603
AT ITER 8791 NEW BEST:: SOT 42488858 SOS 8060603 HAS SOPS 8060603 HAS SOUS 6367768 HAS SOUPS 6367768 WITH SCORE 6375828.603
AT ITER 8802 NEW BEST:: SOT 42488858 SOS 8060118 HAS SOPS 8060118 HAS SOUS 6367768 HAS SOUPS 6367768 WITH SCORE 6375828.118
AT ITER 8805 NEW BEST:: SOT 42487992 SOS 8059757 HAS SOPS 8059757 HAS SOUS 6367376 HAS SOUPS 6367376 WITH SCORE 6375435.757
AT ITER 8812 NEW BEST:: SOT 42486640 SOS 8052997 HAS SOPS 8052997 HAS SOUS 6364672 HAS SOUPS 6364672 WITH SCORE 6372724.997
AT ITER 8850 NEW BEST:: SOT 42486174 SOS 8052531 HAS SOPS 8052531 HAS SOUS 6363740 HAS SOUPS 6363740 WITH SCORE 6371792.531
AT ITER 8854 NEW BEST:: SOT 42486121 SOS 8052425 HAS SOPS 8052425 HAS SOUS 6363634 HAS SOUPS 6363634 WITH SCORE 6371686.425
AT ITER 8933 NEW BEST:: SOT 42484675 SOS 8050975 HAS SOPS 8050975 HAS SOUS 6362187 HAS SOUPS 6362187 WITH SCORE 6370237.975
AT ITER 8955 NEW BEST:: SOT 42484030 SOS 8051557 HAS SOPS 8051557 HAS SOUS 6362166 HAS SOUPS 6362166 WITH SCORE 6370217.557
AT ITER 8966 NEW BEST:: SOT 42482545 SOS 8049577 HAS SOPS 8049577 HAS SOUS 6360186 HAS SOUPS 6360186 WITH SCORE 6368235.577
AT ITER 8983 NEW BEST:: SOT 42483134 SOS 8050755 HAS SOPS 8050755 HAS SOUS 6360099 HAS SOUPS 6360099 WITH SCORE 6368149.755
AT ITER 8998 NEW BEST:: SOT 42483134 SOS 8050755 HAS SOPS 8050755 HAS SOUS 6360083 HAS SOUPS 6360083 WITH SCORE 6368133.755
AT ITER 9012 NEW BEST:: SOT 42482894 SOS 8049555 HAS SOPS 8049555 HAS SOUS 6359603 HAS SOUPS 6359603 WITH SCORE 6367652.555
AT ITER 9025 NEW BEST:: SOT 42483203 SOS 8049534 HAS SOPS 8049534 HAS SOUS 6359582 HAS SOUPS 6359582 WITH SCORE 6367631.534
AT ITER 9041 NEW BEST:: SOT 42483057 SOS 8049169 HAS SOPS 8049169 HAS SOUS 6359436 HAS SOUPS 6359436 WITH SCORE 6367485.169
AT ITER 9045 NEW BEST:: SOT 42483121 SOS 8048366 HAS SOPS 8048366 HAS SOUS 6359018 HAS SOUPS 6359018 WITH SCORE 6367066.366
AT ITER 9069 NEW BEST:: SOT 42483387 SOS 8048898 HAS SOPS 8048898 HAS SOUS 6358730 HAS SOUPS 6358730 WITH SCORE 6366778.898
AT ITER 9095 NEW BEST:: SOT 42483036 SOS 8048196 HAS SOPS 8048196 HAS SOUS 6358028 HAS SOUPS 6358028 WITH SCORE 6366076.196
AT ITER 9101 NEW BEST:: SOT 42482912 SOS 8047948 HAS SOPS 8047948 HAS SOUS 6357780 HAS SOUPS 6357780 WITH SCORE 6365827.948
AT ITER 9110 NEW BEST:: SOT 42482911 SOS 8047946 HAS SOPS 8047946 HAS SOUS 6357778 HAS SOUPS 6357778 WITH SCORE 6365825.946
AT ITER 9141 NEW BEST:: SOT 42482775 SOS 8047674 HAS SOPS 8047674 HAS SOUS 6357642 HAS SOUPS 6357642 WITH SCORE 6365689.674
AT ITER 9198 NEW BEST:: SOT 42481918 SOS 8046813 HAS SOPS 8046813 HAS SOUS 6356784 HAS SOUPS 6356784 WITH SCORE 6364830.813
AT ITER 9199 NEW BEST:: SOT 42481851 SOS 8046327 HAS SOPS 8046327 HAS SOUS 6356127 HAS SOUPS 6356127 WITH SCORE 6364173.327
AT ITER 9228 NEW BEST:: SOT 42481851 SOS 8046237 HAS SOPS 8046237 HAS SOUS 6356097 HAS SOUPS 6356097 WITH SCORE 6364143.237
AT ITER 9232 NEW BEST:: SOT 42481535 SOS 8046524 HAS SOPS 8046524 HAS SOUS 6356044 HAS SOUPS 6356044 WITH SCORE 6364090.524
AT ITER 9269 NEW BEST:: SOT 42480921 SOS 8045813 HAS SOPS 8045813 HAS SOUS 6355333 HAS SOUPS 6355333 WITH SCORE 6363378.813
AT ITER 9285 NEW BEST:: SOT 42480749 SOS 8045914 HAS SOPS 8045914 HAS SOUS 6354988 HAS SOUPS 6354988 WITH SCORE 6363033.914
AT ITER 9296 NEW BEST:: SOT 42480331 SOS 8044640 HAS SOPS 8044640 HAS SOUS 6354312 HAS SOUPS 6354312 WITH SCORE 6362356.64
AT ITER 9310 NEW BEST:: SOT 42479161 SOS 8042300 HAS SOPS 8042300 HAS SOUS 6353142 HAS SOUPS 6353142 WITH SCORE 6361184.3
AT ITER 9342 NEW BEST:: SOT 42479066 SOS 8041453 HAS SOPS 8041453 HAS SOUS 6353047 HAS SOUPS 6353047 WITH SCORE 6361088.453
AT ITER 9362 NEW BEST:: SOT 42478968 SOS 8041355 HAS SOPS 8041355 HAS SOUS 6352949 HAS SOUPS 6352949 WITH SCORE 6360990.355
AT ITER 9455 NEW BEST:: SOT 42478968 SOS 8041142 HAS SOPS 8041142 HAS SOUS 6352949 HAS SOUPS 6352949 WITH SCORE 6360990.142
AT ITER 9456 NEW BEST:: SOT 42478968 SOS 8041018 HAS SOPS 8041018 HAS SOUS 6352825 HAS SOUPS 6352825 WITH SCORE 6360866.018
AT ITER 9457 NEW BEST:: SOT 42478738 SOS 8041279 HAS SOPS 8041279 HAS SOUS 6352365 HAS SOUPS 6352365 WITH SCORE 6360406.279
AT ITER 9468 NEW BEST:: SOT 42478737 SOS 8041277 HAS SOPS 8041277 HAS SOUS 6352363 HAS SOUPS 6352363 WITH SCORE 6360404.277
AT ITER 9488 NEW BEST:: SOT 42478647 SOS 8041187 HAS SOPS 8041187 HAS SOUS 6352273 HAS SOUPS 6352273 WITH SCORE 6360314.187
AT ITER 9524 NEW BEST:: SOT 42478647 SOS 8041187 HAS SOPS 8041187 HAS SOUS 6352272 HAS SOUPS 6352272 WITH SCORE 6360313.187
AT ITER 9544 NEW BEST:: SOT 42478517 SOS 8040927 HAS SOPS 8040927 HAS SOUS 6352142 HAS SOUPS 6352142 WITH SCORE 6360182.927
AT ITER 9549 NEW BEST:: SOT 42478167 SOS 8040577 HAS SOPS 8040577 HAS SOUS 6351792 HAS SOUPS 6351792 WITH SCORE 6359832.577
AT ITER 9608 NEW BEST:: SOT 42477855 SOS 8039953 HAS SOPS 8039953 HAS SOUS 6351480 HAS SOUPS 6351480 WITH SCORE 6359519.953
AT ITER 9610 NEW BEST:: SOT 42477599 SOS 8040422 HAS SOPS 8040422 HAS SOUS 6351361 HAS SOUPS 6351361 WITH SCORE 6359401.422
AT ITER 9626 NEW BEST:: SOT 42475492 SOS 8041122 HAS SOPS 8041122 HAS SOUS 6350892 HAS SOUPS 6350892 WITH SCORE 6358933.122
AT ITER 9645 NEW BEST:: SOT 42475261 SOS 8040891 HAS SOPS 8040891 HAS SOUS 6350661 HAS SOUPS 6350661 WITH SCORE 6358701.891
AT ITER 9650 NEW BEST:: SOT 42474560 SOS 8040186 HAS SOPS 8040186 HAS SOUS 6349959 HAS SOUPS 6349959 WITH SCORE 6357999.186
AT ITER 9654 NEW BEST:: SOT 42473834 SOS 8039460 HAS SOPS 8039460 HAS SOUS 6349233 HAS SOUPS 6349233 WITH SCORE 6357272.46
AT ITER 9681 NEW BEST:: SOT 42473521 SOS 8039660 HAS SOPS 8039660 HAS SOUS 6349020 HAS SOUPS 6349020 WITH SCORE 6357059.66
AT ITER 9702 NEW BEST:: SOT 42472144 SOS 8040332 HAS SOPS 8040332 HAS SOUS 6348785 HAS SOUPS 6348785 WITH SCORE 6356825.332
AT ITER 9707 NEW BEST:: SOT 42472078 SOS 8040200 HAS SOPS 8040200 HAS SOUS 6348653 HAS SOUPS 6348653 WITH SCORE 6356693.2
AT ITER 9719 NEW BEST:: SOT 42471813 SOS 8039670 HAS SOPS 8039670 HAS SOUS 6348388 HAS SOUPS 6348388 WITH SCORE 6356427.67
AT ITER 9731 NEW BEST:: SOT 42471574 SOS 8039192 HAS SOPS 8039192 HAS SOUS 6347910 HAS SOUPS 6347910 WITH SCORE 6355949.192
AT ITER 9749 NEW BEST:: SOT 42470355 SOS 8039658 HAS SOPS 8039658 HAS SOUS 6347659 HAS SOUPS 6347659 WITH SCORE 6355698.658
AT ITER 9755 NEW BEST:: SOT 42470144 SOS 8039236 HAS SOPS 8039236 HAS SOUS 6347237 HAS SOUPS 6347237 WITH SCORE 6355276.236
AT ITER 9786 NEW BEST:: SOT 42469867 SOS 8038682 HAS SOPS 8038682 HAS SOUS 6346683 HAS SOUPS 6346683 WITH SCORE 6354721.682
AT ITER 9807 NEW BEST:: SOT 42469867 SOS 8038496 HAS SOPS 8038496 HAS SOUS 6346683 HAS SOUPS 6346683 WITH SCORE 6354721.496
AT ITER 9808 NEW BEST:: SOT 42469761 SOS 8038284 HAS SOPS 8038284 HAS SOUS 6346577 HAS SOUPS 6346577 WITH SCORE 6354615.284
AT ITER 9858 NEW BEST:: SOT 42469161 SOS 8037680 HAS SOPS 8037680 HAS SOUS 6345976 HAS SOUPS 6345976 WITH SCORE 6354013.68
AT ITER 9869 NEW BEST:: SOT 42467689 SOS 8034172 HAS SOPS 8034172 HAS SOUS 6343995 HAS SOUPS 6343995 WITH SCORE 6352029.172
AT ITER 9878 NEW BEST:: SOT 42467106 SOS 8033826 HAS SOPS 8033826 HAS SOUS 6343531 HAS SOUPS 6343531 WITH SCORE 6351564.826
AT ITER 9887 NEW BEST:: SOT 42466935 SOS 8033712 HAS SOPS 8033712 HAS SOUS 6343417 HAS SOUPS 6343417 WITH SCORE 6351450.712
AT ITER 9892 NEW BEST:: SOT 42466336 SOS 8032514 HAS SOPS 8032514 HAS SOUS 6342219 HAS SOUPS 6342219 WITH SCORE 6350251.514
AT ITER 9906 NEW BEST:: SOT 42466335 SOS 8032512 HAS SOPS 8032512 HAS SOUS 6342217 HAS SOUPS 6342217 WITH SCORE 6350249.512
AT ITER 9957 NEW BEST:: SOT 42457302 SOS 8062572 HAS SOPS 8062572 HAS SOUS 6337140 HAS SOUPS 6337140 WITH SCORE 6345202.572
AT ITER 9990 NEW BEST:: SOT 42457475 SOS 8063351 HAS SOPS 8063351 HAS SOUS 6336880 HAS SOUPS 6336880 WITH SCORE 6344943.351
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14800152 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116836 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="DLCshifumi-PT-3b"
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 DLCshifumi-PT-3b, 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 r107-tall-167814484700824"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-3b.tgz
mv DLCshifumi-PT-3b 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 ;