About the Execution of Smart+red for StigmergyCommit-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1423.892 | 3600000.00 | 3651539.00 | 8599.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.r459-smll-167912651300472.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 StigmergyCommit-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651300472
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 6.9K Feb 26 10:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 10:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 10:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 10:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 10:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 10:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.7M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679361775766
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=StigmergyCommit-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 01:22:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 01:22:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 01:22:59] [INFO ] Load time of PNML (sax parser for PT used): 737 ms
[2023-03-21 01:22:59] [INFO ] Transformed 2140 places.
[2023-03-21 01:22:59] [INFO ] Transformed 6760 transitions.
[2023-03-21 01:22:59] [INFO ] Found NUPN structural information;
[2023-03-21 01:22:59] [INFO ] Parsed PT model containing 2140 places and 6760 transitions and 67803 arcs in 973 ms.
[2023-03-21 01:22:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2140 places, 6760 transitions and 67803 arcs took 149 ms.
Total runtime 1186 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 06b
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: 2140 places, 6760 transitions, 67803 arcs.
AT ITER 0 NEW BEST:: SOT 10351365 SOS 1426716 HAS SOPS 1426716 HAS SOUS 1184504 HAS SOUPS 1184504 WITH SCORE 1185930.716
AT ITER 28 NEW BEST:: SOT 10351271 SOS 1426528 HAS SOPS 1426528 HAS SOUS 1184316 HAS SOUPS 1184316 WITH SCORE 1185742.528
AT ITER 30 NEW BEST:: SOT 10351271 SOS 1426457 HAS SOPS 1426457 HAS SOUS 1184316 HAS SOUPS 1184316 WITH SCORE 1185742.457
AT ITER 73 NEW BEST:: SOT 10339741 SOS 1539751 HAS SOPS 1539751 HAS SOUS 1174435 HAS SOUPS 1174435 WITH SCORE 1175974.751
AT ITER 123 NEW BEST:: SOT 10329735 SOS 2472328 HAS SOPS 2472328 HAS SOUS 1170592 HAS SOUPS 1170592 WITH SCORE 1173064.328
AT ITER 127 NEW BEST:: SOT 10329679 SOS 2472428 HAS SOPS 2472428 HAS SOUS 1170586 HAS SOUPS 1170586 WITH SCORE 1173058.428
AT ITER 159 NEW BEST:: SOT 10329589 SOS 2472182 HAS SOPS 2472182 HAS SOUS 1170405 HAS SOUPS 1170405 WITH SCORE 1172877.182
AT ITER 164 NEW BEST:: SOT 10329588 SOS 2472180 HAS SOPS 2472180 HAS SOUS 1170403 HAS SOUPS 1170403 WITH SCORE 1172875.18
AT ITER 168 NEW BEST:: SOT 10329390 SOS 2471784 HAS SOPS 2471784 HAS SOUS 1170007 HAS SOUPS 1170007 WITH SCORE 1172478.784
AT ITER 209 NEW BEST:: SOT 10329141 SOS 2495858 HAS SOPS 2495858 HAS SOUS 1169821 HAS SOUPS 1169821 WITH SCORE 1172316.858
AT ITER 217 NEW BEST:: SOT 10329141 SOS 2495802 HAS SOPS 2495802 HAS SOUS 1169765 HAS SOUPS 1169765 WITH SCORE 1172260.802
AT ITER 249 NEW BEST:: SOT 10329064 SOS 2485998 HAS SOPS 2485998 HAS SOUS 1169610 HAS SOUPS 1169610 WITH SCORE 1172095.998
AT ITER 260 NEW BEST:: SOT 10328998 SOS 2485866 HAS SOPS 2485866 HAS SOUS 1169478 HAS SOUPS 1169478 WITH SCORE 1171963.866
AT ITER 264 NEW BEST:: SOT 10324604 SOS 2483867 HAS SOPS 2483867 HAS SOUS 1165338 HAS SOUPS 1165338 WITH SCORE 1167821.867
AT ITER 283 NEW BEST:: SOT 10324523 SOS 2483705 HAS SOPS 2483705 HAS SOUS 1165257 HAS SOUPS 1165257 WITH SCORE 1167740.705
AT ITER 289 NEW BEST:: SOT 10324522 SOS 2483703 HAS SOPS 2483703 HAS SOUS 1165255 HAS SOUPS 1165255 WITH SCORE 1167738.703
AT ITER 295 NEW BEST:: SOT 10307932 SOS 2504408 HAS SOPS 2504408 HAS SOUS 1149572 HAS SOUPS 1149572 WITH SCORE 1152076.408
AT ITER 321 NEW BEST:: SOT 10307893 SOS 2504330 HAS SOPS 2504330 HAS SOUS 1149494 HAS SOUPS 1149494 WITH SCORE 1151998.33
AT ITER 340 NEW BEST:: SOT 10305061 SOS 2517989 HAS SOPS 2517989 HAS SOUS 1147683 HAS SOUPS 1147683 WITH SCORE 1150200.989
AT ITER 342 NEW BEST:: SOT 10304853 SOS 2517573 HAS SOPS 2517573 HAS SOUS 1147215 HAS SOUPS 1147215 WITH SCORE 1149732.573
AT ITER 370 NEW BEST:: SOT 10304781 SOS 2517501 HAS SOPS 2517501 HAS SOUS 1147143 HAS SOUPS 1147143 WITH SCORE 1149660.501
AT ITER 372 NEW BEST:: SOT 10304730 SOS 2517399 HAS SOPS 2517399 HAS SOUS 1147092 HAS SOUPS 1147092 WITH SCORE 1149609.399
AT ITER 399 NEW BEST:: SOT 10304606 SOS 2517151 HAS SOPS 2517151 HAS SOUS 1146844 HAS SOUPS 1146844 WITH SCORE 1149361.151
AT ITER 413 NEW BEST:: SOT 10304577 SOS 2517093 HAS SOPS 2517093 HAS SOUS 1146786 HAS SOUPS 1146786 WITH SCORE 1149303.093
AT ITER 438 NEW BEST:: SOT 10304576 SOS 2517091 HAS SOPS 2517091 HAS SOUS 1146784 HAS SOUPS 1146784 WITH SCORE 1149301.091
AT ITER 448 NEW BEST:: SOT 10304366 SOS 2516671 HAS SOPS 2516671 HAS SOUS 1146364 HAS SOUPS 1146364 WITH SCORE 1148880.671
AT ITER 475 NEW BEST:: SOT 10304365 SOS 2516669 HAS SOPS 2516669 HAS SOUS 1146362 HAS SOUPS 1146362 WITH SCORE 1148878.669
AT ITER 482 NEW BEST:: SOT 10304080 SOS 2516099 HAS SOPS 2516099 HAS SOUS 1146128 HAS SOUPS 1146128 WITH SCORE 1148644.099
AT ITER 485 NEW BEST:: SOT 10284251 SOS 2602933 HAS SOPS 2602933 HAS SOUS 1141415 HAS SOUPS 1141415 WITH SCORE 1144017.933
AT ITER 514 NEW BEST:: SOT 10259372 SOS 2876872 HAS SOPS 2876872 HAS SOUS 1121067 HAS SOUPS 1121067 WITH SCORE 1123943.872
AT ITER 562 NEW BEST:: SOT 10259371 SOS 2876870 HAS SOPS 2876870 HAS SOUS 1121065 HAS SOUPS 1121065 WITH SCORE 1123941.87
AT ITER 576 NEW BEST:: SOT 10259371 SOS 2876715 HAS SOPS 2876715 HAS SOUS 1120910 HAS SOUPS 1120910 WITH SCORE 1123786.715
AT ITER 605 NEW BEST:: SOT 10241119 SOS 2858382 HAS SOPS 2858382 HAS SOUS 1102658 HAS SOUPS 1102658 WITH SCORE 1105516.382
AT ITER 623 NEW BEST:: SOT 10241035 SOS 2858214 HAS SOPS 2858214 HAS SOUS 1102490 HAS SOUPS 1102490 WITH SCORE 1105348.214
AT ITER 626 NEW BEST:: SOT 10240848 SOS 2857840 HAS SOPS 2857840 HAS SOUS 1102116 HAS SOUPS 1102116 WITH SCORE 1104973.84
AT ITER 674 NEW BEST:: SOT 10240847 SOS 2857838 HAS SOPS 2857838 HAS SOUS 1102114 HAS SOUPS 1102114 WITH SCORE 1104971.838
AT ITER 712 NEW BEST:: SOT 10240627 SOS 2857776 HAS SOPS 2857776 HAS SOUS 1101894 HAS SOUPS 1101894 WITH SCORE 1104751.776
AT ITER 722 NEW BEST:: SOT 10240560 SOS 2857709 HAS SOPS 2857709 HAS SOUS 1101827 HAS SOUPS 1101827 WITH SCORE 1104684.709
AT ITER 753 NEW BEST:: SOT 10240560 SOS 2857708 HAS SOPS 2857708 HAS SOUS 1101826 HAS SOUPS 1101826 WITH SCORE 1104683.708
AT ITER 810 NEW BEST:: SOT 10240290 SOS 2857168 HAS SOPS 2857168 HAS SOUS 1101556 HAS SOUPS 1101556 WITH SCORE 1104413.168
AT ITER 852 NEW BEST:: SOT 10234535 SOS 2880312 HAS SOPS 2880312 HAS SOUS 1097638 HAS SOUPS 1097638 WITH SCORE 1100518.312
AT ITER 878 NEW BEST:: SOT 10234534 SOS 2880310 HAS SOPS 2880310 HAS SOUS 1097636 HAS SOUPS 1097636 WITH SCORE 1100516.31
AT ITER 886 NEW BEST:: SOT 10217332 SOS 2977077 HAS SOPS 2977077 HAS SOUS 1082713 HAS SOUPS 1082713 WITH SCORE 1085690.077
AT ITER 929 NEW BEST:: SOT 10217331 SOS 2977075 HAS SOPS 2977075 HAS SOUS 1082711 HAS SOUPS 1082711 WITH SCORE 1085688.075
AT ITER 934 NEW BEST:: SOT 10194497 SOS 3362699 HAS SOPS 3362699 HAS SOUS 1062023 HAS SOUPS 1062023 WITH SCORE 1065385.699
AT ITER 964 NEW BEST:: SOT 10194361 SOS 3362427 HAS SOPS 3362427 HAS SOUS 1061751 HAS SOUPS 1061751 WITH SCORE 1065113.427
AT ITER 1012 NEW BEST:: SOT 10156178 SOS 3963979 HAS SOPS 3963979 HAS SOUS 1038635 HAS SOUPS 1038635 WITH SCORE 1042598.979
AT ITER 1030 NEW BEST:: SOT 10156152 SOS 3963927 HAS SOPS 3963927 HAS SOUS 1038583 HAS SOUPS 1038583 WITH SCORE 1042546.927
AT ITER 1039 NEW BEST:: SOT 10156152 SOS 3963760 HAS SOPS 3963760 HAS SOUS 1038416 HAS SOUPS 1038416 WITH SCORE 1042379.76
AT ITER 1043 NEW BEST:: SOT 10156184 SOS 3963824 HAS SOPS 3963824 HAS SOUS 1038120 HAS SOUPS 1038120 WITH SCORE 1042083.824
AT ITER 1058 NEW BEST:: SOT 10156184 SOS 3963760 HAS SOPS 3963760 HAS SOUS 1038120 HAS SOUPS 1038120 WITH SCORE 1042083.76
AT ITER 1096 NEW BEST:: SOT 10156128 SOS 3963648 HAS SOPS 3963648 HAS SOUS 1037926 HAS SOUPS 1037926 WITH SCORE 1041889.648
AT ITER 1138 NEW BEST:: SOT 10156110 SOS 3963621 HAS SOPS 3963621 HAS SOUS 1037899 HAS SOUPS 1037899 WITH SCORE 1041862.621
AT ITER 1149 NEW BEST:: SOT 10155977 SOS 3963355 HAS SOPS 3963355 HAS SOUS 1037633 HAS SOUPS 1037633 WITH SCORE 1041596.355
AT ITER 1186 NEW BEST:: SOT 10155884 SOS 3963262 HAS SOPS 3963262 HAS SOUS 1037540 HAS SOUPS 1037540 WITH SCORE 1041503.262
AT ITER 1224 NEW BEST:: SOT 10155728 SOS 3962950 HAS SOPS 3962950 HAS SOUS 1037351 HAS SOUPS 1037351 WITH SCORE 1041313.95
AT ITER 1232 NEW BEST:: SOT 10155728 SOS 3962868 HAS SOPS 3962868 HAS SOUS 1037269 HAS SOUPS 1037269 WITH SCORE 1041231.868
AT ITER 1242 NEW BEST:: SOT 10155659 SOS 3962729 HAS SOPS 3962729 HAS SOUS 1037130 HAS SOUPS 1037130 WITH SCORE 1041092.729
AT ITER 1256 NEW BEST:: SOT 10155492 SOS 3962395 HAS SOPS 3962395 HAS SOUS 1036796 HAS SOUPS 1036796 WITH SCORE 1040758.395
AT ITER 1257 NEW BEST:: SOT 10155442 SOS 3962295 HAS SOPS 3962295 HAS SOUS 1036696 HAS SOUPS 1036696 WITH SCORE 1040658.295
AT ITER 1260 NEW BEST:: SOT 10155372 SOS 3962154 HAS SOPS 3962154 HAS SOUS 1036555 HAS SOUPS 1036555 WITH SCORE 1040517.154
AT ITER 1281 NEW BEST:: SOT 10155371 SOS 3962152 HAS SOPS 3962152 HAS SOUS 1036553 HAS SOUPS 1036553 WITH SCORE 1040515.152
AT ITER 1347 NEW BEST:: SOT 10155370 SOS 3962150 HAS SOPS 3962150 HAS SOUS 1036551 HAS SOUPS 1036551 WITH SCORE 1040513.15
AT ITER 1396 NEW BEST:: SOT 10155370 SOS 3962150 HAS SOPS 3962150 HAS SOUS 1036547 HAS SOUPS 1036547 WITH SCORE 1040509.15
AT ITER 1404 NEW BEST:: SOT 10155073 SOS 3771044 HAS SOPS 3771044 HAS SOUS 1035106 HAS SOUPS 1035106 WITH SCORE 1038877.044
AT ITER 1444 NEW BEST:: SOT 10154980 SOS 3770858 HAS SOPS 3770858 HAS SOUS 1034920 HAS SOUPS 1034920 WITH SCORE 1038690.858
AT ITER 1454 NEW BEST:: SOT 10154904 SOS 3770706 HAS SOPS 3770706 HAS SOUS 1034768 HAS SOUPS 1034768 WITH SCORE 1038538.706
AT ITER 1490 NEW BEST:: SOT 10154860 SOS 3770618 HAS SOPS 3770618 HAS SOUS 1034680 HAS SOUPS 1034680 WITH SCORE 1038450.618
AT ITER 1506 NEW BEST:: SOT 10154711 SOS 3770320 HAS SOPS 3770320 HAS SOUS 1034382 HAS SOUPS 1034382 WITH SCORE 1038152.32
AT ITER 1515 NEW BEST:: SOT 10149207 SOS 3793324 HAS SOPS 3793324 HAS SOUS 1032614 HAS SOUPS 1032614 WITH SCORE 1036407.324
AT ITER 1533 NEW BEST:: SOT 10148461 SOS 3534954 HAS SOPS 3534954 HAS SOUS 1030274 HAS SOUPS 1030274 WITH SCORE 1033808.954
AT ITER 1567 NEW BEST:: SOT 10140492 SOS 3573754 HAS SOPS 3573754 HAS SOUS 1028951 HAS SOUPS 1028951 WITH SCORE 1032524.754
AT ITER 1580 NEW BEST:: SOT 10140419 SOS 3573716 HAS SOPS 3573716 HAS SOUS 1028895 HAS SOUPS 1028895 WITH SCORE 1032468.716
AT ITER 1604 NEW BEST:: SOT 10140387 SOS 3573652 HAS SOPS 3573652 HAS SOUS 1028831 HAS SOUPS 1028831 WITH SCORE 1032404.652
AT ITER 1607 NEW BEST:: SOT 10140387 SOS 3573579 HAS SOPS 3573579 HAS SOUS 1028758 HAS SOUPS 1028758 WITH SCORE 1032331.579
AT ITER 1613 NEW BEST:: SOT 10140255 SOS 3573315 HAS SOPS 3573315 HAS SOUS 1028494 HAS SOUPS 1028494 WITH SCORE 1032067.315
AT ITER 1623 NEW BEST:: SOT 10139994 SOS 3572793 HAS SOPS 3572793 HAS SOUS 1028233 HAS SOUPS 1028233 WITH SCORE 1031805.793
AT ITER 1642 NEW BEST:: SOT 10139993 SOS 3572791 HAS SOPS 3572791 HAS SOUS 1028231 HAS SOUPS 1028231 WITH SCORE 1031803.791
AT ITER 1646 NEW BEST:: SOT 10139831 SOS 3544099 HAS SOPS 3544099 HAS SOUS 1027711 HAS SOUPS 1027711 WITH SCORE 1031255.099
AT ITER 1649 NEW BEST:: SOT 10084122 SOS 3495406 HAS SOPS 3495406 HAS SOUS 976612 HAS SOUPS 976612 WITH SCORE 980107.406
AT ITER 1711 NEW BEST:: SOT 10083976 SOS 3495114 HAS SOPS 3495114 HAS SOUS 976320 HAS SOUPS 976320 WITH SCORE 979815.114
AT ITER 1722 NEW BEST:: SOT 10079828 SOS 3493786 HAS SOPS 3493786 HAS SOUS 972088 HAS SOUPS 972088 WITH SCORE 975581.786
AT ITER 1735 NEW BEST:: SOT 10079749 SOS 3493628 HAS SOPS 3493628 HAS SOUS 972009 HAS SOUPS 972009 WITH SCORE 975502.628
AT ITER 1744 NEW BEST:: SOT 10079734 SOS 3493598 HAS SOPS 3493598 HAS SOUS 971994 HAS SOUPS 971994 WITH SCORE 975487.598
AT ITER 1764 NEW BEST:: SOT 10079684 SOS 3493498 HAS SOPS 3493498 HAS SOUS 971894 HAS SOUPS 971894 WITH SCORE 975387.498
AT ITER 1769 NEW BEST:: SOT 10079306 SOS 3493120 HAS SOPS 3493120 HAS SOUS 971516 HAS SOUPS 971516 WITH SCORE 975009.12
AT ITER 1772 NEW BEST:: SOT 10079286 SOS 3493079 HAS SOPS 3493079 HAS SOUS 971475 HAS SOUPS 971475 WITH SCORE 974968.079
AT ITER 1781 NEW BEST:: SOT 10079286 SOS 3492881 HAS SOPS 3492881 HAS SOUS 971277 HAS SOUPS 971277 WITH SCORE 974769.881
AT ITER 1784 NEW BEST:: SOT 10079142 SOS 3330755 HAS SOPS 3330755 HAS SOUS 970989 HAS SOUPS 970989 WITH SCORE 974319.755
AT ITER 1849 NEW BEST:: SOT 10078972 SOS 3330585 HAS SOPS 3330585 HAS SOUS 970819 HAS SOUPS 970819 WITH SCORE 974149.585
AT ITER 1865 NEW BEST:: SOT 10078750 SOS 3330141 HAS SOPS 3330141 HAS SOUS 970597 HAS SOUPS 970597 WITH SCORE 973927.141
AT ITER 1893 NEW BEST:: SOT 10078473 SOS 3329587 HAS SOPS 3329587 HAS SOUS 970392 HAS SOUPS 970392 WITH SCORE 973721.587
AT ITER 1908 NEW BEST:: SOT 10078435 SOS 3329549 HAS SOPS 3329549 HAS SOUS 970354 HAS SOUPS 970354 WITH SCORE 973683.549
AT ITER 1912 NEW BEST:: SOT 10078257 SOS 3329193 HAS SOPS 3329193 HAS SOUS 969936 HAS SOUPS 969936 WITH SCORE 973265.193
AT ITER 1923 NEW BEST:: SOT 10078255 SOS 3329189 HAS SOPS 3329189 HAS SOUS 969932 HAS SOUPS 969932 WITH SCORE 973261.189
AT ITER 1926 NEW BEST:: SOT 10078179 SOS 3329037 HAS SOPS 3329037 HAS SOUS 969861 HAS SOUPS 969861 WITH SCORE 973190.037
AT ITER 1949 NEW BEST:: SOT 10078134 SOS 3328992 HAS SOPS 3328992 HAS SOUS 969816 HAS SOUPS 969816 WITH SCORE 973144.992
AT ITER 1977 NEW BEST:: SOT 10078133 SOS 3328990 HAS SOPS 3328990 HAS SOUS 969814 HAS SOUPS 969814 WITH SCORE 973142.99
AT ITER 2009 NEW BEST:: SOT 10077785 SOS 3328294 HAS SOPS 3328294 HAS SOUS 969596 HAS SOUPS 969596 WITH SCORE 972924.294
AT ITER 2025 NEW BEST:: SOT 10034172 SOS 3363430 HAS SOPS 3363430 HAS SOUS 948129 HAS SOUPS 948129 WITH SCORE 951492.43
AT ITER 2038 NEW BEST:: SOT 10033768 SOS 2627061 HAS SOPS 2627061 HAS SOUS 947103 HAS SOUPS 947103 WITH SCORE 949730.061
AT ITER 2055 NEW BEST:: SOT 10033805 SOS 2627135 HAS SOPS 2627135 HAS SOUS 947068 HAS SOUPS 947068 WITH SCORE 949695.135
AT ITER 2065 NEW BEST:: SOT 10033736 SOS 2626997 HAS SOPS 2626997 HAS SOUS 946930 HAS SOUPS 946930 WITH SCORE 949556.997
AT ITER 2070 NEW BEST:: SOT 10033607 SOS 2626739 HAS SOPS 2626739 HAS SOUS 946801 HAS SOUPS 946801 WITH SCORE 949427.739
AT ITER 2092 NEW BEST:: SOT 10033310 SOS 2626145 HAS SOPS 2626145 HAS SOUS 946207 HAS SOUPS 946207 WITH SCORE 948833.145
AT ITER 2125 NEW BEST:: SOT 10033179 SOS 2625883 HAS SOPS 2625883 HAS SOUS 946076 HAS SOUPS 946076 WITH SCORE 948701.883
AT ITER 2171 NEW BEST:: SOT 10033204 SOS 2622215 HAS SOPS 2622215 HAS SOUS 943956 HAS SOUPS 943956 WITH SCORE 946578.215
AT ITER 2206 NEW BEST:: SOT 10032410 SOS 2621242 HAS SOPS 2621242 HAS SOUS 942983 HAS SOUPS 942983 WITH SCORE 945604.242
AT ITER 2248 NEW BEST:: SOT 10032410 SOS 2621241 HAS SOPS 2621241 HAS SOUS 942982 HAS SOUPS 942982 WITH SCORE 945603.241
AT ITER 2255 NEW BEST:: SOT 9946035 SOS 2563992 HAS SOPS 2563992 HAS SOUS 860855 HAS SOUPS 860855 WITH SCORE 863418.992
AT ITER 2285 NEW BEST:: SOT 9945988 SOS 2563945 HAS SOPS 2563945 HAS SOUS 860808 HAS SOUPS 860808 WITH SCORE 863371.945
AT ITER 2292 NEW BEST:: SOT 9945897 SOS 2563911 HAS SOPS 2563911 HAS SOUS 860751 HAS SOUPS 860751 WITH SCORE 863314.911
AT ITER 2341 NEW BEST:: SOT 9945897 SOS 2563911 HAS SOPS 2563911 HAS SOUS 860642 HAS SOUPS 860642 WITH SCORE 863205.911
AT ITER 2356 NEW BEST:: SOT 9945699 SOS 2563845 HAS SOPS 2563845 HAS SOUS 860508 HAS SOUPS 860508 WITH SCORE 863071.845
AT ITER 2396 NEW BEST:: SOT 9945671 SOS 2563789 HAS SOPS 2563789 HAS SOUS 860452 HAS SOUPS 860452 WITH SCORE 863015.789
AT ITER 2413 NEW BEST:: SOT 9945500 SOS 2563626 HAS SOPS 2563626 HAS SOUS 860110 HAS SOUPS 860110 WITH SCORE 862673.626
AT ITER 2417 NEW BEST:: SOT 9945499 SOS 2563624 HAS SOPS 2563624 HAS SOUS 860108 HAS SOUPS 860108 WITH SCORE 862671.624
AT ITER 2472 NEW BEST:: SOT 9945475 SOS 2563576 HAS SOPS 2563576 HAS SOUS 860060 HAS SOUPS 860060 WITH SCORE 862623.576
AT ITER 2475 NEW BEST:: SOT 9945475 SOS 2563575 HAS SOPS 2563575 HAS SOUS 860059 HAS SOUPS 860059 WITH SCORE 862622.575
AT ITER 2496 NEW BEST:: SOT 9945450 SOS 2563525 HAS SOPS 2563525 HAS SOUS 860009 HAS SOUPS 860009 WITH SCORE 862572.525
AT ITER 2530 NEW BEST:: SOT 9945382 SOS 2563389 HAS SOPS 2563389 HAS SOUS 859873 HAS SOUPS 859873 WITH SCORE 862436.389
AT ITER 2543 NEW BEST:: SOT 9945248 SOS 2563121 HAS SOPS 2563121 HAS SOUS 859739 HAS SOUPS 859739 WITH SCORE 862302.121
AT ITER 2630 NEW BEST:: SOT 9945114 SOS 2562853 HAS SOPS 2562853 HAS SOUS 859471 HAS SOUPS 859471 WITH SCORE 862033.853
AT ITER 2634 NEW BEST:: SOT 9944831 SOS 2562287 HAS SOPS 2562287 HAS SOUS 859245 HAS SOUPS 859245 WITH SCORE 861807.287
AT ITER 2637 NEW BEST:: SOT 9944712 SOS 2562049 HAS SOPS 2562049 HAS SOUS 859148 HAS SOUPS 859148 WITH SCORE 861710.049
AT ITER 2661 NEW BEST:: SOT 9930732 SOS 2581748 HAS SOPS 2581748 HAS SOUS 847738 HAS SOUPS 847738 WITH SCORE 850319.748
AT ITER 2681 NEW BEST:: SOT 9930731 SOS 2581746 HAS SOPS 2581746 HAS SOUS 847736 HAS SOUPS 847736 WITH SCORE 850317.746
AT ITER 2708 NEW BEST:: SOT 9930558 SOS 2581400 HAS SOPS 2581400 HAS SOUS 847390 HAS SOUPS 847390 WITH SCORE 849971.4
AT ITER 2726 NEW BEST:: SOT 9930318 SOS 2580920 HAS SOPS 2580920 HAS SOUS 846910 HAS SOUPS 846910 WITH SCORE 849490.92
AT ITER 2755 NEW BEST:: SOT 9930158 SOS 2580600 HAS SOPS 2580600 HAS SOUS 846590 HAS SOUPS 846590 WITH SCORE 849170.6
AT ITER 2792 NEW BEST:: SOT 9930158 SOS 2580599 HAS SOPS 2580599 HAS SOUS 846589 HAS SOUPS 846589 WITH SCORE 849169.599
AT ITER 2832 NEW BEST:: SOT 9929994 SOS 2580271 HAS SOPS 2580271 HAS SOUS 846261 HAS SOUPS 846261 WITH SCORE 848841.271
AT ITER 2836 NEW BEST:: SOT 9929994 SOS 2580271 HAS SOPS 2580271 HAS SOUS 846257 HAS SOUPS 846257 WITH SCORE 848837.271
AT ITER 2868 NEW BEST:: SOT 9929977 SOS 2580237 HAS SOPS 2580237 HAS SOUS 846223 HAS SOUPS 846223 WITH SCORE 848803.237
AT ITER 2903 NEW BEST:: SOT 9929950 SOS 2580183 HAS SOPS 2580183 HAS SOUS 846169 HAS SOUPS 846169 WITH SCORE 848749.183
AT ITER 2922 NEW BEST:: SOT 9929928 SOS 2580139 HAS SOPS 2580139 HAS SOUS 846147 HAS SOUPS 846147 WITH SCORE 848727.139
AT ITER 2931 NEW BEST:: SOT 9929753 SOS 2579789 HAS SOPS 2579789 HAS SOUS 845972 HAS SOUPS 845972 WITH SCORE 848551.789
AT ITER 2933 NEW BEST:: SOT 9929843 SOS 2579969 HAS SOPS 2579969 HAS SOUS 845938 HAS SOUPS 845938 WITH SCORE 848517.969
AT ITER 3003 NEW BEST:: SOT 9929843 SOS 2285453 HAS SOPS 2285453 HAS SOUS 845938 HAS SOUPS 845938 WITH SCORE 848223.453
AT ITER 3007 NEW BEST:: SOT 9929649 SOS 2285259 HAS SOPS 2285259 HAS SOUS 845824 HAS SOUPS 845824 WITH SCORE 848109.259
AT ITER 3067 NEW BEST:: SOT 9929614 SOS 2285189 HAS SOPS 2285189 HAS SOUS 845754 HAS SOUPS 845754 WITH SCORE 848039.189
AT ITER 3076 NEW BEST:: SOT 9853258 SOS 2262119 HAS SOPS 2262119 HAS SOUS 775132 HAS SOUPS 775132 WITH SCORE 777394.119
AT ITER 3108 NEW BEST:: SOT 9853258 SOS 2262118 HAS SOPS 2262118 HAS SOUS 775131 HAS SOUPS 775131 WITH SCORE 777393.118
AT ITER 3131 NEW BEST:: SOT 9853258 SOS 2262117 HAS SOPS 2262117 HAS SOUS 775130 HAS SOUPS 775130 WITH SCORE 777392.117
AT ITER 3150 NEW BEST:: SOT 9853168 SOS 2261937 HAS SOPS 2261937 HAS SOUS 774950 HAS SOUPS 774950 WITH SCORE 777211.937
AT ITER 3155 NEW BEST:: SOT 9853120 SOS 2261853 HAS SOPS 2261853 HAS SOUS 774866 HAS SOUPS 774866 WITH SCORE 777127.853
AT ITER 3164 NEW BEST:: SOT 9730449 SOS 2851846 HAS SOPS 2851846 HAS SOUS 659281 HAS SOUPS 659281 WITH SCORE 662132.846
AT ITER 3165 NEW BEST:: SOT 9730348 SOS 2851644 HAS SOPS 2851644 HAS SOUS 659180 HAS SOUPS 659180 WITH SCORE 662031.644
AT ITER 3216 NEW BEST:: SOT 9730294 SOS 2851536 HAS SOPS 2851536 HAS SOUS 659072 HAS SOUPS 659072 WITH SCORE 661923.536
AT ITER 3218 NEW BEST:: SOT 9730274 SOS 2851496 HAS SOPS 2851496 HAS SOUS 659032 HAS SOUPS 659032 WITH SCORE 661883.496
AT ITER 3237 NEW BEST:: SOT 9730249 SOS 2851446 HAS SOPS 2851446 HAS SOUS 659007 HAS SOUPS 659007 WITH SCORE 661858.446
AT ITER 3243 NEW BEST:: SOT 9730179 SOS 2851376 HAS SOPS 2851376 HAS SOUS 658937 HAS SOUPS 658937 WITH SCORE 661788.376
AT ITER 3256 NEW BEST:: SOT 9730187 SOS 2851392 HAS SOPS 2851392 HAS SOUS 658395 HAS SOUPS 658395 WITH SCORE 661246.392
AT ITER 3275 NEW BEST:: SOT 9730186 SOS 2851390 HAS SOPS 2851390 HAS SOUS 658393 HAS SOUPS 658393 WITH SCORE 661244.39
AT ITER 3302 NEW BEST:: SOT 9730162 SOS 2851342 HAS SOPS 2851342 HAS SOUS 658345 HAS SOUPS 658345 WITH SCORE 661196.342
AT ITER 3314 NEW BEST:: SOT 9730143 SOS 2851155 HAS SOPS 2851155 HAS SOUS 658158 HAS SOUPS 658158 WITH SCORE 661009.155
AT ITER 3317 NEW BEST:: SOT 9730143 SOS 2850952 HAS SOPS 2850952 HAS SOUS 657955 HAS SOUPS 657955 WITH SCORE 660805.952
AT ITER 3318 NEW BEST:: SOT 9730143 SOS 2850883 HAS SOPS 2850883 HAS SOUS 657886 HAS SOUPS 657886 WITH SCORE 660736.883
AT ITER 3366 NEW BEST:: SOT 9730100 SOS 2850797 HAS SOPS 2850797 HAS SOUS 657800 HAS SOUPS 657800 WITH SCORE 660650.797
AT ITER 3382 NEW BEST:: SOT 9730100 SOS 2850797 HAS SOPS 2850797 HAS SOUS 657772 HAS SOUPS 657772 WITH SCORE 660622.797
AT ITER 3393 NEW BEST:: SOT 9730039 SOS 2850675 HAS SOPS 2850675 HAS SOUS 657535 HAS SOUPS 657535 WITH SCORE 660385.675
AT ITER 3424 NEW BEST:: SOT 9730012 SOS 2850621 HAS SOPS 2850621 HAS SOUS 657481 HAS SOUPS 657481 WITH SCORE 660331.621
AT ITER 3431 NEW BEST:: SOT 9729961 SOS 2850519 HAS SOPS 2850519 HAS SOUS 657379 HAS SOUPS 657379 WITH SCORE 660229.519
AT ITER 3441 NEW BEST:: SOT 9729930 SOS 2850457 HAS SOPS 2850457 HAS SOUS 657317 HAS SOUPS 657317 WITH SCORE 660167.457
AT ITER 3458 NEW BEST:: SOT 9729882 SOS 2850361 HAS SOPS 2850361 HAS SOUS 657269 HAS SOUPS 657269 WITH SCORE 660119.361
AT ITER 3462 NEW BEST:: SOT 9729275 SOS 2850653 HAS SOPS 2850653 HAS SOUS 656951 HAS SOUPS 656951 WITH SCORE 659801.653
AT ITER 3487 NEW BEST:: SOT 9728919 SOS 2850475 HAS SOPS 2850475 HAS SOUS 656876 HAS SOUPS 656876 WITH SCORE 659726.475
AT ITER 3496 NEW BEST:: SOT 9728781 SOS 2850199 HAS SOPS 2850199 HAS SOUS 656600 HAS SOUPS 656600 WITH SCORE 659450.199
AT ITER 3535 NEW BEST:: SOT 9728725 SOS 2850143 HAS SOPS 2850143 HAS SOUS 656544 HAS SOUPS 656544 WITH SCORE 659394.143
AT ITER 3539 NEW BEST:: SOT 9728651 SOS 2782291 HAS SOPS 2782291 HAS SOUS 656470 HAS SOUPS 656470 WITH SCORE 659252.291
AT ITER 3600 NEW BEST:: SOT 9728643 SOS 2782275 HAS SOPS 2782275 HAS SOUS 656454 HAS SOUPS 656454 WITH SCORE 659236.275
AT ITER 3635 NEW BEST:: SOT 9728487 SOS 2781918 HAS SOPS 2781918 HAS SOUS 656097 HAS SOUPS 656097 WITH SCORE 658878.918
AT ITER 3659 NEW BEST:: SOT 9728487 SOS 2781918 HAS SOPS 2781918 HAS SOUS 654433 HAS SOUPS 654433 WITH SCORE 657214.918
AT ITER 3678 NEW BEST:: SOT 9728393 SOS 2781730 HAS SOPS 2781730 HAS SOUS 654245 HAS SOUPS 654245 WITH SCORE 657026.73
AT ITER 3688 NEW BEST:: SOT 9728380 SOS 2781691 HAS SOPS 2781691 HAS SOUS 654232 HAS SOUPS 654232 WITH SCORE 657013.691
AT ITER 3705 NEW BEST:: SOT 9728411 SOS 2767391 HAS SOPS 2767391 HAS SOUS 652088 HAS SOUPS 652088 WITH SCORE 654855.391
AT ITER 3717 NEW BEST:: SOT 9728411 SOS 2744927 HAS SOPS 2744927 HAS SOUS 650918 HAS SOUPS 650918 WITH SCORE 653662.927
AT ITER 3750 NEW BEST:: SOT 9728282 SOS 2744669 HAS SOPS 2744669 HAS SOUS 650660 HAS SOUPS 650660 WITH SCORE 653404.669
AT ITER 3789 NEW BEST:: SOT 9728164 SOS 2744433 HAS SOPS 2744433 HAS SOUS 650502 HAS SOUPS 650502 WITH SCORE 653246.433
AT ITER 3791 NEW BEST:: SOT 9728164 SOS 2744265 HAS SOPS 2744265 HAS SOUS 650334 HAS SOUPS 650334 WITH SCORE 653078.265
AT ITER 3822 NEW BEST:: SOT 9728099 SOS 2744135 HAS SOPS 2744135 HAS SOUS 650204 HAS SOUPS 650204 WITH SCORE 652948.135
AT ITER 3825 NEW BEST:: SOT 9727860 SOS 2743657 HAS SOPS 2743657 HAS SOUS 649965 HAS SOUPS 649965 WITH SCORE 652708.657
AT ITER 3840 NEW BEST:: SOT 9727789 SOS 2743515 HAS SOPS 2743515 HAS SOUS 649823 HAS SOUPS 649823 WITH SCORE 652566.515
AT ITER 3850 NEW BEST:: SOT 9727788 SOS 2743513 HAS SOPS 2743513 HAS SOUS 649821 HAS SOUPS 649821 WITH SCORE 652564.513
AT ITER 3862 NEW BEST:: SOT 9727724 SOS 2743385 HAS SOPS 2743385 HAS SOUS 649693 HAS SOUPS 649693 WITH SCORE 652436.385
AT ITER 3874 NEW BEST:: SOT 9727666 SOS 2743327 HAS SOPS 2743327 HAS SOUS 649635 HAS SOUPS 649635 WITH SCORE 652378.327
AT ITER 3876 NEW BEST:: SOT 9727638 SOS 2743299 HAS SOPS 2743299 HAS SOUS 649607 HAS SOUPS 649607 WITH SCORE 652350.299
AT ITER 3885 NEW BEST:: SOT 9727637 SOS 2743297 HAS SOPS 2743297 HAS SOUS 649605 HAS SOUPS 649605 WITH SCORE 652348.297
AT ITER 3901 NEW BEST:: SOT 9727637 SOS 2743297 HAS SOPS 2743297 HAS SOUS 649484 HAS SOUPS 649484 WITH SCORE 652227.297
AT ITER 3902 NEW BEST:: SOT 9727381 SOS 2742785 HAS SOPS 2742785 HAS SOUS 649230 HAS SOUPS 649230 WITH SCORE 651972.785
AT ITER 3940 NEW BEST:: SOT 9727374 SOS 2742771 HAS SOPS 2742771 HAS SOUS 649216 HAS SOUPS 649216 WITH SCORE 651958.771
AT ITER 3944 NEW BEST:: SOT 9617538 SOS 2633003 HAS SOPS 2633003 HAS SOUS 539321 HAS SOUPS 539321 WITH SCORE 541954.003
AT ITER 3966 NEW BEST:: SOT 9617506 SOS 2632939 HAS SOPS 2632939 HAS SOUS 539257 HAS SOUPS 539257 WITH SCORE 541889.939
AT ITER 4010 NEW BEST:: SOT 9617213 SOS 2632353 HAS SOPS 2632353 HAS SOUS 538671 HAS SOUPS 538671 WITH SCORE 541303.353
AT ITER 4055 NEW BEST:: SOT 9617078 SOS 2632083 HAS SOPS 2632083 HAS SOUS 538401 HAS SOUPS 538401 WITH SCORE 541033.083
AT ITER 4071 NEW BEST:: SOT 9617040 SOS 2632007 HAS SOPS 2632007 HAS SOUS 538325 HAS SOUPS 538325 WITH SCORE 540957.007
AT ITER 4074 NEW BEST:: SOT 9612315 SOS 2632152 HAS SOPS 2632152 HAS SOUS 533686 HAS SOUPS 533686 WITH SCORE 536318.152
AT ITER 4095 NEW BEST:: SOT 9612347 SOS 2632131 HAS SOPS 2632131 HAS SOUS 533665 HAS SOUPS 533665 WITH SCORE 536297.131
AT ITER 4111 NEW BEST:: SOT 9612320 SOS 2632077 HAS SOPS 2632077 HAS SOUS 533611 HAS SOUPS 533611 WITH SCORE 536243.077
AT ITER 4118 NEW BEST:: SOT 9612111 SOS 2628940 HAS SOPS 2628940 HAS SOUS 533378 HAS SOUPS 533378 WITH SCORE 536006.94
AT ITER 4163 NEW BEST:: SOT 9611913 SOS 2628544 HAS SOPS 2628544 HAS SOUS 533314 HAS SOUPS 533314 WITH SCORE 535942.544
AT ITER 4165 NEW BEST:: SOT 9611678 SOS 2628074 HAS SOPS 2628074 HAS SOUS 532834 HAS SOUPS 532834 WITH SCORE 535462.074
AT ITER 4183 NEW BEST:: SOT 9611677 SOS 2628072 HAS SOPS 2628072 HAS SOUS 532832 HAS SOUPS 532832 WITH SCORE 535460.072
AT ITER 4208 NEW BEST:: SOT 9611677 SOS 2326995 HAS SOPS 2326995 HAS SOUS 532832 HAS SOUPS 532832 WITH SCORE 535158.995
AT ITER 4212 NEW BEST:: SOT 9602204 SOS 2318795 HAS SOPS 2318795 HAS SOUS 523754 HAS SOUPS 523754 WITH SCORE 526072.795
AT ITER 4221 NEW BEST:: SOT 9602202 SOS 2318791 HAS SOPS 2318791 HAS SOUS 523750 HAS SOUPS 523750 WITH SCORE 526068.791
AT ITER 4232 NEW BEST:: SOT 9602194 SOS 2318775 HAS SOPS 2318775 HAS SOUS 523734 HAS SOUPS 523734 WITH SCORE 526052.775
AT ITER 4235 NEW BEST:: SOT 9602392 SOS 2285246 HAS SOPS 2285246 HAS SOUS 523720 HAS SOUPS 523720 WITH SCORE 526005.246
AT ITER 4258 NEW BEST:: SOT 9602325 SOS 2285112 HAS SOPS 2285112 HAS SOUS 523586 HAS SOUPS 523586 WITH SCORE 525871.112
AT ITER 4267 NEW BEST:: SOT 9602154 SOS 2284770 HAS SOPS 2284770 HAS SOUS 523244 HAS SOUPS 523244 WITH SCORE 525528.77
AT ITER 4296 NEW BEST:: SOT 9602065 SOS 2284592 HAS SOPS 2284592 HAS SOUS 523066 HAS SOUPS 523066 WITH SCORE 525350.592
AT ITER 4298 NEW BEST:: SOT 9602013 SOS 2284488 HAS SOPS 2284488 HAS SOUS 523014 HAS SOUPS 523014 WITH SCORE 525298.488
AT ITER 4307 NEW BEST:: SOT 9601922 SOS 2284306 HAS SOPS 2284306 HAS SOUS 522832 HAS SOUPS 522832 WITH SCORE 525116.306
AT ITER 4320 NEW BEST:: SOT 9601904 SOS 2284288 HAS SOPS 2284288 HAS SOUS 522814 HAS SOUPS 522814 WITH SCORE 525098.288
AT ITER 4333 NEW BEST:: SOT 9601849 SOS 2284178 HAS SOPS 2284178 HAS SOUS 522704 HAS SOUPS 522704 WITH SCORE 524988.178
AT ITER 4350 NEW BEST:: SOT 9601753 SOS 2283986 HAS SOPS 2283986 HAS SOUS 522701 HAS SOUPS 522701 WITH SCORE 524984.986
AT ITER 4385 NEW BEST:: SOT 9601689 SOS 2283922 HAS SOPS 2283922 HAS SOUS 522637 HAS SOUPS 522637 WITH SCORE 524920.922
AT ITER 4386 NEW BEST:: SOT 9601656 SOS 2283856 HAS SOPS 2283856 HAS SOUS 522571 HAS SOUPS 522571 WITH SCORE 524854.856
AT ITER 4422 NEW BEST:: SOT 9601650 SOS 2283844 HAS SOPS 2283844 HAS SOUS 522559 HAS SOUPS 522559 WITH SCORE 524842.844
AT ITER 4447 NEW BEST:: SOT 9601554 SOS 2283748 HAS SOPS 2283748 HAS SOUS 522463 HAS SOUPS 522463 WITH SCORE 524746.748
AT ITER 4550 NEW BEST:: SOT 9601526 SOS 2283692 HAS SOPS 2283692 HAS SOUS 522267 HAS SOUPS 522267 WITH SCORE 524550.692
AT ITER 4603 NEW BEST:: SOT 9601401 SOS 2283442 HAS SOPS 2283442 HAS SOUS 522017 HAS SOUPS 522017 WITH SCORE 524300.442
AT ITER 4614 NEW BEST:: SOT 9601101 SOS 2282842 HAS SOPS 2282842 HAS SOUS 521725 HAS SOUPS 521725 WITH SCORE 524007.842
AT ITER 4634 NEW BEST:: SOT 9601085 SOS 2282826 HAS SOPS 2282826 HAS SOUS 521709 HAS SOUPS 521709 WITH SCORE 523991.826
AT ITER 4638 NEW BEST:: SOT 9601085 SOS 2282722 HAS SOPS 2282722 HAS SOUS 521709 HAS SOUPS 521709 WITH SCORE 523991.722
AT ITER 4655 NEW BEST:: SOT 9601085 SOS 2282721 HAS SOPS 2282721 HAS SOUS 521708 HAS SOUPS 521708 WITH SCORE 523990.721
AT ITER 4715 NEW BEST:: SOT 9600885 SOS 2282521 HAS SOPS 2282521 HAS SOUS 521508 HAS SOUPS 521508 WITH SCORE 523790.521
AT ITER 4720 NEW BEST:: SOT 9600857 SOS 2282493 HAS SOPS 2282493 HAS SOUS 521480 HAS SOUPS 521480 WITH SCORE 523762.493
AT ITER 4840 NEW BEST:: SOT 9600856 SOS 2282491 HAS SOPS 2282491 HAS SOUS 521478 HAS SOUPS 521478 WITH SCORE 523760.491
AT ITER 4854 NEW BEST:: SOT 9582361 SOS 2308499 HAS SOPS 2308499 HAS SOUS 505955 HAS SOUPS 505955 WITH SCORE 508263.499
AT ITER 4909 NEW BEST:: SOT 9582084 SOS 2307943 HAS SOPS 2307943 HAS SOUS 505399 HAS SOUPS 505399 WITH SCORE 507706.943
AT ITER 4995 NEW BEST:: SOT 9582083 SOS 2307941 HAS SOPS 2307941 HAS SOUS 505397 HAS SOUPS 505397 WITH SCORE 507704.941
AT ITER 5007 NEW BEST:: SOT 9581780 SOS 2307335 HAS SOPS 2307335 HAS SOUS 505076 HAS SOUPS 505076 WITH SCORE 507383.335
AT ITER 5030 NEW BEST:: SOT 9581780 SOS 2307123 HAS SOPS 2307123 HAS SOUS 505076 HAS SOUPS 505076 WITH SCORE 507383.123
AT ITER 5047 NEW BEST:: SOT 9581752 SOS 2307067 HAS SOPS 2307067 HAS SOUS 505048 HAS SOUPS 505048 WITH SCORE 507355.067
AT ITER 5052 NEW BEST:: SOT 9581745 SOS 2307053 HAS SOPS 2307053 HAS SOUS 505034 HAS SOUPS 505034 WITH SCORE 507341.053
AT ITER 5093 NEW BEST:: SOT 9573327 SOS 2309089 HAS SOPS 2309089 HAS SOUS 501279 HAS SOUPS 501279 WITH SCORE 503588.089
AT ITER 5097 NEW BEST:: SOT 9573145 SOS 2308725 HAS SOPS 2308725 HAS SOUS 500915 HAS SOUPS 500915 WITH SCORE 503223.725
AT ITER 5100 NEW BEST:: SOT 9572824 SOS 2308297 HAS SOPS 2308297 HAS SOUS 500487 HAS SOUPS 500487 WITH SCORE 502795.297
AT ITER 5112 NEW BEST:: SOT 9572745 SOS 2308139 HAS SOPS 2308139 HAS SOUS 500329 HAS SOUPS 500329 WITH SCORE 502637.139
AT ITER 5127 NEW BEST:: SOT 9572717 SOS 2308083 HAS SOPS 2308083 HAS SOUS 500301 HAS SOUPS 500301 WITH SCORE 502609.083
AT ITER 5146 NEW BEST:: SOT 9572524 SOS 2307697 HAS SOPS 2307697 HAS SOUS 499915 HAS SOUPS 499915 WITH SCORE 502222.697
AT ITER 5179 NEW BEST:: SOT 9572308 SOS 2307265 HAS SOPS 2307265 HAS SOUS 499699 HAS SOUPS 499699 WITH SCORE 502006.265
AT ITER 5181 NEW BEST:: SOT 9572259 SOS 2307167 HAS SOPS 2307167 HAS SOUS 499601 HAS SOUPS 499601 WITH SCORE 501908.167
AT ITER 5199 NEW BEST:: SOT 9572030 SOS 2306709 HAS SOPS 2306709 HAS SOUS 499532 HAS SOUPS 499532 WITH SCORE 501838.709
AT ITER 5207 NEW BEST:: SOT 9569593 SOS 2579760 HAS SOPS 2579760 HAS SOUS 498767 HAS SOUPS 498767 WITH SCORE 501346.76
AT ITER 5234 NEW BEST:: SOT 9569304 SOS 2579182 HAS SOPS 2579182 HAS SOUS 498478 HAS SOUPS 498478 WITH SCORE 501057.182
AT ITER 5301 NEW BEST:: SOT 9569276 SOS 2579126 HAS SOPS 2579126 HAS SOUS 498422 HAS SOUPS 498422 WITH SCORE 501001.126
AT ITER 5307 NEW BEST:: SOT 9569262 SOS 2579111 HAS SOPS 2579111 HAS SOUS 498407 HAS SOUPS 498407 WITH SCORE 500986.111
AT ITER 5318 NEW BEST:: SOT 9569204 SOS 2578995 HAS SOPS 2578995 HAS SOUS 498291 HAS SOUPS 498291 WITH SCORE 500869.995
AT ITER 5324 NEW BEST:: SOT 9569001 SOS 2578589 HAS SOPS 2578589 HAS SOUS 498086 HAS SOUPS 498086 WITH SCORE 500664.589
AT ITER 5332 NEW BEST:: SOT 9569000 SOS 2578587 HAS SOPS 2578587 HAS SOUS 498084 HAS SOUPS 498084 WITH SCORE 500662.587
AT ITER 5371 NEW BEST:: SOT 9568862 SOS 2578311 HAS SOPS 2578311 HAS SOUS 497808 HAS SOUPS 497808 WITH SCORE 500386.311
AT ITER 5384 NEW BEST:: SOT 9568843 SOS 2578273 HAS SOPS 2578273 HAS SOUS 497770 HAS SOUPS 497770 WITH SCORE 500348.273
AT ITER 5388 NEW BEST:: SOT 9568777 SOS 2578207 HAS SOPS 2578207 HAS SOUS 497704 HAS SOUPS 497704 WITH SCORE 500282.207
AT ITER 5414 NEW BEST:: SOT 9568777 SOS 2578206 HAS SOPS 2578206 HAS SOUS 497703 HAS SOUPS 497703 WITH SCORE 500281.206
AT ITER 5428 NEW BEST:: SOT 9568776 SOS 2578204 HAS SOPS 2578204 HAS SOUS 497701 HAS SOUPS 497701 WITH SCORE 500279.204
AT ITER 5475 NEW BEST:: SOT 9568647 SOS 2483905 HAS SOPS 2483905 HAS SOUS 497443 HAS SOUPS 497443 WITH SCORE 499926.905
AT ITER 5479 NEW BEST:: SOT 9568620 SOS 2483851 HAS SOPS 2483851 HAS SOUS 497389 HAS SOUPS 497389 WITH SCORE 499872.851
AT ITER 5481 NEW BEST:: SOT 9568350 SOS 2483694 HAS SOPS 2483694 HAS SOUS 497175 HAS SOUPS 497175 WITH SCORE 499658.694
AT ITER 5482 NEW BEST:: SOT 9567849 SOS 2482692 HAS SOPS 2482692 HAS SOUS 496680 HAS SOUPS 496680 WITH SCORE 499162.692
AT ITER 5493 NEW BEST:: SOT 9567745 SOS 2482484 HAS SOPS 2482484 HAS SOUS 496472 HAS SOUPS 496472 WITH SCORE 498954.484
AT ITER 5496 NEW BEST:: SOT 9567629 SOS 2482252 HAS SOPS 2482252 HAS SOUS 496240 HAS SOUPS 496240 WITH SCORE 498722.252
AT ITER 5501 NEW BEST:: SOT 9567666 SOS 2482326 HAS SOPS 2482326 HAS SOUS 496043 HAS SOUPS 496043 WITH SCORE 498525.326
AT ITER 5529 NEW BEST:: SOT 9567666 SOS 2482118 HAS SOPS 2482118 HAS SOUS 495835 HAS SOUPS 495835 WITH SCORE 498317.118
AT ITER 5555 NEW BEST:: SOT 9567428 SOS 2481642 HAS SOPS 2481642 HAS SOUS 495729 HAS SOUPS 495729 WITH SCORE 498210.642
AT ITER 5600 NEW BEST:: SOT 9567140 SOS 2481354 HAS SOPS 2481354 HAS SOUS 495441 HAS SOUPS 495441 WITH SCORE 497922.354
AT ITER 5633 NEW BEST:: SOT 9567071 SOS 2481216 HAS SOPS 2481216 HAS SOUS 495372 HAS SOUPS 495372 WITH SCORE 497853.216
AT ITER 5668 NEW BEST:: SOT 9567022 SOS 2481118 HAS SOPS 2481118 HAS SOUS 495294 HAS SOUPS 495294 WITH SCORE 497775.118
AT ITER 5697 NEW BEST:: SOT 9566917 SOS 2454556 HAS SOPS 2454556 HAS SOUS 494230 HAS SOUPS 494230 WITH SCORE 496684.556
AT ITER 5741 NEW BEST:: SOT 9566939 SOS 2454578 HAS SOPS 2454578 HAS SOUS 494167 HAS SOUPS 494167 WITH SCORE 496621.578
AT ITER 5758 NEW BEST:: SOT 9566765 SOS 2454230 HAS SOPS 2454230 HAS SOUS 493819 HAS SOUPS 493819 WITH SCORE 496273.23
AT ITER 5765 NEW BEST:: SOT 9566715 SOS 2431126 HAS SOPS 2431126 HAS SOUS 493653 HAS SOUPS 493653 WITH SCORE 496084.126
AT ITER 5769 NEW BEST:: SOT 9566603 SOS 2430902 HAS SOPS 2430902 HAS SOUS 493541 HAS SOUPS 493541 WITH SCORE 495971.902
AT ITER 5836 NEW BEST:: SOT 9566571 SOS 2430838 HAS SOPS 2430838 HAS SOUS 493509 HAS SOUPS 493509 WITH SCORE 495939.838
AT ITER 5862 NEW BEST:: SOT 9566510 SOS 2430716 HAS SOPS 2430716 HAS SOUS 493387 HAS SOUPS 493387 WITH SCORE 495817.716
AT ITER 5869 NEW BEST:: SOT 9566487 SOS 2430670 HAS SOPS 2430670 HAS SOUS 493341 HAS SOUPS 493341 WITH SCORE 495771.67
AT ITER 5907 NEW BEST:: SOT 9566249 SOS 2430194 HAS SOPS 2430194 HAS SOUS 492865 HAS SOUPS 492865 WITH SCORE 495295.194
AT ITER 5938 NEW BEST:: SOT 9566247 SOS 2430190 HAS SOPS 2430190 HAS SOUS 492861 HAS SOUPS 492861 WITH SCORE 495291.19
AT ITER 5992 NEW BEST:: SOT 9566081 SOS 2429858 HAS SOPS 2429858 HAS SOUS 492692 HAS SOUPS 492692 WITH SCORE 495121.858
AT ITER 6002 NEW BEST:: SOT 9565932 SOS 2429560 HAS SOPS 2429560 HAS SOUS 492394 HAS SOUPS 492394 WITH SCORE 494823.56
AT ITER 6018 NEW BEST:: SOT 9565800 SOS 2429296 HAS SOPS 2429296 HAS SOUS 492130 HAS SOUPS 492130 WITH SCORE 494559.296
AT ITER 6056 NEW BEST:: SOT 9565762 SOS 2398552 HAS SOPS 2398552 HAS SOUS 491356 HAS SOUPS 491356 WITH SCORE 493754.552
AT ITER 6066 NEW BEST:: SOT 9565690 SOS 2398432 HAS SOPS 2398432 HAS SOUS 491236 HAS SOUPS 491236 WITH SCORE 493634.432
AT ITER 6143 NEW BEST:: SOT 9565690 SOS 2398432 HAS SOPS 2398432 HAS SOUS 491087 HAS SOUPS 491087 WITH SCORE 493485.432
AT ITER 6158 NEW BEST:: SOT 9565617 SOS 2398286 HAS SOPS 2398286 HAS SOUS 490941 HAS SOUPS 490941 WITH SCORE 493339.286
AT ITER 6161 NEW BEST:: SOT 9565614 SOS 2398280 HAS SOPS 2398280 HAS SOUS 490935 HAS SOUPS 490935 WITH SCORE 493333.28
AT ITER 6176 NEW BEST:: SOT 9565354 SOS 2397760 HAS SOPS 2397760 HAS SOUS 490624 HAS SOUPS 490624 WITH SCORE 493021.76
AT ITER 6178 NEW BEST:: SOT 9565310 SOS 2397672 HAS SOPS 2397672 HAS SOUS 490580 HAS SOUPS 490580 WITH SCORE 492977.672
AT ITER 6186 NEW BEST:: SOT 9565288 SOS 2397628 HAS SOPS 2397628 HAS SOUS 490536 HAS SOUPS 490536 WITH SCORE 492933.628
AT ITER 6192 NEW BEST:: SOT 9565287 SOS 2397626 HAS SOPS 2397626 HAS SOUS 490534 HAS SOUPS 490534 WITH SCORE 492931.626
AT ITER 6203 NEW BEST:: SOT 9565292 SOS 2397636 HAS SOPS 2397636 HAS SOUS 490465 HAS SOUPS 490465 WITH SCORE 492862.636
AT ITER 6205 NEW BEST:: SOT 9565159 SOS 2397370 HAS SOPS 2397370 HAS SOUS 490199 HAS SOUPS 490199 WITH SCORE 492596.37
AT ITER 6216 NEW BEST:: SOT 9565123 SOS 2397298 HAS SOPS 2397298 HAS SOUS 490127 HAS SOUPS 490127 WITH SCORE 492524.298
AT ITER 6231 NEW BEST:: SOT 9565123 SOS 2397297 HAS SOPS 2397297 HAS SOUS 490126 HAS SOUPS 490126 WITH SCORE 492523.297
AT ITER 6253 NEW BEST:: SOT 9565123 SOS 2397297 HAS SOPS 2397297 HAS SOUS 490091 HAS SOUPS 490091 WITH SCORE 492488.297
AT ITER 6261 NEW BEST:: SOT 9565025 SOS 2397101 HAS SOPS 2397101 HAS SOUS 489895 HAS SOUPS 489895 WITH SCORE 492292.101
AT ITER 6299 NEW BEST:: SOT 9565025 SOS 2397052 HAS SOPS 2397052 HAS SOUS 489846 HAS SOUPS 489846 WITH SCORE 492243.052
AT ITER 6365 NEW BEST:: SOT 9565025 SOS 2396877 HAS SOPS 2396877 HAS SOUS 489671 HAS SOUPS 489671 WITH SCORE 492067.877
AT ITER 6466 NEW BEST:: SOT 9564952 SOS 2396731 HAS SOPS 2396731 HAS SOUS 489525 HAS SOUPS 489525 WITH SCORE 491921.731
AT ITER 6470 NEW BEST:: SOT 9564914 SOS 2396693 HAS SOPS 2396693 HAS SOUS 489487 HAS SOUPS 489487 WITH SCORE 491883.693
AT ITER 6524 NEW BEST:: SOT 9564889 SOS 2396643 HAS SOPS 2396643 HAS SOUS 489437 HAS SOUPS 489437 WITH SCORE 491833.643
AT ITER 6540 NEW BEST:: SOT 9564846 SOS 2396600 HAS SOPS 2396600 HAS SOUS 489394 HAS SOUPS 489394 WITH SCORE 491790.6
AT ITER 6575 NEW BEST:: SOT 9564829 SOS 2396583 HAS SOPS 2396583 HAS SOUS 489377 HAS SOUPS 489377 WITH SCORE 491773.583
AT ITER 6609 NEW BEST:: SOT 9564770 SOS 2396465 HAS SOPS 2396465 HAS SOUS 489259 HAS SOUPS 489259 WITH SCORE 491655.465
AT ITER 6652 NEW BEST:: SOT 9564606 SOS 2383033 HAS SOPS 2383033 HAS SOUS 487927 HAS SOUPS 487927 WITH SCORE 490310.033
AT ITER 6678 NEW BEST:: SOT 9564612 SOS 2377859 HAS SOPS 2377859 HAS SOUS 486614 HAS SOUPS 486614 WITH SCORE 488991.859
AT ITER 6712 NEW BEST:: SOT 9564501 SOS 2377859 HAS SOPS 2377859 HAS SOUS 486540 HAS SOUPS 486540 WITH SCORE 488917.859
AT ITER 6714 NEW BEST:: SOT 9564325 SOS 2377507 HAS SOPS 2377507 HAS SOUS 486364 HAS SOUPS 486364 WITH SCORE 488741.507
AT ITER 6722 NEW BEST:: SOT 9564124 SOS 2377105 HAS SOPS 2377105 HAS SOUS 485962 HAS SOUPS 485962 WITH SCORE 488339.105
AT ITER 6738 NEW BEST:: SOT 9564124 SOS 2377105 HAS SOPS 2377105 HAS SOUS 485909 HAS SOUPS 485909 WITH SCORE 488286.105
AT ITER 6750 NEW BEST:: SOT 9564027 SOS 2376911 HAS SOPS 2376911 HAS SOUS 485715 HAS SOUPS 485715 WITH SCORE 488091.911
AT ITER 6774 NEW BEST:: SOT 9563992 SOS 2376281 HAS SOPS 2376281 HAS SOUS 485540 HAS SOUPS 485540 WITH SCORE 487916.281
AT ITER 6784 NEW BEST:: SOT 9563936 SOS 2376169 HAS SOPS 2376169 HAS SOUS 485428 HAS SOUPS 485428 WITH SCORE 487804.169
AT ITER 6804 NEW BEST:: SOT 9563955 SOS 2376143 HAS SOPS 2376143 HAS SOUS 485402 HAS SOUPS 485402 WITH SCORE 487778.143
AT ITER 6854 NEW BEST:: SOT 9563880 SOS 2375993 HAS SOPS 2375993 HAS SOUS 485252 HAS SOUPS 485252 WITH SCORE 487627.993
AT ITER 6907 NEW BEST:: SOT 9563788 SOS 2375809 HAS SOPS 2375809 HAS SOUS 485068 HAS SOUPS 485068 WITH SCORE 487443.809
AT ITER 6947 NEW BEST:: SOT 9563774 SOS 2375781 HAS SOPS 2375781 HAS SOUS 485040 HAS SOUPS 485040 WITH SCORE 487415.781
AT ITER 7079 NEW BEST:: SOT 9563603 SOS 2375439 HAS SOPS 2375439 HAS SOUS 484869 HAS SOUPS 484869 WITH SCORE 487244.439
AT ITER 7094 NEW BEST:: SOT 9563504 SOS 2375216 HAS SOPS 2375216 HAS SOUS 484646 HAS SOUPS 484646 WITH SCORE 487021.216
AT ITER 7102 NEW BEST:: SOT 9563504 SOS 2375031 HAS SOPS 2375031 HAS SOUS 484461 HAS SOUPS 484461 WITH SCORE 486836.031
AT ITER 7105 NEW BEST:: SOT 9563213 SOS 2375055 HAS SOPS 2375055 HAS SOUS 484269 HAS SOUPS 484269 WITH SCORE 486644.055
AT ITER 7111 NEW BEST:: SOT 9563189 SOS 2375030 HAS SOPS 2375030 HAS SOUS 484149 HAS SOUPS 484149 WITH SCORE 486524.03
AT ITER 7123 NEW BEST:: SOT 9562943 SOS 2374538 HAS SOPS 2374538 HAS SOUS 484091 HAS SOUPS 484091 WITH SCORE 486465.538
AT ITER 7136 NEW BEST:: SOT 9562942 SOS 2374536 HAS SOPS 2374536 HAS SOUS 484089 HAS SOUPS 484089 WITH SCORE 486463.536
AT ITER 7141 NEW BEST:: SOT 9562924 SOS 2374500 HAS SOPS 2374500 HAS SOUS 484053 HAS SOUPS 484053 WITH SCORE 486427.5
AT ITER 7145 NEW BEST:: SOT 9562924 SOS 2374436 HAS SOPS 2374436 HAS SOUS 483989 HAS SOUPS 483989 WITH SCORE 486363.436
AT ITER 7174 NEW BEST:: SOT 9562918 SOS 2374418 HAS SOPS 2374418 HAS SOUS 483976 HAS SOUPS 483976 WITH SCORE 486350.418
AT ITER 7181 NEW BEST:: SOT 9562916 SOS 2374414 HAS SOPS 2374414 HAS SOUS 483972 HAS SOUPS 483972 WITH SCORE 486346.414
AT ITER 7209 NEW BEST:: SOT 9562916 SOS 2239824 HAS SOPS 2239824 HAS SOUS 483702 HAS SOUPS 483702 WITH SCORE 485941.824
AT ITER 7213 NEW BEST:: SOT 9562916 SOS 2239823 HAS SOPS 2239823 HAS SOUS 483701 HAS SOUPS 483701 WITH SCORE 485940.823
AT ITER 7220 NEW BEST:: SOT 9562916 SOS 2239819 HAS SOPS 2239819 HAS SOUS 483697 HAS SOUPS 483697 WITH SCORE 485936.819
AT ITER 7236 NEW BEST:: SOT 9562896 SOS 2239779 HAS SOPS 2239779 HAS SOUS 483638 HAS SOUPS 483638 WITH SCORE 485877.779
AT ITER 7237 NEW BEST:: SOT 9562791 SOS 2239569 HAS SOPS 2239569 HAS SOUS 483563 HAS SOUPS 483563 WITH SCORE 485802.569
AT ITER 7272 NEW BEST:: SOT 9562793 SOS 2239454 HAS SOPS 2239454 HAS SOUS 483448 HAS SOUPS 483448 WITH SCORE 485687.454
AT ITER 7279 NEW BEST:: SOT 9562708 SOS 2239284 HAS SOPS 2239284 HAS SOUS 483363 HAS SOUPS 483363 WITH SCORE 485602.284
AT ITER 7336 NEW BEST:: SOT 9560621 SOS 2237346 HAS SOPS 2237346 HAS SOUS 482881 HAS SOUPS 482881 WITH SCORE 485118.346
AT ITER 7386 NEW BEST:: SOT 9561615 SOS 2238385 HAS SOPS 2238385 HAS SOUS 482464 HAS SOUPS 482464 WITH SCORE 484702.385
AT ITER 7409 NEW BEST:: SOT 9561615 SOS 2238374 HAS SOPS 2238374 HAS SOUS 482464 HAS SOUPS 482464 WITH SCORE 484702.374
AT ITER 7433 NEW BEST:: SOT 9561356 SOS 2237856 HAS SOPS 2237856 HAS SOUS 481946 HAS SOUPS 481946 WITH SCORE 484183.856
AT ITER 7530 NEW BEST:: SOT 9561354 SOS 2237852 HAS SOPS 2237852 HAS SOUS 481942 HAS SOUPS 481942 WITH SCORE 484179.852
AT ITER 7580 NEW BEST:: SOT 9563383 SOS 2221082 HAS SOPS 2221082 HAS SOUS 481816 HAS SOUPS 481816 WITH SCORE 484037.082
AT ITER 7591 NEW BEST:: SOT 9563358 SOS 2221032 HAS SOPS 2221032 HAS SOUS 481766 HAS SOUPS 481766 WITH SCORE 483987.032
AT ITER 7619 NEW BEST:: SOT 9563324 SOS 2220964 HAS SOPS 2220964 HAS SOUS 481698 HAS SOUPS 481698 WITH SCORE 483918.964
AT ITER 7654 NEW BEST:: SOT 9563323 SOS 2220962 HAS SOPS 2220962 HAS SOUS 481696 HAS SOUPS 481696 WITH SCORE 483916.962
AT ITER 7672 NEW BEST:: SOT 9563385 SOS 2221086 HAS SOPS 2221086 HAS SOUS 481661 HAS SOUPS 481661 WITH SCORE 483882.086
AT ITER 7718 NEW BEST:: SOT 9563385 SOS 2221050 HAS SOPS 2221050 HAS SOUS 481625 HAS SOUPS 481625 WITH SCORE 483846.05
AT ITER 7747 NEW BEST:: SOT 9563384 SOS 2221048 HAS SOPS 2221048 HAS SOUS 481623 HAS SOUPS 481623 WITH SCORE 483844.048
AT ITER 7815 NEW BEST:: SOT 9563384 SOS 2221048 HAS SOPS 2221048 HAS SOUS 481561 HAS SOUPS 481561 WITH SCORE 483782.048
AT ITER 7838 NEW BEST:: SOT 9563366 SOS 2221012 HAS SOPS 2221012 HAS SOUS 481525 HAS SOUPS 481525 WITH SCORE 483746.012
AT ITER 7905 NEW BEST:: SOT 9563337 SOS 2220983 HAS SOPS 2220983 HAS SOUS 481496 HAS SOUPS 481496 WITH SCORE 483716.983
AT ITER 7925 NEW BEST:: SOT 9563337 SOS 2220983 HAS SOPS 2220983 HAS SOUS 481440 HAS SOUPS 481440 WITH SCORE 483660.983
AT ITER 8040 NEW BEST:: SOT 9563324 SOS 2220956 HAS SOPS 2220956 HAS SOUS 481413 HAS SOUPS 481413 WITH SCORE 483633.956
AT ITER 8041 NEW BEST:: SOT 9563288 SOS 2220884 HAS SOPS 2220884 HAS SOUS 481341 HAS SOUPS 481341 WITH SCORE 483561.884
AT ITER 8048 NEW BEST:: SOT 9563258 SOS 2220839 HAS SOPS 2220839 HAS SOUS 481296 HAS SOUPS 481296 WITH SCORE 483516.839
AT ITER 8051 NEW BEST:: SOT 9563188 SOS 2220699 HAS SOPS 2220699 HAS SOUS 481156 HAS SOUPS 481156 WITH SCORE 483376.699
AT ITER 8053 NEW BEST:: SOT 9563147 SOS 2220617 HAS SOPS 2220617 HAS SOUS 481074 HAS SOUPS 481074 WITH SCORE 483294.617
AT ITER 8059 NEW BEST:: SOT 9563129 SOS 2220581 HAS SOPS 2220581 HAS SOUS 481038 HAS SOUPS 481038 WITH SCORE 483258.581
AT ITER 8084 NEW BEST:: SOT 9562993 SOS 2220331 HAS SOPS 2220331 HAS SOUS 480788 HAS SOUPS 480788 WITH SCORE 483008.331
AT ITER 8130 NEW BEST:: SOT 9562958 SOS 2220261 HAS SOPS 2220261 HAS SOUS 480718 HAS SOUPS 480718 WITH SCORE 482938.261
AT ITER 8166 NEW BEST:: SOT 9562902 SOS 2220149 HAS SOPS 2220149 HAS SOUS 480607 HAS SOUPS 480607 WITH SCORE 482827.149
AT ITER 8185 NEW BEST:: SOT 9553098 SOS 2237735 HAS SOPS 2237735 HAS SOUS 478203 HAS SOUPS 478203 WITH SCORE 480440.735
AT ITER 8187 NEW BEST:: SOT 9553098 SOS 2237734 HAS SOPS 2237734 HAS SOUS 478202 HAS SOUPS 478202 WITH SCORE 480439.734
AT ITER 8196 NEW BEST:: SOT 9553053 SOS 2237644 HAS SOPS 2237644 HAS SOUS 478112 HAS SOUPS 478112 WITH SCORE 480349.644
AT ITER 8203 NEW BEST:: SOT 9553000 SOS 2237591 HAS SOPS 2237591 HAS SOUS 478059 HAS SOUPS 478059 WITH SCORE 480296.591
AT ITER 8206 NEW BEST:: SOT 9552989 SOS 2237569 HAS SOPS 2237569 HAS SOUS 478037 HAS SOUPS 478037 WITH SCORE 480274.569
AT ITER 8213 NEW BEST:: SOT 9552934 SOS 2237459 HAS SOPS 2237459 HAS SOUS 477927 HAS SOUPS 477927 WITH SCORE 480164.459
AT ITER 8234 NEW BEST:: SOT 9552917 SOS 2237425 HAS SOPS 2237425 HAS SOUS 477893 HAS SOUPS 477893 WITH SCORE 480130.425
AT ITER 8245 NEW BEST:: SOT 9552791 SOS 2237173 HAS SOPS 2237173 HAS SOUS 477641 HAS SOUPS 477641 WITH SCORE 479878.173
AT ITER 8292 NEW BEST:: SOT 9552517 SOS 2236625 HAS SOPS 2236625 HAS SOUS 477428 HAS SOUPS 477428 WITH SCORE 479664.625
AT ITER 8311 NEW BEST:: SOT 9552509 SOS 2236609 HAS SOPS 2236609 HAS SOUS 477420 HAS SOUPS 477420 WITH SCORE 479656.609
AT ITER 8320 NEW BEST:: SOT 9552509 SOS 2236609 HAS SOPS 2236609 HAS SOUS 477373 HAS SOUPS 477373 WITH SCORE 479609.609
AT ITER 8384 NEW BEST:: SOT 9552479 SOS 2236549 HAS SOPS 2236549 HAS SOUS 477313 HAS SOUPS 477313 WITH SCORE 479549.549
AT ITER 8406 NEW BEST:: SOT 9552479 SOS 2236548 HAS SOPS 2236548 HAS SOUS 477312 HAS SOUPS 477312 WITH SCORE 479548.548
AT ITER 8434 NEW BEST:: SOT 9552404 SOS 2236398 HAS SOPS 2236398 HAS SOUS 477162 HAS SOUPS 477162 WITH SCORE 479398.398
AT ITER 8444 NEW BEST:: SOT 9552402 SOS 2236394 HAS SOPS 2236394 HAS SOUS 477158 HAS SOUPS 477158 WITH SCORE 479394.394
AT ITER 8447 NEW BEST:: SOT 9552331 SOS 2236270 HAS SOPS 2236270 HAS SOUS 476978 HAS SOUPS 476978 WITH SCORE 479214.27
AT ITER 8495 NEW BEST:: SOT 9552324 SOS 2236256 HAS SOPS 2236256 HAS SOUS 476964 HAS SOUPS 476964 WITH SCORE 479200.256
AT ITER 8541 NEW BEST:: SOT 9552238 SOS 2236084 HAS SOPS 2236084 HAS SOUS 476792 HAS SOUPS 476792 WITH SCORE 479028.084
AT ITER 8547 NEW BEST:: SOT 9551987 SOS 2235582 HAS SOPS 2235582 HAS SOUS 476541 HAS SOUPS 476541 WITH SCORE 478776.582
AT ITER 8578 NEW BEST:: SOT 9551969 SOS 2235546 HAS SOPS 2235546 HAS SOUS 476505 HAS SOUPS 476505 WITH SCORE 478740.546
AT ITER 8618 NEW BEST:: SOT 9551886 SOS 2235297 HAS SOPS 2235297 HAS SOUS 476422 HAS SOUPS 476422 WITH SCORE 478657.297
AT ITER 8627 NEW BEST:: SOT 9551886 SOS 2235296 HAS SOPS 2235296 HAS SOUS 476421 HAS SOUPS 476421 WITH SCORE 478656.296
AT ITER 8635 NEW BEST:: SOT 9551886 SOS 2235244 HAS SOPS 2235244 HAS SOUS 476369 HAS SOUPS 476369 WITH SCORE 478604.244
AT ITER 8671 NEW BEST:: SOT 9551864 SOS 2235200 HAS SOPS 2235200 HAS SOUS 476347 HAS SOUPS 476347 WITH SCORE 478582.2
AT ITER 8680 NEW BEST:: SOT 9551838 SOS 2235197 HAS SOPS 2235197 HAS SOUS 476344 HAS SOUPS 476344 WITH SCORE 478579.197
AT ITER 8686 NEW BEST:: SOT 9551697 SOS 2234915 HAS SOPS 2234915 HAS SOUS 476062 HAS SOUPS 476062 WITH SCORE 478296.915
AT ITER 8693 NEW BEST:: SOT 9551639 SOS 2234799 HAS SOPS 2234799 HAS SOUS 475946 HAS SOUPS 475946 WITH SCORE 478180.799
AT ITER 8763 NEW BEST:: SOT 9551569 SOS 2234820 HAS SOPS 2234820 HAS SOUS 475938 HAS SOUPS 475938 WITH SCORE 478172.82
AT ITER 8807 NEW BEST:: SOT 9551034 SOS 2234255 HAS SOPS 2234255 HAS SOUS 475486 HAS SOUPS 475486 WITH SCORE 477720.255
AT ITER 8814 NEW BEST:: SOT 9550822 SOS 2233831 HAS SOPS 2233831 HAS SOUS 475274 HAS SOUPS 475274 WITH SCORE 477507.831
AT ITER 8825 NEW BEST:: SOT 9550822 SOS 2233829 HAS SOPS 2233829 HAS SOUS 475272 HAS SOUPS 475272 WITH SCORE 477505.829
AT ITER 8848 NEW BEST:: SOT 9550821 SOS 2233827 HAS SOPS 2233827 HAS SOUS 475270 HAS SOUPS 475270 WITH SCORE 477503.827
AT ITER 8903 NEW BEST:: SOT 9550749 SOS 2233682 HAS SOPS 2233682 HAS SOUS 475125 HAS SOUPS 475125 WITH SCORE 477358.682
AT ITER 8954 NEW BEST:: SOT 9550749 SOS 2233682 HAS SOPS 2233682 HAS SOUS 475050 HAS SOUPS 475050 WITH SCORE 477283.682
AT ITER 8958 NEW BEST:: SOT 9553963 SOS 2219549 HAS SOPS 2219549 HAS SOUS 471911 HAS SOUPS 471911 WITH SCORE 474130.549
AT ITER 8961 NEW BEST:: SOT 9553959 SOS 2219541 HAS SOPS 2219541 HAS SOUS 471907 HAS SOUPS 471907 WITH SCORE 474126.541
AT ITER 8990 NEW BEST:: SOT 9553959 SOS 2219541 HAS SOPS 2219541 HAS SOUS 471898 HAS SOUPS 471898 WITH SCORE 474117.541
AT ITER 9015 NEW BEST:: SOT 9553959 SOS 2219541 HAS SOPS 2219541 HAS SOUS 471755 HAS SOUPS 471755 WITH SCORE 473974.541
AT ITER 9080 NEW BEST:: SOT 9553806 SOS 2219235 HAS SOPS 2219235 HAS SOUS 471449 HAS SOUPS 471449 WITH SCORE 473668.235
AT ITER 9093 NEW BEST:: SOT 9553796 SOS 2219225 HAS SOPS 2219225 HAS SOUS 471439 HAS SOUPS 471439 WITH SCORE 473658.225
AT ITER 9111 NEW BEST:: SOT 9553796 SOS 2219203 HAS SOPS 2219203 HAS SOUS 471428 HAS SOUPS 471428 WITH SCORE 473647.203
AT ITER 9126 NEW BEST:: SOT 9553757 SOS 2219125 HAS SOPS 2219125 HAS SOUS 471350 HAS SOUPS 471350 WITH SCORE 473569.125
AT ITER 9135 NEW BEST:: SOT 9553746 SOS 2219102 HAS SOPS 2219102 HAS SOUS 471327 HAS SOUPS 471327 WITH SCORE 473546.102
AT ITER 9162 NEW BEST:: SOT 9553499 SOS 2218608 HAS SOPS 2218608 HAS SOUS 471080 HAS SOUPS 471080 WITH SCORE 473298.608
AT ITER 9201 NEW BEST:: SOT 9553439 SOS 2218488 HAS SOPS 2218488 HAS SOUS 470960 HAS SOUPS 470960 WITH SCORE 473178.488
AT ITER 9206 NEW BEST:: SOT 9553341 SOS 2218292 HAS SOPS 2218292 HAS SOUS 470764 HAS SOUPS 470764 WITH SCORE 472982.292
AT ITER 9208 NEW BEST:: SOT 9553053 SOS 2217716 HAS SOPS 2217716 HAS SOUS 470476 HAS SOUPS 470476 WITH SCORE 472693.716
AT ITER 9212 NEW BEST:: SOT 9551083 SOS 2286371 HAS SOPS 2286371 HAS SOUS 469788 HAS SOUPS 469788 WITH SCORE 472074.371
AT ITER 9223 NEW BEST:: SOT 9551052 SOS 2286309 HAS SOPS 2286309 HAS SOUS 469726 HAS SOUPS 469726 WITH SCORE 472012.309
AT ITER 9250 NEW BEST:: SOT 9551007 SOS 2286264 HAS SOPS 2286264 HAS SOUS 469681 HAS SOUPS 469681 WITH SCORE 471967.264
AT ITER 9254 NEW BEST:: SOT 9550990 SOS 2286230 HAS SOPS 2286230 HAS SOUS 469630 HAS SOUPS 469630 WITH SCORE 471916.23
AT ITER 9371 NEW BEST:: SOT 9550962 SOS 2286089 HAS SOPS 2286089 HAS SOUS 469546 HAS SOUPS 469546 WITH SCORE 471832.089
AT ITER 9376 NEW BEST:: SOT 9550931 SOS 2275983 HAS SOPS 2275983 HAS SOUS 469391 HAS SOUPS 469391 WITH SCORE 471666.983
AT ITER 9397 NEW BEST:: SOT 9549905 SOS 2274644 HAS SOPS 2274644 HAS SOUS 468052 HAS SOUPS 468052 WITH SCORE 470326.644
AT ITER 9414 NEW BEST:: SOT 9549832 SOS 2274932 HAS SOPS 2274932 HAS SOUS 467906 HAS SOUPS 467906 WITH SCORE 470180.932
AT ITER 9499 NEW BEST:: SOT 9549675 SOS 2274618 HAS SOPS 2274618 HAS SOUS 467749 HAS SOUPS 467749 WITH SCORE 470023.618
AT ITER 9515 NEW BEST:: SOT 9549619 SOS 2274506 HAS SOPS 2274506 HAS SOUS 467637 HAS SOUPS 467637 WITH SCORE 469911.506
AT ITER 9537 NEW BEST:: SOT 9549505 SOS 2274164 HAS SOPS 2274164 HAS SOUS 467408 HAS SOUPS 467408 WITH SCORE 469682.164
AT ITER 9557 NEW BEST:: SOT 9549157 SOS 2274164 HAS SOPS 2274164 HAS SOUS 467176 HAS SOUPS 467176 WITH SCORE 469450.164
AT ITER 9562 NEW BEST:: SOT 9548887 SOS 2273624 HAS SOPS 2273624 HAS SOUS 466906 HAS SOUPS 466906 WITH SCORE 469179.624
AT ITER 9563 NEW BEST:: SOT 9548715 SOS 2273280 HAS SOPS 2273280 HAS SOUS 466562 HAS SOUPS 466562 WITH SCORE 468835.28
AT ITER 9582 NEW BEST:: SOT 9548584 SOS 2273428 HAS SOPS 2273428 HAS SOUS 466519 HAS SOUPS 466519 WITH SCORE 468792.428
AT ITER 9627 NEW BEST:: SOT 9548393 SOS 2273046 HAS SOPS 2273046 HAS SOUS 466502 HAS SOUPS 466502 WITH SCORE 468775.046
AT ITER 9653 NEW BEST:: SOT 9540458 SOS 2264958 HAS SOPS 2264958 HAS SOUS 458621 HAS SOUPS 458621 WITH SCORE 460885.958
AT ITER 9725 NEW BEST:: SOT 9540457 SOS 2264778 HAS SOPS 2264778 HAS SOUS 458619 HAS SOUPS 458619 WITH SCORE 460883.778
AT ITER 9738 NEW BEST:: SOT 9540570 SOS 2265004 HAS SOPS 2265004 HAS SOUS 458604 HAS SOUPS 458604 WITH SCORE 460869.004
AT ITER 9753 NEW BEST:: SOT 9540560 SOS 2264984 HAS SOPS 2264984 HAS SOUS 458584 HAS SOUPS 458584 WITH SCORE 460848.984
AT ITER 9759 NEW BEST:: SOT 9540559 SOS 2264983 HAS SOPS 2264983 HAS SOUS 458582 HAS SOUPS 458582 WITH SCORE 460846.983
AT ITER 9785 NEW BEST:: SOT 9540559 SOS 2264983 HAS SOPS 2264983 HAS SOUS 458447 HAS SOUPS 458447 WITH SCORE 460711.983
AT ITER 9786 NEW BEST:: SOT 9540550 SOS 2264965 HAS SOPS 2264965 HAS SOUS 458429 HAS SOUPS 458429 WITH SCORE 460693.965
AT ITER 9794 NEW BEST:: SOT 9540487 SOS 2264839 HAS SOPS 2264839 HAS SOUS 458303 HAS SOUPS 458303 WITH SCORE 460567.839
AT ITER 9830 NEW BEST:: SOT 9540487 SOS 2264816 HAS SOPS 2264816 HAS SOUS 458303 HAS SOUPS 458303 WITH SCORE 460567.816
AT ITER 9843 NEW BEST:: SOT 9540462 SOS 2264766 HAS SOPS 2264766 HAS SOUS 458278 HAS SOUPS 458278 WITH SCORE 460542.766
AT ITER 9888 NEW BEST:: SOT 9540280 SOS 2264349 HAS SOPS 2264349 HAS SOUS 457914 HAS SOUPS 457914 WITH SCORE 460178.349
AT ITER 9936 NEW BEST:: SOT 9540200 SOS 2264381 HAS SOPS 2264381 HAS SOUS 457834 HAS SOUPS 457834 WITH SCORE 460098.381
AT ITER 9938 NEW BEST:: SOT 9540197 SOS 2264209 HAS SOPS 2264209 HAS SOUS 457828 HAS SOUPS 457828 WITH SCORE 460092.209
AT ITER 9984 NEW BEST:: SOT 9540141 SOS 2264097 HAS SOPS 2264097 HAS SOUS 457716 HAS SOUPS 457716 WITH SCORE 459980.097
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14729984 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16107732 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="StigmergyCommit-PT-06b"
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 StigmergyCommit-PT-06b, 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 r459-smll-167912651300472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-06b.tgz
mv StigmergyCommit-PT-06b 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 ;