About the Execution of Smart+red for DLCround-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1035.691 | 3600000.00 | 3635360.00 | 9832.70 | [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-167814484700776.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 DLCround-PT-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700776
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 5.9K Feb 25 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 18:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 18:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 1678426645642
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=DLCround-PT-12b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 05:37:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 05:37:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 05:37:27] [INFO ] Load time of PNML (sax parser for PT used): 235 ms
[2023-03-10 05:37:27] [INFO ] Transformed 4848 places.
[2023-03-10 05:37:27] [INFO ] Transformed 7836 transitions.
[2023-03-10 05:37:27] [INFO ] Found NUPN structural information;
[2023-03-10 05:37:27] [INFO ] Parsed PT model containing 4848 places and 7836 transitions and 22188 arcs in 408 ms.
[2023-03-10 05:37:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4848 places, 7836 transitions and 22188 arcs took 50 ms.
Total runtime 487 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12b
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: 4848 places, 7836 transitions, 22188 arcs.
AT ITER 0 NEW BEST:: SOT 24787847 SOS 6033677 HAS SOPS 6033677 HAS SOUS 3212168 HAS SOUPS 3212168 WITH SCORE 3218201.677
AT ITER 9 NEW BEST:: SOT 24785174 SOS 6029912 HAS SOPS 6029912 HAS SOUS 3208199 HAS SOUPS 3208199 WITH SCORE 3214228.912
AT ITER 29 NEW BEST:: SOT 24785174 SOS 6031058 HAS SOPS 6031058 HAS SOUS 3207662 HAS SOUPS 3207662 WITH SCORE 3213693.058
AT ITER 32 NEW BEST:: SOT 24785318 SOS 6031346 HAS SOPS 6031346 HAS SOUS 3206869 HAS SOUPS 3206869 WITH SCORE 3212900.346
AT ITER 41 NEW BEST:: SOT 24785318 SOS 6031346 HAS SOPS 6031346 HAS SOUS 3206868 HAS SOUPS 3206868 WITH SCORE 3212899.346
AT ITER 43 NEW BEST:: SOT 24784603 SOS 6032048 HAS SOPS 6032048 HAS SOUS 3206151 HAS SOUPS 3206151 WITH SCORE 3212183.048
AT ITER 112 NEW BEST:: SOT 24784603 SOS 6031986 HAS SOPS 6031986 HAS SOUS 3206089 HAS SOUPS 3206089 WITH SCORE 3212120.986
AT ITER 130 NEW BEST:: SOT 24784603 SOS 6032798 HAS SOPS 6032798 HAS SOUS 3206087 HAS SOUPS 3206087 WITH SCORE 3212119.798
AT ITER 138 NEW BEST:: SOT 24783646 SOS 6031965 HAS SOPS 6031965 HAS SOUS 3205254 HAS SOUPS 3205254 WITH SCORE 3211285.965
AT ITER 148 NEW BEST:: SOT 24783646 SOS 6030318 HAS SOPS 6030318 HAS SOUS 3205252 HAS SOUPS 3205252 WITH SCORE 3211282.318
AT ITER 165 NEW BEST:: SOT 24783140 SOS 6036593 HAS SOPS 6036593 HAS SOUS 3204746 HAS SOUPS 3204746 WITH SCORE 3210782.593
AT ITER 168 NEW BEST:: SOT 24783140 SOS 6035225 HAS SOPS 6035225 HAS SOUS 3204290 HAS SOUPS 3204290 WITH SCORE 3210325.225
AT ITER 235 NEW BEST:: SOT 24783331 SOS 6033447 HAS SOPS 6033447 HAS SOUS 3203856 HAS SOUPS 3203856 WITH SCORE 3209889.447
AT ITER 256 NEW BEST:: SOT 24783331 SOS 6033447 HAS SOPS 6033447 HAS SOUS 3203515 HAS SOUPS 3203515 WITH SCORE 3209548.447
AT ITER 272 NEW BEST:: SOT 24783233 SOS 6033251 HAS SOPS 6033251 HAS SOUS 3203319 HAS SOUPS 3203319 WITH SCORE 3209352.251
AT ITER 274 NEW BEST:: SOT 24782777 SOS 6032338 HAS SOPS 6032338 HAS SOUS 3202406 HAS SOUPS 3202406 WITH SCORE 3208438.338
AT ITER 292 NEW BEST:: SOT 24781579 SOS 6032174 HAS SOPS 6032174 HAS SOUS 3201618 HAS SOUPS 3201618 WITH SCORE 3207650.174
AT ITER 298 NEW BEST:: SOT 24781579 SOS 6030960 HAS SOPS 6030960 HAS SOUS 3201617 HAS SOUPS 3201617 WITH SCORE 3207647.96
AT ITER 318 NEW BEST:: SOT 24779923 SOS 6029304 HAS SOPS 6029304 HAS SOUS 3199961 HAS SOUPS 3199961 WITH SCORE 3205990.304
AT ITER 361 NEW BEST:: SOT 24779808 SOS 6029189 HAS SOPS 6029189 HAS SOUS 3199961 HAS SOUPS 3199961 WITH SCORE 3205990.189
AT ITER 381 NEW BEST:: SOT 24779808 SOS 6028229 HAS SOPS 6028229 HAS SOUS 3199961 HAS SOUPS 3199961 WITH SCORE 3205989.229
AT ITER 391 NEW BEST:: SOT 24778746 SOS 6029982 HAS SOPS 6029982 HAS SOUS 3199818 HAS SOUPS 3199818 WITH SCORE 3205847.982
AT ITER 422 NEW BEST:: SOT 24779401 SOS 6028264 HAS SOPS 6028264 HAS SOUS 3199413 HAS SOUPS 3199413 WITH SCORE 3205441.264
AT ITER 438 NEW BEST:: SOT 24778861 SOS 6028386 HAS SOPS 6028386 HAS SOUS 3199216 HAS SOUPS 3199216 WITH SCORE 3205244.386
AT ITER 444 NEW BEST:: SOT 24777569 SOS 6027094 HAS SOPS 6027094 HAS SOUS 3199216 HAS SOUPS 3199216 WITH SCORE 3205243.094
AT ITER 449 NEW BEST:: SOT 24777097 SOS 6030388 HAS SOPS 6030388 HAS SOUS 3198271 HAS SOUPS 3198271 WITH SCORE 3204301.388
AT ITER 455 NEW BEST:: SOT 24776684 SOS 6029975 HAS SOPS 6029975 HAS SOUS 3197585 HAS SOUPS 3197585 WITH SCORE 3203614.975
AT ITER 481 NEW BEST:: SOT 24776137 SOS 6030522 HAS SOPS 6030522 HAS SOUS 3197086 HAS SOUPS 3197086 WITH SCORE 3203116.522
AT ITER 490 NEW BEST:: SOT 24776137 SOS 6031916 HAS SOPS 6031916 HAS SOUS 3196619 HAS SOUPS 3196619 WITH SCORE 3202650.916
AT ITER 493 NEW BEST:: SOT 24776137 SOS 6030617 HAS SOPS 6030617 HAS SOUS 3196618 HAS SOUPS 3196618 WITH SCORE 3202648.617
AT ITER 507 NEW BEST:: SOT 24776137 SOS 6030616 HAS SOPS 6030616 HAS SOUS 3196022 HAS SOUPS 3196022 WITH SCORE 3202052.616
AT ITER 552 NEW BEST:: SOT 24776137 SOS 6030615 HAS SOPS 6030615 HAS SOUS 3195501 HAS SOUPS 3195501 WITH SCORE 3201531.615
AT ITER 561 NEW BEST:: SOT 24776005 SOS 6030351 HAS SOPS 6030351 HAS SOUS 3195364 HAS SOUPS 3195364 WITH SCORE 3201394.351
AT ITER 570 NEW BEST:: SOT 24775900 SOS 6030350 HAS SOPS 6030350 HAS SOUS 3195363 HAS SOUPS 3195363 WITH SCORE 3201393.35
AT ITER 596 NEW BEST:: SOT 24775135 SOS 6029585 HAS SOPS 6029585 HAS SOUS 3194598 HAS SOUPS 3194598 WITH SCORE 3200627.585
AT ITER 603 NEW BEST:: SOT 24775135 SOS 6031267 HAS SOPS 6031267 HAS SOUS 3194593 HAS SOUPS 3194593 WITH SCORE 3200624.267
AT ITER 608 NEW BEST:: SOT 24775454 SOS 6031904 HAS SOPS 6031904 HAS SOUS 3194412 HAS SOUPS 3194412 WITH SCORE 3200443.904
AT ITER 638 NEW BEST:: SOT 24775454 SOS 6032297 HAS SOPS 6032297 HAS SOUS 3194411 HAS SOUPS 3194411 WITH SCORE 3200443.297
AT ITER 653 NEW BEST:: SOT 24775313 SOS 6032198 HAS SOPS 6032198 HAS SOUS 3194312 HAS SOUPS 3194312 WITH SCORE 3200344.198
AT ITER 659 NEW BEST:: SOT 24775313 SOS 6032198 HAS SOPS 6032198 HAS SOUS 3194310 HAS SOUPS 3194310 WITH SCORE 3200342.198
AT ITER 661 NEW BEST:: SOT 24775110 SOS 6032401 HAS SOPS 6032401 HAS SOUS 3194107 HAS SOUPS 3194107 WITH SCORE 3200139.401
AT ITER 673 NEW BEST:: SOT 24774840 SOS 6032131 HAS SOPS 6032131 HAS SOUS 3193837 HAS SOUPS 3193837 WITH SCORE 3199869.131
AT ITER 684 NEW BEST:: SOT 24774834 SOS 6032119 HAS SOPS 6032119 HAS SOUS 3193147 HAS SOUPS 3193147 WITH SCORE 3199179.119
AT ITER 685 NEW BEST:: SOT 24774615 SOS 6033642 HAS SOPS 6033642 HAS SOUS 3192708 HAS SOUPS 3192708 WITH SCORE 3198741.642
AT ITER 709 NEW BEST:: SOT 24774503 SOS 6033641 HAS SOPS 6033641 HAS SOUS 3192707 HAS SOUPS 3192707 WITH SCORE 3198740.641
AT ITER 726 NEW BEST:: SOT 24774503 SOS 6033522 HAS SOPS 6033522 HAS SOUS 3192707 HAS SOUPS 3192707 WITH SCORE 3198740.522
AT ITER 730 NEW BEST:: SOT 24774469 SOS 6033522 HAS SOPS 6033522 HAS SOUS 3192673 HAS SOUPS 3192673 WITH SCORE 3198706.522
AT ITER 733 NEW BEST:: SOT 24774721 SOS 6033044 HAS SOPS 6033044 HAS SOUS 3192434 HAS SOUPS 3192434 WITH SCORE 3198467.044
AT ITER 753 NEW BEST:: SOT 24774403 SOS 6032726 HAS SOPS 6032726 HAS SOUS 3192116 HAS SOUPS 3192116 WITH SCORE 3198148.726
AT ITER 788 NEW BEST:: SOT 24774980 SOS 6039004 HAS SOPS 6039004 HAS SOUS 3192020 HAS SOUPS 3192020 WITH SCORE 3198059.004
AT ITER 800 NEW BEST:: SOT 24773438 SOS 6038434 HAS SOPS 6038434 HAS SOUS 3191203 HAS SOUPS 3191203 WITH SCORE 3197241.434
AT ITER 804 NEW BEST:: SOT 24772929 SOS 6045479 HAS SOPS 6045479 HAS SOUS 3190184 HAS SOUPS 3190184 WITH SCORE 3196229.479
AT ITER 812 NEW BEST:: SOT 24772057 SOS 6049403 HAS SOPS 6049403 HAS SOUS 3189094 HAS SOUPS 3189094 WITH SCORE 3195143.403
AT ITER 828 NEW BEST:: SOT 24772045 SOS 6049379 HAS SOPS 6049379 HAS SOUS 3189070 HAS SOUPS 3189070 WITH SCORE 3195119.379
AT ITER 830 NEW BEST:: SOT 24771578 SOS 6043775 HAS SOPS 6043775 HAS SOUS 3187669 HAS SOUPS 3187669 WITH SCORE 3193712.775
AT ITER 845 NEW BEST:: SOT 24771578 SOS 6042026 HAS SOPS 6042026 HAS SOUS 3187668 HAS SOUPS 3187668 WITH SCORE 3193710.026
AT ITER 862 NEW BEST:: SOT 24769958 SOS 6040406 HAS SOPS 6040406 HAS SOUS 3186048 HAS SOUPS 3186048 WITH SCORE 3192088.406
AT ITER 881 NEW BEST:: SOT 24769150 SOS 6040085 HAS SOPS 6040085 HAS SOUS 3185905 HAS SOUPS 3185905 WITH SCORE 3191945.085
AT ITER 923 NEW BEST:: SOT 24767824 SOS 6038759 HAS SOPS 6038759 HAS SOUS 3184579 HAS SOUPS 3184579 WITH SCORE 3190617.759
AT ITER 930 NEW BEST:: SOT 24767644 SOS 6038579 HAS SOPS 6038579 HAS SOUS 3184399 HAS SOUPS 3184399 WITH SCORE 3190437.579
AT ITER 937 NEW BEST:: SOT 24767881 SOS 6039053 HAS SOPS 6039053 HAS SOUS 3184123 HAS SOUPS 3184123 WITH SCORE 3190162.053
AT ITER 958 NEW BEST:: SOT 24767881 SOS 6039053 HAS SOPS 6039053 HAS SOUS 3184121 HAS SOUPS 3184121 WITH SCORE 3190160.053
AT ITER 961 NEW BEST:: SOT 24767880 SOS 6039051 HAS SOPS 6039051 HAS SOUS 3184119 HAS SOUPS 3184119 WITH SCORE 3190158.051
AT ITER 964 NEW BEST:: SOT 24767582 SOS 6039633 HAS SOPS 6039633 HAS SOUS 3183819 HAS SOUPS 3183819 WITH SCORE 3189858.633
AT ITER 965 NEW BEST:: SOT 24765780 SOS 6037831 HAS SOPS 6037831 HAS SOUS 3182017 HAS SOUPS 3182017 WITH SCORE 3188054.831
AT ITER 971 NEW BEST:: SOT 24765185 SOS 6038426 HAS SOPS 6038426 HAS SOUS 3181715 HAS SOUPS 3181715 WITH SCORE 3187753.426
AT ITER 972 NEW BEST:: SOT 24765202 SOS 6038456 HAS SOPS 6038456 HAS SOUS 3181714 HAS SOUPS 3181714 WITH SCORE 3187752.456
AT ITER 998 NEW BEST:: SOT 24765298 SOS 6038648 HAS SOPS 6038648 HAS SOUS 3181681 HAS SOUPS 3181681 WITH SCORE 3187719.648
AT ITER 1000 NEW BEST:: SOT 24765371 SOS 6038794 HAS SOPS 6038794 HAS SOUS 3181284 HAS SOUPS 3181284 WITH SCORE 3187322.794
AT ITER 1003 NEW BEST:: SOT 24765371 SOS 6041318 HAS SOPS 6041318 HAS SOUS 3181006 HAS SOUPS 3181006 WITH SCORE 3187047.318
AT ITER 1017 NEW BEST:: SOT 24764130 SOS 6039526 HAS SOPS 6039526 HAS SOUS 3179075 HAS SOUPS 3179075 WITH SCORE 3185114.526
AT ITER 1050 NEW BEST:: SOT 24763485 SOS 6040543 HAS SOPS 6040543 HAS SOUS 3178491 HAS SOUPS 3178491 WITH SCORE 3184531.543
AT ITER 1071 NEW BEST:: SOT 24763485 SOS 6040522 HAS SOPS 6040522 HAS SOUS 3178470 HAS SOUPS 3178470 WITH SCORE 3184510.522
AT ITER 1097 NEW BEST:: SOT 24763351 SOS 6040254 HAS SOPS 6040254 HAS SOUS 3178202 HAS SOUPS 3178202 WITH SCORE 3184242.254
AT ITER 1103 NEW BEST:: SOT 24763137 SOS 6040040 HAS SOPS 6040040 HAS SOUS 3177988 HAS SOUPS 3177988 WITH SCORE 3184028.04
AT ITER 1108 NEW BEST:: SOT 24763137 SOS 6040030 HAS SOPS 6040030 HAS SOUS 3177988 HAS SOUPS 3177988 WITH SCORE 3184028.03
AT ITER 1117 NEW BEST:: SOT 24762166 SOS 6039098 HAS SOPS 6039098 HAS SOUS 3177056 HAS SOUPS 3177056 WITH SCORE 3183095.098
AT ITER 1135 NEW BEST:: SOT 24762166 SOS 6039098 HAS SOPS 6039098 HAS SOUS 3177040 HAS SOUPS 3177040 WITH SCORE 3183079.098
AT ITER 1149 NEW BEST:: SOT 24761939 SOS 6038417 HAS SOPS 6038417 HAS SOUS 3176586 HAS SOUPS 3176586 WITH SCORE 3182624.417
AT ITER 1153 NEW BEST:: SOT 24762554 SOS 6039647 HAS SOPS 6039647 HAS SOUS 3176156 HAS SOUPS 3176156 WITH SCORE 3182195.647
AT ITER 1166 NEW BEST:: SOT 24761881 SOS 6033587 HAS SOPS 6033587 HAS SOUS 3174809 HAS SOUPS 3174809 WITH SCORE 3180842.587
AT ITER 1188 NEW BEST:: SOT 24761770 SOS 6033365 HAS SOPS 6033365 HAS SOUS 3174698 HAS SOUPS 3174698 WITH SCORE 3180731.365
AT ITER 1189 NEW BEST:: SOT 24761401 SOS 6032627 HAS SOPS 6032627 HAS SOUS 3174327 HAS SOUPS 3174327 WITH SCORE 3180359.627
AT ITER 1192 NEW BEST:: SOT 24761278 SOS 6032504 HAS SOPS 6032504 HAS SOUS 3174204 HAS SOUPS 3174204 WITH SCORE 3180236.504
AT ITER 1196 NEW BEST:: SOT 24760873 SOS 6032250 HAS SOPS 6032250 HAS SOUS 3173950 HAS SOUPS 3173950 WITH SCORE 3179982.25
AT ITER 1197 NEW BEST:: SOT 24760266 SOS 6031036 HAS SOPS 6031036 HAS SOUS 3172904 HAS SOUPS 3172904 WITH SCORE 3178935.036
AT ITER 1230 NEW BEST:: SOT 24760622 SOS 6033024 HAS SOPS 6033024 HAS SOUS 3172561 HAS SOUPS 3172561 WITH SCORE 3178594.024
AT ITER 1255 NEW BEST:: SOT 24760622 SOS 6036165 HAS SOPS 6036165 HAS SOUS 3172212 HAS SOUPS 3172212 WITH SCORE 3178248.165
AT ITER 1256 NEW BEST:: SOT 24760621 SOS 6036163 HAS SOPS 6036163 HAS SOUS 3172210 HAS SOUPS 3172210 WITH SCORE 3178246.163
AT ITER 1283 NEW BEST:: SOT 24759709 SOS 6035707 HAS SOPS 6035707 HAS SOUS 3171754 HAS SOUPS 3171754 WITH SCORE 3177789.707
AT ITER 1364 NEW BEST:: SOT 24758706 SOS 6023900 HAS SOPS 6023900 HAS SOUS 3169748 HAS SOUPS 3169748 WITH SCORE 3175771.9
AT ITER 1369 NEW BEST:: SOT 24759073 SOS 6022813 HAS SOPS 6022813 HAS SOUS 3169691 HAS SOUPS 3169691 WITH SCORE 3175713.813
AT ITER 1370 NEW BEST:: SOT 24758108 SOS 6028254 HAS SOPS 6028254 HAS SOUS 3169377 HAS SOUPS 3169377 WITH SCORE 3175405.254
AT ITER 1395 NEW BEST:: SOT 24758107 SOS 6028252 HAS SOPS 6028252 HAS SOUS 3169375 HAS SOUPS 3169375 WITH SCORE 3175403.252
AT ITER 1396 NEW BEST:: SOT 24758022 SOS 6028334 HAS SOPS 6028334 HAS SOUS 3169289 HAS SOUPS 3169289 WITH SCORE 3175317.334
AT ITER 1416 NEW BEST:: SOT 24758022 SOS 6028333 HAS SOPS 6028333 HAS SOUS 3169288 HAS SOUPS 3169288 WITH SCORE 3175316.333
AT ITER 1435 NEW BEST:: SOT 24757807 SOS 6028753 HAS SOPS 6028753 HAS SOUS 3169287 HAS SOUPS 3169287 WITH SCORE 3175315.753
AT ITER 1437 NEW BEST:: SOT 24757912 SOS 6027999 HAS SOPS 6027999 HAS SOUS 3168910 HAS SOUPS 3168910 WITH SCORE 3174937.999
AT ITER 1440 NEW BEST:: SOT 24757445 SOS 6026598 HAS SOPS 6026598 HAS SOUS 3167976 HAS SOUPS 3167976 WITH SCORE 3174002.598
AT ITER 1446 NEW BEST:: SOT 24756259 SOS 6026005 HAS SOPS 6026005 HAS SOUS 3167383 HAS SOUPS 3167383 WITH SCORE 3173409.005
AT ITER 1465 NEW BEST:: SOT 24755964 SOS 6025415 HAS SOPS 6025415 HAS SOUS 3165503 HAS SOUPS 3165503 WITH SCORE 3171528.415
AT ITER 1470 NEW BEST:: SOT 24755964 SOS 6023876 HAS SOPS 6023876 HAS SOUS 3164990 HAS SOUPS 3164990 WITH SCORE 3171013.876
AT ITER 1482 NEW BEST:: SOT 24755668 SOS 6025062 HAS SOPS 6025062 HAS SOUS 3164692 HAS SOUPS 3164692 WITH SCORE 3170717.062
AT ITER 1495 NEW BEST:: SOT 24755668 SOS 6024162 HAS SOPS 6024162 HAS SOUS 3164690 HAS SOUPS 3164690 WITH SCORE 3170714.162
AT ITER 1497 NEW BEST:: SOT 24755384 SOS 6026384 HAS SOPS 6026384 HAS SOUS 3164406 HAS SOUPS 3164406 WITH SCORE 3170432.384
AT ITER 1560 NEW BEST:: SOT 24755383 SOS 6026382 HAS SOPS 6026382 HAS SOUS 3164404 HAS SOUPS 3164404 WITH SCORE 3170430.382
AT ITER 1565 NEW BEST:: SOT 24754549 SOS 6026372 HAS SOPS 6026372 HAS SOUS 3163877 HAS SOUPS 3163877 WITH SCORE 3169903.372
AT ITER 1579 NEW BEST:: SOT 24755026 SOS 6029705 HAS SOPS 6029705 HAS SOUS 3163790 HAS SOUPS 3163790 WITH SCORE 3169819.705
AT ITER 1583 NEW BEST:: SOT 24755026 SOS 6029941 HAS SOPS 6029941 HAS SOUS 3163788 HAS SOUPS 3163788 WITH SCORE 3169817.941
AT ITER 1587 NEW BEST:: SOT 24755026 SOS 6028513 HAS SOPS 6028513 HAS SOUS 3163788 HAS SOUPS 3163788 WITH SCORE 3169816.513
AT ITER 1598 NEW BEST:: SOT 24754561 SOS 6027583 HAS SOPS 6027583 HAS SOUS 3162536 HAS SOUPS 3162536 WITH SCORE 3168563.583
AT ITER 1603 NEW BEST:: SOT 24754558 SOS 6027577 HAS SOPS 6027577 HAS SOUS 3162530 HAS SOUPS 3162530 WITH SCORE 3168557.577
AT ITER 1632 NEW BEST:: SOT 24754494 SOS 6030839 HAS SOPS 6030839 HAS SOUS 3162402 HAS SOUPS 3162402 WITH SCORE 3168432.839
AT ITER 1642 NEW BEST:: SOT 24754788 SOS 6030325 HAS SOPS 6030325 HAS SOUS 3162145 HAS SOUPS 3162145 WITH SCORE 3168175.325
AT ITER 1645 NEW BEST:: SOT 24754788 SOS 6030325 HAS SOPS 6030325 HAS SOUS 3162144 HAS SOUPS 3162144 WITH SCORE 3168174.325
AT ITER 1648 NEW BEST:: SOT 24754730 SOS 6030209 HAS SOPS 6030209 HAS SOUS 3162086 HAS SOUPS 3162086 WITH SCORE 3168116.209
AT ITER 1654 NEW BEST:: SOT 24753321 SOS 6027391 HAS SOPS 6027391 HAS SOUS 3159268 HAS SOUPS 3159268 WITH SCORE 3165295.391
AT ITER 1665 NEW BEST:: SOT 24753222 SOS 6027292 HAS SOPS 6027292 HAS SOUS 3159169 HAS SOUPS 3159169 WITH SCORE 3165196.292
AT ITER 1671 NEW BEST:: SOT 24752494 SOS 6027441 HAS SOPS 6027441 HAS SOUS 3158887 HAS SOUPS 3158887 WITH SCORE 3164914.441
AT ITER 1701 NEW BEST:: SOT 24752494 SOS 6027441 HAS SOPS 6027441 HAS SOUS 3158886 HAS SOUPS 3158886 WITH SCORE 3164913.441
AT ITER 1705 NEW BEST:: SOT 24752494 SOS 6027160 HAS SOPS 6027160 HAS SOUS 3158605 HAS SOUPS 3158605 WITH SCORE 3164632.16
AT ITER 1715 NEW BEST:: SOT 24752196 SOS 6024180 HAS SOPS 6024180 HAS SOUS 3158009 HAS SOUPS 3158009 WITH SCORE 3164033.18
AT ITER 1721 NEW BEST:: SOT 24752037 SOS 6025283 HAS SOPS 6025283 HAS SOUS 3157690 HAS SOUPS 3157690 WITH SCORE 3163715.283
AT ITER 1725 NEW BEST:: SOT 24751399 SOS 6024007 HAS SOPS 6024007 HAS SOUS 3156414 HAS SOUPS 3156414 WITH SCORE 3162438.007
AT ITER 1726 NEW BEST:: SOT 24750844 SOS 6023321 HAS SOPS 6023321 HAS SOUS 3155728 HAS SOUPS 3155728 WITH SCORE 3161751.321
AT ITER 1730 NEW BEST:: SOT 24750909 SOS 6029543 HAS SOPS 6029543 HAS SOUS 3155490 HAS SOUPS 3155490 WITH SCORE 3161519.543
AT ITER 1746 NEW BEST:: SOT 24750358 SOS 6028441 HAS SOPS 6028441 HAS SOUS 3154388 HAS SOUPS 3154388 WITH SCORE 3160416.441
AT ITER 1749 NEW BEST:: SOT 24748767 SOS 6027031 HAS SOPS 6027031 HAS SOUS 3152797 HAS SOUPS 3152797 WITH SCORE 3158824.031
AT ITER 1750 NEW BEST:: SOT 24748767 SOS 6027031 HAS SOPS 6027031 HAS SOUS 3151498 HAS SOUPS 3151498 WITH SCORE 3157525.031
AT ITER 1754 NEW BEST:: SOT 24748129 SOS 6027270 HAS SOPS 6027270 HAS SOUS 3151364 HAS SOUPS 3151364 WITH SCORE 3157391.27
AT ITER 1763 NEW BEST:: SOT 24747925 SOS 6026862 HAS SOPS 6026862 HAS SOUS 3151160 HAS SOUPS 3151160 WITH SCORE 3157186.862
AT ITER 1782 NEW BEST:: SOT 24747388 SOS 6027399 HAS SOPS 6027399 HAS SOUS 3150623 HAS SOUPS 3150623 WITH SCORE 3156650.399
AT ITER 1790 NEW BEST:: SOT 24747388 SOS 6028709 HAS SOPS 6028709 HAS SOUS 3150621 HAS SOUPS 3150621 WITH SCORE 3156649.709
AT ITER 1808 NEW BEST:: SOT 24747383 SOS 6028699 HAS SOPS 6028699 HAS SOUS 3150611 HAS SOUPS 3150611 WITH SCORE 3156639.699
AT ITER 1863 NEW BEST:: SOT 24746435 SOS 6027752 HAS SOPS 6027752 HAS SOUS 3149608 HAS SOUPS 3149608 WITH SCORE 3155635.752
AT ITER 1870 NEW BEST:: SOT 24746658 SOS 6027689 HAS SOPS 6027689 HAS SOUS 3149545 HAS SOUPS 3149545 WITH SCORE 3155572.689
AT ITER 1878 NEW BEST:: SOT 24746096 SOS 6028157 HAS SOPS 6028157 HAS SOUS 3148996 HAS SOUPS 3148996 WITH SCORE 3155024.157
AT ITER 1880 NEW BEST:: SOT 24745486 SOS 6027547 HAS SOPS 6027547 HAS SOUS 3148386 HAS SOUPS 3148386 WITH SCORE 3154413.547
AT ITER 1889 NEW BEST:: SOT 24745485 SOS 6028920 HAS SOPS 6028920 HAS SOUS 3148383 HAS SOUPS 3148383 WITH SCORE 3154411.92
AT ITER 1910 NEW BEST:: SOT 24745101 SOS 6028910 HAS SOPS 6028910 HAS SOUS 3148190 HAS SOUPS 3148190 WITH SCORE 3154218.91
AT ITER 1945 NEW BEST:: SOT 24745357 SOS 6032178 HAS SOPS 6032178 HAS SOUS 3147966 HAS SOUPS 3147966 WITH SCORE 3153998.178
AT ITER 1991 NEW BEST:: SOT 24744958 SOS 6031104 HAS SOPS 6031104 HAS SOUS 3146892 HAS SOUPS 3146892 WITH SCORE 3152923.104
AT ITER 2016 NEW BEST:: SOT 24744950 SOS 6031088 HAS SOPS 6031088 HAS SOUS 3146884 HAS SOUPS 3146884 WITH SCORE 3152915.088
AT ITER 2023 NEW BEST:: SOT 24744950 SOS 6031088 HAS SOPS 6031088 HAS SOUS 3146883 HAS SOUPS 3146883 WITH SCORE 3152914.088
AT ITER 2029 NEW BEST:: SOT 24744950 SOS 6031418 HAS SOPS 6031418 HAS SOUS 3146881 HAS SOUPS 3146881 WITH SCORE 3152912.418
AT ITER 2031 NEW BEST:: SOT 24744473 SOS 6031895 HAS SOPS 6031895 HAS SOUS 3146404 HAS SOUPS 3146404 WITH SCORE 3152435.895
AT ITER 2032 NEW BEST:: SOT 24745036 SOS 6030516 HAS SOPS 6030516 HAS SOUS 3146344 HAS SOUPS 3146344 WITH SCORE 3152374.516
AT ITER 2042 NEW BEST:: SOT 24745107 SOS 6029722 HAS SOPS 6029722 HAS SOUS 3146209 HAS SOUPS 3146209 WITH SCORE 3152238.722
AT ITER 2046 NEW BEST:: SOT 24744165 SOS 6027838 HAS SOPS 6027838 HAS SOUS 3143920 HAS SOUPS 3143920 WITH SCORE 3149947.838
AT ITER 2054 NEW BEST:: SOT 24744164 SOS 6027836 HAS SOPS 6027836 HAS SOUS 3143918 HAS SOUPS 3143918 WITH SCORE 3149945.836
AT ITER 2068 NEW BEST:: SOT 24744099 SOS 6027706 HAS SOPS 6027706 HAS SOUS 3143788 HAS SOUPS 3143788 WITH SCORE 3149815.706
AT ITER 2081 NEW BEST:: SOT 24743761 SOS 6027703 HAS SOPS 6027703 HAS SOUS 3143449 HAS SOUPS 3143449 WITH SCORE 3149476.703
AT ITER 2083 NEW BEST:: SOT 24743761 SOS 6027975 HAS SOPS 6027975 HAS SOUS 3143448 HAS SOUPS 3143448 WITH SCORE 3149475.975
AT ITER 2093 NEW BEST:: SOT 24743469 SOS 6028267 HAS SOPS 6028267 HAS SOUS 3143156 HAS SOUPS 3143156 WITH SCORE 3149184.267
AT ITER 2118 NEW BEST:: SOT 24743192 SOS 6027713 HAS SOPS 6027713 HAS SOUS 3142889 HAS SOUPS 3142889 WITH SCORE 3148916.713
AT ITER 2132 NEW BEST:: SOT 24743090 SOS 6027913 HAS SOPS 6027913 HAS SOUS 3142786 HAS SOUPS 3142786 WITH SCORE 3148813.913
AT ITER 2164 NEW BEST:: SOT 24742699 SOS 6028300 HAS SOPS 6028300 HAS SOUS 3142003 HAS SOUPS 3142003 WITH SCORE 3148031.3
AT ITER 2180 NEW BEST:: SOT 24742212 SOS 6028733 HAS SOPS 6028733 HAS SOUS 3140568 HAS SOUPS 3140568 WITH SCORE 3146596.733
AT ITER 2210 NEW BEST:: SOT 24742224 SOS 6030381 HAS SOPS 6030381 HAS SOUS 3140364 HAS SOUPS 3140364 WITH SCORE 3146394.381
AT ITER 2214 NEW BEST:: SOT 24742223 SOS 6030379 HAS SOPS 6030379 HAS SOUS 3140362 HAS SOUPS 3140362 WITH SCORE 3146392.379
AT ITER 2216 NEW BEST:: SOT 24742025 SOS 6029587 HAS SOPS 6029587 HAS SOUS 3139966 HAS SOUPS 3139966 WITH SCORE 3145995.587
AT ITER 2219 NEW BEST:: SOT 24741819 SOS 6029556 HAS SOPS 6029556 HAS SOUS 3139007 HAS SOUPS 3139007 WITH SCORE 3145036.556
AT ITER 2241 NEW BEST:: SOT 24741819 SOS 6029556 HAS SOPS 6029556 HAS SOUS 3138772 HAS SOUPS 3138772 WITH SCORE 3144801.556
AT ITER 2267 NEW BEST:: SOT 24740717 SOS 6028743 HAS SOPS 6028743 HAS SOUS 3137778 HAS SOUPS 3137778 WITH SCORE 3143806.743
AT ITER 2277 NEW BEST:: SOT 24741023 SOS 6035489 HAS SOPS 6035489 HAS SOUS 3137059 HAS SOUPS 3137059 WITH SCORE 3143094.489
AT ITER 2278 NEW BEST:: SOT 24741215 SOS 6035869 HAS SOPS 6035869 HAS SOUS 3137058 HAS SOUPS 3137058 WITH SCORE 3143093.869
AT ITER 2295 NEW BEST:: SOT 24741215 SOS 6035551 HAS SOPS 6035551 HAS SOUS 3136740 HAS SOUPS 3136740 WITH SCORE 3142775.551
AT ITER 2336 NEW BEST:: SOT 24741215 SOS 6034351 HAS SOPS 6034351 HAS SOUS 3136340 HAS SOUPS 3136340 WITH SCORE 3142374.351
AT ITER 2337 NEW BEST:: SOT 24740759 SOS 6032795 HAS SOPS 6032795 HAS SOUS 3135574 HAS SOUPS 3135574 WITH SCORE 3141606.795
AT ITER 2347 NEW BEST:: SOT 24740316 SOS 6031401 HAS SOPS 6031401 HAS SOUS 3134684 HAS SOUPS 3134684 WITH SCORE 3140715.401
AT ITER 2358 NEW BEST:: SOT 24738990 SOS 6023445 HAS SOPS 6023445 HAS SOUS 3132695 HAS SOUPS 3132695 WITH SCORE 3138718.445
AT ITER 2388 NEW BEST:: SOT 24738583 SOS 6022630 HAS SOPS 6022630 HAS SOUS 3131880 HAS SOUPS 3131880 WITH SCORE 3137902.63
AT ITER 2397 NEW BEST:: SOT 24738553 SOS 6022540 HAS SOPS 6022540 HAS SOUS 3131820 HAS SOUPS 3131820 WITH SCORE 3137842.54
AT ITER 2406 NEW BEST:: SOT 24738432 SOS 6022056 HAS SOPS 6022056 HAS SOUS 3131699 HAS SOUPS 3131699 WITH SCORE 3137721.056
AT ITER 2432 NEW BEST:: SOT 24738723 SOS 6021060 HAS SOPS 6021060 HAS SOUS 3131609 HAS SOUPS 3131609 WITH SCORE 3137630.06
AT ITER 2437 NEW BEST:: SOT 24738111 SOS 6020848 HAS SOPS 6020848 HAS SOUS 3131397 HAS SOUPS 3131397 WITH SCORE 3137417.848
AT ITER 2442 NEW BEST:: SOT 24738111 SOS 6020848 HAS SOPS 6020848 HAS SOUS 3131395 HAS SOUPS 3131395 WITH SCORE 3137415.848
AT ITER 2451 NEW BEST:: SOT 24737727 SOS 6020328 HAS SOPS 6020328 HAS SOUS 3131175 HAS SOUPS 3131175 WITH SCORE 3137195.328
AT ITER 2476 NEW BEST:: SOT 24736630 SOS 6021846 HAS SOPS 6021846 HAS SOUS 3130938 HAS SOUPS 3130938 WITH SCORE 3136959.846
AT ITER 2498 NEW BEST:: SOT 24736368 SOS 6021844 HAS SOPS 6021844 HAS SOUS 3130850 HAS SOUPS 3130850 WITH SCORE 3136871.844
AT ITER 2522 NEW BEST:: SOT 24736368 SOS 6021844 HAS SOPS 6021844 HAS SOUS 3130848 HAS SOUPS 3130848 WITH SCORE 3136869.844
AT ITER 2527 NEW BEST:: SOT 24736368 SOS 6021844 HAS SOPS 6021844 HAS SOUS 3130416 HAS SOUPS 3130416 WITH SCORE 3136437.844
AT ITER 2564 NEW BEST:: SOT 24736365 SOS 6021744 HAS SOPS 6021744 HAS SOUS 3130316 HAS SOUPS 3130316 WITH SCORE 3136337.744
AT ITER 2569 NEW BEST:: SOT 24736076 SOS 6021166 HAS SOPS 6021166 HAS SOUS 3130027 HAS SOUPS 3130027 WITH SCORE 3136048.166
AT ITER 2571 NEW BEST:: SOT 24736209 SOS 6018987 HAS SOPS 6018987 HAS SOUS 3129411 HAS SOUPS 3129411 WITH SCORE 3135429.987
AT ITER 2593 NEW BEST:: SOT 24735723 SOS 6019469 HAS SOPS 6019469 HAS SOUS 3128438 HAS SOUPS 3128438 WITH SCORE 3134457.469
AT ITER 2602 NEW BEST:: SOT 24734884 SOS 6019469 HAS SOPS 6019469 HAS SOUS 3127307 HAS SOUPS 3127307 WITH SCORE 3133326.469
AT ITER 2641 NEW BEST:: SOT 24733649 SOS 6018234 HAS SOPS 6018234 HAS SOUS 3126072 HAS SOUPS 3126072 WITH SCORE 3132090.234
AT ITER 2646 NEW BEST:: SOT 24731849 SOS 6015545 HAS SOPS 6015545 HAS SOUS 3123383 HAS SOUPS 3123383 WITH SCORE 3129398.545
AT ITER 2648 NEW BEST:: SOT 24731849 SOS 6015545 HAS SOPS 6015545 HAS SOUS 3123382 HAS SOUPS 3123382 WITH SCORE 3129397.545
AT ITER 2673 NEW BEST:: SOT 24731559 SOS 6016153 HAS SOPS 6016153 HAS SOUS 3123092 HAS SOUPS 3123092 WITH SCORE 3129108.153
AT ITER 2683 NEW BEST:: SOT 24731043 SOS 6016666 HAS SOPS 6016666 HAS SOUS 3122575 HAS SOUPS 3122575 WITH SCORE 3128591.666
AT ITER 2713 NEW BEST:: SOT 24730724 SOS 6018439 HAS SOPS 6018439 HAS SOUS 3122210 HAS SOUPS 3122210 WITH SCORE 3128228.439
AT ITER 2719 NEW BEST:: SOT 24730668 SOS 6018411 HAS SOPS 6018411 HAS SOUS 3122182 HAS SOUPS 3122182 WITH SCORE 3128200.411
AT ITER 2727 NEW BEST:: SOT 24730615 SOS 6020102 HAS SOPS 6020102 HAS SOUS 3122075 HAS SOUPS 3122075 WITH SCORE 3128095.102
AT ITER 2769 NEW BEST:: SOT 24730367 SOS 6021047 HAS SOPS 6021047 HAS SOUS 3121987 HAS SOUPS 3121987 WITH SCORE 3128008.047
AT ITER 2783 NEW BEST:: SOT 24730367 SOS 6020542 HAS SOPS 6020542 HAS SOUS 3121482 HAS SOUPS 3121482 WITH SCORE 3127502.542
AT ITER 2826 NEW BEST:: SOT 24729726 SOS 6019260 HAS SOPS 6019260 HAS SOUS 3120200 HAS SOUPS 3120200 WITH SCORE 3126219.26
AT ITER 2831 NEW BEST:: SOT 24729716 SOS 6019240 HAS SOPS 6019240 HAS SOUS 3120180 HAS SOUPS 3120180 WITH SCORE 3126199.24
AT ITER 2873 NEW BEST:: SOT 24729716 SOS 6018871 HAS SOPS 6018871 HAS SOUS 3120180 HAS SOUPS 3120180 WITH SCORE 3126198.871
AT ITER 2884 NEW BEST:: SOT 24730028 SOS 6022276 HAS SOPS 6022276 HAS SOUS 3119411 HAS SOUPS 3119411 WITH SCORE 3125433.276
AT ITER 2889 NEW BEST:: SOT 24729278 SOS 6020710 HAS SOPS 6020710 HAS SOUS 3118457 HAS SOUPS 3118457 WITH SCORE 3124477.71
AT ITER 2896 NEW BEST:: SOT 24729058 SOS 6020270 HAS SOPS 6020270 HAS SOUS 3118237 HAS SOUPS 3118237 WITH SCORE 3124257.27
AT ITER 2897 NEW BEST:: SOT 24729058 SOS 6019229 HAS SOPS 6019229 HAS SOUS 3118236 HAS SOUPS 3118236 WITH SCORE 3124255.229
AT ITER 2917 NEW BEST:: SOT 24728789 SOS 6019219 HAS SOPS 6019219 HAS SOUS 3118069 HAS SOUPS 3118069 WITH SCORE 3124088.219
AT ITER 2928 NEW BEST:: SOT 24727557 SOS 6019219 HAS SOPS 6019219 HAS SOUS 3116318 HAS SOUPS 3116318 WITH SCORE 3122337.219
AT ITER 2948 NEW BEST:: SOT 24727428 SOS 6018961 HAS SOPS 6018961 HAS SOUS 3116060 HAS SOUPS 3116060 WITH SCORE 3122078.961
AT ITER 2953 NEW BEST:: SOT 24726921 SOS 6018460 HAS SOPS 6018460 HAS SOUS 3115553 HAS SOUPS 3115553 WITH SCORE 3121571.46
AT ITER 2964 NEW BEST:: SOT 24724324 SOS 6021386 HAS SOPS 6021386 HAS SOUS 3113059 HAS SOUPS 3113059 WITH SCORE 3119080.386
AT ITER 2986 NEW BEST:: SOT 24724281 SOS 6021300 HAS SOPS 6021300 HAS SOUS 3112973 HAS SOUPS 3112973 WITH SCORE 3118994.3
AT ITER 3002 NEW BEST:: SOT 24724520 SOS 6020822 HAS SOPS 6020822 HAS SOUS 3112973 HAS SOUPS 3112973 WITH SCORE 3118993.822
AT ITER 3012 NEW BEST:: SOT 24724520 SOS 6021013 HAS SOPS 6021013 HAS SOUS 3112494 HAS SOUPS 3112494 WITH SCORE 3118515.013
AT ITER 3046 NEW BEST:: SOT 24724361 SOS 6021012 HAS SOPS 6021012 HAS SOUS 3112493 HAS SOUPS 3112493 WITH SCORE 3118514.012
AT ITER 3054 NEW BEST:: SOT 24723942 SOS 6020174 HAS SOPS 6020174 HAS SOUS 3110918 HAS SOUPS 3110918 WITH SCORE 3116938.174
AT ITER 3070 NEW BEST:: SOT 24723907 SOS 6020100 HAS SOPS 6020100 HAS SOUS 3110847 HAS SOUPS 3110847 WITH SCORE 3116867.1
AT ITER 3075 NEW BEST:: SOT 24723437 SOS 6019160 HAS SOPS 6019160 HAS SOUS 3110545 HAS SOUPS 3110545 WITH SCORE 3116564.16
AT ITER 3081 NEW BEST:: SOT 24722875 SOS 6019292 HAS SOPS 6019292 HAS SOUS 3110354 HAS SOUPS 3110354 WITH SCORE 3116373.292
AT ITER 3083 NEW BEST:: SOT 24723234 SOS 6017580 HAS SOPS 6017580 HAS SOUS 3110082 HAS SOUPS 3110082 WITH SCORE 3116099.58
AT ITER 3090 NEW BEST:: SOT 24723230 SOS 6017572 HAS SOPS 6017572 HAS SOUS 3110074 HAS SOUPS 3110074 WITH SCORE 3116091.572
AT ITER 3103 NEW BEST:: SOT 24722656 SOS 6016424 HAS SOPS 6016424 HAS SOUS 3108632 HAS SOUPS 3108632 WITH SCORE 3114648.424
AT ITER 3118 NEW BEST:: SOT 24722288 SOS 6016424 HAS SOPS 6016424 HAS SOUS 3108357 HAS SOUPS 3108357 WITH SCORE 3114373.424
AT ITER 3133 NEW BEST:: SOT 24721858 SOS 6012951 HAS SOPS 6012951 HAS SOUS 3107497 HAS SOUPS 3107497 WITH SCORE 3113509.951
AT ITER 3143 NEW BEST:: SOT 24721035 SOS 6012160 HAS SOPS 6012160 HAS SOUS 3106706 HAS SOUPS 3106706 WITH SCORE 3112718.16
AT ITER 3148 NEW BEST:: SOT 24720512 SOS 6012679 HAS SOPS 6012679 HAS SOUS 3105659 HAS SOUPS 3105659 WITH SCORE 3111671.679
AT ITER 3159 NEW BEST:: SOT 24720512 SOS 6012527 HAS SOPS 6012527 HAS SOUS 3105507 HAS SOUPS 3105507 WITH SCORE 3111519.527
AT ITER 3171 NEW BEST:: SOT 24720512 SOS 6008351 HAS SOPS 6008351 HAS SOUS 3105357 HAS SOUPS 3105357 WITH SCORE 3111365.351
AT ITER 3183 NEW BEST:: SOT 24720512 SOS 6008971 HAS SOPS 6008971 HAS SOUS 3105355 HAS SOUPS 3105355 WITH SCORE 3111363.971
AT ITER 3195 NEW BEST:: SOT 24719670 SOS 6008253 HAS SOPS 6008253 HAS SOUS 3104637 HAS SOUPS 3104637 WITH SCORE 3110645.253
AT ITER 3221 NEW BEST:: SOT 24718151 SOS 6007227 HAS SOPS 6007227 HAS SOUS 3103426 HAS SOUPS 3103426 WITH SCORE 3109433.227
AT ITER 3233 NEW BEST:: SOT 24718151 SOS 6007799 HAS SOPS 6007799 HAS SOUS 3103425 HAS SOUPS 3103425 WITH SCORE 3109432.799
AT ITER 3251 NEW BEST:: SOT 24717779 SOS 6005567 HAS SOPS 6005567 HAS SOUS 3102867 HAS SOUPS 3102867 WITH SCORE 3108872.567
AT ITER 3305 NEW BEST:: SOT 24717779 SOS 6005567 HAS SOPS 6005567 HAS SOUS 3102595 HAS SOUPS 3102595 WITH SCORE 3108600.567
AT ITER 3311 NEW BEST:: SOT 24716641 SOS 6003852 HAS SOPS 6003852 HAS SOUS 3101586 HAS SOUPS 3101586 WITH SCORE 3107589.852
AT ITER 3322 NEW BEST:: SOT 24716626 SOS 6003822 HAS SOPS 6003822 HAS SOUS 3101569 HAS SOUPS 3101569 WITH SCORE 3107572.822
AT ITER 3364 NEW BEST:: SOT 24716181 SOS 6002932 HAS SOPS 6002932 HAS SOUS 3100673 HAS SOUPS 3100673 WITH SCORE 3106675.932
AT ITER 3389 NEW BEST:: SOT 24715627 SOS 6002932 HAS SOPS 6002932 HAS SOUS 3100119 HAS SOUPS 3100119 WITH SCORE 3106121.932
AT ITER 3431 NEW BEST:: SOT 24712251 SOS 6005604 HAS SOPS 6005604 HAS SOUS 3096928 HAS SOUPS 3096928 WITH SCORE 3102933.604
AT ITER 3439 NEW BEST:: SOT 24712251 SOS 6005865 HAS SOPS 6005865 HAS SOUS 3096926 HAS SOUPS 3096926 WITH SCORE 3102931.865
AT ITER 3442 NEW BEST:: SOT 24711969 SOS 6006882 HAS SOPS 6006882 HAS SOUS 3095747 HAS SOUPS 3095747 WITH SCORE 3101753.882
AT ITER 3458 NEW BEST:: SOT 24711968 SOS 6006880 HAS SOPS 6006880 HAS SOUS 3095745 HAS SOUPS 3095745 WITH SCORE 3101751.88
AT ITER 3489 NEW BEST:: SOT 24711660 SOS 6006572 HAS SOPS 6006572 HAS SOUS 3095437 HAS SOUPS 3095437 WITH SCORE 3101443.572
AT ITER 3504 NEW BEST:: SOT 24711402 SOS 6008368 HAS SOPS 6008368 HAS SOUS 3094920 HAS SOUPS 3094920 WITH SCORE 3100928.368
AT ITER 3517 NEW BEST:: SOT 24711035 SOS 6007634 HAS SOPS 6007634 HAS SOUS 3094370 HAS SOUPS 3094370 WITH SCORE 3100377.634
AT ITER 3523 NEW BEST:: SOT 24710784 SOS 6014701 HAS SOPS 6014701 HAS SOUS 3094119 HAS SOUPS 3094119 WITH SCORE 3100133.701
AT ITER 3561 NEW BEST:: SOT 24710840 SOS 6014813 HAS SOPS 6014813 HAS SOUS 3093264 HAS SOUPS 3093264 WITH SCORE 3099278.813
AT ITER 3568 NEW BEST:: SOT 24710282 SOS 6014252 HAS SOPS 6014252 HAS SOUS 3092705 HAS SOUPS 3092705 WITH SCORE 3098719.252
AT ITER 3577 NEW BEST:: SOT 24710403 SOS 6014494 HAS SOPS 6014494 HAS SOUS 3091358 HAS SOUPS 3091358 WITH SCORE 3097372.494
AT ITER 3586 NEW BEST:: SOT 24710370 SOS 6014428 HAS SOPS 6014428 HAS SOUS 3091292 HAS SOUPS 3091292 WITH SCORE 3097306.428
AT ITER 3608 NEW BEST:: SOT 24710370 SOS 6015084 HAS SOPS 6015084 HAS SOUS 3091291 HAS SOUPS 3091291 WITH SCORE 3097306.084
AT ITER 3610 NEW BEST:: SOT 24710354 SOS 6015052 HAS SOPS 6015052 HAS SOUS 3091259 HAS SOUPS 3091259 WITH SCORE 3097274.052
AT ITER 3613 NEW BEST:: SOT 24711702 SOS 6010479 HAS SOPS 6010479 HAS SOUS 3089652 HAS SOUPS 3089652 WITH SCORE 3095662.479
AT ITER 3619 NEW BEST:: SOT 24711473 SOS 6010250 HAS SOPS 6010250 HAS SOUS 3089423 HAS SOUPS 3089423 WITH SCORE 3095433.25
AT ITER 3647 NEW BEST:: SOT 24711473 SOS 6010143 HAS SOPS 6010143 HAS SOUS 3089316 HAS SOUPS 3089316 WITH SCORE 3095326.143
AT ITER 3670 NEW BEST:: SOT 24710333 SOS 6009206 HAS SOPS 6009206 HAS SOUS 3088124 HAS SOUPS 3088124 WITH SCORE 3094133.206
AT ITER 3719 NEW BEST:: SOT 24710333 SOS 6009165 HAS SOPS 6009165 HAS SOUS 3088083 HAS SOUPS 3088083 WITH SCORE 3094092.165
AT ITER 3724 NEW BEST:: SOT 24710025 SOS 6008549 HAS SOPS 6008549 HAS SOUS 3087467 HAS SOUPS 3087467 WITH SCORE 3093475.549
AT ITER 3740 NEW BEST:: SOT 24710025 SOS 6008388 HAS SOPS 6008388 HAS SOUS 3087306 HAS SOUPS 3087306 WITH SCORE 3093314.388
AT ITER 3742 NEW BEST:: SOT 24709892 SOS 6008122 HAS SOPS 6008122 HAS SOUS 3087040 HAS SOUPS 3087040 WITH SCORE 3093048.122
AT ITER 3754 NEW BEST:: SOT 24709892 SOS 6008448 HAS SOPS 6008448 HAS SOUS 3087039 HAS SOUPS 3087039 WITH SCORE 3093047.448
AT ITER 3759 NEW BEST:: SOT 24709788 SOS 6008240 HAS SOPS 6008240 HAS SOUS 3086982 HAS SOUPS 3086982 WITH SCORE 3092990.24
AT ITER 3787 NEW BEST:: SOT 24709734 SOS 6009926 HAS SOPS 6009926 HAS SOUS 3086730 HAS SOUPS 3086730 WITH SCORE 3092739.926
AT ITER 3793 NEW BEST:: SOT 24709561 SOS 6010771 HAS SOPS 6010771 HAS SOUS 3086556 HAS SOUPS 3086556 WITH SCORE 3092566.771
AT ITER 3823 NEW BEST:: SOT 24708619 SOS 6009829 HAS SOPS 6009829 HAS SOUS 3086556 HAS SOUPS 3086556 WITH SCORE 3092565.829
AT ITER 3836 NEW BEST:: SOT 24708335 SOS 6009826 HAS SOPS 6009826 HAS SOUS 3086555 HAS SOUPS 3086555 WITH SCORE 3092564.826
AT ITER 3878 NEW BEST:: SOT 24708137 SOS 6009707 HAS SOPS 6009707 HAS SOUS 3086399 HAS SOUPS 3086399 WITH SCORE 3092408.707
AT ITER 3923 NEW BEST:: SOT 24708137 SOS 6010226 HAS SOPS 6010226 HAS SOUS 3086398 HAS SOUPS 3086398 WITH SCORE 3092408.226
AT ITER 3943 NEW BEST:: SOT 24705556 SOS 6011037 HAS SOPS 6011037 HAS SOUS 3083928 HAS SOUPS 3083928 WITH SCORE 3089939.037
AT ITER 3988 NEW BEST:: SOT 24705015 SOS 6010493 HAS SOPS 6010493 HAS SOUS 3083386 HAS SOUPS 3083386 WITH SCORE 3089396.493
AT ITER 3997 NEW BEST:: SOT 24704833 SOS 6010311 HAS SOPS 6010311 HAS SOUS 3083204 HAS SOUPS 3083204 WITH SCORE 3089214.311
AT ITER 4004 NEW BEST:: SOT 24704692 SOS 6010787 HAS SOPS 6010787 HAS SOUS 3082684 HAS SOUPS 3082684 WITH SCORE 3088694.787
AT ITER 4007 NEW BEST:: SOT 24704394 SOS 6009893 HAS SOPS 6009893 HAS SOUS 3082088 HAS SOUPS 3082088 WITH SCORE 3088097.893
AT ITER 4015 NEW BEST:: SOT 24704394 SOS 6009893 HAS SOPS 6009893 HAS SOUS 3082084 HAS SOUPS 3082084 WITH SCORE 3088093.893
AT ITER 4023 NEW BEST:: SOT 24703995 SOS 6007898 HAS SOPS 6007898 HAS SOUS 3081286 HAS SOUPS 3081286 WITH SCORE 3087293.898
AT ITER 4025 NEW BEST:: SOT 24703422 SOS 6007618 HAS SOPS 6007618 HAS SOUS 3080429 HAS SOUPS 3080429 WITH SCORE 3086436.618
AT ITER 4086 NEW BEST:: SOT 24703387 SOS 6007583 HAS SOPS 6007583 HAS SOUS 3080394 HAS SOUPS 3080394 WITH SCORE 3086401.583
AT ITER 4091 NEW BEST:: SOT 24703387 SOS 6008290 HAS SOPS 6008290 HAS SOUS 3080393 HAS SOUPS 3080393 WITH SCORE 3086401.29
AT ITER 4097 NEW BEST:: SOT 24703385 SOS 6007715 HAS SOPS 6007715 HAS SOUS 3079818 HAS SOUPS 3079818 WITH SCORE 3085825.715
AT ITER 4100 NEW BEST:: SOT 24703288 SOS 6007521 HAS SOPS 6007521 HAS SOUS 3079624 HAS SOUPS 3079624 WITH SCORE 3085631.521
AT ITER 4123 NEW BEST:: SOT 24702318 SOS 6005581 HAS SOPS 6005581 HAS SOUS 3077591 HAS SOUPS 3077591 WITH SCORE 3083596.581
AT ITER 4128 NEW BEST:: SOT 24701827 SOS 6005112 HAS SOPS 6005112 HAS SOUS 3077122 HAS SOUPS 3077122 WITH SCORE 3083127.112
AT ITER 4146 NEW BEST:: SOT 24701082 SOS 6004367 HAS SOPS 6004367 HAS SOUS 3076377 HAS SOUPS 3076377 WITH SCORE 3082381.367
AT ITER 4148 NEW BEST:: SOT 24700717 SOS 6003272 HAS SOPS 6003272 HAS SOUS 3075647 HAS SOUPS 3075647 WITH SCORE 3081650.272
AT ITER 4166 NEW BEST:: SOT 24700695 SOS 6003006 HAS SOPS 6003006 HAS SOUS 3075529 HAS SOUPS 3075529 WITH SCORE 3081532.006
AT ITER 4168 NEW BEST:: SOT 24699758 SOS 6002069 HAS SOPS 6002069 HAS SOUS 3074592 HAS SOUPS 3074592 WITH SCORE 3080594.069
AT ITER 4176 NEW BEST:: SOT 24700083 SOS 6002719 HAS SOPS 6002719 HAS SOUS 3074400 HAS SOUPS 3074400 WITH SCORE 3080402.719
AT ITER 4229 NEW BEST:: SOT 24700083 SOS 6003610 HAS SOPS 6003610 HAS SOUS 3074399 HAS SOUPS 3074399 WITH SCORE 3080402.61
AT ITER 4238 NEW BEST:: SOT 24699602 SOS 6004352 HAS SOPS 6004352 HAS SOUS 3073918 HAS SOUPS 3073918 WITH SCORE 3079922.352
AT ITER 4244 NEW BEST:: SOT 24699305 SOS 6004055 HAS SOPS 6004055 HAS SOUS 3073918 HAS SOUPS 3073918 WITH SCORE 3079922.055
AT ITER 4245 NEW BEST:: SOT 24699191 SOS 6004843 HAS SOPS 6004843 HAS SOUS 3073689 HAS SOUPS 3073689 WITH SCORE 3079693.843
AT ITER 4261 NEW BEST:: SOT 24699093 SOS 6004206 HAS SOPS 6004206 HAS SOUS 3073542 HAS SOUPS 3073542 WITH SCORE 3079546.206
AT ITER 4313 NEW BEST:: SOT 24699093 SOS 6003879 HAS SOPS 6003879 HAS SOUS 3073433 HAS SOUPS 3073433 WITH SCORE 3079436.879
AT ITER 4323 NEW BEST:: SOT 24698804 SOS 6003854 HAS SOPS 6003854 HAS SOUS 3073408 HAS SOUPS 3073408 WITH SCORE 3079411.854
AT ITER 4325 NEW BEST:: SOT 24698317 SOS 6003364 HAS SOPS 6003364 HAS SOUS 3073240 HAS SOUPS 3073240 WITH SCORE 3079243.364
AT ITER 4329 NEW BEST:: SOT 24698183 SOS 6002828 HAS SOPS 6002828 HAS SOUS 3072972 HAS SOUPS 3072972 WITH SCORE 3078974.828
AT ITER 4343 NEW BEST:: SOT 24698145 SOS 6002752 HAS SOPS 6002752 HAS SOUS 3072934 HAS SOUPS 3072934 WITH SCORE 3078936.752
AT ITER 4352 NEW BEST:: SOT 24697830 SOS 6002122 HAS SOPS 6002122 HAS SOUS 3072304 HAS SOUPS 3072304 WITH SCORE 3078306.122
AT ITER 4389 NEW BEST:: SOT 24697402 SOS 6002118 HAS SOPS 6002118 HAS SOUS 3072303 HAS SOUPS 3072303 WITH SCORE 3078305.118
AT ITER 4392 NEW BEST:: SOT 24696695 SOS 6002362 HAS SOPS 6002362 HAS SOUS 3071903 HAS SOUPS 3071903 WITH SCORE 3077905.362
AT ITER 4400 NEW BEST:: SOT 24696695 SOS 6001324 HAS SOPS 6001324 HAS SOUS 3071557 HAS SOUPS 3071557 WITH SCORE 3077558.324
AT ITER 4426 NEW BEST:: SOT 24696534 SOS 5999379 HAS SOPS 5999379 HAS SOUS 3071155 HAS SOUPS 3071155 WITH SCORE 3077154.379
AT ITER 4440 NEW BEST:: SOT 24696534 SOS 5998560 HAS SOPS 5998560 HAS SOUS 3070882 HAS SOUPS 3070882 WITH SCORE 3076880.56
AT ITER 4449 NEW BEST:: SOT 24696690 SOS 5998872 HAS SOPS 5998872 HAS SOUS 3070300 HAS SOUPS 3070300 WITH SCORE 3076298.872
AT ITER 4479 NEW BEST:: SOT 24696661 SOS 5998843 HAS SOPS 5998843 HAS SOUS 3070271 HAS SOUPS 3070271 WITH SCORE 3076269.843
AT ITER 4486 NEW BEST:: SOT 24696101 SOS 5998068 HAS SOPS 5998068 HAS SOUS 3070062 HAS SOUPS 3070062 WITH SCORE 3076060.068
AT ITER 4499 NEW BEST:: SOT 24696076 SOS 5998018 HAS SOPS 5998018 HAS SOUS 3070012 HAS SOUPS 3070012 WITH SCORE 3076010.018
AT ITER 4500 NEW BEST:: SOT 24696076 SOS 6002022 HAS SOPS 6002022 HAS SOUS 3069565 HAS SOUPS 3069565 WITH SCORE 3075567.022
AT ITER 4523 NEW BEST:: SOT 24695620 SOS 6002246 HAS SOPS 6002246 HAS SOUS 3069523 HAS SOUPS 3069523 WITH SCORE 3075525.246
AT ITER 4577 NEW BEST:: SOT 24695620 SOS 6002225 HAS SOPS 6002225 HAS SOUS 3069502 HAS SOUPS 3069502 WITH SCORE 3075504.225
AT ITER 4580 NEW BEST:: SOT 24695540 SOS 6002065 HAS SOPS 6002065 HAS SOUS 3069342 HAS SOUPS 3069342 WITH SCORE 3075344.065
AT ITER 4595 NEW BEST:: SOT 24695540 SOS 6003023 HAS SOPS 6003023 HAS SOUS 3069341 HAS SOUPS 3069341 WITH SCORE 3075344.023
AT ITER 4616 NEW BEST:: SOT 24694595 SOS 6002525 HAS SOPS 6002525 HAS SOUS 3068843 HAS SOUPS 3068843 WITH SCORE 3074845.525
AT ITER 4639 NEW BEST:: SOT 24694685 SOS 6002705 HAS SOPS 6002705 HAS SOUS 3067394 HAS SOUPS 3067394 WITH SCORE 3073396.705
AT ITER 4644 NEW BEST:: SOT 24694025 SOS 6002702 HAS SOPS 6002702 HAS SOUS 3066073 HAS SOUPS 3066073 WITH SCORE 3072075.702
AT ITER 4654 NEW BEST:: SOT 24693712 SOS 6002076 HAS SOPS 6002076 HAS SOUS 3065447 HAS SOUPS 3065447 WITH SCORE 3071449.076
AT ITER 4658 NEW BEST:: SOT 24692929 SOS 6001519 HAS SOPS 6001519 HAS SOUS 3064890 HAS SOUPS 3064890 WITH SCORE 3070891.519
AT ITER 4689 NEW BEST:: SOT 24692528 SOS 6000198 HAS SOPS 6000198 HAS SOUS 3064030 HAS SOUPS 3064030 WITH SCORE 3070030.198
AT ITER 4720 NEW BEST:: SOT 24692341 SOS 6000131 HAS SOPS 6000131 HAS SOUS 3063843 HAS SOUPS 3063843 WITH SCORE 3069843.131
AT ITER 4764 NEW BEST:: SOT 24692182 SOS 6001234 HAS SOPS 6001234 HAS SOUS 3063524 HAS SOUPS 3063524 WITH SCORE 3069525.234
AT ITER 4771 NEW BEST:: SOT 24692122 SOS 6001173 HAS SOPS 6001173 HAS SOUS 3063463 HAS SOUPS 3063463 WITH SCORE 3069464.173
AT ITER 4796 NEW BEST:: SOT 24692103 SOS 6001154 HAS SOPS 6001154 HAS SOUS 3063425 HAS SOUPS 3063425 WITH SCORE 3069426.154
AT ITER 4851 NEW BEST:: SOT 24689373 SOS 6010642 HAS SOPS 6010642 HAS SOUS 3061738 HAS SOUPS 3061738 WITH SCORE 3067748.642
AT ITER 4892 NEW BEST:: SOT 24688603 SOS 6009872 HAS SOPS 6009872 HAS SOUS 3060198 HAS SOUPS 3060198 WITH SCORE 3066207.872
AT ITER 4903 NEW BEST:: SOT 24687009 SOS 6009138 HAS SOPS 6009138 HAS SOUS 3059329 HAS SOUPS 3059329 WITH SCORE 3065338.138
AT ITER 4915 NEW BEST:: SOT 24686170 SOS 6005734 HAS SOPS 6005734 HAS SOUS 3057631 HAS SOUPS 3057631 WITH SCORE 3063636.734
AT ITER 4933 NEW BEST:: SOT 24685610 SOS 6004614 HAS SOPS 6004614 HAS SOUS 3056511 HAS SOUPS 3056511 WITH SCORE 3062515.614
AT ITER 4934 NEW BEST:: SOT 24685103 SOS 6006080 HAS SOPS 6006080 HAS SOUS 3055410 HAS SOUPS 3055410 WITH SCORE 3061416.08
AT ITER 4965 NEW BEST:: SOT 24683773 SOS 6005415 HAS SOPS 6005415 HAS SOUS 3054745 HAS SOUPS 3054745 WITH SCORE 3060750.415
AT ITER 5002 NEW BEST:: SOT 24683773 SOS 6005353 HAS SOPS 6005353 HAS SOUS 3054683 HAS SOUPS 3054683 WITH SCORE 3060688.353
AT ITER 5008 NEW BEST:: SOT 24683773 SOS 6005353 HAS SOPS 6005353 HAS SOUS 3054570 HAS SOUPS 3054570 WITH SCORE 3060575.353
AT ITER 5035 NEW BEST:: SOT 24683673 SOS 6004853 HAS SOPS 6004853 HAS SOUS 3054370 HAS SOUPS 3054370 WITH SCORE 3060374.853
AT ITER 5051 NEW BEST:: SOT 24682555 SOS 6002617 HAS SOPS 6002617 HAS SOUS 3052804 HAS SOUPS 3052804 WITH SCORE 3058806.617
AT ITER 5163 NEW BEST:: SOT 24680219 SOS 5999420 HAS SOPS 5999420 HAS SOUS 3049607 HAS SOUPS 3049607 WITH SCORE 3055606.42
AT ITER 5193 NEW BEST:: SOT 24680335 SOS 5999180 HAS SOPS 5999180 HAS SOUS 3049487 HAS SOUPS 3049487 WITH SCORE 3055486.18
AT ITER 5223 NEW BEST:: SOT 24679830 SOS 5999070 HAS SOPS 5999070 HAS SOUS 3049327 HAS SOUPS 3049327 WITH SCORE 3055326.07
AT ITER 5262 NEW BEST:: SOT 24679830 SOS 5999345 HAS SOPS 5999345 HAS SOUS 3048837 HAS SOUPS 3048837 WITH SCORE 3054836.345
AT ITER 5276 NEW BEST:: SOT 24680116 SOS 6000826 HAS SOPS 6000826 HAS SOUS 3048718 HAS SOUPS 3048718 WITH SCORE 3054718.826
AT ITER 5290 NEW BEST:: SOT 24680229 SOS 6000754 HAS SOPS 6000754 HAS SOUS 3048535 HAS SOUPS 3048535 WITH SCORE 3054535.754
AT ITER 5325 NEW BEST:: SOT 24680229 SOS 6000751 HAS SOPS 6000751 HAS SOUS 3048534 HAS SOUPS 3048534 WITH SCORE 3054534.751
AT ITER 5338 NEW BEST:: SOT 24679358 SOS 6000741 HAS SOPS 6000741 HAS SOUS 3047996 HAS SOUPS 3047996 WITH SCORE 3053996.741
AT ITER 5342 NEW BEST:: SOT 24679358 SOS 5999902 HAS SOPS 5999902 HAS SOUS 3047480 HAS SOUPS 3047480 WITH SCORE 3053479.902
AT ITER 5355 NEW BEST:: SOT 24678719 SOS 6000046 HAS SOPS 6000046 HAS SOUS 3047462 HAS SOUPS 3047462 WITH SCORE 3053462.046
AT ITER 5358 NEW BEST:: SOT 24678694 SOS 5999996 HAS SOPS 5999996 HAS SOUS 3047437 HAS SOUPS 3047437 WITH SCORE 3053436.996
AT ITER 5366 NEW BEST:: SOT 24676284 SOS 5997570 HAS SOPS 5997570 HAS SOUS 3045026 HAS SOUPS 3045026 WITH SCORE 3051023.57
AT ITER 5387 NEW BEST:: SOT 24674989 SOS 5994980 HAS SOPS 5994980 HAS SOUS 3042131 HAS SOUPS 3042131 WITH SCORE 3048125.98
AT ITER 5392 NEW BEST:: SOT 24674989 SOS 5994899 HAS SOPS 5994899 HAS SOUS 3041969 HAS SOUPS 3041969 WITH SCORE 3047963.899
AT ITER 5422 NEW BEST:: SOT 24674707 SOS 5994613 HAS SOPS 5994613 HAS SOUS 3041968 HAS SOUPS 3041968 WITH SCORE 3047962.613
AT ITER 5423 NEW BEST:: SOT 24674616 SOS 5994522 HAS SOPS 5994522 HAS SOUS 3041877 HAS SOUPS 3041877 WITH SCORE 3047871.522
AT ITER 5440 NEW BEST:: SOT 24674325 SOS 5994603 HAS SOPS 5994603 HAS SOUS 3041855 HAS SOUPS 3041855 WITH SCORE 3047849.603
AT ITER 5501 NEW BEST:: SOT 24674250 SOS 5994303 HAS SOPS 5994303 HAS SOUS 3041705 HAS SOUPS 3041705 WITH SCORE 3047699.303
AT ITER 5591 NEW BEST:: SOT 24674606 SOS 5992653 HAS SOPS 5992653 HAS SOUS 3041236 HAS SOUPS 3041236 WITH SCORE 3047228.653
AT ITER 5607 NEW BEST:: SOT 24674606 SOS 5993139 HAS SOPS 5993139 HAS SOUS 3041235 HAS SOUPS 3041235 WITH SCORE 3047228.139
AT ITER 5618 NEW BEST:: SOT 24674606 SOS 5991792 HAS SOPS 5991792 HAS SOUS 3041235 HAS SOUPS 3041235 WITH SCORE 3047226.792
AT ITER 5657 NEW BEST:: SOT 24674461 SOS 5991647 HAS SOPS 5991647 HAS SOUS 3041090 HAS SOUPS 3041090 WITH SCORE 3047081.647
AT ITER 5669 NEW BEST:: SOT 24674461 SOS 5991644 HAS SOPS 5991644 HAS SOUS 3041089 HAS SOUPS 3041089 WITH SCORE 3047080.644
AT ITER 5675 NEW BEST:: SOT 24674460 SOS 5991642 HAS SOPS 5991642 HAS SOUS 3041087 HAS SOUPS 3041087 WITH SCORE 3047078.642
AT ITER 5701 NEW BEST:: SOT 24674886 SOS 5992494 HAS SOPS 5992494 HAS SOUS 3041056 HAS SOUPS 3041056 WITH SCORE 3047048.494
AT ITER 5736 NEW BEST:: SOT 24673434 SOS 5989590 HAS SOPS 5989590 HAS SOUS 3039604 HAS SOUPS 3039604 WITH SCORE 3045593.59
AT ITER 5742 NEW BEST:: SOT 24669667 SOS 5985210 HAS SOPS 5985210 HAS SOUS 3035543 HAS SOUPS 3035543 WITH SCORE 3041528.21
AT ITER 5782 NEW BEST:: SOT 24669667 SOS 5985210 HAS SOPS 5985210 HAS SOUS 3034715 HAS SOUPS 3034715 WITH SCORE 3040700.21
AT ITER 5802 NEW BEST:: SOT 24669681 SOS 5985238 HAS SOPS 5985238 HAS SOUS 3034605 HAS SOUPS 3034605 WITH SCORE 3040590.238
AT ITER 5813 NEW BEST:: SOT 24668968 SOS 5983812 HAS SOPS 5983812 HAS SOUS 3033179 HAS SOUPS 3033179 WITH SCORE 3039162.812
AT ITER 5816 NEW BEST:: SOT 24668968 SOS 5983416 HAS SOPS 5983416 HAS SOUS 3033179 HAS SOUPS 3033179 WITH SCORE 3039162.416
AT ITER 5821 NEW BEST:: SOT 24667566 SOS 5982164 HAS SOPS 5982164 HAS SOUS 3031851 HAS SOUPS 3031851 WITH SCORE 3037833.164
AT ITER 5828 NEW BEST:: SOT 24666864 SOS 5980544 HAS SOPS 5980544 HAS SOUS 3030843 HAS SOUPS 3030843 WITH SCORE 3036823.544
AT ITER 5849 NEW BEST:: SOT 24666715 SOS 5980395 HAS SOPS 5980395 HAS SOUS 3030694 HAS SOUPS 3030694 WITH SCORE 3036674.395
AT ITER 5861 NEW BEST:: SOT 24666039 SOS 5979263 HAS SOPS 5979263 HAS SOUS 3030411 HAS SOUPS 3030411 WITH SCORE 3036390.263
AT ITER 5879 NEW BEST:: SOT 24664899 SOS 5979498 HAS SOPS 5979498 HAS SOUS 3028130 HAS SOUPS 3028130 WITH SCORE 3034109.498
AT ITER 5896 NEW BEST:: SOT 24664813 SOS 5979412 HAS SOPS 5979412 HAS SOUS 3028044 HAS SOUPS 3028044 WITH SCORE 3034023.412
AT ITER 5913 NEW BEST:: SOT 24664095 SOS 5978694 HAS SOPS 5978694 HAS SOUS 3027326 HAS SOUPS 3027326 WITH SCORE 3033304.694
AT ITER 5919 NEW BEST:: SOT 24663985 SOS 5978801 HAS SOPS 5978801 HAS SOUS 3027215 HAS SOUPS 3027215 WITH SCORE 3033193.801
AT ITER 5936 NEW BEST:: SOT 24661231 SOS 5976151 HAS SOPS 5976151 HAS SOUS 3024565 HAS SOUPS 3024565 WITH SCORE 3030541.151
AT ITER 5950 NEW BEST:: SOT 24661231 SOS 5971192 HAS SOPS 5971192 HAS SOUS 3024116 HAS SOUPS 3024116 WITH SCORE 3030087.192
AT ITER 5966 NEW BEST:: SOT 24661238 SOS 5971206 HAS SOPS 5971206 HAS SOUS 3023514 HAS SOUPS 3023514 WITH SCORE 3029485.206
AT ITER 5975 NEW BEST:: SOT 24664307 SOS 5973159 HAS SOPS 5973159 HAS SOUS 3023500 HAS SOUPS 3023500 WITH SCORE 3029473.159
AT ITER 5985 NEW BEST:: SOT 24664302 SOS 5973149 HAS SOPS 5973149 HAS SOUS 3023490 HAS SOUPS 3023490 WITH SCORE 3029463.149
AT ITER 6020 NEW BEST:: SOT 24664114 SOS 5972103 HAS SOPS 5972103 HAS SOUS 3023317 HAS SOUPS 3023317 WITH SCORE 3029289.103
AT ITER 6053 NEW BEST:: SOT 24664089 SOS 5972078 HAS SOPS 5972078 HAS SOUS 3023292 HAS SOUPS 3023292 WITH SCORE 3029264.078
AT ITER 6096 NEW BEST:: SOT 24663843 SOS 5972714 HAS SOPS 5972714 HAS SOUS 3023244 HAS SOUPS 3023244 WITH SCORE 3029216.714
AT ITER 6111 NEW BEST:: SOT 24663522 SOS 5971430 HAS SOPS 5971430 HAS SOUS 3022923 HAS SOUPS 3022923 WITH SCORE 3028894.43
AT ITER 6112 NEW BEST:: SOT 24663206 SOS 5971427 HAS SOPS 5971427 HAS SOUS 3022614 HAS SOUPS 3022614 WITH SCORE 3028585.427
AT ITER 6149 NEW BEST:: SOT 24663075 SOS 5971165 HAS SOPS 5971165 HAS SOUS 3022614 HAS SOUPS 3022614 WITH SCORE 3028585.165
AT ITER 6169 NEW BEST:: SOT 24663075 SOS 5975952 HAS SOPS 5975952 HAS SOUS 3022080 HAS SOUPS 3022080 WITH SCORE 3028055.952
AT ITER 6207 NEW BEST:: SOT 24663017 SOS 5975836 HAS SOPS 5975836 HAS SOUS 3021964 HAS SOUPS 3021964 WITH SCORE 3027939.836
AT ITER 6224 NEW BEST:: SOT 24663017 SOS 5975836 HAS SOPS 5975836 HAS SOUS 3021963 HAS SOUPS 3021963 WITH SCORE 3027938.836
AT ITER 6238 NEW BEST:: SOT 24662313 SOS 5974428 HAS SOPS 5974428 HAS SOUS 3020601 HAS SOUPS 3020601 WITH SCORE 3026575.428
AT ITER 6243 NEW BEST:: SOT 24659826 SOS 5962642 HAS SOPS 5962642 HAS SOUS 3015563 HAS SOUPS 3015563 WITH SCORE 3021525.642
AT ITER 6259 NEW BEST:: SOT 24659826 SOS 5966592 HAS SOPS 5966592 HAS SOUS 3015122 HAS SOUPS 3015122 WITH SCORE 3021088.592
AT ITER 6293 NEW BEST:: SOT 24659826 SOS 5966591 HAS SOPS 5966591 HAS SOUS 3015121 HAS SOUPS 3015121 WITH SCORE 3021087.591
AT ITER 6306 NEW BEST:: SOT 24658880 SOS 5966188 HAS SOPS 5966188 HAS SOUS 3014707 HAS SOUPS 3014707 WITH SCORE 3020673.188
AT ITER 6311 NEW BEST:: SOT 24658708 SOS 5966102 HAS SOPS 5966102 HAS SOUS 3014621 HAS SOUPS 3014621 WITH SCORE 3020587.102
AT ITER 6325 NEW BEST:: SOT 24658708 SOS 5966102 HAS SOPS 5966102 HAS SOUS 3014548 HAS SOUPS 3014548 WITH SCORE 3020514.102
AT ITER 6334 NEW BEST:: SOT 24658708 SOS 5966102 HAS SOPS 5966102 HAS SOUS 3014456 HAS SOUPS 3014456 WITH SCORE 3020422.102
AT ITER 6378 NEW BEST:: SOT 24658574 SOS 5965834 HAS SOPS 5965834 HAS SOUS 3014322 HAS SOUPS 3014322 WITH SCORE 3020287.834
AT ITER 6401 NEW BEST:: SOT 24658574 SOS 5965599 HAS SOPS 5965599 HAS SOUS 3014087 HAS SOUPS 3014087 WITH SCORE 3020052.599
AT ITER 6403 NEW BEST:: SOT 24658519 SOS 5965489 HAS SOPS 5965489 HAS SOUS 3013977 HAS SOUPS 3013977 WITH SCORE 3019942.489
AT ITER 6417 NEW BEST:: SOT 24658346 SOS 5965143 HAS SOPS 5965143 HAS SOUS 3013631 HAS SOUPS 3013631 WITH SCORE 3019596.143
AT ITER 6453 NEW BEST:: SOT 24658076 SOS 5964603 HAS SOPS 5964603 HAS SOUS 3013091 HAS SOUPS 3013091 WITH SCORE 3019055.603
AT ITER 6464 NEW BEST:: SOT 24658052 SOS 5965205 HAS SOPS 5965205 HAS SOUS 3012848 HAS SOUPS 3012848 WITH SCORE 3018813.205
AT ITER 6471 NEW BEST:: SOT 24657576 SOS 5964253 HAS SOPS 5964253 HAS SOUS 3012372 HAS SOUPS 3012372 WITH SCORE 3018336.253
AT ITER 6509 NEW BEST:: SOT 24656665 SOS 5963332 HAS SOPS 5963332 HAS SOUS 3012224 HAS SOUPS 3012224 WITH SCORE 3018187.332
AT ITER 6603 NEW BEST:: SOT 24655878 SOS 5962830 HAS SOPS 5962830 HAS SOUS 3011579 HAS SOUPS 3011579 WITH SCORE 3017541.83
AT ITER 6621 NEW BEST:: SOT 24655560 SOS 5962194 HAS SOPS 5962194 HAS SOUS 3010943 HAS SOUPS 3010943 WITH SCORE 3016905.194
AT ITER 6639 NEW BEST:: SOT 24654792 SOS 5958354 HAS SOPS 5958354 HAS SOUS 3009407 HAS SOUPS 3009407 WITH SCORE 3015365.354
AT ITER 6666 NEW BEST:: SOT 24654719 SOS 5958208 HAS SOPS 5958208 HAS SOUS 3009261 HAS SOUPS 3009261 WITH SCORE 3015219.208
AT ITER 6674 NEW BEST:: SOT 24654671 SOS 5957804 HAS SOPS 5957804 HAS SOUS 3009213 HAS SOUPS 3009213 WITH SCORE 3015170.804
AT ITER 6680 NEW BEST:: SOT 24654671 SOS 5958634 HAS SOPS 5958634 HAS SOUS 3009212 HAS SOUPS 3009212 WITH SCORE 3015170.634
AT ITER 6722 NEW BEST:: SOT 24654671 SOS 5958634 HAS SOPS 5958634 HAS SOUS 3009209 HAS SOUPS 3009209 WITH SCORE 3015167.634
AT ITER 6760 NEW BEST:: SOT 24653820 SOS 5958634 HAS SOPS 5958634 HAS SOUS 3008087 HAS SOUPS 3008087 WITH SCORE 3014045.634
AT ITER 6806 NEW BEST:: SOT 24653758 SOS 5959110 HAS SOPS 5959110 HAS SOUS 3008023 HAS SOUPS 3008023 WITH SCORE 3013982.11
AT ITER 6841 NEW BEST:: SOT 24653758 SOS 5960054 HAS SOPS 5960054 HAS SOUS 3007905 HAS SOUPS 3007905 WITH SCORE 3013865.054
AT ITER 6889 NEW BEST:: SOT 24653758 SOS 5960050 HAS SOPS 5960050 HAS SOUS 3007904 HAS SOUPS 3007904 WITH SCORE 3013864.05
AT ITER 6892 NEW BEST:: SOT 24653758 SOS 5959948 HAS SOPS 5959948 HAS SOUS 3007853 HAS SOUPS 3007853 WITH SCORE 3013812.948
AT ITER 6906 NEW BEST:: SOT 24652956 SOS 5959146 HAS SOPS 5959146 HAS SOUS 3007081 HAS SOUPS 3007081 WITH SCORE 3013040.146
AT ITER 6923 NEW BEST:: SOT 24652533 SOS 5958637 HAS SOPS 5958637 HAS SOUS 3006921 HAS SOUPS 3006921 WITH SCORE 3012879.637
AT ITER 6925 NEW BEST:: SOT 24652530 SOS 5958634 HAS SOPS 5958634 HAS SOUS 3006918 HAS SOUPS 3006918 WITH SCORE 3012876.634
AT ITER 6971 NEW BEST:: SOT 24652417 SOS 5958521 HAS SOPS 5958521 HAS SOUS 3006805 HAS SOUPS 3006805 WITH SCORE 3012763.521
AT ITER 6976 NEW BEST:: SOT 24652091 SOS 5958518 HAS SOPS 5958518 HAS SOUS 3006152 HAS SOUPS 3006152 WITH SCORE 3012110.518
AT ITER 6980 NEW BEST:: SOT 24652091 SOS 5958518 HAS SOPS 5958518 HAS SOUS 3006151 HAS SOUPS 3006151 WITH SCORE 3012109.518
AT ITER 6986 NEW BEST:: SOT 24652394 SOS 5959124 HAS SOPS 5959124 HAS SOUS 3005939 HAS SOUPS 3005939 WITH SCORE 3011898.124
AT ITER 6987 NEW BEST:: SOT 24652394 SOS 5958176 HAS SOPS 5958176 HAS SOUS 3005623 HAS SOUPS 3005623 WITH SCORE 3011581.176
AT ITER 6990 NEW BEST:: SOT 24652394 SOS 5957974 HAS SOPS 5957974 HAS SOUS 3005309 HAS SOUPS 3005309 WITH SCORE 3011266.974
AT ITER 7003 NEW BEST:: SOT 24652233 SOS 5957813 HAS SOPS 5957813 HAS SOUS 3005148 HAS SOUPS 3005148 WITH SCORE 3011105.813
AT ITER 7027 NEW BEST:: SOT 24651984 SOS 5957315 HAS SOPS 5957315 HAS SOUS 3004556 HAS SOUPS 3004556 WITH SCORE 3010513.315
AT ITER 7031 NEW BEST:: SOT 24651818 SOS 5957205 HAS SOPS 5957205 HAS SOUS 3004446 HAS SOUPS 3004446 WITH SCORE 3010403.205
AT ITER 7044 NEW BEST:: SOT 24651045 SOS 5956579 HAS SOPS 5956579 HAS SOUS 3004436 HAS SOUPS 3004436 WITH SCORE 3010392.579
AT ITER 7052 NEW BEST:: SOT 24650537 SOS 5957083 HAS SOPS 5957083 HAS SOUS 3003419 HAS SOUPS 3003419 WITH SCORE 3009376.083
AT ITER 7081 NEW BEST:: SOT 24650519 SOS 5957029 HAS SOPS 5957029 HAS SOUS 3003383 HAS SOUPS 3003383 WITH SCORE 3009340.029
AT ITER 7104 NEW BEST:: SOT 24649744 SOS 5955479 HAS SOPS 5955479 HAS SOUS 3002452 HAS SOUPS 3002452 WITH SCORE 3008407.479
AT ITER 7139 NEW BEST:: SOT 24649618 SOS 5955290 HAS SOPS 5955290 HAS SOUS 3002326 HAS SOUPS 3002326 WITH SCORE 3008281.29
AT ITER 7141 NEW BEST:: SOT 24649426 SOS 5954906 HAS SOPS 5954906 HAS SOUS 3001864 HAS SOUPS 3001864 WITH SCORE 3007818.906
AT ITER 7152 NEW BEST:: SOT 24649426 SOS 5954906 HAS SOPS 5954906 HAS SOUS 3001369 HAS SOUPS 3001369 WITH SCORE 3007323.906
AT ITER 7199 NEW BEST:: SOT 24649426 SOS 5955145 HAS SOPS 5955145 HAS SOUS 3001368 HAS SOUPS 3001368 WITH SCORE 3007323.145
AT ITER 7203 NEW BEST:: SOT 24648503 SOS 5953299 HAS SOPS 5953299 HAS SOUS 2999522 HAS SOUPS 2999522 WITH SCORE 3005475.299
AT ITER 7210 NEW BEST:: SOT 24648876 SOS 5954260 HAS SOPS 5954260 HAS SOUS 2999254 HAS SOUPS 2999254 WITH SCORE 3005208.26
AT ITER 7221 NEW BEST:: SOT 24648753 SOS 5954014 HAS SOPS 5954014 HAS SOUS 2999131 HAS SOUPS 2999131 WITH SCORE 3005085.014
AT ITER 7289 NEW BEST:: SOT 24647821 SOS 5943762 HAS SOPS 5943762 HAS SOUS 2997267 HAS SOUPS 2997267 WITH SCORE 3003210.762
AT ITER 7326 NEW BEST:: SOT 24647821 SOS 5943498 HAS SOPS 5943498 HAS SOUS 2997179 HAS SOUPS 2997179 WITH SCORE 3003122.498
AT ITER 7336 NEW BEST:: SOT 24647821 SOS 5944608 HAS SOPS 5944608 HAS SOUS 2996910 HAS SOUPS 2996910 WITH SCORE 3002854.608
AT ITER 7341 NEW BEST:: SOT 24647820 SOS 5944606 HAS SOPS 5944606 HAS SOUS 2996908 HAS SOUPS 2996908 WITH SCORE 3002852.606
AT ITER 7349 NEW BEST:: SOT 24646723 SOS 5943509 HAS SOPS 5943509 HAS SOUS 2995811 HAS SOUPS 2995811 WITH SCORE 3001754.509
AT ITER 7385 NEW BEST:: SOT 24646701 SOS 5943487 HAS SOPS 5943487 HAS SOUS 2995789 HAS SOUPS 2995789 WITH SCORE 3001732.487
AT ITER 7412 NEW BEST:: SOT 24646124 SOS 5943371 HAS SOPS 5943371 HAS SOUS 2995558 HAS SOUPS 2995558 WITH SCORE 3001501.371
AT ITER 7432 NEW BEST:: SOT 24645857 SOS 5943528 HAS SOPS 5943528 HAS SOUS 2995370 HAS SOUPS 2995370 WITH SCORE 3001313.528
AT ITER 7434 NEW BEST:: SOT 24645298 SOS 5943601 HAS SOPS 5943601 HAS SOUS 2994811 HAS SOUPS 2994811 WITH SCORE 3000754.601
AT ITER 7443 NEW BEST:: SOT 24644728 SOS 5942844 HAS SOPS 5942844 HAS SOUS 2994054 HAS SOUPS 2994054 WITH SCORE 2999996.844
AT ITER 7484 NEW BEST:: SOT 24644152 SOS 5943410 HAS SOPS 5943410 HAS SOUS 2993567 HAS SOUPS 2993567 WITH SCORE 2999510.41
AT ITER 7492 NEW BEST:: SOT 24643928 SOS 5943186 HAS SOPS 5943186 HAS SOUS 2993343 HAS SOUPS 2993343 WITH SCORE 2999286.186
AT ITER 7494 NEW BEST:: SOT 24642664 SOS 5941774 HAS SOPS 5941774 HAS SOUS 2991931 HAS SOUPS 2991931 WITH SCORE 2997872.774
AT ITER 7529 NEW BEST:: SOT 24642389 SOS 5942391 HAS SOPS 5942391 HAS SOUS 2991380 HAS SOUPS 2991380 WITH SCORE 2997322.391
AT ITER 7532 NEW BEST:: SOT 24642173 SOS 5940219 HAS SOPS 5940219 HAS SOUS 2991164 HAS SOUPS 2991164 WITH SCORE 2997104.219
AT ITER 7548 NEW BEST:: SOT 24641921 SOS 5939715 HAS SOPS 5939715 HAS SOUS 2990831 HAS SOUPS 2990831 WITH SCORE 2996770.715
AT ITER 7551 NEW BEST:: SOT 24641260 SOS 5936410 HAS SOPS 5936410 HAS SOUS 2990170 HAS SOUPS 2990170 WITH SCORE 2996106.41
AT ITER 7560 NEW BEST:: SOT 24641260 SOS 5937285 HAS SOPS 5937285 HAS SOUS 2990168 HAS SOUPS 2990168 WITH SCORE 2996105.285
AT ITER 7570 NEW BEST:: SOT 24640879 SOS 5937261 HAS SOPS 5937261 HAS SOUS 2990033 HAS SOUPS 2990033 WITH SCORE 2995970.261
AT ITER 7603 NEW BEST:: SOT 24640878 SOS 5937259 HAS SOPS 5937259 HAS SOUS 2990031 HAS SOUPS 2990031 WITH SCORE 2995968.259
AT ITER 7618 NEW BEST:: SOT 24640788 SOS 5937079 HAS SOPS 5937079 HAS SOUS 2989851 HAS SOUPS 2989851 WITH SCORE 2995788.079
AT ITER 7627 NEW BEST:: SOT 24640916 SOS 5937176 HAS SOPS 5937176 HAS SOUS 2988989 HAS SOUPS 2988989 WITH SCORE 2994926.176
AT ITER 7640 NEW BEST:: SOT 24641163 SOS 5936909 HAS SOPS 5936909 HAS SOUS 2988641 HAS SOUPS 2988641 WITH SCORE 2994577.909
AT ITER 7688 NEW BEST:: SOT 24641163 SOS 5936708 HAS SOPS 5936708 HAS SOUS 2988440 HAS SOUPS 2988440 WITH SCORE 2994376.708
AT ITER 7697 NEW BEST:: SOT 24641107 SOS 5936124 HAS SOPS 5936124 HAS SOUS 2988092 HAS SOUPS 2988092 WITH SCORE 2994028.124
AT ITER 7714 NEW BEST:: SOT 24641107 SOS 5936122 HAS SOPS 5936122 HAS SOUS 2988090 HAS SOUPS 2988090 WITH SCORE 2994026.122
AT ITER 7744 NEW BEST:: SOT 24641136 SOS 5934185 HAS SOPS 5934185 HAS SOUS 2987468 HAS SOUPS 2987468 WITH SCORE 2993402.185
AT ITER 7758 NEW BEST:: SOT 24641136 SOS 5934182 HAS SOPS 5934182 HAS SOUS 2987467 HAS SOUPS 2987467 WITH SCORE 2993401.182
AT ITER 7768 NEW BEST:: SOT 24641215 SOS 5934013 HAS SOPS 5934013 HAS SOUS 2987298 HAS SOUPS 2987298 WITH SCORE 2993232.013
AT ITER 7802 NEW BEST:: SOT 24641215 SOS 5933908 HAS SOPS 5933908 HAS SOUS 2987298 HAS SOUPS 2987298 WITH SCORE 2993231.908
AT ITER 7808 NEW BEST:: SOT 24641215 SOS 5935054 HAS SOPS 5935054 HAS SOUS 2987296 HAS SOUPS 2987296 WITH SCORE 2993231.054
AT ITER 7838 NEW BEST:: SOT 24641215 SOS 5935174 HAS SOPS 5935174 HAS SOUS 2987294 HAS SOUPS 2987294 WITH SCORE 2993229.174
AT ITER 7869 NEW BEST:: SOT 24640053 SOS 5933784 HAS SOPS 5933784 HAS SOUS 2985854 HAS SOUPS 2985854 WITH SCORE 2991787.784
AT ITER 7911 NEW BEST:: SOT 24639868 SOS 5933414 HAS SOPS 5933414 HAS SOUS 2985652 HAS SOUPS 2985652 WITH SCORE 2991585.414
AT ITER 7950 NEW BEST:: SOT 24639828 SOS 5933254 HAS SOPS 5933254 HAS SOUS 2985572 HAS SOUPS 2985572 WITH SCORE 2991505.254
AT ITER 7952 NEW BEST:: SOT 24639605 SOS 5932808 HAS SOPS 5932808 HAS SOUS 2985174 HAS SOUPS 2985174 WITH SCORE 2991106.808
AT ITER 7966 NEW BEST:: SOT 24639605 SOS 5931839 HAS SOPS 5931839 HAS SOUS 2984851 HAS SOUPS 2984851 WITH SCORE 2990782.839
AT ITER 7986 NEW BEST:: SOT 24639448 SOS 5931211 HAS SOPS 5931211 HAS SOUS 2984694 HAS SOUPS 2984694 WITH SCORE 2990625.211
AT ITER 7997 NEW BEST:: SOT 24639276 SOS 5930695 HAS SOPS 5930695 HAS SOUS 2984350 HAS SOUPS 2984350 WITH SCORE 2990280.695
AT ITER 8007 NEW BEST:: SOT 24639276 SOS 5930475 HAS SOPS 5930475 HAS SOUS 2984240 HAS SOUPS 2984240 WITH SCORE 2990170.475
AT ITER 8040 NEW BEST:: SOT 24639276 SOS 5930475 HAS SOPS 5930475 HAS SOUS 2983332 HAS SOUPS 2983332 WITH SCORE 2989262.475
AT ITER 8095 NEW BEST:: SOT 24639261 SOS 5934017 HAS SOPS 5934017 HAS SOUS 2983301 HAS SOUPS 2983301 WITH SCORE 2989235.017
AT ITER 8112 NEW BEST:: SOT 24639261 SOS 5932619 HAS SOPS 5932619 HAS SOUS 2982835 HAS SOUPS 2982835 WITH SCORE 2988767.619
AT ITER 8146 NEW BEST:: SOT 24638704 SOS 5932062 HAS SOPS 5932062 HAS SOUS 2981721 HAS SOUPS 2981721 WITH SCORE 2987653.062
AT ITER 8153 NEW BEST:: SOT 24638747 SOS 5932084 HAS SOPS 5932084 HAS SOUS 2981705 HAS SOUPS 2981705 WITH SCORE 2987637.084
AT ITER 8178 NEW BEST:: SOT 24638607 SOS 5931944 HAS SOPS 5931944 HAS SOUS 2981565 HAS SOUPS 2981565 WITH SCORE 2987496.944
AT ITER 8219 NEW BEST:: SOT 24638607 SOS 5931628 HAS SOPS 5931628 HAS SOUS 2981249 HAS SOUPS 2981249 WITH SCORE 2987180.628
AT ITER 8233 NEW BEST:: SOT 24638309 SOS 5930731 HAS SOPS 5930731 HAS SOUS 2980652 HAS SOUPS 2980652 WITH SCORE 2986582.731
AT ITER 8241 NEW BEST:: SOT 24638308 SOS 5931090 HAS SOPS 5931090 HAS SOUS 2980649 HAS SOUPS 2980649 WITH SCORE 2986580.09
AT ITER 8260 NEW BEST:: SOT 24638339 SOS 5931149 HAS SOPS 5931149 HAS SOUS 2979575 HAS SOUPS 2979575 WITH SCORE 2985506.149
AT ITER 8282 NEW BEST:: SOT 24638136 SOS 5930743 HAS SOPS 5930743 HAS SOUS 2979505 HAS SOUPS 2979505 WITH SCORE 2985435.743
AT ITER 8296 NEW BEST:: SOT 24637913 SOS 5930297 HAS SOPS 5930297 HAS SOUS 2979059 HAS SOUPS 2979059 WITH SCORE 2984989.297
AT ITER 8300 NEW BEST:: SOT 24637912 SOS 5930295 HAS SOPS 5930295 HAS SOUS 2979057 HAS SOUPS 2979057 WITH SCORE 2984987.295
AT ITER 8336 NEW BEST:: SOT 24637912 SOS 5930196 HAS SOPS 5930196 HAS SOUS 2979057 HAS SOUPS 2979057 WITH SCORE 2984987.196
AT ITER 8342 NEW BEST:: SOT 24637248 SOS 5930311 HAS SOPS 5930311 HAS SOUS 2978655 HAS SOUPS 2978655 WITH SCORE 2984585.311
AT ITER 8364 NEW BEST:: SOT 24637248 SOS 5930388 HAS SOPS 5930388 HAS SOUS 2978362 HAS SOUPS 2978362 WITH SCORE 2984292.388
AT ITER 8375 NEW BEST:: SOT 24636735 SOS 5930901 HAS SOPS 5930901 HAS SOUS 2977336 HAS SOUPS 2977336 WITH SCORE 2983266.901
AT ITER 8380 NEW BEST:: SOT 24636735 SOS 5930722 HAS SOPS 5930722 HAS SOUS 2977336 HAS SOUPS 2977336 WITH SCORE 2983266.722
AT ITER 8385 NEW BEST:: SOT 24636743 SOS 5930446 HAS SOPS 5930446 HAS SOUS 2976838 HAS SOUPS 2976838 WITH SCORE 2982768.446
AT ITER 8435 NEW BEST:: SOT 24636743 SOS 5931114 HAS SOPS 5931114 HAS SOUS 2976837 HAS SOUPS 2976837 WITH SCORE 2982768.114
AT ITER 8486 NEW BEST:: SOT 24636743 SOS 5930958 HAS SOPS 5930958 HAS SOUS 2976681 HAS SOUPS 2976681 WITH SCORE 2982611.958
AT ITER 8494 NEW BEST:: SOT 24636659 SOS 5930790 HAS SOPS 5930790 HAS SOUS 2976597 HAS SOUPS 2976597 WITH SCORE 2982527.79
AT ITER 8528 NEW BEST:: SOT 24636563 SOS 5931548 HAS SOPS 5931548 HAS SOUS 2976596 HAS SOUPS 2976596 WITH SCORE 2982527.548
AT ITER 8543 NEW BEST:: SOT 24635930 SOS 5924850 HAS SOPS 5924850 HAS SOUS 2975963 HAS SOUPS 2975963 WITH SCORE 2981887.85
AT ITER 8572 NEW BEST:: SOT 24635764 SOS 5924186 HAS SOPS 5924186 HAS SOUS 2975797 HAS SOUPS 2975797 WITH SCORE 2981721.186
AT ITER 8615 NEW BEST:: SOT 24635559 SOS 5923776 HAS SOPS 5923776 HAS SOUS 2975023 HAS SOUPS 2975023 WITH SCORE 2980946.776
AT ITER 8617 NEW BEST:: SOT 24635559 SOS 5924716 HAS SOPS 5924716 HAS SOUS 2975021 HAS SOUPS 2975021 WITH SCORE 2980945.716
AT ITER 8622 NEW BEST:: SOT 24635559 SOS 5924715 HAS SOPS 5924715 HAS SOUS 2975020 HAS SOUPS 2975020 WITH SCORE 2980944.715
AT ITER 8643 NEW BEST:: SOT 24635559 SOS 5923425 HAS SOPS 5923425 HAS SOUS 2974590 HAS SOUPS 2974590 WITH SCORE 2980513.425
AT ITER 8646 NEW BEST:: SOT 24635559 SOS 5928545 HAS SOPS 5928545 HAS SOUS 2974219 HAS SOUPS 2974219 WITH SCORE 2980147.545
AT ITER 8712 NEW BEST:: SOT 24635559 SOS 5930124 HAS SOPS 5930124 HAS SOUS 2973625 HAS SOUPS 2973625 WITH SCORE 2979555.124
AT ITER 8767 NEW BEST:: SOT 24635542 SOS 5930090 HAS SOPS 5930090 HAS SOUS 2973556 HAS SOUPS 2973556 WITH SCORE 2979486.09
AT ITER 8780 NEW BEST:: SOT 24636116 SOS 5936394 HAS SOPS 5936394 HAS SOUS 2973493 HAS SOUPS 2973493 WITH SCORE 2979429.394
AT ITER 8801 NEW BEST:: SOT 24634671 SOS 5936276 HAS SOPS 5936276 HAS SOUS 2972653 HAS SOUPS 2972653 WITH SCORE 2978589.276
AT ITER 8832 NEW BEST:: SOT 24634671 SOS 5936114 HAS SOPS 5936114 HAS SOUS 2972653 HAS SOUPS 2972653 WITH SCORE 2978589.114
AT ITER 8838 NEW BEST:: SOT 24633946 SOS 5934664 HAS SOPS 5934664 HAS SOUS 2971203 HAS SOUPS 2971203 WITH SCORE 2977137.664
AT ITER 8858 NEW BEST:: SOT 24633946 SOS 5934559 HAS SOPS 5934559 HAS SOUS 2971168 HAS SOUPS 2971168 WITH SCORE 2977102.559
AT ITER 8861 NEW BEST:: SOT 24630596 SOS 5933581 HAS SOPS 5933581 HAS SOUS 2968050 HAS SOUPS 2968050 WITH SCORE 2973983.581
AT ITER 8902 NEW BEST:: SOT 24630596 SOS 5933535 HAS SOPS 5933535 HAS SOUS 2968004 HAS SOUPS 2968004 WITH SCORE 2973937.535
AT ITER 8924 NEW BEST:: SOT 24630273 SOS 5932890 HAS SOPS 5932890 HAS SOUS 2967359 HAS SOUPS 2967359 WITH SCORE 2973291.89
AT ITER 8942 NEW BEST:: SOT 24630151 SOS 5932382 HAS SOPS 5932382 HAS SOUS 2967105 HAS SOUPS 2967105 WITH SCORE 2973037.382
AT ITER 8948 NEW BEST:: SOT 24630151 SOS 5932082 HAS SOPS 5932082 HAS SOUS 2967005 HAS SOUPS 2967005 WITH SCORE 2972937.082
AT ITER 8950 NEW BEST:: SOT 24630151 SOS 5932082 HAS SOPS 5932082 HAS SOUS 2966997 HAS SOUPS 2966997 WITH SCORE 2972929.082
AT ITER 8978 NEW BEST:: SOT 24630319 SOS 5931802 HAS SOPS 5931802 HAS SOUS 2966939 HAS SOUPS 2966939 WITH SCORE 2972870.802
AT ITER 9002 NEW BEST:: SOT 24630319 SOS 5931789 HAS SOPS 5931789 HAS SOUS 2966926 HAS SOUPS 2966926 WITH SCORE 2972857.789
AT ITER 9022 NEW BEST:: SOT 24630097 SOS 5931514 HAS SOPS 5931514 HAS SOUS 2966651 HAS SOUPS 2966651 WITH SCORE 2972582.514
AT ITER 9025 NEW BEST:: SOT 24629387 SOS 5926434 HAS SOPS 5926434 HAS SOUS 2964111 HAS SOUPS 2964111 WITH SCORE 2970037.434
AT ITER 9036 NEW BEST:: SOT 24629387 SOS 5926764 HAS SOPS 5926764 HAS SOUS 2964109 HAS SOUPS 2964109 WITH SCORE 2970035.764
AT ITER 9037 NEW BEST:: SOT 24629379 SOS 5926748 HAS SOPS 5926748 HAS SOUS 2964101 HAS SOUPS 2964101 WITH SCORE 2970027.748
AT ITER 9065 NEW BEST:: SOT 24629379 SOS 5926798 HAS SOPS 5926798 HAS SOUS 2964099 HAS SOUPS 2964099 WITH SCORE 2970025.798
AT ITER 9069 NEW BEST:: SOT 24629379 SOS 5927398 HAS SOPS 5927398 HAS SOUS 2964097 HAS SOUPS 2964097 WITH SCORE 2970024.398
AT ITER 9117 NEW BEST:: SOT 24629205 SOS 5927728 HAS SOPS 5927728 HAS SOUS 2963868 HAS SOUPS 2963868 WITH SCORE 2969795.728
AT ITER 9140 NEW BEST:: SOT 24629148 SOS 5927614 HAS SOPS 5927614 HAS SOUS 2963754 HAS SOUPS 2963754 WITH SCORE 2969681.614
AT ITER 9156 NEW BEST:: SOT 24629202 SOS 5927610 HAS SOPS 5927610 HAS SOUS 2963750 HAS SOUPS 2963750 WITH SCORE 2969677.61
AT ITER 9191 NEW BEST:: SOT 24629202 SOS 5927742 HAS SOPS 5927742 HAS SOUS 2963748 HAS SOUPS 2963748 WITH SCORE 2969675.742
AT ITER 9203 NEW BEST:: SOT 24629174 SOS 5927714 HAS SOPS 5927714 HAS SOUS 2963720 HAS SOUPS 2963720 WITH SCORE 2969647.714
AT ITER 9204 NEW BEST:: SOT 24629087 SOS 5926874 HAS SOPS 5926874 HAS SOUS 2963411 HAS SOUPS 2963411 WITH SCORE 2969337.874
AT ITER 9223 NEW BEST:: SOT 24628650 SOS 5927121 HAS SOPS 5927121 HAS SOUS 2962974 HAS SOUPS 2962974 WITH SCORE 2968901.121
AT ITER 9249 NEW BEST:: SOT 24628523 SOS 5927093 HAS SOPS 5927093 HAS SOUS 2962946 HAS SOUPS 2962946 WITH SCORE 2968873.093
AT ITER 9253 NEW BEST:: SOT 24628376 SOS 5926799 HAS SOPS 5926799 HAS SOUS 2962652 HAS SOUPS 2962652 WITH SCORE 2968578.799
AT ITER 9300 NEW BEST:: SOT 24628005 SOS 5927167 HAS SOPS 5927167 HAS SOUS 2962280 HAS SOUPS 2962280 WITH SCORE 2968207.167
AT ITER 9314 NEW BEST:: SOT 24627669 SOS 5926831 HAS SOPS 5926831 HAS SOUS 2961832 HAS SOUPS 2961832 WITH SCORE 2967758.831
AT ITER 9323 NEW BEST:: SOT 24628088 SOS 5931025 HAS SOPS 5931025 HAS SOUS 2961549 HAS SOUPS 2961549 WITH SCORE 2967480.025
AT ITER 9399 NEW BEST:: SOT 24626952 SOS 5930357 HAS SOPS 5930357 HAS SOUS 2960467 HAS SOUPS 2960467 WITH SCORE 2966397.357
AT ITER 9400 NEW BEST:: SOT 24626825 SOS 5930230 HAS SOPS 5930230 HAS SOUS 2960340 HAS SOUPS 2960340 WITH SCORE 2966270.23
AT ITER 9441 NEW BEST:: SOT 24625733 SOS 5929452 HAS SOPS 5929452 HAS SOUS 2959248 HAS SOUPS 2959248 WITH SCORE 2965177.452
AT ITER 9454 NEW BEST:: SOT 24625485 SOS 5928956 HAS SOPS 5928956 HAS SOUS 2958696 HAS SOUPS 2958696 WITH SCORE 2964624.956
AT ITER 9457 NEW BEST:: SOT 24624628 SOS 5928839 HAS SOPS 5928839 HAS SOUS 2956982 HAS SOUPS 2956982 WITH SCORE 2962910.839
AT ITER 9465 NEW BEST:: SOT 24624568 SOS 5929754 HAS SOPS 5929754 HAS SOUS 2956862 HAS SOUPS 2956862 WITH SCORE 2962791.754
AT ITER 9466 NEW BEST:: SOT 24623869 SOS 5930477 HAS SOPS 5930477 HAS SOUS 2955464 HAS SOUPS 2955464 WITH SCORE 2961394.477
AT ITER 9510 NEW BEST:: SOT 24623869 SOS 5930421 HAS SOPS 5930421 HAS SOUS 2955408 HAS SOUPS 2955408 WITH SCORE 2961338.421
AT ITER 9512 NEW BEST:: SOT 24623519 SOS 5929857 HAS SOPS 5929857 HAS SOUS 2954844 HAS SOUPS 2954844 WITH SCORE 2960773.857
AT ITER 9514 NEW BEST:: SOT 24623114 SOS 5930262 HAS SOPS 5930262 HAS SOUS 2954582 HAS SOUPS 2954582 WITH SCORE 2960512.262
AT ITER 9522 NEW BEST:: SOT 24623114 SOS 5931098 HAS SOPS 5931098 HAS SOUS 2954581 HAS SOUPS 2954581 WITH SCORE 2960512.098
AT ITER 9565 NEW BEST:: SOT 24623062 SOS 5931072 HAS SOPS 5931072 HAS SOUS 2954555 HAS SOUPS 2954555 WITH SCORE 2960486.072
AT ITER 9568 NEW BEST:: SOT 24623050 SOS 5936544 HAS SOPS 5936544 HAS SOUS 2954543 HAS SOUPS 2954543 WITH SCORE 2960479.544
AT ITER 9592 NEW BEST:: SOT 24622933 SOS 5937144 HAS SOPS 5937144 HAS SOUS 2954426 HAS SOUPS 2954426 WITH SCORE 2960363.144
AT ITER 9604 NEW BEST:: SOT 24621944 SOS 5938426 HAS SOPS 5938426 HAS SOUS 2954412 HAS SOUPS 2954412 WITH SCORE 2960350.426
AT ITER 9608 NEW BEST:: SOT 24621944 SOS 5938216 HAS SOPS 5938216 HAS SOUS 2954412 HAS SOUPS 2954412 WITH SCORE 2960350.216
AT ITER 9642 NEW BEST:: SOT 24621885 SOS 5938098 HAS SOPS 5938098 HAS SOUS 2954294 HAS SOUPS 2954294 WITH SCORE 2960232.098
AT ITER 9662 NEW BEST:: SOT 24621290 SOS 5937502 HAS SOPS 5937502 HAS SOUS 2953698 HAS SOUPS 2953698 WITH SCORE 2959635.502
AT ITER 9664 NEW BEST:: SOT 24621229 SOS 5937441 HAS SOPS 5937441 HAS SOUS 2953637 HAS SOUPS 2953637 WITH SCORE 2959574.441
AT ITER 9665 NEW BEST:: SOT 24621100 SOS 5937689 HAS SOPS 5937689 HAS SOUS 2953636 HAS SOUPS 2953636 WITH SCORE 2959573.689
AT ITER 9669 NEW BEST:: SOT 24621100 SOS 5937830 HAS SOPS 5937830 HAS SOUS 2953635 HAS SOUPS 2953635 WITH SCORE 2959572.83
AT ITER 9717 NEW BEST:: SOT 24621099 SOS 5940655 HAS SOPS 5940655 HAS SOUS 2953632 HAS SOUPS 2953632 WITH SCORE 2959572.655
AT ITER 9760 NEW BEST:: SOT 24621290 SOS 5940652 HAS SOPS 5940652 HAS SOUS 2953438 HAS SOUPS 2953438 WITH SCORE 2959378.652
AT ITER 9765 NEW BEST:: SOT 24621290 SOS 5939494 HAS SOPS 5939494 HAS SOUS 2953052 HAS SOUPS 2953052 WITH SCORE 2958991.494
AT ITER 9770 NEW BEST:: SOT 24621198 SOS 5939310 HAS SOPS 5939310 HAS SOUS 2952868 HAS SOUPS 2952868 WITH SCORE 2958807.31
AT ITER 9776 NEW BEST:: SOT 24621181 SOS 5938263 HAS SOPS 5938263 HAS SOUS 2952834 HAS SOUPS 2952834 WITH SCORE 2958772.263
AT ITER 9788 NEW BEST:: SOT 24620373 SOS 5938253 HAS SOPS 5938253 HAS SOUS 2952833 HAS SOUPS 2952833 WITH SCORE 2958771.253
AT ITER 9790 NEW BEST:: SOT 24620635 SOS 5937494 HAS SOPS 5937494 HAS SOUS 2951903 HAS SOUPS 2951903 WITH SCORE 2957840.494
AT ITER 9793 NEW BEST:: SOT 24620305 SOS 5937165 HAS SOPS 5937165 HAS SOUS 2951611 HAS SOUPS 2951611 WITH SCORE 2957548.165
AT ITER 9814 NEW BEST:: SOT 24620305 SOS 5937109 HAS SOPS 5937109 HAS SOUS 2951555 HAS SOUPS 2951555 WITH SCORE 2957492.109
AT ITER 9815 NEW BEST:: SOT 24620535 SOS 5936649 HAS SOPS 5936649 HAS SOUS 2951555 HAS SOUPS 2951555 WITH SCORE 2957491.649
AT ITER 9825 NEW BEST:: SOT 24620010 SOS 5936256 HAS SOPS 5936256 HAS SOUS 2951162 HAS SOUPS 2951162 WITH SCORE 2957098.256
AT ITER 9839 NEW BEST:: SOT 24619868 SOS 5936827 HAS SOPS 5936827 HAS SOUS 2951111 HAS SOUPS 2951111 WITH SCORE 2957047.827
AT ITER 9951 NEW BEST:: SOT 24619818 SOS 5936777 HAS SOPS 5936777 HAS SOUS 2951061 HAS SOUPS 2951061 WITH SCORE 2956997.777
AT ITER 9960 NEW BEST:: SOT 24619859 SOS 5936859 HAS SOPS 5936859 HAS SOUS 2950922 HAS SOUPS 2950922 WITH SCORE 2956858.859
AT ITER 9979 NEW BEST:: SOT 24619788 SOS 5937144 HAS SOPS 5937144 HAS SOUS 2950902 HAS SOUPS 2950902 WITH SCORE 2956839.144
AT ITER 9996 NEW BEST:: SOT 24619760 SOS 5937224 HAS SOPS 5937224 HAS SOUS 2950874 HAS SOUPS 2950874 WITH SCORE 2956811.224
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 15127940 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16117744 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="DLCround-PT-12b"
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 DLCround-PT-12b, 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-167814484700776"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-12b.tgz
mv DLCround-PT-12b 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 ;