About the Execution of Smart+red for DLCround-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1682.831 | 3600000.00 | 3630953.00 | 748.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-167814484600712.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-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600712
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 18:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 7.9K Feb 25 18:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 18:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 18:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 18:26 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.1M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678417482878
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-08b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 03:04:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 03:04:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 03:04:44] [INFO ] Load time of PNML (sax parser for PT used): 165 ms
[2023-03-10 03:04:44] [INFO ] Transformed 3088 places.
[2023-03-10 03:04:44] [INFO ] Transformed 4732 transitions.
[2023-03-10 03:04:44] [INFO ] Found NUPN structural information;
[2023-03-10 03:04:44] [INFO ] Parsed PT model containing 3088 places and 4732 transitions and 13004 arcs in 279 ms.
[2023-03-10 03:04:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3088 places, 4732 transitions and 13004 arcs took 32 ms.
Total runtime 338 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08b
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: 3088 places, 4732 transitions, 13004 arcs.
AT ITER 0 NEW BEST:: SOT 9173617 SOS 2109158 HAS SOPS 2109158 HAS SOUS 1266858 HAS SOUPS 1266858 WITH SCORE 1268967.158
AT ITER 4 NEW BEST:: SOT 9173563 SOS 2109050 HAS SOPS 2109050 HAS SOUS 1266750 HAS SOUPS 1266750 WITH SCORE 1268859.05
AT ITER 12 NEW BEST:: SOT 9172837 SOS 2108687 HAS SOPS 2108687 HAS SOUS 1266387 HAS SOUPS 1266387 WITH SCORE 1268495.687
AT ITER 30 NEW BEST:: SOT 9172837 SOS 2110909 HAS SOPS 2110909 HAS SOUS 1266384 HAS SOUPS 1266384 WITH SCORE 1268494.909
AT ITER 31 NEW BEST:: SOT 9172837 SOS 2110909 HAS SOPS 2110909 HAS SOUS 1266380 HAS SOUPS 1266380 WITH SCORE 1268490.909
AT ITER 50 NEW BEST:: SOT 9172837 SOS 2110865 HAS SOPS 2110865 HAS SOUS 1266380 HAS SOUPS 1266380 WITH SCORE 1268490.865
AT ITER 56 NEW BEST:: SOT 9173084 SOS 2109835 HAS SOPS 2109835 HAS SOUS 1266242 HAS SOUPS 1266242 WITH SCORE 1268351.835
AT ITER 59 NEW BEST:: SOT 9173084 SOS 2110197 HAS SOPS 2110197 HAS SOUS 1266240 HAS SOUPS 1266240 WITH SCORE 1268350.197
AT ITER 115 NEW BEST:: SOT 9172528 SOS 2109737 HAS SOPS 2109737 HAS SOUS 1265684 HAS SOUPS 1265684 WITH SCORE 1267793.737
AT ITER 141 NEW BEST:: SOT 9172698 SOS 2114207 HAS SOPS 2114207 HAS SOUS 1265563 HAS SOUPS 1265563 WITH SCORE 1267677.207
AT ITER 143 NEW BEST:: SOT 9172479 SOS 2114108 HAS SOPS 2114108 HAS SOUS 1265343 HAS SOUPS 1265343 WITH SCORE 1267457.108
AT ITER 161 NEW BEST:: SOT 9172444 SOS 2114038 HAS SOPS 2114038 HAS SOUS 1265273 HAS SOUPS 1265273 WITH SCORE 1267387.038
AT ITER 162 NEW BEST:: SOT 9172443 SOS 2113998 HAS SOPS 2113998 HAS SOUS 1265233 HAS SOUPS 1265233 WITH SCORE 1267346.998
AT ITER 173 NEW BEST:: SOT 9172326 SOS 2113764 HAS SOPS 2113764 HAS SOUS 1264999 HAS SOUPS 1264999 WITH SCORE 1267112.764
AT ITER 176 NEW BEST:: SOT 9171586 SOS 2113024 HAS SOPS 2113024 HAS SOUS 1263519 HAS SOUPS 1263519 WITH SCORE 1265632.024
AT ITER 209 NEW BEST:: SOT 9170864 SOS 2111580 HAS SOPS 2111580 HAS SOUS 1262075 HAS SOUPS 1262075 WITH SCORE 1264186.58
AT ITER 217 NEW BEST:: SOT 9170619 SOS 2112066 HAS SOPS 2112066 HAS SOUS 1261829 HAS SOUPS 1261829 WITH SCORE 1263941.066
AT ITER 221 NEW BEST:: SOT 9170822 SOS 2112472 HAS SOPS 2112472 HAS SOUS 1261609 HAS SOUPS 1261609 WITH SCORE 1263721.472
AT ITER 236 NEW BEST:: SOT 9170705 SOS 2113560 HAS SOPS 2113560 HAS SOUS 1261286 HAS SOUPS 1261286 WITH SCORE 1263399.56
AT ITER 255 NEW BEST:: SOT 9170279 SOS 2113327 HAS SOPS 2113327 HAS SOUS 1261053 HAS SOUPS 1261053 WITH SCORE 1263166.327
AT ITER 269 NEW BEST:: SOT 9169707 SOS 2112751 HAS SOPS 2112751 HAS SOUS 1260480 HAS SOUPS 1260480 WITH SCORE 1262592.751
AT ITER 289 NEW BEST:: SOT 9169707 SOS 2111359 HAS SOPS 2111359 HAS SOUS 1260016 HAS SOUPS 1260016 WITH SCORE 1262127.359
AT ITER 307 NEW BEST:: SOT 9169707 SOS 2111912 HAS SOPS 2111912 HAS SOUS 1260015 HAS SOUPS 1260015 WITH SCORE 1262126.912
AT ITER 336 NEW BEST:: SOT 9169706 SOS 2111910 HAS SOPS 2111910 HAS SOUS 1260013 HAS SOUPS 1260013 WITH SCORE 1262124.91
AT ITER 344 NEW BEST:: SOT 9169227 SOS 2111644 HAS SOPS 2111644 HAS SOUS 1259747 HAS SOUPS 1259747 WITH SCORE 1261858.644
AT ITER 364 NEW BEST:: SOT 9168873 SOS 2111431 HAS SOPS 2111431 HAS SOUS 1259532 HAS SOUPS 1259532 WITH SCORE 1261643.431
AT ITER 392 NEW BEST:: SOT 9168398 SOS 2111163 HAS SOPS 2111163 HAS SOUS 1259264 HAS SOUPS 1259264 WITH SCORE 1261375.163
AT ITER 394 NEW BEST:: SOT 9168156 SOS 2110679 HAS SOPS 2110679 HAS SOUS 1258393 HAS SOUPS 1258393 WITH SCORE 1260503.679
AT ITER 400 NEW BEST:: SOT 9167897 SOS 2110420 HAS SOPS 2110420 HAS SOUS 1257824 HAS SOUPS 1257824 WITH SCORE 1259934.42
AT ITER 425 NEW BEST:: SOT 9168094 SOS 2109623 HAS SOPS 2109623 HAS SOUS 1257722 HAS SOUPS 1257722 WITH SCORE 1259831.623
AT ITER 446 NEW BEST:: SOT 9167996 SOS 2109525 HAS SOPS 2109525 HAS SOUS 1257624 HAS SOUPS 1257624 WITH SCORE 1259733.525
AT ITER 466 NEW BEST:: SOT 9167802 SOS 2106354 HAS SOPS 2106354 HAS SOUS 1256704 HAS SOUPS 1256704 WITH SCORE 1258810.354
AT ITER 470 NEW BEST:: SOT 9167800 SOS 2106304 HAS SOPS 2106304 HAS SOUS 1256654 HAS SOUPS 1256654 WITH SCORE 1258760.304
AT ITER 482 NEW BEST:: SOT 9167484 SOS 2104724 HAS SOPS 2104724 HAS SOUS 1256338 HAS SOUPS 1256338 WITH SCORE 1258442.724
AT ITER 483 NEW BEST:: SOT 9167484 SOS 2104554 HAS SOPS 2104554 HAS SOUS 1256338 HAS SOUPS 1256338 WITH SCORE 1258442.554
AT ITER 494 NEW BEST:: SOT 9166630 SOS 2104256 HAS SOPS 2104256 HAS SOUS 1255954 HAS SOUPS 1255954 WITH SCORE 1258058.256
AT ITER 506 NEW BEST:: SOT 9166608 SOS 2104212 HAS SOPS 2104212 HAS SOUS 1255910 HAS SOUPS 1255910 WITH SCORE 1258014.212
AT ITER 570 NEW BEST:: SOT 9166457 SOS 2104504 HAS SOPS 2104504 HAS SOUS 1255813 HAS SOUPS 1255813 WITH SCORE 1257917.504
AT ITER 586 NEW BEST:: SOT 9166457 SOS 2103688 HAS SOPS 2103688 HAS SOUS 1255812 HAS SOUPS 1255812 WITH SCORE 1257915.688
AT ITER 590 NEW BEST:: SOT 9166417 SOS 2103648 HAS SOPS 2103648 HAS SOUS 1255805 HAS SOUPS 1255805 WITH SCORE 1257908.648
AT ITER 609 NEW BEST:: SOT 9166365 SOS 2103544 HAS SOPS 2103544 HAS SOUS 1255701 HAS SOUPS 1255701 WITH SCORE 1257804.544
AT ITER 651 NEW BEST:: SOT 9166364 SOS 2103542 HAS SOPS 2103542 HAS SOUS 1255699 HAS SOUPS 1255699 WITH SCORE 1257802.542
AT ITER 662 NEW BEST:: SOT 9166169 SOS 2103727 HAS SOPS 2103727 HAS SOUS 1255698 HAS SOUPS 1255698 WITH SCORE 1257801.727
AT ITER 668 NEW BEST:: SOT 9166169 SOS 2103777 HAS SOPS 2103777 HAS SOUS 1255696 HAS SOUPS 1255696 WITH SCORE 1257799.777
AT ITER 681 NEW BEST:: SOT 9166107 SOS 2103653 HAS SOPS 2103653 HAS SOUS 1255572 HAS SOUPS 1255572 WITH SCORE 1257675.653
AT ITER 682 NEW BEST:: SOT 9166107 SOS 2102833 HAS SOPS 2102833 HAS SOUS 1255571 HAS SOUPS 1255571 WITH SCORE 1257673.833
AT ITER 685 NEW BEST:: SOT 9165739 SOS 2102588 HAS SOPS 2102588 HAS SOUS 1255217 HAS SOUPS 1255217 WITH SCORE 1257319.588
AT ITER 716 NEW BEST:: SOT 9166047 SOS 2105205 HAS SOPS 2105205 HAS SOUS 1255166 HAS SOUPS 1255166 WITH SCORE 1257271.205
AT ITER 729 NEW BEST:: SOT 9165643 SOS 2104801 HAS SOPS 2104801 HAS SOUS 1254762 HAS SOUPS 1254762 WITH SCORE 1256866.801
AT ITER 749 NEW BEST:: SOT 9165643 SOS 2104999 HAS SOPS 2104999 HAS SOUS 1254761 HAS SOUPS 1254761 WITH SCORE 1256865.999
AT ITER 768 NEW BEST:: SOT 9163845 SOS 2103202 HAS SOPS 2103202 HAS SOUS 1254181 HAS SOUPS 1254181 WITH SCORE 1256284.202
AT ITER 773 NEW BEST:: SOT 9163845 SOS 2103819 HAS SOPS 2103819 HAS SOUS 1254180 HAS SOUPS 1254180 WITH SCORE 1256283.819
AT ITER 783 NEW BEST:: SOT 9163079 SOS 2102287 HAS SOPS 2102287 HAS SOUS 1253414 HAS SOUPS 1253414 WITH SCORE 1255516.287
AT ITER 786 NEW BEST:: SOT 9163079 SOS 2101873 HAS SOPS 2101873 HAS SOUS 1253276 HAS SOUPS 1253276 WITH SCORE 1255377.873
AT ITER 800 NEW BEST:: SOT 9163079 SOS 2101213 HAS SOPS 2101213 HAS SOUS 1253276 HAS SOUPS 1253276 WITH SCORE 1255377.213
AT ITER 813 NEW BEST:: SOT 9163079 SOS 2101102 HAS SOPS 2101102 HAS SOUS 1253165 HAS SOUPS 1253165 WITH SCORE 1255266.102
AT ITER 819 NEW BEST:: SOT 9162934 SOS 2100812 HAS SOPS 2100812 HAS SOUS 1253020 HAS SOUPS 1253020 WITH SCORE 1255120.812
AT ITER 885 NEW BEST:: SOT 9162934 SOS 2100206 HAS SOPS 2100206 HAS SOUS 1252818 HAS SOUPS 1252818 WITH SCORE 1254918.206
AT ITER 897 NEW BEST:: SOT 9162069 SOS 2099898 HAS SOPS 2099898 HAS SOUS 1252427 HAS SOUPS 1252427 WITH SCORE 1254526.898
AT ITER 903 NEW BEST:: SOT 9160679 SOS 2097813 HAS SOPS 2097813 HAS SOUS 1250342 HAS SOUPS 1250342 WITH SCORE 1252439.813
AT ITER 907 NEW BEST:: SOT 9160598 SOS 2097732 HAS SOPS 2097732 HAS SOUS 1250261 HAS SOUPS 1250261 WITH SCORE 1252358.732
AT ITER 944 NEW BEST:: SOT 9160280 SOS 2097096 HAS SOPS 2097096 HAS SOUS 1249943 HAS SOUPS 1249943 WITH SCORE 1252040.096
AT ITER 959 NEW BEST:: SOT 9160108 SOS 2096924 HAS SOPS 2096924 HAS SOUS 1249771 HAS SOUPS 1249771 WITH SCORE 1251867.924
AT ITER 967 NEW BEST:: SOT 9159224 SOS 2096040 HAS SOPS 2096040 HAS SOUS 1248887 HAS SOUPS 1248887 WITH SCORE 1250983.04
AT ITER 974 NEW BEST:: SOT 9159070 SOS 2096086 HAS SOPS 2096086 HAS SOUS 1248823 HAS SOUPS 1248823 WITH SCORE 1250919.086
AT ITER 978 NEW BEST:: SOT 9158382 SOS 2095796 HAS SOPS 2095796 HAS SOUS 1248533 HAS SOUPS 1248533 WITH SCORE 1250628.796
AT ITER 991 NEW BEST:: SOT 9158382 SOS 2095806 HAS SOPS 2095806 HAS SOUS 1248531 HAS SOUPS 1248531 WITH SCORE 1250626.806
AT ITER 994 NEW BEST:: SOT 9158287 SOS 2096168 HAS SOPS 2096168 HAS SOUS 1248489 HAS SOUPS 1248489 WITH SCORE 1250585.168
AT ITER 1083 NEW BEST:: SOT 9157827 SOS 2095708 HAS SOPS 2095708 HAS SOUS 1248029 HAS SOUPS 1248029 WITH SCORE 1250124.708
AT ITER 1085 NEW BEST:: SOT 9157638 SOS 2095330 HAS SOPS 2095330 HAS SOUS 1247651 HAS SOUPS 1247651 WITH SCORE 1249746.33
AT ITER 1103 NEW BEST:: SOT 9157638 SOS 2096322 HAS SOPS 2096322 HAS SOUS 1247650 HAS SOUPS 1247650 WITH SCORE 1249746.322
AT ITER 1105 NEW BEST:: SOT 9157503 SOS 2096319 HAS SOPS 2096319 HAS SOUS 1247649 HAS SOUPS 1247649 WITH SCORE 1249745.319
AT ITER 1140 NEW BEST:: SOT 9157503 SOS 2096306 HAS SOPS 2096306 HAS SOUS 1247636 HAS SOUPS 1247636 WITH SCORE 1249732.306
AT ITER 1143 NEW BEST:: SOT 9157502 SOS 2096304 HAS SOPS 2096304 HAS SOUS 1247634 HAS SOUPS 1247634 WITH SCORE 1249730.304
AT ITER 1149 NEW BEST:: SOT 9157300 SOS 2096102 HAS SOPS 2096102 HAS SOUS 1247432 HAS SOUPS 1247432 WITH SCORE 1249528.102
AT ITER 1158 NEW BEST:: SOT 9157298 SOS 2096101 HAS SOPS 2096101 HAS SOUS 1247431 HAS SOUPS 1247431 WITH SCORE 1249527.101
AT ITER 1210 NEW BEST:: SOT 9157082 SOS 2095993 HAS SOPS 2095993 HAS SOUS 1247323 HAS SOUPS 1247323 WITH SCORE 1249418.993
AT ITER 1226 NEW BEST:: SOT 9156687 SOS 2094413 HAS SOPS 2094413 HAS SOUS 1246928 HAS SOUPS 1246928 WITH SCORE 1249022.413
AT ITER 1265 NEW BEST:: SOT 9156013 SOS 2093901 HAS SOPS 2093901 HAS SOUS 1246320 HAS SOUPS 1246320 WITH SCORE 1248413.901
AT ITER 1270 NEW BEST:: SOT 9156005 SOS 2093885 HAS SOPS 2093885 HAS SOUS 1246312 HAS SOUPS 1246312 WITH SCORE 1248405.885
AT ITER 1273 NEW BEST:: SOT 9155606 SOS 2093486 HAS SOPS 2093486 HAS SOUS 1245913 HAS SOUPS 1245913 WITH SCORE 1248006.486
AT ITER 1281 NEW BEST:: SOT 9154931 SOS 2092811 HAS SOPS 2092811 HAS SOUS 1245238 HAS SOUPS 1245238 WITH SCORE 1247330.811
AT ITER 1317 NEW BEST:: SOT 9154835 SOS 2092556 HAS SOPS 2092556 HAS SOUS 1245211 HAS SOUPS 1245211 WITH SCORE 1247303.556
AT ITER 1330 NEW BEST:: SOT 9154772 SOS 2092493 HAS SOPS 2092493 HAS SOUS 1245148 HAS SOUPS 1245148 WITH SCORE 1247240.493
AT ITER 1356 NEW BEST:: SOT 9154772 SOS 2093392 HAS SOPS 2093392 HAS SOUS 1245147 HAS SOUPS 1245147 WITH SCORE 1247240.392
AT ITER 1357 NEW BEST:: SOT 9154825 SOS 2093497 HAS SOPS 2093497 HAS SOUS 1245091 HAS SOUPS 1245091 WITH SCORE 1247184.497
AT ITER 1379 NEW BEST:: SOT 9154825 SOS 2092157 HAS SOPS 2092157 HAS SOUS 1244756 HAS SOUPS 1244756 WITH SCORE 1246848.157
AT ITER 1383 NEW BEST:: SOT 9154706 SOS 2091919 HAS SOPS 2091919 HAS SOUS 1244637 HAS SOUPS 1244637 WITH SCORE 1246728.919
AT ITER 1417 NEW BEST:: SOT 9154706 SOS 2091843 HAS SOPS 2091843 HAS SOUS 1244561 HAS SOUPS 1244561 WITH SCORE 1246652.843
AT ITER 1448 NEW BEST:: SOT 9154166 SOS 2091299 HAS SOPS 2091299 HAS SOUS 1244020 HAS SOUPS 1244020 WITH SCORE 1246111.299
AT ITER 1472 NEW BEST:: SOT 9154165 SOS 2091298 HAS SOPS 2091298 HAS SOUS 1244019 HAS SOUPS 1244019 WITH SCORE 1246110.298
AT ITER 1490 NEW BEST:: SOT 9153610 SOS 2090811 HAS SOPS 2090811 HAS SOUS 1243532 HAS SOUPS 1243532 WITH SCORE 1245622.811
AT ITER 1513 NEW BEST:: SOT 9153609 SOS 2090809 HAS SOPS 2090809 HAS SOUS 1243530 HAS SOUPS 1243530 WITH SCORE 1245620.809
AT ITER 1553 NEW BEST:: SOT 9153609 SOS 2090809 HAS SOPS 2090809 HAS SOUS 1243284 HAS SOUPS 1243284 WITH SCORE 1245374.809
AT ITER 1558 NEW BEST:: SOT 9153426 SOS 2090443 HAS SOPS 2090443 HAS SOUS 1243097 HAS SOUPS 1243097 WITH SCORE 1245187.443
AT ITER 1573 NEW BEST:: SOT 9153381 SOS 2090353 HAS SOPS 2090353 HAS SOUS 1243007 HAS SOUPS 1243007 WITH SCORE 1245097.353
AT ITER 1578 NEW BEST:: SOT 9153271 SOS 2090133 HAS SOPS 2090133 HAS SOUS 1242787 HAS SOUPS 1242787 WITH SCORE 1244877.133
AT ITER 1595 NEW BEST:: SOT 9153271 SOS 2090274 HAS SOPS 2090274 HAS SOUS 1242786 HAS SOUPS 1242786 WITH SCORE 1244876.274
AT ITER 1596 NEW BEST:: SOT 9153174 SOS 2089789 HAS SOPS 2089789 HAS SOUS 1242592 HAS SOUPS 1242592 WITH SCORE 1244681.789
AT ITER 1611 NEW BEST:: SOT 9153174 SOS 2089761 HAS SOPS 2089761 HAS SOUS 1242564 HAS SOUPS 1242564 WITH SCORE 1244653.761
AT ITER 1612 NEW BEST:: SOT 9153173 SOS 2089696 HAS SOPS 2089696 HAS SOUS 1242499 HAS SOUPS 1242499 WITH SCORE 1244588.696
AT ITER 1640 NEW BEST:: SOT 9153146 SOS 2089693 HAS SOPS 2089693 HAS SOUS 1242498 HAS SOUPS 1242498 WITH SCORE 1244587.693
AT ITER 1650 NEW BEST:: SOT 9153148 SOS 2089363 HAS SOPS 2089363 HAS SOUS 1242168 HAS SOUPS 1242168 WITH SCORE 1244257.363
AT ITER 1664 NEW BEST:: SOT 9153012 SOS 2089227 HAS SOPS 2089227 HAS SOUS 1242032 HAS SOUPS 1242032 WITH SCORE 1244121.227
AT ITER 1665 NEW BEST:: SOT 9151906 SOS 2088121 HAS SOPS 2088121 HAS SOUS 1240926 HAS SOUPS 1240926 WITH SCORE 1243014.121
AT ITER 1667 NEW BEST:: SOT 9151372 SOS 2082247 HAS SOPS 2082247 HAS SOUS 1239858 HAS SOUPS 1239858 WITH SCORE 1241940.247
AT ITER 1683 NEW BEST:: SOT 9151341 SOS 2082446 HAS SOPS 2082446 HAS SOUS 1239757 HAS SOUPS 1239757 WITH SCORE 1241839.446
AT ITER 1684 NEW BEST:: SOT 9151341 SOS 2082207 HAS SOPS 2082207 HAS SOUS 1239757 HAS SOUPS 1239757 WITH SCORE 1241839.207
AT ITER 1698 NEW BEST:: SOT 9151229 SOS 2081983 HAS SOPS 2081983 HAS SOUS 1239339 HAS SOUPS 1239339 WITH SCORE 1241420.983
AT ITER 1729 NEW BEST:: SOT 9151055 SOS 2081635 HAS SOPS 2081635 HAS SOUS 1239165 HAS SOUPS 1239165 WITH SCORE 1241246.635
AT ITER 1752 NEW BEST:: SOT 9150774 SOS 2082581 HAS SOPS 2082581 HAS SOUS 1238524 HAS SOUPS 1238524 WITH SCORE 1240606.581
AT ITER 1766 NEW BEST:: SOT 9150774 SOS 2082483 HAS SOPS 2082483 HAS SOUS 1238426 HAS SOUPS 1238426 WITH SCORE 1240508.483
AT ITER 1773 NEW BEST:: SOT 9150103 SOS 2081141 HAS SOPS 2081141 HAS SOUS 1237622 HAS SOUPS 1237622 WITH SCORE 1239703.141
AT ITER 1796 NEW BEST:: SOT 9149579 SOS 2079605 HAS SOPS 2079605 HAS SOUS 1237067 HAS SOUPS 1237067 WITH SCORE 1239146.605
AT ITER 1802 NEW BEST:: SOT 9147161 SOS 2079835 HAS SOPS 2079835 HAS SOUS 1234970 HAS SOUPS 1234970 WITH SCORE 1237049.835
AT ITER 1804 NEW BEST:: SOT 9147161 SOS 2078965 HAS SOPS 2078965 HAS SOUS 1234680 HAS SOUPS 1234680 WITH SCORE 1236758.965
AT ITER 1838 NEW BEST:: SOT 9146913 SOS 2079163 HAS SOPS 2079163 HAS SOUS 1234579 HAS SOUPS 1234579 WITH SCORE 1236658.163
AT ITER 1839 NEW BEST:: SOT 9146888 SOS 2079113 HAS SOPS 2079113 HAS SOUS 1234196 HAS SOUPS 1234196 WITH SCORE 1236275.113
AT ITER 1888 NEW BEST:: SOT 9146888 SOS 2079503 HAS SOPS 2079503 HAS SOUS 1234194 HAS SOUPS 1234194 WITH SCORE 1236273.503
AT ITER 1889 NEW BEST:: SOT 9146841 SOS 2079408 HAS SOPS 2079408 HAS SOUS 1234041 HAS SOUPS 1234041 WITH SCORE 1236120.408
AT ITER 1891 NEW BEST:: SOT 9146021 SOS 2077932 HAS SOPS 2077932 HAS SOUS 1234041 HAS SOUPS 1234041 WITH SCORE 1236118.932
AT ITER 1934 NEW BEST:: SOT 9146021 SOS 2078171 HAS SOPS 2078171 HAS SOUS 1234040 HAS SOUPS 1234040 WITH SCORE 1236118.171
AT ITER 1943 NEW BEST:: SOT 9145722 SOS 2078080 HAS SOPS 2078080 HAS SOUS 1233908 HAS SOUPS 1233908 WITH SCORE 1235986.08
AT ITER 1954 NEW BEST:: SOT 9145565 SOS 2077766 HAS SOPS 2077766 HAS SOUS 1233751 HAS SOUPS 1233751 WITH SCORE 1235828.766
AT ITER 1994 NEW BEST:: SOT 9145475 SOS 2077586 HAS SOPS 2077586 HAS SOUS 1233550 HAS SOUPS 1233550 WITH SCORE 1235627.586
AT ITER 2009 NEW BEST:: SOT 9145838 SOS 2076628 HAS SOPS 2076628 HAS SOUS 1233482 HAS SOUPS 1233482 WITH SCORE 1235558.628
AT ITER 2012 NEW BEST:: SOT 9145596 SOS 2076624 HAS SOPS 2076624 HAS SOUS 1233481 HAS SOUPS 1233481 WITH SCORE 1235557.624
AT ITER 2040 NEW BEST:: SOT 9145068 SOS 2077374 HAS SOPS 2077374 HAS SOUS 1233432 HAS SOUPS 1233432 WITH SCORE 1235509.374
AT ITER 2092 NEW BEST:: SOT 9144696 SOS 2076630 HAS SOPS 2076630 HAS SOUS 1232584 HAS SOUPS 1232584 WITH SCORE 1234660.63
AT ITER 2093 NEW BEST:: SOT 9144695 SOS 2076602 HAS SOPS 2076602 HAS SOUS 1232556 HAS SOUPS 1232556 WITH SCORE 1234632.602
AT ITER 2103 NEW BEST:: SOT 9144535 SOS 2076282 HAS SOPS 2076282 HAS SOUS 1232480 HAS SOUPS 1232480 WITH SCORE 1234556.282
AT ITER 2106 NEW BEST:: SOT 9144593 SOS 2076005 HAS SOPS 2076005 HAS SOUS 1232465 HAS SOUPS 1232465 WITH SCORE 1234541.005
AT ITER 2111 NEW BEST:: SOT 9144508 SOS 2075556 HAS SOPS 2075556 HAS SOUS 1232388 HAS SOUPS 1232388 WITH SCORE 1234463.556
AT ITER 2130 NEW BEST:: SOT 9144025 SOS 2075214 HAS SOPS 2075214 HAS SOUS 1231351 HAS SOUPS 1231351 WITH SCORE 1233426.214
AT ITER 2148 NEW BEST:: SOT 9143830 SOS 2075399 HAS SOPS 2075399 HAS SOUS 1231350 HAS SOUPS 1231350 WITH SCORE 1233425.399
AT ITER 2161 NEW BEST:: SOT 9143586 SOS 2075395 HAS SOPS 2075395 HAS SOUS 1231349 HAS SOUPS 1231349 WITH SCORE 1233424.395
AT ITER 2176 NEW BEST:: SOT 9143571 SOS 2075365 HAS SOPS 2075365 HAS SOUS 1231319 HAS SOUPS 1231319 WITH SCORE 1233394.365
AT ITER 2204 NEW BEST:: SOT 9143141 SOS 2073215 HAS SOPS 2073215 HAS SOUS 1230459 HAS SOUPS 1230459 WITH SCORE 1232532.215
AT ITER 2259 NEW BEST:: SOT 9143083 SOS 2072577 HAS SOPS 2072577 HAS SOUS 1230397 HAS SOUPS 1230397 WITH SCORE 1232469.577
AT ITER 2262 NEW BEST:: SOT 9142515 SOS 2072005 HAS SOPS 2072005 HAS SOUS 1229828 HAS SOUPS 1229828 WITH SCORE 1231900.005
AT ITER 2268 NEW BEST:: SOT 9142032 SOS 2072004 HAS SOPS 2072004 HAS SOUS 1229827 HAS SOUPS 1229827 WITH SCORE 1231899.004
AT ITER 2277 NEW BEST:: SOT 9141814 SOS 2071457 HAS SOPS 2071457 HAS SOUS 1229280 HAS SOUPS 1229280 WITH SCORE 1231351.457
AT ITER 2299 NEW BEST:: SOT 9141673 SOS 2071868 HAS SOPS 2071868 HAS SOUS 1229139 HAS SOUPS 1229139 WITH SCORE 1231210.868
AT ITER 2328 NEW BEST:: SOT 9141410 SOS 2071604 HAS SOPS 2071604 HAS SOUS 1229028 HAS SOUPS 1229028 WITH SCORE 1231099.604
AT ITER 2379 NEW BEST:: SOT 9141410 SOS 2071919 HAS SOPS 2071919 HAS SOUS 1229027 HAS SOUPS 1229027 WITH SCORE 1231098.919
AT ITER 2393 NEW BEST:: SOT 9141156 SOS 2072169 HAS SOPS 2072169 HAS SOUS 1228518 HAS SOUPS 1228518 WITH SCORE 1230590.169
AT ITER 2400 NEW BEST:: SOT 9141079 SOS 2072319 HAS SOPS 2072319 HAS SOUS 1228440 HAS SOUPS 1228440 WITH SCORE 1230512.319
AT ITER 2402 NEW BEST:: SOT 9140981 SOS 2072221 HAS SOPS 2072221 HAS SOUS 1228342 HAS SOUPS 1228342 WITH SCORE 1230414.221
AT ITER 2426 NEW BEST:: SOT 9140749 SOS 2072217 HAS SOPS 2072217 HAS SOUS 1228212 HAS SOUPS 1228212 WITH SCORE 1230284.217
AT ITER 2437 NEW BEST:: SOT 9140728 SOS 2072217 HAS SOPS 2072217 HAS SOUS 1228191 HAS SOUPS 1228191 WITH SCORE 1230263.217
AT ITER 2454 NEW BEST:: SOT 9140495 SOS 2071751 HAS SOPS 2071751 HAS SOUS 1227841 HAS SOUPS 1227841 WITH SCORE 1229912.751
AT ITER 2464 NEW BEST:: SOT 9140646 SOS 2072053 HAS SOPS 2072053 HAS SOUS 1227218 HAS SOUPS 1227218 WITH SCORE 1229290.053
AT ITER 2473 NEW BEST:: SOT 9140421 SOS 2072049 HAS SOPS 2072049 HAS SOUS 1227217 HAS SOUPS 1227217 WITH SCORE 1229289.049
AT ITER 2476 NEW BEST:: SOT 9140517 SOS 2071391 HAS SOPS 2071391 HAS SOUS 1227103 HAS SOUPS 1227103 WITH SCORE 1229174.391
AT ITER 2492 NEW BEST:: SOT 9140310 SOS 2070977 HAS SOPS 2070977 HAS SOUS 1226689 HAS SOUPS 1226689 WITH SCORE 1228759.977
AT ITER 2502 NEW BEST:: SOT 9140060 SOS 2071479 HAS SOPS 2071479 HAS SOUS 1226448 HAS SOUPS 1226448 WITH SCORE 1228519.479
AT ITER 2522 NEW BEST:: SOT 9139870 SOS 2070909 HAS SOPS 2070909 HAS SOUS 1226068 HAS SOUPS 1226068 WITH SCORE 1228138.909
AT ITER 2542 NEW BEST:: SOT 9139849 SOS 2070867 HAS SOPS 2070867 HAS SOUS 1225715 HAS SOUPS 1225715 WITH SCORE 1227785.867
AT ITER 2548 NEW BEST:: SOT 9139123 SOS 2070540 HAS SOPS 2070540 HAS SOUS 1225388 HAS SOUPS 1225388 WITH SCORE 1227458.54
AT ITER 2571 NEW BEST:: SOT 9139192 SOS 2070252 HAS SOPS 2070252 HAS SOUS 1225349 HAS SOUPS 1225349 WITH SCORE 1227419.252
AT ITER 2595 NEW BEST:: SOT 9138583 SOS 2069634 HAS SOPS 2069634 HAS SOUS 1224740 HAS SOUPS 1224740 WITH SCORE 1226809.634
AT ITER 2641 NEW BEST:: SOT 9138485 SOS 2069732 HAS SOPS 2069732 HAS SOUS 1224642 HAS SOUPS 1224642 WITH SCORE 1226711.732
AT ITER 2647 NEW BEST:: SOT 9138493 SOS 2069748 HAS SOPS 2069748 HAS SOUS 1224605 HAS SOUPS 1224605 WITH SCORE 1226674.748
AT ITER 2656 NEW BEST:: SOT 9138623 SOS 2069729 HAS SOPS 2069729 HAS SOUS 1224017 HAS SOUPS 1224017 WITH SCORE 1226086.729
AT ITER 2662 NEW BEST:: SOT 9137883 SOS 2068989 HAS SOPS 2068989 HAS SOUS 1222537 HAS SOUPS 1222537 WITH SCORE 1224605.989
AT ITER 2675 NEW BEST:: SOT 9137794 SOS 2068900 HAS SOPS 2068900 HAS SOUS 1222448 HAS SOUPS 1222448 WITH SCORE 1224516.9
AT ITER 2703 NEW BEST:: SOT 9137794 SOS 2069279 HAS SOPS 2069279 HAS SOUS 1222447 HAS SOUPS 1222447 WITH SCORE 1224516.279
AT ITER 2731 NEW BEST:: SOT 9137519 SOS 2069269 HAS SOPS 2069269 HAS SOUS 1222446 HAS SOUPS 1222446 WITH SCORE 1224515.269
AT ITER 2742 NEW BEST:: SOT 9137518 SOS 2069267 HAS SOPS 2069267 HAS SOUS 1222444 HAS SOUPS 1222444 WITH SCORE 1224513.267
AT ITER 2754 NEW BEST:: SOT 9137516 SOS 2069263 HAS SOPS 2069263 HAS SOUS 1222442 HAS SOUPS 1222442 WITH SCORE 1224511.263
AT ITER 2774 NEW BEST:: SOT 9137525 SOS 2069281 HAS SOPS 2069281 HAS SOUS 1222432 HAS SOUPS 1222432 WITH SCORE 1224501.281
AT ITER 2783 NEW BEST:: SOT 9137386 SOS 2069420 HAS SOPS 2069420 HAS SOUS 1222293 HAS SOUPS 1222293 WITH SCORE 1224362.42
AT ITER 2788 NEW BEST:: SOT 9137386 SOS 2068547 HAS SOPS 2068547 HAS SOUS 1222002 HAS SOUPS 1222002 WITH SCORE 1224070.547
AT ITER 2798 NEW BEST:: SOT 9137625 SOS 2067708 HAS SOPS 2067708 HAS SOUS 1221802 HAS SOUPS 1221802 WITH SCORE 1223869.708
AT ITER 2822 NEW BEST:: SOT 9137270 SOS 2068827 HAS SOPS 2068827 HAS SOUS 1221091 HAS SOUPS 1221091 WITH SCORE 1223159.827
AT ITER 2838 NEW BEST:: SOT 9137064 SOS 2068415 HAS SOPS 2068415 HAS SOUS 1220679 HAS SOUPS 1220679 WITH SCORE 1222747.415
AT ITER 2854 NEW BEST:: SOT 9137260 SOS 2067010 HAS SOPS 2067010 HAS SOUS 1220393 HAS SOUPS 1220393 WITH SCORE 1222460.01
AT ITER 2861 NEW BEST:: SOT 9137260 SOS 2066712 HAS SOPS 2066712 HAS SOUS 1220244 HAS SOUPS 1220244 WITH SCORE 1222310.712
AT ITER 2882 NEW BEST:: SOT 9137060 SOS 2066708 HAS SOPS 2066708 HAS SOUS 1220243 HAS SOUPS 1220243 WITH SCORE 1222309.708
AT ITER 2895 NEW BEST:: SOT 9137060 SOS 2066708 HAS SOPS 2066708 HAS SOUS 1220129 HAS SOUPS 1220129 WITH SCORE 1222195.708
AT ITER 2899 NEW BEST:: SOT 9137060 SOS 2067053 HAS SOPS 2067053 HAS SOUS 1219544 HAS SOUPS 1219544 WITH SCORE 1221611.053
AT ITER 2900 NEW BEST:: SOT 9136613 SOS 2066729 HAS SOPS 2066729 HAS SOUS 1219220 HAS SOUPS 1219220 WITH SCORE 1221286.729
AT ITER 2927 NEW BEST:: SOT 9136612 SOS 2066727 HAS SOPS 2066727 HAS SOUS 1219218 HAS SOUPS 1219218 WITH SCORE 1221284.727
AT ITER 2930 NEW BEST:: SOT 9136612 SOS 2066163 HAS SOPS 2066163 HAS SOUS 1219030 HAS SOUPS 1219030 WITH SCORE 1221096.163
AT ITER 2932 NEW BEST:: SOT 9136612 SOS 2067509 HAS SOPS 2067509 HAS SOUS 1218739 HAS SOUPS 1218739 WITH SCORE 1220806.509
AT ITER 2935 NEW BEST:: SOT 9136611 SOS 2069028 HAS SOPS 2069028 HAS SOUS 1218737 HAS SOUPS 1218737 WITH SCORE 1220806.028
AT ITER 2937 NEW BEST:: SOT 9136611 SOS 2069028 HAS SOPS 2069028 HAS SOUS 1218726 HAS SOUPS 1218726 WITH SCORE 1220795.028
AT ITER 2945 NEW BEST:: SOT 9136611 SOS 2069028 HAS SOPS 2069028 HAS SOUS 1218602 HAS SOUPS 1218602 WITH SCORE 1220671.028
AT ITER 2955 NEW BEST:: SOT 9136841 SOS 2069488 HAS SOPS 2069488 HAS SOUS 1218569 HAS SOUPS 1218569 WITH SCORE 1220638.488
AT ITER 2965 NEW BEST:: SOT 9136659 SOS 2069271 HAS SOPS 2069271 HAS SOUS 1218352 HAS SOUPS 1218352 WITH SCORE 1220421.271
AT ITER 3009 NEW BEST:: SOT 9136636 SOS 2069244 HAS SOPS 2069244 HAS SOUS 1218305 HAS SOUPS 1218305 WITH SCORE 1220374.244
AT ITER 3017 NEW BEST:: SOT 9134629 SOS 2073504 HAS SOPS 2073504 HAS SOUS 1217263 HAS SOUPS 1217263 WITH SCORE 1219336.504
AT ITER 3018 NEW BEST:: SOT 9134602 SOS 2073450 HAS SOPS 2073450 HAS SOUS 1217209 HAS SOUPS 1217209 WITH SCORE 1219282.45
AT ITER 3019 NEW BEST:: SOT 9134570 SOS 2073386 HAS SOPS 2073386 HAS SOUS 1217145 HAS SOUPS 1217145 WITH SCORE 1219218.386
AT ITER 3053 NEW BEST:: SOT 9134701 SOS 2073648 HAS SOPS 2073648 HAS SOUS 1216906 HAS SOUPS 1216906 WITH SCORE 1218979.648
AT ITER 3055 NEW BEST:: SOT 9134662 SOS 2073570 HAS SOPS 2073570 HAS SOUS 1216828 HAS SOUPS 1216828 WITH SCORE 1218901.57
AT ITER 3062 NEW BEST:: SOT 9134662 SOS 2073569 HAS SOPS 2073569 HAS SOUS 1216733 HAS SOUPS 1216733 WITH SCORE 1218806.569
AT ITER 3067 NEW BEST:: SOT 9134679 SOS 2073279 HAS SOPS 2073279 HAS SOUS 1216605 HAS SOUPS 1216605 WITH SCORE 1218678.279
AT ITER 3081 NEW BEST:: SOT 9134679 SOS 2073279 HAS SOPS 2073279 HAS SOUS 1216551 HAS SOUPS 1216551 WITH SCORE 1218624.279
AT ITER 3084 NEW BEST:: SOT 9134679 SOS 2074069 HAS SOPS 2074069 HAS SOUS 1216546 HAS SOUPS 1216546 WITH SCORE 1218620.069
AT ITER 3097 NEW BEST:: SOT 9134635 SOS 2073937 HAS SOPS 2073937 HAS SOUS 1216414 HAS SOUPS 1216414 WITH SCORE 1218487.937
AT ITER 3115 NEW BEST:: SOT 9134327 SOS 2073794 HAS SOPS 2073794 HAS SOUS 1216271 HAS SOUPS 1216271 WITH SCORE 1218344.794
AT ITER 3140 NEW BEST:: SOT 9133604 SOS 2065841 HAS SOPS 2065841 HAS SOUS 1214825 HAS SOUPS 1214825 WITH SCORE 1216890.841
AT ITER 3161 NEW BEST:: SOT 9133284 SOS 2065704 HAS SOPS 2065704 HAS SOUS 1214655 HAS SOUPS 1214655 WITH SCORE 1216720.704
AT ITER 3162 NEW BEST:: SOT 9132527 SOS 2064947 HAS SOPS 2064947 HAS SOUS 1213898 HAS SOUPS 1213898 WITH SCORE 1215962.947
AT ITER 3172 NEW BEST:: SOT 9132340 SOS 2067153 HAS SOPS 2067153 HAS SOUS 1213710 HAS SOUPS 1213710 WITH SCORE 1215777.153
AT ITER 3173 NEW BEST:: SOT 9132296 SOS 2067065 HAS SOPS 2067065 HAS SOUS 1213622 HAS SOUPS 1213622 WITH SCORE 1215689.065
AT ITER 3236 NEW BEST:: SOT 9132155 SOS 2066783 HAS SOPS 2066783 HAS SOUS 1213481 HAS SOUPS 1213481 WITH SCORE 1215547.783
AT ITER 3248 NEW BEST:: SOT 9132155 SOS 2070374 HAS SOPS 2070374 HAS SOUS 1213384 HAS SOUPS 1213384 WITH SCORE 1215454.374
AT ITER 3285 NEW BEST:: SOT 9132170 SOS 2070306 HAS SOPS 2070306 HAS SOUS 1213316 HAS SOUPS 1213316 WITH SCORE 1215386.306
AT ITER 3289 NEW BEST:: SOT 9132026 SOS 2070250 HAS SOPS 2070250 HAS SOUS 1213260 HAS SOUPS 1213260 WITH SCORE 1215330.25
AT ITER 3332 NEW BEST:: SOT 9131444 SOS 2070459 HAS SOPS 2070459 HAS SOUS 1212095 HAS SOUPS 1212095 WITH SCORE 1214165.459
AT ITER 3347 NEW BEST:: SOT 9131444 SOS 2070385 HAS SOPS 2070385 HAS SOUS 1212021 HAS SOUPS 1212021 WITH SCORE 1214091.385
AT ITER 3354 NEW BEST:: SOT 9131435 SOS 2070367 HAS SOPS 2070367 HAS SOUS 1212003 HAS SOUPS 1212003 WITH SCORE 1214073.367
AT ITER 3364 NEW BEST:: SOT 9131274 SOS 2070299 HAS SOPS 2070299 HAS SOUS 1211842 HAS SOUPS 1211842 WITH SCORE 1213912.299
AT ITER 3370 NEW BEST:: SOT 9131297 SOS 2070345 HAS SOPS 2070345 HAS SOUS 1211799 HAS SOUPS 1211799 WITH SCORE 1213869.345
AT ITER 3373 NEW BEST:: SOT 9131074 SOS 2069899 HAS SOPS 2069899 HAS SOUS 1211353 HAS SOUPS 1211353 WITH SCORE 1213422.899
AT ITER 3386 NEW BEST:: SOT 9130964 SOS 2069789 HAS SOPS 2069789 HAS SOUS 1211243 HAS SOUPS 1211243 WITH SCORE 1213312.789
AT ITER 3394 NEW BEST:: SOT 9130536 SOS 2069452 HAS SOPS 2069452 HAS SOUS 1210906 HAS SOUPS 1210906 WITH SCORE 1212975.452
AT ITER 3459 NEW BEST:: SOT 9130536 SOS 2068501 HAS SOPS 2068501 HAS SOUS 1210589 HAS SOUPS 1210589 WITH SCORE 1212657.501
AT ITER 3480 NEW BEST:: SOT 9130224 SOS 2068189 HAS SOPS 2068189 HAS SOUS 1210276 HAS SOUPS 1210276 WITH SCORE 1212344.189
AT ITER 3485 NEW BEST:: SOT 9130224 SOS 2068911 HAS SOPS 2068911 HAS SOUS 1210275 HAS SOUPS 1210275 WITH SCORE 1212343.911
AT ITER 3488 NEW BEST:: SOT 9130298 SOS 2069687 HAS SOPS 2069687 HAS SOUS 1209992 HAS SOUPS 1209992 WITH SCORE 1212061.687
AT ITER 3493 NEW BEST:: SOT 9130297 SOS 2069685 HAS SOPS 2069685 HAS SOUS 1209990 HAS SOUPS 1209990 WITH SCORE 1212059.685
AT ITER 3500 NEW BEST:: SOT 9130035 SOS 2068707 HAS SOPS 2068707 HAS SOUS 1209078 HAS SOUPS 1209078 WITH SCORE 1211146.707
AT ITER 3503 NEW BEST:: SOT 9130150 SOS 2068377 HAS SOPS 2068377 HAS SOUS 1208913 HAS SOUPS 1208913 WITH SCORE 1210981.377
AT ITER 3516 NEW BEST:: SOT 9130043 SOS 2068163 HAS SOPS 2068163 HAS SOUS 1208699 HAS SOUPS 1208699 WITH SCORE 1210767.163
AT ITER 3527 NEW BEST:: SOT 9130328 SOS 2068733 HAS SOPS 2068733 HAS SOUS 1208067 HAS SOUPS 1208067 WITH SCORE 1210135.733
AT ITER 3542 NEW BEST:: SOT 9130395 SOS 2068867 HAS SOPS 2068867 HAS SOUS 1207896 HAS SOUPS 1207896 WITH SCORE 1209964.867
AT ITER 3544 NEW BEST:: SOT 9130205 SOS 2068297 HAS SOPS 2068297 HAS SOUS 1207583 HAS SOUPS 1207583 WITH SCORE 1209651.297
AT ITER 3551 NEW BEST:: SOT 9129818 SOS 2068297 HAS SOPS 2068297 HAS SOUS 1207084 HAS SOUPS 1207084 WITH SCORE 1209152.297
AT ITER 3588 NEW BEST:: SOT 9129128 SOS 2067597 HAS SOPS 2067597 HAS SOUS 1206393 HAS SOUPS 1206393 WITH SCORE 1208460.597
AT ITER 3607 NEW BEST:: SOT 9128652 SOS 2067992 HAS SOPS 2067992 HAS SOUS 1206297 HAS SOUPS 1206297 WITH SCORE 1208364.992
AT ITER 3611 NEW BEST:: SOT 9128376 SOS 2067440 HAS SOPS 2067440 HAS SOUS 1206008 HAS SOUPS 1206008 WITH SCORE 1208075.44
AT ITER 3676 NEW BEST:: SOT 9128376 SOS 2067440 HAS SOPS 2067440 HAS SOUS 1205891 HAS SOUPS 1205891 WITH SCORE 1207958.44
AT ITER 3705 NEW BEST:: SOT 9128216 SOS 2068868 HAS SOPS 2068868 HAS SOUS 1205570 HAS SOUPS 1205570 WITH SCORE 1207638.868
AT ITER 3713 NEW BEST:: SOT 9128166 SOS 2068867 HAS SOPS 2068867 HAS SOUS 1205569 HAS SOUPS 1205569 WITH SCORE 1207637.867
AT ITER 3803 NEW BEST:: SOT 9127823 SOS 2068181 HAS SOPS 2068181 HAS SOUS 1204883 HAS SOUPS 1204883 WITH SCORE 1206951.181
AT ITER 3812 NEW BEST:: SOT 9127786 SOS 2068107 HAS SOPS 2068107 HAS SOUS 1204846 HAS SOUPS 1204846 WITH SCORE 1206914.107
AT ITER 3815 NEW BEST:: SOT 9127917 SOS 2068369 HAS SOPS 2068369 HAS SOUS 1204813 HAS SOUPS 1204813 WITH SCORE 1206881.369
AT ITER 3816 NEW BEST:: SOT 9127639 SOS 2068643 HAS SOPS 2068643 HAS SOUS 1204256 HAS SOUPS 1204256 WITH SCORE 1206324.643
AT ITER 3840 NEW BEST:: SOT 9127217 SOS 2066533 HAS SOPS 2066533 HAS SOUS 1203412 HAS SOUPS 1203412 WITH SCORE 1205478.533
AT ITER 3844 NEW BEST:: SOT 9127217 SOS 2066411 HAS SOPS 2066411 HAS SOUS 1203254 HAS SOUPS 1203254 WITH SCORE 1205320.411
AT ITER 3849 NEW BEST:: SOT 9127127 SOS 2066321 HAS SOPS 2066321 HAS SOUS 1203164 HAS SOUPS 1203164 WITH SCORE 1205230.321
AT ITER 3854 NEW BEST:: SOT 9127127 SOS 2066321 HAS SOPS 2066321 HAS SOUS 1203162 HAS SOUPS 1203162 WITH SCORE 1205228.321
AT ITER 3892 NEW BEST:: SOT 9127021 SOS 2065735 HAS SOPS 2065735 HAS SOUS 1203042 HAS SOUPS 1203042 WITH SCORE 1205107.735
AT ITER 3896 NEW BEST:: SOT 9126920 SOS 2064927 HAS SOPS 2064927 HAS SOUS 1202840 HAS SOUPS 1202840 WITH SCORE 1204904.927
AT ITER 3898 NEW BEST:: SOT 9126920 SOS 2064781 HAS SOPS 2064781 HAS SOUS 1202767 HAS SOUPS 1202767 WITH SCORE 1204831.781
AT ITER 3916 NEW BEST:: SOT 9126654 SOS 2068901 HAS SOPS 2068901 HAS SOUS 1202234 HAS SOUPS 1202234 WITH SCORE 1204302.901
AT ITER 3933 NEW BEST:: SOT 9126052 SOS 2067998 HAS SOPS 2067998 HAS SOUS 1201331 HAS SOUPS 1201331 WITH SCORE 1203398.998
AT ITER 3936 NEW BEST:: SOT 9125684 SOS 2067554 HAS SOPS 2067554 HAS SOUS 1200887 HAS SOUPS 1200887 WITH SCORE 1202954.554
AT ITER 3969 NEW BEST:: SOT 9125352 SOS 2067264 HAS SOPS 2067264 HAS SOUS 1200597 HAS SOUPS 1200597 WITH SCORE 1202664.264
AT ITER 4005 NEW BEST:: SOT 9125260 SOS 2067080 HAS SOPS 2067080 HAS SOUS 1200413 HAS SOUPS 1200413 WITH SCORE 1202480.08
AT ITER 4044 NEW BEST:: SOT 9125260 SOS 2066997 HAS SOPS 2066997 HAS SOUS 1200330 HAS SOUPS 1200330 WITH SCORE 1202396.997
AT ITER 4074 NEW BEST:: SOT 9125150 SOS 2066931 HAS SOPS 2066931 HAS SOUS 1200264 HAS SOUPS 1200264 WITH SCORE 1202330.931
AT ITER 4083 NEW BEST:: SOT 9125150 SOS 2066929 HAS SOPS 2066929 HAS SOUS 1200262 HAS SOUPS 1200262 WITH SCORE 1202328.929
AT ITER 4098 NEW BEST:: SOT 9125069 SOS 2066767 HAS SOPS 2066767 HAS SOUS 1200100 HAS SOUPS 1200100 WITH SCORE 1202166.767
AT ITER 4127 NEW BEST:: SOT 9124635 SOS 2066490 HAS SOPS 2066490 HAS SOUS 1199823 HAS SOUPS 1199823 WITH SCORE 1201889.49
AT ITER 4134 NEW BEST:: SOT 9123969 SOS 2067156 HAS SOPS 2067156 HAS SOUS 1199023 HAS SOUPS 1199023 WITH SCORE 1201090.156
AT ITER 4135 NEW BEST:: SOT 9123705 SOS 2066628 HAS SOPS 2066628 HAS SOUS 1198759 HAS SOUPS 1198759 WITH SCORE 1200825.628
AT ITER 4138 NEW BEST:: SOT 9123236 SOS 2065690 HAS SOPS 2065690 HAS SOUS 1197551 HAS SOUPS 1197551 WITH SCORE 1199616.69
AT ITER 4163 NEW BEST:: SOT 9123198 SOS 2065614 HAS SOPS 2065614 HAS SOUS 1197475 HAS SOUPS 1197475 WITH SCORE 1199540.614
AT ITER 4183 NEW BEST:: SOT 9121610 SOS 2063232 HAS SOPS 2063232 HAS SOUS 1195093 HAS SOUPS 1195093 WITH SCORE 1197156.232
AT ITER 4211 NEW BEST:: SOT 9121610 SOS 2063321 HAS SOPS 2063321 HAS SOUS 1194993 HAS SOUPS 1194993 WITH SCORE 1197056.321
AT ITER 4219 NEW BEST:: SOT 9121123 SOS 2062347 HAS SOPS 2062347 HAS SOUS 1194019 HAS SOUPS 1194019 WITH SCORE 1196081.347
AT ITER 4266 NEW BEST:: SOT 9121123 SOS 2061588 HAS SOPS 2061588 HAS SOUS 1193766 HAS SOUPS 1193766 WITH SCORE 1195827.588
AT ITER 4293 NEW BEST:: SOT 9121027 SOS 2061396 HAS SOPS 2061396 HAS SOUS 1193670 HAS SOUPS 1193670 WITH SCORE 1195731.396
AT ITER 4321 NEW BEST:: SOT 9120326 SOS 2061393 HAS SOPS 2061393 HAS SOUS 1192267 HAS SOUPS 1192267 WITH SCORE 1194328.393
AT ITER 4337 NEW BEST:: SOT 9120002 SOS 2057673 HAS SOPS 2057673 HAS SOUS 1191976 HAS SOUPS 1191976 WITH SCORE 1194033.673
AT ITER 4359 NEW BEST:: SOT 9119466 SOS 2057408 HAS SOPS 2057408 HAS SOUS 1191496 HAS SOUPS 1191496 WITH SCORE 1193553.408
AT ITER 4361 NEW BEST:: SOT 9119550 SOS 2057331 HAS SOPS 2057331 HAS SOUS 1191195 HAS SOUPS 1191195 WITH SCORE 1193252.331
AT ITER 4466 NEW BEST:: SOT 9119358 SOS 2057214 HAS SOPS 2057214 HAS SOUS 1191078 HAS SOUPS 1191078 WITH SCORE 1193135.214
AT ITER 4510 NEW BEST:: SOT 9119358 SOS 2056959 HAS SOPS 2056959 HAS SOUS 1191078 HAS SOUPS 1191078 WITH SCORE 1193134.959
AT ITER 4559 NEW BEST:: SOT 9118872 SOS 2055987 HAS SOPS 2055987 HAS SOUS 1190396 HAS SOUPS 1190396 WITH SCORE 1192451.987
AT ITER 4582 NEW BEST:: SOT 9118625 SOS 2056788 HAS SOPS 2056788 HAS SOUS 1190370 HAS SOUPS 1190370 WITH SCORE 1192426.788
AT ITER 4584 NEW BEST:: SOT 9118480 SOS 2056498 HAS SOPS 2056498 HAS SOUS 1190080 HAS SOUPS 1190080 WITH SCORE 1192136.498
AT ITER 4593 NEW BEST:: SOT 9118480 SOS 2056486 HAS SOPS 2056486 HAS SOUS 1190076 HAS SOUPS 1190076 WITH SCORE 1192132.486
AT ITER 4610 NEW BEST:: SOT 9118479 SOS 2056560 HAS SOPS 2056560 HAS SOUS 1190074 HAS SOUPS 1190074 WITH SCORE 1192130.56
AT ITER 4637 NEW BEST:: SOT 9118329 SOS 2056260 HAS SOPS 2056260 HAS SOUS 1189774 HAS SOUPS 1189774 WITH SCORE 1191830.26
AT ITER 4668 NEW BEST:: SOT 9118132 SOS 2056508 HAS SOPS 2056508 HAS SOUS 1189693 HAS SOUPS 1189693 WITH SCORE 1191749.508
AT ITER 4717 NEW BEST:: SOT 9117791 SOS 2055707 HAS SOPS 2055707 HAS SOUS 1189528 HAS SOUPS 1189528 WITH SCORE 1191583.707
AT ITER 4731 NEW BEST:: SOT 9117702 SOS 2055591 HAS SOPS 2055591 HAS SOUS 1189377 HAS SOUPS 1189377 WITH SCORE 1191432.591
AT ITER 4737 NEW BEST:: SOT 9117373 SOS 2055258 HAS SOPS 2055258 HAS SOUS 1189047 HAS SOUPS 1189047 WITH SCORE 1191102.258
AT ITER 4769 NEW BEST:: SOT 9116941 SOS 2054958 HAS SOPS 2054958 HAS SOUS 1188758 HAS SOUPS 1188758 WITH SCORE 1190812.958
AT ITER 4774 NEW BEST:: SOT 9116334 SOS 2055565 HAS SOPS 2055565 HAS SOUS 1188151 HAS SOUPS 1188151 WITH SCORE 1190206.565
AT ITER 4777 NEW BEST:: SOT 9116174 SOS 2055602 HAS SOPS 2055602 HAS SOUS 1188109 HAS SOUPS 1188109 WITH SCORE 1190164.602
AT ITER 4803 NEW BEST:: SOT 9116174 SOS 2055448 HAS SOPS 2055448 HAS SOUS 1188032 HAS SOUPS 1188032 WITH SCORE 1190087.448
AT ITER 4810 NEW BEST:: SOT 9116174 SOS 2055960 HAS SOPS 2055960 HAS SOUS 1188031 HAS SOUPS 1188031 WITH SCORE 1190086.96
AT ITER 4833 NEW BEST:: SOT 9116181 SOS 2055959 HAS SOPS 2055959 HAS SOUS 1188030 HAS SOUPS 1188030 WITH SCORE 1190085.959
AT ITER 4843 NEW BEST:: SOT 9116472 SOS 2054966 HAS SOPS 2054966 HAS SOUS 1187941 HAS SOUPS 1187941 WITH SCORE 1189995.966
AT ITER 4850 NEW BEST:: SOT 9116443 SOS 2054937 HAS SOPS 2054937 HAS SOUS 1187912 HAS SOUPS 1187912 WITH SCORE 1189966.937
AT ITER 4899 NEW BEST:: SOT 9116443 SOS 2055095 HAS SOPS 2055095 HAS SOUS 1187716 HAS SOUPS 1187716 WITH SCORE 1189771.095
AT ITER 4907 NEW BEST:: SOT 9116443 SOS 2055039 HAS SOPS 2055039 HAS SOUS 1187660 HAS SOUPS 1187660 WITH SCORE 1189715.039
AT ITER 4909 NEW BEST:: SOT 9116370 SOS 2054893 HAS SOPS 2054893 HAS SOUS 1187514 HAS SOUPS 1187514 WITH SCORE 1189568.893
AT ITER 4914 NEW BEST:: SOT 9115719 SOS 2057926 HAS SOPS 2057926 HAS SOUS 1187214 HAS SOUPS 1187214 WITH SCORE 1189271.926
AT ITER 4928 NEW BEST:: SOT 9113919 SOS 2055901 HAS SOPS 2055901 HAS SOUS 1185622 HAS SOUPS 1185622 WITH SCORE 1187677.901
AT ITER 4930 NEW BEST:: SOT 9113874 SOS 2055900 HAS SOPS 2055900 HAS SOUS 1185621 HAS SOUPS 1185621 WITH SCORE 1187676.9
AT ITER 4934 NEW BEST:: SOT 9113874 SOS 2055694 HAS SOPS 2055694 HAS SOUS 1185621 HAS SOUPS 1185621 WITH SCORE 1187676.694
AT ITER 4940 NEW BEST:: SOT 9113874 SOS 2055694 HAS SOPS 2055694 HAS SOUS 1185543 HAS SOUPS 1185543 WITH SCORE 1187598.694
AT ITER 4984 NEW BEST:: SOT 9113874 SOS 2057709 HAS SOPS 2057709 HAS SOUS 1185317 HAS SOUPS 1185317 WITH SCORE 1187374.709
AT ITER 4996 NEW BEST:: SOT 9113716 SOS 2057641 HAS SOPS 2057641 HAS SOUS 1185159 HAS SOUPS 1185159 WITH SCORE 1187216.641
AT ITER 5015 NEW BEST:: SOT 9112181 SOS 2069883 HAS SOPS 2069883 HAS SOUS 1184395 HAS SOUPS 1184395 WITH SCORE 1186464.883
AT ITER 5023 NEW BEST:: SOT 9112108 SOS 2070009 HAS SOPS 2070009 HAS SOUS 1184376 HAS SOUPS 1184376 WITH SCORE 1186446.009
AT ITER 5055 NEW BEST:: SOT 9112108 SOS 2069769 HAS SOPS 2069769 HAS SOUS 1184136 HAS SOUPS 1184136 WITH SCORE 1186205.769
AT ITER 5083 NEW BEST:: SOT 9111368 SOS 2069735 HAS SOPS 2069735 HAS SOUS 1183836 HAS SOUPS 1183836 WITH SCORE 1185905.735
AT ITER 5105 NEW BEST:: SOT 9111187 SOS 2069685 HAS SOPS 2069685 HAS SOUS 1183759 HAS SOUPS 1183759 WITH SCORE 1185828.685
AT ITER 5123 NEW BEST:: SOT 9110222 SOS 2068595 HAS SOPS 2068595 HAS SOUS 1181954 HAS SOUPS 1181954 WITH SCORE 1184022.595
AT ITER 5134 NEW BEST:: SOT 9110160 SOS 2068471 HAS SOPS 2068471 HAS SOUS 1181774 HAS SOUPS 1181774 WITH SCORE 1183842.471
AT ITER 5145 NEW BEST:: SOT 9109863 SOS 2068174 HAS SOPS 2068174 HAS SOUS 1181477 HAS SOUPS 1181477 WITH SCORE 1183545.174
AT ITER 5160 NEW BEST:: SOT 9108185 SOS 2066666 HAS SOPS 2066666 HAS SOUS 1179969 HAS SOUPS 1179969 WITH SCORE 1182035.666
AT ITER 5187 NEW BEST:: SOT 9108093 SOS 2066482 HAS SOPS 2066482 HAS SOUS 1179930 HAS SOUPS 1179930 WITH SCORE 1181996.482
AT ITER 5241 NEW BEST:: SOT 9108006 SOS 2066395 HAS SOPS 2066395 HAS SOUS 1179843 HAS SOUPS 1179843 WITH SCORE 1181909.395
AT ITER 5256 NEW BEST:: SOT 9107957 SOS 2066489 HAS SOPS 2066489 HAS SOUS 1179793 HAS SOUPS 1179793 WITH SCORE 1181859.489
AT ITER 5264 NEW BEST:: SOT 9107957 SOS 2067087 HAS SOPS 2067087 HAS SOUS 1179483 HAS SOUPS 1179483 WITH SCORE 1181550.087
AT ITER 5273 NEW BEST:: SOT 9107840 SOS 2066853 HAS SOPS 2066853 HAS SOUS 1179249 HAS SOUPS 1179249 WITH SCORE 1181315.853
AT ITER 5274 NEW BEST:: SOT 9107765 SOS 2066720 HAS SOPS 2066720 HAS SOUS 1179116 HAS SOUPS 1179116 WITH SCORE 1181182.72
AT ITER 5283 NEW BEST:: SOT 9107765 SOS 2064739 HAS SOPS 2064739 HAS SOUS 1178604 HAS SOUPS 1178604 WITH SCORE 1180668.739
AT ITER 5319 NEW BEST:: SOT 9107742 SOS 2064693 HAS SOPS 2064693 HAS SOUS 1178558 HAS SOUPS 1178558 WITH SCORE 1180622.693
AT ITER 5365 NEW BEST:: SOT 9107599 SOS 2062834 HAS SOPS 2062834 HAS SOUS 1178272 HAS SOUPS 1178272 WITH SCORE 1180334.834
AT ITER 5380 NEW BEST:: SOT 9107483 SOS 2063646 HAS SOPS 2063646 HAS SOUS 1178040 HAS SOUPS 1178040 WITH SCORE 1180103.646
AT ITER 5405 NEW BEST:: SOT 9107403 SOS 2063406 HAS SOPS 2063406 HAS SOUS 1177800 HAS SOUPS 1177800 WITH SCORE 1179863.406
AT ITER 5411 NEW BEST:: SOT 9107243 SOS 2063320 HAS SOPS 2063320 HAS SOUS 1177714 HAS SOUPS 1177714 WITH SCORE 1179777.32
AT ITER 5426 NEW BEST:: SOT 9107233 SOS 2063590 HAS SOPS 2063590 HAS SOUS 1177704 HAS SOUPS 1177704 WITH SCORE 1179767.59
AT ITER 5432 NEW BEST:: SOT 9107269 SOS 2063662 HAS SOPS 2063662 HAS SOUS 1177433 HAS SOUPS 1177433 WITH SCORE 1179496.662
AT ITER 5434 NEW BEST:: SOT 9106615 SOS 2060303 HAS SOPS 2060303 HAS SOUS 1176514 HAS SOUPS 1176514 WITH SCORE 1178574.303
AT ITER 5460 NEW BEST:: SOT 9106509 SOS 2060511 HAS SOPS 2060511 HAS SOUS 1176407 HAS SOUPS 1176407 WITH SCORE 1178467.511
AT ITER 5480 NEW BEST:: SOT 9105721 SOS 2060076 HAS SOPS 2060076 HAS SOUS 1175972 HAS SOUPS 1175972 WITH SCORE 1178032.076
AT ITER 5510 NEW BEST:: SOT 9105326 SOS 2059616 HAS SOPS 2059616 HAS SOUS 1175897 HAS SOUPS 1175897 WITH SCORE 1177956.616
AT ITER 5531 NEW BEST:: SOT 9105207 SOS 2059613 HAS SOPS 2059613 HAS SOUS 1175896 HAS SOUPS 1175896 WITH SCORE 1177955.613
AT ITER 5546 NEW BEST:: SOT 9104633 SOS 2058465 HAS SOPS 2058465 HAS SOUS 1175322 HAS SOUPS 1175322 WITH SCORE 1177380.465
AT ITER 5557 NEW BEST:: SOT 9104633 SOS 2058363 HAS SOPS 2058363 HAS SOUS 1175220 HAS SOUPS 1175220 WITH SCORE 1177278.363
AT ITER 5558 NEW BEST:: SOT 9104633 SOS 2057990 HAS SOPS 2057990 HAS SOUS 1174847 HAS SOUPS 1174847 WITH SCORE 1176904.99
AT ITER 5563 NEW BEST:: SOT 9104180 SOS 2057084 HAS SOPS 2057084 HAS SOUS 1174427 HAS SOUPS 1174427 WITH SCORE 1176484.084
AT ITER 5567 NEW BEST:: SOT 9103636 SOS 2056808 HAS SOPS 2056808 HAS SOUS 1174172 HAS SOUPS 1174172 WITH SCORE 1176228.808
AT ITER 5572 NEW BEST:: SOT 9103647 SOS 2056830 HAS SOPS 2056830 HAS SOUS 1173942 HAS SOUPS 1173942 WITH SCORE 1175998.83
AT ITER 5588 NEW BEST:: SOT 9103647 SOS 2056452 HAS SOPS 2056452 HAS SOUS 1173942 HAS SOUPS 1173942 WITH SCORE 1175998.452
AT ITER 5636 NEW BEST:: SOT 9103581 SOS 2056320 HAS SOPS 2056320 HAS SOUS 1173810 HAS SOUPS 1173810 WITH SCORE 1175866.32
AT ITER 5681 NEW BEST:: SOT 9103581 SOS 2056300 HAS SOPS 2056300 HAS SOUS 1173790 HAS SOUPS 1173790 WITH SCORE 1175846.3
AT ITER 5702 NEW BEST:: SOT 9103581 SOS 2055430 HAS SOPS 2055430 HAS SOUS 1173789 HAS SOUPS 1173789 WITH SCORE 1175844.43
AT ITER 5720 NEW BEST:: SOT 9103250 SOS 2054768 HAS SOPS 2054768 HAS SOUS 1173127 HAS SOUPS 1173127 WITH SCORE 1175181.768
AT ITER 5722 NEW BEST:: SOT 9103250 SOS 2054520 HAS SOPS 2054520 HAS SOUS 1173127 HAS SOUPS 1173127 WITH SCORE 1175181.52
AT ITER 5769 NEW BEST:: SOT 9103239 SOS 2054519 HAS SOPS 2054519 HAS SOUS 1173126 HAS SOUPS 1173126 WITH SCORE 1175180.519
AT ITER 5784 NEW BEST:: SOT 9103066 SOS 2054173 HAS SOPS 2054173 HAS SOUS 1173126 HAS SOUPS 1173126 WITH SCORE 1175180.173
AT ITER 5789 NEW BEST:: SOT 9103038 SOS 2054117 HAS SOPS 2054117 HAS SOUS 1173070 HAS SOUPS 1173070 WITH SCORE 1175124.117
AT ITER 5792 NEW BEST:: SOT 9103038 SOS 2054061 HAS SOPS 2054061 HAS SOUS 1173070 HAS SOUPS 1173070 WITH SCORE 1175124.061
AT ITER 5794 NEW BEST:: SOT 9102948 SOS 2054016 HAS SOPS 2054016 HAS SOUS 1173025 HAS SOUPS 1173025 WITH SCORE 1175079.016
AT ITER 5804 NEW BEST:: SOT 9102751 SOS 2053031 HAS SOPS 2053031 HAS SOUS 1172828 HAS SOUPS 1172828 WITH SCORE 1174881.031
AT ITER 5840 NEW BEST:: SOT 9102976 SOS 2053481 HAS SOPS 2053481 HAS SOUS 1172661 HAS SOUPS 1172661 WITH SCORE 1174714.481
AT ITER 5867 NEW BEST:: SOT 9102942 SOS 2053413 HAS SOPS 2053413 HAS SOUS 1172593 HAS SOUPS 1172593 WITH SCORE 1174646.413
AT ITER 5880 NEW BEST:: SOT 9102223 SOS 2052838 HAS SOPS 2052838 HAS SOUS 1171155 HAS SOUPS 1171155 WITH SCORE 1173207.838
AT ITER 5905 NEW BEST:: SOT 9102223 SOS 2052695 HAS SOPS 2052695 HAS SOUS 1171012 HAS SOUPS 1171012 WITH SCORE 1173064.695
AT ITER 5922 NEW BEST:: SOT 9102222 SOS 2052693 HAS SOPS 2052693 HAS SOUS 1171010 HAS SOUPS 1171010 WITH SCORE 1173062.693
AT ITER 5926 NEW BEST:: SOT 9102527 SOS 2052021 HAS SOPS 2052021 HAS SOUS 1170881 HAS SOUPS 1170881 WITH SCORE 1172933.021
AT ITER 5989 NEW BEST:: SOT 9102454 SOS 2052286 HAS SOPS 2052286 HAS SOUS 1170735 HAS SOUPS 1170735 WITH SCORE 1172787.286
AT ITER 5996 NEW BEST:: SOT 9102454 SOS 2052286 HAS SOPS 2052286 HAS SOUS 1170441 HAS SOUPS 1170441 WITH SCORE 1172493.286
AT ITER 6002 NEW BEST:: SOT 9102424 SOS 2052342 HAS SOPS 2052342 HAS SOUS 1170410 HAS SOUPS 1170410 WITH SCORE 1172462.342
AT ITER 6011 NEW BEST:: SOT 9102264 SOS 2052257 HAS SOPS 2052257 HAS SOUS 1170325 HAS SOUPS 1170325 WITH SCORE 1172377.257
AT ITER 6059 NEW BEST:: SOT 9102264 SOS 2052562 HAS SOPS 2052562 HAS SOUS 1170324 HAS SOUPS 1170324 WITH SCORE 1172376.562
AT ITER 6090 NEW BEST:: SOT 9102255 SOS 2052564 HAS SOPS 2052564 HAS SOUS 1170316 HAS SOUPS 1170316 WITH SCORE 1172368.564
AT ITER 6118 NEW BEST:: SOT 9102237 SOS 2052688 HAS SOPS 2052688 HAS SOUS 1170296 HAS SOUPS 1170296 WITH SCORE 1172348.688
AT ITER 6124 NEW BEST:: SOT 9102237 SOS 2052807 HAS SOPS 2052807 HAS SOUS 1170226 HAS SOUPS 1170226 WITH SCORE 1172278.807
AT ITER 6167 NEW BEST:: SOT 9102580 SOS 2052464 HAS SOPS 2052464 HAS SOUS 1170226 HAS SOUPS 1170226 WITH SCORE 1172278.464
AT ITER 6168 NEW BEST:: SOT 9102580 SOS 2052464 HAS SOPS 2052464 HAS SOUS 1170149 HAS SOUPS 1170149 WITH SCORE 1172201.464
AT ITER 6188 NEW BEST:: SOT 9102426 SOS 2052157 HAS SOPS 2052157 HAS SOUS 1169842 HAS SOUPS 1169842 WITH SCORE 1171894.157
AT ITER 6207 NEW BEST:: SOT 9102344 SOS 2051993 HAS SOPS 2051993 HAS SOUS 1169759 HAS SOUPS 1169759 WITH SCORE 1171810.993
AT ITER 6209 NEW BEST:: SOT 9102821 SOS 2053530 HAS SOPS 2053530 HAS SOUS 1169653 HAS SOUPS 1169653 WITH SCORE 1171706.53
AT ITER 6228 NEW BEST:: SOT 9102879 SOS 2053086 HAS SOPS 2053086 HAS SOUS 1169209 HAS SOUPS 1169209 WITH SCORE 1171262.086
AT ITER 6258 NEW BEST:: SOT 9102879 SOS 2052588 HAS SOPS 2052588 HAS SOUS 1169209 HAS SOUPS 1169209 WITH SCORE 1171261.588
AT ITER 6281 NEW BEST:: SOT 9102748 SOS 2052326 HAS SOPS 2052326 HAS SOUS 1168947 HAS SOUPS 1168947 WITH SCORE 1170999.326
AT ITER 6338 NEW BEST:: SOT 9102774 SOS 2052637 HAS SOPS 2052637 HAS SOUS 1168464 HAS SOUPS 1168464 WITH SCORE 1170516.637
AT ITER 6340 NEW BEST:: SOT 9103036 SOS 2052610 HAS SOPS 2052610 HAS SOUS 1168437 HAS SOUPS 1168437 WITH SCORE 1170489.61
AT ITER 6361 NEW BEST:: SOT 9102997 SOS 2052256 HAS SOPS 2052256 HAS SOUS 1168358 HAS SOUPS 1168358 WITH SCORE 1170410.256
AT ITER 6368 NEW BEST:: SOT 9102997 SOS 2052143 HAS SOPS 2052143 HAS SOUS 1167929 HAS SOUPS 1167929 WITH SCORE 1169981.143
AT ITER 6374 NEW BEST:: SOT 9102971 SOS 2051199 HAS SOPS 2051199 HAS SOUS 1167602 HAS SOUPS 1167602 WITH SCORE 1169653.199
AT ITER 6390 NEW BEST:: SOT 9102971 SOS 2050818 HAS SOPS 2050818 HAS SOUS 1167475 HAS SOUPS 1167475 WITH SCORE 1169525.818
AT ITER 6415 NEW BEST:: SOT 9102912 SOS 2051774 HAS SOPS 2051774 HAS SOUS 1167357 HAS SOUPS 1167357 WITH SCORE 1169408.774
AT ITER 6429 NEW BEST:: SOT 9102690 SOS 2051552 HAS SOPS 2051552 HAS SOUS 1167135 HAS SOUPS 1167135 WITH SCORE 1169186.552
AT ITER 6440 NEW BEST:: SOT 9102690 SOS 2051401 HAS SOPS 2051401 HAS SOUS 1166984 HAS SOUPS 1166984 WITH SCORE 1169035.401
AT ITER 6454 NEW BEST:: SOT 9102912 SOS 2051098 HAS SOPS 2051098 HAS SOUS 1166957 HAS SOUPS 1166957 WITH SCORE 1169008.098
AT ITER 6491 NEW BEST:: SOT 9102912 SOS 2051898 HAS SOPS 2051898 HAS SOUS 1166956 HAS SOUPS 1166956 WITH SCORE 1169007.898
AT ITER 6506 NEW BEST:: SOT 9102750 SOS 2052082 HAS SOPS 2052082 HAS SOUS 1166947 HAS SOUPS 1166947 WITH SCORE 1168999.082
AT ITER 6548 NEW BEST:: SOT 9102750 SOS 2051962 HAS SOPS 2051962 HAS SOUS 1166827 HAS SOUPS 1166827 WITH SCORE 1168878.962
AT ITER 6552 NEW BEST:: SOT 9102875 SOS 2052212 HAS SOPS 2052212 HAS SOUS 1166773 HAS SOUPS 1166773 WITH SCORE 1168825.212
AT ITER 6562 NEW BEST:: SOT 9102749 SOS 2052086 HAS SOPS 2052086 HAS SOUS 1166647 HAS SOUPS 1166647 WITH SCORE 1168699.086
AT ITER 6571 NEW BEST:: SOT 9102659 SOS 2051906 HAS SOPS 2051906 HAS SOUS 1166467 HAS SOUPS 1166467 WITH SCORE 1168518.906
AT ITER 6572 NEW BEST:: SOT 9102659 SOS 2051126 HAS SOPS 2051126 HAS SOUS 1166207 HAS SOUPS 1166207 WITH SCORE 1168258.126
AT ITER 6580 NEW BEST:: SOT 9102659 SOS 2050274 HAS SOPS 2050274 HAS SOUS 1165923 HAS SOUPS 1165923 WITH SCORE 1167973.274
AT ITER 6630 NEW BEST:: SOT 9102349 SOS 2053186 HAS SOPS 2053186 HAS SOUS 1165419 HAS SOUPS 1165419 WITH SCORE 1167472.186
AT ITER 6648 NEW BEST:: SOT 9102349 SOS 2053224 HAS SOPS 2053224 HAS SOUS 1165418 HAS SOUPS 1165418 WITH SCORE 1167471.224
AT ITER 6666 NEW BEST:: SOT 9102263 SOS 2051951 HAS SOPS 2051951 HAS SOUS 1165075 HAS SOUPS 1165075 WITH SCORE 1167126.951
AT ITER 6675 NEW BEST:: SOT 9102247 SOS 2051871 HAS SOPS 2051871 HAS SOUS 1165043 HAS SOUPS 1165043 WITH SCORE 1167094.871
AT ITER 6703 NEW BEST:: SOT 9102246 SOS 2051870 HAS SOPS 2051870 HAS SOUS 1165042 HAS SOUPS 1165042 WITH SCORE 1167093.87
AT ITER 6704 NEW BEST:: SOT 9099777 SOS 2049569 HAS SOPS 2049569 HAS SOUS 1162741 HAS SOUPS 1162741 WITH SCORE 1164790.569
AT ITER 6735 NEW BEST:: SOT 9099297 SOS 2048893 HAS SOPS 2048893 HAS SOUS 1162059 HAS SOUPS 1162059 WITH SCORE 1164107.893
AT ITER 6738 NEW BEST:: SOT 9099254 SOS 2048331 HAS SOPS 2048331 HAS SOUS 1161973 HAS SOUPS 1161973 WITH SCORE 1164021.331
AT ITER 6763 NEW BEST:: SOT 9098983 SOS 2051901 HAS SOPS 2051901 HAS SOUS 1161430 HAS SOUPS 1161430 WITH SCORE 1163481.901
AT ITER 6770 NEW BEST:: SOT 9098983 SOS 2047751 HAS SOPS 2047751 HAS SOUS 1161102 HAS SOUPS 1161102 WITH SCORE 1163149.751
AT ITER 6789 NEW BEST:: SOT 9098761 SOS 2048108 HAS SOPS 2048108 HAS SOUS 1160880 HAS SOUPS 1160880 WITH SCORE 1162928.108
AT ITER 6823 NEW BEST:: SOT 9098721 SOS 2048028 HAS SOPS 2048028 HAS SOUS 1160840 HAS SOUPS 1160840 WITH SCORE 1162888.028
AT ITER 6831 NEW BEST:: SOT 9098470 SOS 2047526 HAS SOPS 2047526 HAS SOUS 1160433 HAS SOUPS 1160433 WITH SCORE 1162480.526
AT ITER 6844 NEW BEST:: SOT 9098470 SOS 2047476 HAS SOPS 2047476 HAS SOUS 1160433 HAS SOUPS 1160433 WITH SCORE 1162480.476
AT ITER 6850 NEW BEST:: SOT 9098498 SOS 2048135 HAS SOPS 2048135 HAS SOUS 1160422 HAS SOUPS 1160422 WITH SCORE 1162470.135
AT ITER 6854 NEW BEST:: SOT 9098073 SOS 2047585 HAS SOPS 2047585 HAS SOUS 1160316 HAS SOUPS 1160316 WITH SCORE 1162363.585
AT ITER 6917 NEW BEST:: SOT 9098118 SOS 2047675 HAS SOPS 2047675 HAS SOUS 1160239 HAS SOUPS 1160239 WITH SCORE 1162286.675
AT ITER 6948 NEW BEST:: SOT 9098096 SOS 2047640 HAS SOPS 2047640 HAS SOUS 1160204 HAS SOUPS 1160204 WITH SCORE 1162251.64
AT ITER 6982 NEW BEST:: SOT 9098459 SOS 2046140 HAS SOPS 2046140 HAS SOUS 1159825 HAS SOUPS 1159825 WITH SCORE 1161871.14
AT ITER 7053 NEW BEST:: SOT 9098386 SOS 2045994 HAS SOPS 2045994 HAS SOUS 1159752 HAS SOUPS 1159752 WITH SCORE 1161797.994
AT ITER 7056 NEW BEST:: SOT 9098331 SOS 2047547 HAS SOPS 2047547 HAS SOUS 1159641 HAS SOUPS 1159641 WITH SCORE 1161688.547
AT ITER 7068 NEW BEST:: SOT 9097717 SOS 2046929 HAS SOPS 2046929 HAS SOUS 1159026 HAS SOUPS 1159026 WITH SCORE 1161072.929
AT ITER 7069 NEW BEST:: SOT 9097383 SOS 2046261 HAS SOPS 2046261 HAS SOUS 1158287 HAS SOUPS 1158287 WITH SCORE 1160333.261
AT ITER 7131 NEW BEST:: SOT 9097383 SOS 2045373 HAS SOPS 2045373 HAS SOUS 1158287 HAS SOUPS 1158287 WITH SCORE 1160332.373
AT ITER 7140 NEW BEST:: SOT 9097324 SOS 2045255 HAS SOPS 2045255 HAS SOUS 1158169 HAS SOUPS 1158169 WITH SCORE 1160214.255
AT ITER 7153 NEW BEST:: SOT 9097214 SOS 2045742 HAS SOPS 2045742 HAS SOUS 1158127 HAS SOUPS 1158127 WITH SCORE 1160172.742
AT ITER 7189 NEW BEST:: SOT 9096771 SOS 2046014 HAS SOPS 2046014 HAS SOUS 1158070 HAS SOUPS 1158070 WITH SCORE 1160116.014
AT ITER 7194 NEW BEST:: SOT 9096713 SOS 2045898 HAS SOPS 2045898 HAS SOUS 1157954 HAS SOUPS 1157954 WITH SCORE 1159999.898
AT ITER 7195 NEW BEST:: SOT 9096547 SOS 2046524 HAS SOPS 2046524 HAS SOUS 1157953 HAS SOUPS 1157953 WITH SCORE 1159999.524
AT ITER 7216 NEW BEST:: SOT 9096544 SOS 2046518 HAS SOPS 2046518 HAS SOUS 1157947 HAS SOUPS 1157947 WITH SCORE 1159993.518
AT ITER 7217 NEW BEST:: SOT 9096544 SOS 2046778 HAS SOPS 2046778 HAS SOUS 1157946 HAS SOUPS 1157946 WITH SCORE 1159992.778
AT ITER 7221 NEW BEST:: SOT 9096544 SOS 2046778 HAS SOPS 2046778 HAS SOUS 1157697 HAS SOUPS 1157697 WITH SCORE 1159743.778
AT ITER 7223 NEW BEST:: SOT 9095887 SOS 2046121 HAS SOPS 2046121 HAS SOUS 1157040 HAS SOUPS 1157040 WITH SCORE 1159086.121
AT ITER 7224 NEW BEST:: SOT 9095880 SOS 2045850 HAS SOPS 2045850 HAS SOUS 1156776 HAS SOUPS 1156776 WITH SCORE 1158821.85
AT ITER 7225 NEW BEST:: SOT 9095683 SOS 2045653 HAS SOPS 2045653 HAS SOUS 1156579 HAS SOUPS 1156579 WITH SCORE 1158624.653
AT ITER 7230 NEW BEST:: SOT 9095693 SOS 2044527 HAS SOPS 2044527 HAS SOUS 1156211 HAS SOUPS 1156211 WITH SCORE 1158255.527
AT ITER 7244 NEW BEST:: SOT 9095404 SOS 2043948 HAS SOPS 2043948 HAS SOUS 1155632 HAS SOUPS 1155632 WITH SCORE 1157675.948
AT ITER 7249 NEW BEST:: SOT 9095308 SOS 2043756 HAS SOPS 2043756 HAS SOUS 1155536 HAS SOUPS 1155536 WITH SCORE 1157579.756
AT ITER 7262 NEW BEST:: SOT 9095308 SOS 2044076 HAS SOPS 2044076 HAS SOUS 1155535 HAS SOUPS 1155535 WITH SCORE 1157579.076
AT ITER 7280 NEW BEST:: SOT 9094942 SOS 2043527 HAS SOPS 2043527 HAS SOUS 1154986 HAS SOUPS 1154986 WITH SCORE 1157029.527
AT ITER 7324 NEW BEST:: SOT 9094791 SOS 2043376 HAS SOPS 2043376 HAS SOUS 1154835 HAS SOUPS 1154835 WITH SCORE 1156878.376
AT ITER 7371 NEW BEST:: SOT 9091781 SOS 2042102 HAS SOPS 2042102 HAS SOUS 1154346 HAS SOUPS 1154346 WITH SCORE 1156388.102
AT ITER 7385 NEW BEST:: SOT 9091854 SOS 2042186 HAS SOPS 2042186 HAS SOUS 1153970 HAS SOUPS 1153970 WITH SCORE 1156012.186
AT ITER 7438 NEW BEST:: SOT 9091854 SOS 2042086 HAS SOPS 2042086 HAS SOUS 1153870 HAS SOUPS 1153870 WITH SCORE 1155912.086
AT ITER 7449 NEW BEST:: SOT 9091792 SOS 2041590 HAS SOPS 2041590 HAS SOUS 1153870 HAS SOUPS 1153870 WITH SCORE 1155911.59
AT ITER 7501 NEW BEST:: SOT 9091769 SOS 2041567 HAS SOPS 2041567 HAS SOUS 1153847 HAS SOUPS 1153847 WITH SCORE 1155888.567
AT ITER 7519 NEW BEST:: SOT 9091450 SOS 2041414 HAS SOPS 2041414 HAS SOUS 1153209 HAS SOUPS 1153209 WITH SCORE 1155250.414
AT ITER 7553 NEW BEST:: SOT 9091431 SOS 2041376 HAS SOPS 2041376 HAS SOUS 1153190 HAS SOUPS 1153190 WITH SCORE 1155231.376
AT ITER 7567 NEW BEST:: SOT 9090992 SOS 2040906 HAS SOPS 2040906 HAS SOUS 1152720 HAS SOUPS 1152720 WITH SCORE 1154760.906
AT ITER 7577 NEW BEST:: SOT 9090755 SOS 2040432 HAS SOPS 2040432 HAS SOUS 1152246 HAS SOUPS 1152246 WITH SCORE 1154286.432
AT ITER 7587 NEW BEST:: SOT 9090200 SOS 2039831 HAS SOPS 2039831 HAS SOUS 1152028 HAS SOUPS 1152028 WITH SCORE 1154067.831
AT ITER 7613 NEW BEST:: SOT 9090165 SOS 2039761 HAS SOPS 2039761 HAS SOUS 1152011 HAS SOUPS 1152011 WITH SCORE 1154050.761
AT ITER 7620 NEW BEST:: SOT 9090178 SOS 2039681 HAS SOPS 2039681 HAS SOUS 1152003 HAS SOUPS 1152003 WITH SCORE 1154042.681
AT ITER 7642 NEW BEST:: SOT 9090185 SOS 2039734 HAS SOPS 2039734 HAS SOUS 1152002 HAS SOUPS 1152002 WITH SCORE 1154041.734
AT ITER 7651 NEW BEST:: SOT 9090078 SOS 2039594 HAS SOPS 2039594 HAS SOUS 1151862 HAS SOUPS 1151862 WITH SCORE 1153901.594
AT ITER 7670 NEW BEST:: SOT 9090044 SOS 2039560 HAS SOPS 2039560 HAS SOUS 1151828 HAS SOUPS 1151828 WITH SCORE 1153867.56
AT ITER 7750 NEW BEST:: SOT 9089831 SOS 2039134 HAS SOPS 2039134 HAS SOUS 1151294 HAS SOUPS 1151294 WITH SCORE 1153333.134
AT ITER 7754 NEW BEST:: SOT 9089266 SOS 2038418 HAS SOPS 2038418 HAS SOUS 1150558 HAS SOUPS 1150558 WITH SCORE 1152596.418
AT ITER 7771 NEW BEST:: SOT 9089354 SOS 2038182 HAS SOPS 2038182 HAS SOUS 1150528 HAS SOUPS 1150528 WITH SCORE 1152566.182
AT ITER 7778 NEW BEST:: SOT 9088839 SOS 2037657 HAS SOPS 2037657 HAS SOUS 1150012 HAS SOUPS 1150012 WITH SCORE 1152049.657
AT ITER 7817 NEW BEST:: SOT 9088839 SOS 2037368 HAS SOPS 2037368 HAS SOUS 1149997 HAS SOUPS 1149997 WITH SCORE 1152034.368
AT ITER 7819 NEW BEST:: SOT 9088747 SOS 2037276 HAS SOPS 2037276 HAS SOUS 1149905 HAS SOUPS 1149905 WITH SCORE 1151942.276
AT ITER 7829 NEW BEST:: SOT 9088236 SOS 2036765 HAS SOPS 2036765 HAS SOUS 1149394 HAS SOUPS 1149394 WITH SCORE 1151430.765
AT ITER 7867 NEW BEST:: SOT 9088385 SOS 2037035 HAS SOPS 2037035 HAS SOUS 1149319 HAS SOUPS 1149319 WITH SCORE 1151356.035
AT ITER 7875 NEW BEST:: SOT 9088385 SOS 2037035 HAS SOPS 2037035 HAS SOUS 1149199 HAS SOUPS 1149199 WITH SCORE 1151236.035
AT ITER 7877 NEW BEST:: SOT 9088176 SOS 2036965 HAS SOPS 2036965 HAS SOUS 1149106 HAS SOUPS 1149106 WITH SCORE 1151142.965
AT ITER 7887 NEW BEST:: SOT 9088128 SOS 2036964 HAS SOPS 2036964 HAS SOUS 1149105 HAS SOUPS 1149105 WITH SCORE 1151141.964
AT ITER 7893 NEW BEST:: SOT 9088007 SOS 2037404 HAS SOPS 2037404 HAS SOUS 1149065 HAS SOUPS 1149065 WITH SCORE 1151102.404
AT ITER 7910 NEW BEST:: SOT 9087891 SOS 2037326 HAS SOPS 2037326 HAS SOUS 1148987 HAS SOUPS 1148987 WITH SCORE 1151024.326
AT ITER 7911 NEW BEST:: SOT 9087825 SOS 2037273 HAS SOPS 2037273 HAS SOUS 1148925 HAS SOUPS 1148925 WITH SCORE 1150962.273
AT ITER 7930 NEW BEST:: SOT 9087726 SOS 2037075 HAS SOPS 2037075 HAS SOUS 1148870 HAS SOUPS 1148870 WITH SCORE 1150907.075
AT ITER 7957 NEW BEST:: SOT 9087626 SOS 2037066 HAS SOPS 2037066 HAS SOUS 1148861 HAS SOUPS 1148861 WITH SCORE 1150898.066
AT ITER 7975 NEW BEST:: SOT 9087695 SOS 2037201 HAS SOPS 2037201 HAS SOUS 1148860 HAS SOUPS 1148860 WITH SCORE 1150897.201
AT ITER 7981 NEW BEST:: SOT 9087327 SOS 2033504 HAS SOPS 2033504 HAS SOUS 1148163 HAS SOUPS 1148163 WITH SCORE 1150196.504
AT ITER 7990 NEW BEST:: SOT 9087327 SOS 2033398 HAS SOPS 2033398 HAS SOUS 1148056 HAS SOUPS 1148056 WITH SCORE 1150089.398
AT ITER 8034 NEW BEST:: SOT 9087048 SOS 2033636 HAS SOPS 2033636 HAS SOUS 1147864 HAS SOUPS 1147864 WITH SCORE 1149897.636
AT ITER 8060 NEW BEST:: SOT 9087041 SOS 2033622 HAS SOPS 2033622 HAS SOUS 1147857 HAS SOUPS 1147857 WITH SCORE 1149890.622
AT ITER 8085 NEW BEST:: SOT 9086099 SOS 2032680 HAS SOPS 2032680 HAS SOUS 1146915 HAS SOUPS 1146915 WITH SCORE 1148947.68
AT ITER 8100 NEW BEST:: SOT 9085991 SOS 2032356 HAS SOPS 2032356 HAS SOUS 1146807 HAS SOUPS 1146807 WITH SCORE 1148839.356
AT ITER 8110 NEW BEST:: SOT 9085853 SOS 2032218 HAS SOPS 2032218 HAS SOUS 1146669 HAS SOUPS 1146669 WITH SCORE 1148701.218
AT ITER 8141 NEW BEST:: SOT 9085815 SOS 2032095 HAS SOPS 2032095 HAS SOUS 1146584 HAS SOUPS 1146584 WITH SCORE 1148616.095
AT ITER 8153 NEW BEST:: SOT 9085507 SOS 2032250 HAS SOPS 2032250 HAS SOUS 1146258 HAS SOUPS 1146258 WITH SCORE 1148290.25
AT ITER 8158 NEW BEST:: SOT 9085528 SOS 2030987 HAS SOPS 2030987 HAS SOUS 1145979 HAS SOUPS 1145979 WITH SCORE 1148009.987
AT ITER 8165 NEW BEST:: SOT 9085528 SOS 2030674 HAS SOPS 2030674 HAS SOUS 1145666 HAS SOUPS 1145666 WITH SCORE 1147696.674
AT ITER 8231 NEW BEST:: SOT 9085246 SOS 2030956 HAS SOPS 2030956 HAS SOUS 1145384 HAS SOUPS 1145384 WITH SCORE 1147414.956
AT ITER 8239 NEW BEST:: SOT 9085242 SOS 2030957 HAS SOPS 2030957 HAS SOUS 1145379 HAS SOUPS 1145379 WITH SCORE 1147409.957
AT ITER 8246 NEW BEST:: SOT 9085242 SOS 2030857 HAS SOPS 2030857 HAS SOUS 1145378 HAS SOUPS 1145378 WITH SCORE 1147408.857
AT ITER 8260 NEW BEST:: SOT 9085099 SOS 2030713 HAS SOPS 2030713 HAS SOUS 1145234 HAS SOUPS 1145234 WITH SCORE 1147264.713
AT ITER 8284 NEW BEST:: SOT 9084981 SOS 2031539 HAS SOPS 2031539 HAS SOUS 1145116 HAS SOUPS 1145116 WITH SCORE 1147147.539
AT ITER 8293 NEW BEST:: SOT 9084981 SOS 2031391 HAS SOPS 2031391 HAS SOUS 1145042 HAS SOUPS 1145042 WITH SCORE 1147073.391
AT ITER 8306 NEW BEST:: SOT 9084957 SOS 2031415 HAS SOPS 2031415 HAS SOUS 1145018 HAS SOUPS 1145018 WITH SCORE 1147049.415
AT ITER 8308 NEW BEST:: SOT 9084957 SOS 2031415 HAS SOPS 2031415 HAS SOUS 1145006 HAS SOUPS 1145006 WITH SCORE 1147037.415
AT ITER 8355 NEW BEST:: SOT 9084956 SOS 2032119 HAS SOPS 2032119 HAS SOUS 1145004 HAS SOUPS 1145004 WITH SCORE 1147036.119
AT ITER 8361 NEW BEST:: SOT 9084985 SOS 2031781 HAS SOPS 2031781 HAS SOUS 1144930 HAS SOUPS 1144930 WITH SCORE 1146961.781
AT ITER 8448 NEW BEST:: SOT 9085124 SOS 2035199 HAS SOPS 2035199 HAS SOUS 1144894 HAS SOUPS 1144894 WITH SCORE 1146929.199
AT ITER 8452 NEW BEST:: SOT 9085028 SOS 2035103 HAS SOPS 2035103 HAS SOUS 1144894 HAS SOUPS 1144894 WITH SCORE 1146929.103
AT ITER 8455 NEW BEST:: SOT 9085028 SOS 2035157 HAS SOPS 2035157 HAS SOUS 1144892 HAS SOUPS 1144892 WITH SCORE 1146927.157
AT ITER 8497 NEW BEST:: SOT 9084936 SOS 2035116 HAS SOPS 2035116 HAS SOUS 1144851 HAS SOUPS 1144851 WITH SCORE 1146886.116
AT ITER 8532 NEW BEST:: SOT 9084936 SOS 2035106 HAS SOPS 2035106 HAS SOUS 1144850 HAS SOUPS 1144850 WITH SCORE 1146885.106
AT ITER 8565 NEW BEST:: SOT 9084936 SOS 2034764 HAS SOPS 2034764 HAS SOUS 1144850 HAS SOUPS 1144850 WITH SCORE 1146884.764
AT ITER 8575 NEW BEST:: SOT 9084909 SOS 2034710 HAS SOPS 2034710 HAS SOUS 1144796 HAS SOUPS 1144796 WITH SCORE 1146830.71
AT ITER 8608 NEW BEST:: SOT 9084916 SOS 2034724 HAS SOPS 2034724 HAS SOUS 1144785 HAS SOUPS 1144785 WITH SCORE 1146819.724
AT ITER 8626 NEW BEST:: SOT 9084753 SOS 2035488 HAS SOPS 2035488 HAS SOUS 1144694 HAS SOUPS 1144694 WITH SCORE 1146729.488
AT ITER 8648 NEW BEST:: SOT 9084738 SOS 2036249 HAS SOPS 2036249 HAS SOUS 1144663 HAS SOUPS 1144663 WITH SCORE 1146699.249
AT ITER 8653 NEW BEST:: SOT 9084590 SOS 2036114 HAS SOPS 2036114 HAS SOUS 1144528 HAS SOUPS 1144528 WITH SCORE 1146564.114
AT ITER 8673 NEW BEST:: SOT 9084708 SOS 2035747 HAS SOPS 2035747 HAS SOUS 1144503 HAS SOUPS 1144503 WITH SCORE 1146538.747
AT ITER 8677 NEW BEST:: SOT 9085013 SOS 2036074 HAS SOPS 2036074 HAS SOUS 1143953 HAS SOUPS 1143953 WITH SCORE 1145989.074
AT ITER 8714 NEW BEST:: SOT 9084916 SOS 2037317 HAS SOPS 2037317 HAS SOUS 1143941 HAS SOUPS 1143941 WITH SCORE 1145978.317
AT ITER 8735 NEW BEST:: SOT 9084916 SOS 2037101 HAS SOPS 2037101 HAS SOUS 1143887 HAS SOUPS 1143887 WITH SCORE 1145924.101
AT ITER 8738 NEW BEST:: SOT 9084849 SOS 2036125 HAS SOPS 2036125 HAS SOUS 1143309 HAS SOUPS 1143309 WITH SCORE 1145345.125
AT ITER 8763 NEW BEST:: SOT 9084950 SOS 2034943 HAS SOPS 2034943 HAS SOUS 1142998 HAS SOUPS 1142998 WITH SCORE 1145032.943
AT ITER 8813 NEW BEST:: SOT 9084831 SOS 2034586 HAS SOPS 2034586 HAS SOUS 1142879 HAS SOUPS 1142879 WITH SCORE 1144913.586
AT ITER 8814 NEW BEST:: SOT 9084765 SOS 2034454 HAS SOPS 2034454 HAS SOUS 1142839 HAS SOUPS 1142839 WITH SCORE 1144873.454
AT ITER 8822 NEW BEST:: SOT 9084869 SOS 2034662 HAS SOPS 2034662 HAS SOUS 1142672 HAS SOUPS 1142672 WITH SCORE 1144706.662
AT ITER 8829 NEW BEST:: SOT 9084540 SOS 2034731 HAS SOPS 2034731 HAS SOUS 1142611 HAS SOUPS 1142611 WITH SCORE 1144645.731
AT ITER 8861 NEW BEST:: SOT 9084596 SOS 2034843 HAS SOPS 2034843 HAS SOUS 1142102 HAS SOUPS 1142102 WITH SCORE 1144136.843
AT ITER 8863 NEW BEST:: SOT 9084596 SOS 2035346 HAS SOPS 2035346 HAS SOUS 1141964 HAS SOUPS 1141964 WITH SCORE 1143999.346
AT ITER 8879 NEW BEST:: SOT 9084596 SOS 2035346 HAS SOPS 2035346 HAS SOUS 1141963 HAS SOUPS 1141963 WITH SCORE 1143998.346
AT ITER 8887 NEW BEST:: SOT 9084359 SOS 2036249 HAS SOPS 2036249 HAS SOUS 1141410 HAS SOUPS 1141410 WITH SCORE 1143446.249
AT ITER 8892 NEW BEST:: SOT 9084684 SOS 2036227 HAS SOPS 2036227 HAS SOUS 1141399 HAS SOUPS 1141399 WITH SCORE 1143435.227
AT ITER 8894 NEW BEST:: SOT 9083934 SOS 2035852 HAS SOPS 2035852 HAS SOUS 1141024 HAS SOUPS 1141024 WITH SCORE 1143059.852
AT ITER 8998 NEW BEST:: SOT 9083864 SOS 2035782 HAS SOPS 2035782 HAS SOUS 1140954 HAS SOUPS 1140954 WITH SCORE 1142989.782
AT ITER 9006 NEW BEST:: SOT 9083782 SOS 2035618 HAS SOPS 2035618 HAS SOUS 1140790 HAS SOUPS 1140790 WITH SCORE 1142825.618
AT ITER 9021 NEW BEST:: SOT 9083690 SOS 2035434 HAS SOPS 2035434 HAS SOUS 1140606 HAS SOUPS 1140606 WITH SCORE 1142641.434
AT ITER 9037 NEW BEST:: SOT 9083690 SOS 2036385 HAS SOPS 2036385 HAS SOUS 1140605 HAS SOUPS 1140605 WITH SCORE 1142641.385
AT ITER 9084 NEW BEST:: SOT 9083656 SOS 2036317 HAS SOPS 2036317 HAS SOUS 1140537 HAS SOUPS 1140537 WITH SCORE 1142573.317
AT ITER 9124 NEW BEST:: SOT 9083219 SOS 2035443 HAS SOPS 2035443 HAS SOUS 1139663 HAS SOUPS 1139663 WITH SCORE 1141698.443
AT ITER 9130 NEW BEST:: SOT 9083093 SOS 2035395 HAS SOPS 2035395 HAS SOUS 1139547 HAS SOUPS 1139547 WITH SCORE 1141582.395
AT ITER 9162 NEW BEST:: SOT 9083137 SOS 2035377 HAS SOPS 2035377 HAS SOUS 1139529 HAS SOUPS 1139529 WITH SCORE 1141564.377
AT ITER 9190 NEW BEST:: SOT 9082929 SOS 2035191 HAS SOPS 2035191 HAS SOUS 1139321 HAS SOUPS 1139321 WITH SCORE 1141356.191
AT ITER 9219 NEW BEST:: SOT 9082879 SOS 2035141 HAS SOPS 2035141 HAS SOUS 1139271 HAS SOUPS 1139271 WITH SCORE 1141306.141
AT ITER 9236 NEW BEST:: SOT 9082879 SOS 2035482 HAS SOPS 2035482 HAS SOUS 1138982 HAS SOUPS 1138982 WITH SCORE 1141017.482
AT ITER 9242 NEW BEST:: SOT 9082877 SOS 2035478 HAS SOPS 2035478 HAS SOUS 1138979 HAS SOUPS 1138979 WITH SCORE 1141014.478
AT ITER 9253 NEW BEST:: SOT 9082800 SOS 2035678 HAS SOPS 2035678 HAS SOUS 1138901 HAS SOUPS 1138901 WITH SCORE 1140936.678
AT ITER 9263 NEW BEST:: SOT 9082800 SOS 2036957 HAS SOPS 2036957 HAS SOUS 1138637 HAS SOUPS 1138637 WITH SCORE 1140673.957
AT ITER 9282 NEW BEST:: SOT 9082508 SOS 2039073 HAS SOPS 2039073 HAS SOUS 1138053 HAS SOUPS 1138053 WITH SCORE 1140092.073
AT ITER 9291 NEW BEST:: SOT 9082582 SOS 2039217 HAS SOPS 2039217 HAS SOUS 1138051 HAS SOUPS 1138051 WITH SCORE 1140090.217
AT ITER 9302 NEW BEST:: SOT 9082489 SOS 2039021 HAS SOPS 2039021 HAS SOUS 1137864 HAS SOUPS 1137864 WITH SCORE 1139903.021
AT ITER 9347 NEW BEST:: SOT 9082489 SOS 2039021 HAS SOPS 2039021 HAS SOUS 1137851 HAS SOUPS 1137851 WITH SCORE 1139890.021
AT ITER 9354 NEW BEST:: SOT 9081909 SOS 2038441 HAS SOPS 2038441 HAS SOUS 1137271 HAS SOUPS 1137271 WITH SCORE 1139309.441
AT ITER 9426 NEW BEST:: SOT 9081851 SOS 2039153 HAS SOPS 2039153 HAS SOUS 1137155 HAS SOUPS 1137155 WITH SCORE 1139194.153
AT ITER 9453 NEW BEST:: SOT 9081840 SOS 2039109 HAS SOPS 2039109 HAS SOUS 1137133 HAS SOUPS 1137133 WITH SCORE 1139172.109
AT ITER 9480 NEW BEST:: SOT 9081795 SOS 2038929 HAS SOPS 2038929 HAS SOUS 1137088 HAS SOUPS 1137088 WITH SCORE 1139126.929
AT ITER 9495 NEW BEST:: SOT 9081596 SOS 2038531 HAS SOPS 2038531 HAS SOUS 1136690 HAS SOUPS 1136690 WITH SCORE 1138728.531
AT ITER 9543 NEW BEST:: SOT 9081587 SOS 2035291 HAS SOPS 2035291 HAS SOUS 1136672 HAS SOUPS 1136672 WITH SCORE 1138707.291
AT ITER 9578 NEW BEST:: SOT 9081587 SOS 2035174 HAS SOPS 2035174 HAS SOUS 1136555 HAS SOUPS 1136555 WITH SCORE 1138590.174
AT ITER 9579 NEW BEST:: SOT 9081518 SOS 2035105 HAS SOPS 2035105 HAS SOUS 1136486 HAS SOUPS 1136486 WITH SCORE 1138521.105
AT ITER 9620 NEW BEST:: SOT 9081381 SOS 2035851 HAS SOPS 2035851 HAS SOUS 1136451 HAS SOUPS 1136451 WITH SCORE 1138486.851
AT ITER 9624 NEW BEST:: SOT 9081381 SOS 2036147 HAS SOPS 2036147 HAS SOUS 1136431 HAS SOUPS 1136431 WITH SCORE 1138467.147
AT ITER 9645 NEW BEST:: SOT 9081381 SOS 2035993 HAS SOPS 2035993 HAS SOUS 1136277 HAS SOUPS 1136277 WITH SCORE 1138312.993
AT ITER 9652 NEW BEST:: SOT 9081137 SOS 2035953 HAS SOPS 2035953 HAS SOUS 1136033 HAS SOUPS 1136033 WITH SCORE 1138068.953
AT ITER 9659 NEW BEST:: SOT 9080970 SOS 2031233 HAS SOPS 2031233 HAS SOUS 1135939 HAS SOUPS 1135939 WITH SCORE 1137970.233
AT ITER 9668 NEW BEST:: SOT 9080970 SOS 2031233 HAS SOPS 2031233 HAS SOUS 1135650 HAS SOUPS 1135650 WITH SCORE 1137681.233
AT ITER 9675 NEW BEST:: SOT 9080994 SOS 2031187 HAS SOPS 2031187 HAS SOUS 1135493 HAS SOUPS 1135493 WITH SCORE 1137524.187
AT ITER 9684 NEW BEST:: SOT 9080994 SOS 2030867 HAS SOPS 2030867 HAS SOUS 1135413 HAS SOUPS 1135413 WITH SCORE 1137443.867
AT ITER 9813 NEW BEST:: SOT 9079320 SOS 2030849 HAS SOPS 2030849 HAS SOUS 1133899 HAS SOUPS 1133899 WITH SCORE 1135929.849
AT ITER 9841 NEW BEST:: SOT 9079249 SOS 2030579 HAS SOPS 2030579 HAS SOUS 1133629 HAS SOUPS 1133629 WITH SCORE 1135659.579
AT ITER 9862 NEW BEST:: SOT 9079220 SOS 2030521 HAS SOPS 2030521 HAS SOUS 1133571 HAS SOUPS 1133571 WITH SCORE 1135601.521
AT ITER 9874 NEW BEST:: SOT 9079220 SOS 2030698 HAS SOPS 2030698 HAS SOUS 1133465 HAS SOUPS 1133465 WITH SCORE 1135495.698
AT ITER 9916 NEW BEST:: SOT 9079210 SOS 2030648 HAS SOPS 2030648 HAS SOUS 1133445 HAS SOUPS 1133445 WITH SCORE 1135475.648
AT ITER 9981 NEW BEST:: SOT 9079210 SOS 2031619 HAS SOPS 2031619 HAS SOUS 1133424 HAS SOUPS 1133424 WITH SCORE 1135455.619
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14484128 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118424 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-08b"
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-08b, 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-167814484600712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-08b.tgz
mv DLCround-PT-08b 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 ;