About the Execution of Smart+red for StigmergyElection-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5183.264 | 3600000.00 | 3623371.00 | 6865.30 | [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-167912651500616.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 StigmergyElection-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500616
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 888K
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 16:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 16:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 16:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 16:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 16:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 16:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 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 428K 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 1679438534918
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=StigmergyElection-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 22:42:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 22:42:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:42:18] [INFO ] Load time of PNML (sax parser for PT used): 293 ms
[2023-03-21 22:42:18] [INFO ] Transformed 699 places.
[2023-03-21 22:42:18] [INFO ] Transformed 1266 transitions.
[2023-03-21 22:42:18] [INFO ] Found NUPN structural information;
[2023-03-21 22:42:18] [INFO ] Parsed PT model containing 699 places and 1266 transitions and 6741 arcs in 481 ms.
[2023-03-21 22:42:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 699 places, 1266 transitions and 6741 arcs took 36 ms.
Total runtime 576 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 05b
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: 699 places, 1266 transitions, 6741 arcs.
AT ITER 0 NEW BEST:: SOT 605065 SOS 109249 HAS SOPS 109249 HAS SOUS 93079 HAS SOUPS 93079 WITH SCORE 93188.249
AT ITER 24 NEW BEST:: SOT 605056 SOS 109222 HAS SOPS 109222 HAS SOUS 93077 HAS SOUPS 93077 WITH SCORE 93186.222
AT ITER 43 NEW BEST:: SOT 604020 SOS 120178 HAS SOPS 120178 HAS SOUS 92964 HAS SOUPS 92964 WITH SCORE 93084.178
AT ITER 112 NEW BEST:: SOT 604009 SOS 120101 HAS SOPS 120101 HAS SOUS 92953 HAS SOUPS 92953 WITH SCORE 93073.101
AT ITER 130 NEW BEST:: SOT 604008 SOS 120099 HAS SOPS 120099 HAS SOUS 92951 HAS SOUPS 92951 WITH SCORE 93071.099
AT ITER 131 NEW BEST:: SOT 603837 SOS 119757 HAS SOPS 119757 HAS SOUS 92609 HAS SOUPS 92609 WITH SCORE 92728.757
AT ITER 179 NEW BEST:: SOT 603836 SOS 119755 HAS SOPS 119755 HAS SOUS 92607 HAS SOUPS 92607 WITH SCORE 92726.755
AT ITER 193 NEW BEST:: SOT 602488 SOS 119367 HAS SOPS 119367 HAS SOUS 91321 HAS SOUPS 91321 WITH SCORE 91440.367
AT ITER 252 NEW BEST:: SOT 602488 SOS 119362 HAS SOPS 119362 HAS SOUS 91316 HAS SOUPS 91316 WITH SCORE 91435.362
AT ITER 262 NEW BEST:: SOT 602488 SOS 121522 HAS SOPS 121522 HAS SOUS 91289 HAS SOUPS 91289 WITH SCORE 91410.522
AT ITER 264 NEW BEST:: SOT 602386 SOS 121318 HAS SOPS 121318 HAS SOUS 91187 HAS SOUPS 91187 WITH SCORE 91308.318
AT ITER 292 NEW BEST:: SOT 602305 SOS 118955 HAS SOPS 118955 HAS SOUS 91066 HAS SOUPS 91066 WITH SCORE 91184.955
AT ITER 307 NEW BEST:: SOT 602294 SOS 118933 HAS SOPS 118933 HAS SOUS 91055 HAS SOUPS 91055 WITH SCORE 91173.933
AT ITER 314 NEW BEST:: SOT 602298 SOS 118941 HAS SOPS 118941 HAS SOUS 90960 HAS SOUPS 90960 WITH SCORE 91078.941
AT ITER 323 NEW BEST:: SOT 602297 SOS 118939 HAS SOPS 118939 HAS SOUS 90958 HAS SOUPS 90958 WITH SCORE 91076.939
AT ITER 343 NEW BEST:: SOT 602224 SOS 116137 HAS SOPS 116137 HAS SOUS 90812 HAS SOUPS 90812 WITH SCORE 90928.137
AT ITER 357 NEW BEST:: SOT 602223 SOS 116135 HAS SOPS 116135 HAS SOUS 90810 HAS SOUPS 90810 WITH SCORE 90926.135
AT ITER 394 NEW BEST:: SOT 601603 SOS 122544 HAS SOPS 122544 HAS SOUS 90187 HAS SOUPS 90187 WITH SCORE 90309.544
AT ITER 398 NEW BEST:: SOT 599899 SOS 121172 HAS SOPS 121172 HAS SOUS 88584 HAS SOUPS 88584 WITH SCORE 88705.172
AT ITER 413 NEW BEST:: SOT 597057 SOS 122203 HAS SOPS 122203 HAS SOUS 86226 HAS SOUPS 86226 WITH SCORE 86348.203
AT ITER 442 NEW BEST:: SOT 597027 SOS 122173 HAS SOPS 122173 HAS SOUS 86196 HAS SOUPS 86196 WITH SCORE 86318.173
AT ITER 449 NEW BEST:: SOT 596973 SOS 122092 HAS SOPS 122092 HAS SOUS 86142 HAS SOUPS 86142 WITH SCORE 86264.092
AT ITER 467 NEW BEST:: SOT 596915 SOS 122066 HAS SOPS 122066 HAS SOUS 86082 HAS SOUPS 86082 WITH SCORE 86204.066
AT ITER 469 NEW BEST:: SOT 596896 SOS 122028 HAS SOPS 122028 HAS SOUS 86044 HAS SOUPS 86044 WITH SCORE 86166.028
AT ITER 484 NEW BEST:: SOT 596161 SOS 126784 HAS SOPS 126784 HAS SOUS 85408 HAS SOUPS 85408 WITH SCORE 85534.784
AT ITER 527 NEW BEST:: SOT 596161 SOS 128187 HAS SOPS 128187 HAS SOUS 85352 HAS SOUPS 85352 WITH SCORE 85480.187
AT ITER 568 NEW BEST:: SOT 596186 SOS 129508 HAS SOPS 129508 HAS SOUS 85313 HAS SOUPS 85313 WITH SCORE 85442.508
AT ITER 572 NEW BEST:: SOT 596046 SOS 129228 HAS SOPS 129228 HAS SOUS 85103 HAS SOUPS 85103 WITH SCORE 85232.228
AT ITER 617 NEW BEST:: SOT 596018 SOS 129200 HAS SOPS 129200 HAS SOUS 85075 HAS SOUPS 85075 WITH SCORE 85204.2
AT ITER 622 NEW BEST:: SOT 595926 SOS 128857 HAS SOPS 128857 HAS SOUS 84889 HAS SOUPS 84889 WITH SCORE 85017.857
AT ITER 627 NEW BEST:: SOT 595800 SOS 128716 HAS SOPS 128716 HAS SOUS 84763 HAS SOUPS 84763 WITH SCORE 84891.716
AT ITER 643 NEW BEST:: SOT 595700 SOS 128516 HAS SOPS 128516 HAS SOUS 84662 HAS SOUPS 84662 WITH SCORE 84790.516
AT ITER 660 NEW BEST:: SOT 595697 SOS 128510 HAS SOPS 128510 HAS SOUS 84659 HAS SOUPS 84659 WITH SCORE 84787.51
AT ITER 663 NEW BEST:: SOT 595631 SOS 128378 HAS SOPS 128378 HAS SOUS 84593 HAS SOUPS 84593 WITH SCORE 84721.378
AT ITER 665 NEW BEST:: SOT 595630 SOS 128376 HAS SOPS 128376 HAS SOUS 84591 HAS SOUPS 84591 WITH SCORE 84719.376
AT ITER 693 NEW BEST:: SOT 595546 SOS 134018 HAS SOPS 134018 HAS SOUS 84518 HAS SOUPS 84518 WITH SCORE 84652.018
AT ITER 697 NEW BEST:: SOT 595553 SOS 134032 HAS SOPS 134032 HAS SOUS 84365 HAS SOUPS 84365 WITH SCORE 84499.032
AT ITER 700 NEW BEST:: SOT 595517 SOS 133960 HAS SOPS 133960 HAS SOUS 84338 HAS SOUPS 84338 WITH SCORE 84471.96
AT ITER 702 NEW BEST:: SOT 595517 SOS 133960 HAS SOPS 133960 HAS SOUS 84301 HAS SOUPS 84301 WITH SCORE 84434.96
AT ITER 713 NEW BEST:: SOT 595501 SOS 133928 HAS SOPS 133928 HAS SOUS 84269 HAS SOUPS 84269 WITH SCORE 84402.928
AT ITER 730 NEW BEST:: SOT 595501 SOS 133864 HAS SOPS 133864 HAS SOUS 84269 HAS SOUPS 84269 WITH SCORE 84402.864
AT ITER 733 NEW BEST:: SOT 595456 SOS 133774 HAS SOPS 133774 HAS SOUS 84265 HAS SOUPS 84265 WITH SCORE 84398.774
AT ITER 757 NEW BEST:: SOT 595425 SOS 133712 HAS SOPS 133712 HAS SOUS 84173 HAS SOUPS 84173 WITH SCORE 84306.712
AT ITER 772 NEW BEST:: SOT 595424 SOS 133710 HAS SOPS 133710 HAS SOUS 84171 HAS SOUPS 84171 WITH SCORE 84304.71
AT ITER 868 NEW BEST:: SOT 595423 SOS 133708 HAS SOPS 133708 HAS SOUS 84169 HAS SOUPS 84169 WITH SCORE 84302.708
AT ITER 894 NEW BEST:: SOT 595422 SOS 133706 HAS SOPS 133706 HAS SOUS 84167 HAS SOUPS 84167 WITH SCORE 84300.706
AT ITER 896 NEW BEST:: SOT 595397 SOS 133656 HAS SOPS 133656 HAS SOUS 84117 HAS SOUPS 84117 WITH SCORE 84250.656
AT ITER 931 NEW BEST:: SOT 595349 SOS 133614 HAS SOPS 133614 HAS SOUS 84069 HAS SOUPS 84069 WITH SCORE 84202.614
AT ITER 941 NEW BEST:: SOT 595238 SOS 140830 HAS SOPS 140830 HAS SOUS 83931 HAS SOUPS 83931 WITH SCORE 84071.83
AT ITER 957 NEW BEST:: SOT 595238 SOS 140802 HAS SOPS 140802 HAS SOUS 83931 HAS SOUPS 83931 WITH SCORE 84071.802
AT ITER 962 NEW BEST:: SOT 595225 SOS 140776 HAS SOPS 140776 HAS SOUS 83878 HAS SOUPS 83878 WITH SCORE 84018.776
AT ITER 1007 NEW BEST:: SOT 595155 SOS 140636 HAS SOPS 140636 HAS SOUS 83829 HAS SOUPS 83829 WITH SCORE 83969.636
AT ITER 1021 NEW BEST:: SOT 595149 SOS 140624 HAS SOPS 140624 HAS SOUS 83823 HAS SOUPS 83823 WITH SCORE 83963.624
AT ITER 1023 NEW BEST:: SOT 594134 SOS 145904 HAS SOPS 145904 HAS SOUS 83790 HAS SOUPS 83790 WITH SCORE 83935.904
AT ITER 1075 NEW BEST:: SOT 594134 SOS 145904 HAS SOPS 145904 HAS SOUS 83670 HAS SOUPS 83670 WITH SCORE 83815.904
AT ITER 1082 NEW BEST:: SOT 594026 SOS 145688 HAS SOPS 145688 HAS SOUS 83562 HAS SOUPS 83562 WITH SCORE 83707.688
AT ITER 1088 NEW BEST:: SOT 592754 SOS 162954 HAS SOPS 162954 HAS SOUS 82946 HAS SOUPS 82946 WITH SCORE 83108.954
AT ITER 1129 NEW BEST:: SOT 592810 SOS 162909 HAS SOPS 162909 HAS SOUS 82901 HAS SOUPS 82901 WITH SCORE 83063.909
AT ITER 1139 NEW BEST:: SOT 592810 SOS 162830 HAS SOPS 162830 HAS SOUS 82901 HAS SOUPS 82901 WITH SCORE 83063.83
AT ITER 1158 NEW BEST:: SOT 592775 SOS 159800 HAS SOPS 159800 HAS SOUS 82727 HAS SOUPS 82727 WITH SCORE 82886.8
AT ITER 1166 NEW BEST:: SOT 592775 SOS 159730 HAS SOPS 159730 HAS SOUS 82657 HAS SOUPS 82657 WITH SCORE 82816.73
AT ITER 1168 NEW BEST:: SOT 592775 SOS 159730 HAS SOPS 159730 HAS SOUS 82618 HAS SOUPS 82618 WITH SCORE 82777.73
AT ITER 1172 NEW BEST:: SOT 592774 SOS 159728 HAS SOPS 159728 HAS SOUS 82616 HAS SOUPS 82616 WITH SCORE 82775.728
AT ITER 1217 NEW BEST:: SOT 592774 SOS 159637 HAS SOPS 159637 HAS SOUS 82525 HAS SOUPS 82525 WITH SCORE 82684.637
AT ITER 1218 NEW BEST:: SOT 592349 SOS 159317 HAS SOPS 159317 HAS SOUS 82205 HAS SOUPS 82205 WITH SCORE 82364.317
AT ITER 1239 NEW BEST:: SOT 592341 SOS 159301 HAS SOPS 159301 HAS SOUS 82197 HAS SOUPS 82197 WITH SCORE 82356.301
AT ITER 1270 NEW BEST:: SOT 592340 SOS 147554 HAS SOPS 147554 HAS SOUS 82195 HAS SOUPS 82195 WITH SCORE 82342.554
AT ITER 1273 NEW BEST:: SOT 592333 SOS 147540 HAS SOPS 147540 HAS SOUS 82181 HAS SOUPS 82181 WITH SCORE 82328.54
AT ITER 1286 NEW BEST:: SOT 592347 SOS 147568 HAS SOPS 147568 HAS SOUS 82100 HAS SOUPS 82100 WITH SCORE 82247.568
AT ITER 1323 NEW BEST:: SOT 592143 SOS 141139 HAS SOPS 141139 HAS SOUS 81803 HAS SOUPS 81803 WITH SCORE 81944.139
AT ITER 1333 NEW BEST:: SOT 592160 SOS 141173 HAS SOPS 141173 HAS SOUS 81791 HAS SOUPS 81791 WITH SCORE 81932.173
AT ITER 1346 NEW BEST:: SOT 591115 SOS 154158 HAS SOPS 154158 HAS SOUS 81661 HAS SOUPS 81661 WITH SCORE 81815.158
AT ITER 1347 NEW BEST:: SOT 591107 SOS 154142 HAS SOPS 154142 HAS SOUS 81645 HAS SOUPS 81645 WITH SCORE 81799.142
AT ITER 1364 NEW BEST:: SOT 591144 SOS 154315 HAS SOPS 154315 HAS SOUS 81620 HAS SOUPS 81620 WITH SCORE 81774.315
AT ITER 1368 NEW BEST:: SOT 591091 SOS 154317 HAS SOPS 154317 HAS SOUS 81595 HAS SOUPS 81595 WITH SCORE 81749.317
AT ITER 1373 NEW BEST:: SOT 591062 SOS 154259 HAS SOPS 154259 HAS SOUS 81537 HAS SOUPS 81537 WITH SCORE 81691.259
AT ITER 1376 NEW BEST:: SOT 590979 SOS 154093 HAS SOPS 154093 HAS SOUS 81526 HAS SOUPS 81526 WITH SCORE 81680.093
AT ITER 1404 NEW BEST:: SOT 590904 SOS 153943 HAS SOPS 153943 HAS SOUS 81376 HAS SOUPS 81376 WITH SCORE 81529.943
AT ITER 1414 NEW BEST:: SOT 590855 SOS 153845 HAS SOPS 153845 HAS SOUS 81278 HAS SOUPS 81278 WITH SCORE 81431.845
AT ITER 1434 NEW BEST:: SOT 590854 SOS 153843 HAS SOPS 153843 HAS SOUS 81276 HAS SOUPS 81276 WITH SCORE 81429.843
AT ITER 1468 NEW BEST:: SOT 589286 SOS 159589 HAS SOPS 159589 HAS SOUS 80633 HAS SOUPS 80633 WITH SCORE 80792.589
AT ITER 1469 NEW BEST:: SOT 589045 SOS 159405 HAS SOPS 159405 HAS SOUS 80443 HAS SOUPS 80443 WITH SCORE 80602.405
AT ITER 1482 NEW BEST:: SOT 588927 SOS 159169 HAS SOPS 159169 HAS SOUS 80358 HAS SOUPS 80358 WITH SCORE 80517.169
AT ITER 1483 NEW BEST:: SOT 588907 SOS 159129 HAS SOPS 159129 HAS SOUS 80318 HAS SOUPS 80318 WITH SCORE 80477.129
AT ITER 1486 NEW BEST:: SOT 588030 SOS 158248 HAS SOPS 158248 HAS SOUS 79452 HAS SOUPS 79452 WITH SCORE 79610.248
AT ITER 1499 NEW BEST:: SOT 587947 SOS 153816 HAS SOPS 153816 HAS SOUS 79151 HAS SOUPS 79151 WITH SCORE 79304.816
AT ITER 1525 NEW BEST:: SOT 587887 SOS 153696 HAS SOPS 153696 HAS SOUS 79091 HAS SOUPS 79091 WITH SCORE 79244.696
AT ITER 1537 NEW BEST:: SOT 586012 SOS 163438 HAS SOPS 163438 HAS SOUS 78435 HAS SOUPS 78435 WITH SCORE 78598.438
AT ITER 1543 NEW BEST:: SOT 586011 SOS 163437 HAS SOPS 163437 HAS SOUS 78435 HAS SOUPS 78435 WITH SCORE 78598.437
AT ITER 1561 NEW BEST:: SOT 585969 SOS 163353 HAS SOPS 163353 HAS SOUS 78351 HAS SOUPS 78351 WITH SCORE 78514.353
AT ITER 1563 NEW BEST:: SOT 585935 SOS 163285 HAS SOPS 163285 HAS SOUS 78283 HAS SOUPS 78283 WITH SCORE 78446.285
AT ITER 1573 NEW BEST:: SOT 585935 SOS 162830 HAS SOPS 162830 HAS SOUS 78257 HAS SOUPS 78257 WITH SCORE 78419.83
AT ITER 1576 NEW BEST:: SOT 585916 SOS 162792 HAS SOPS 162792 HAS SOUS 78219 HAS SOUPS 78219 WITH SCORE 78381.792
AT ITER 1583 NEW BEST:: SOT 585896 SOS 162752 HAS SOPS 162752 HAS SOUS 78199 HAS SOUPS 78199 WITH SCORE 78361.752
AT ITER 1594 NEW BEST:: SOT 585888 SOS 162752 HAS SOPS 162752 HAS SOUS 78191 HAS SOUPS 78191 WITH SCORE 78353.752
AT ITER 1618 NEW BEST:: SOT 585866 SOS 162708 HAS SOPS 162708 HAS SOUS 78147 HAS SOUPS 78147 WITH SCORE 78309.708
AT ITER 1629 NEW BEST:: SOT 585822 SOS 162620 HAS SOPS 162620 HAS SOUS 78103 HAS SOUPS 78103 WITH SCORE 78265.62
AT ITER 1634 NEW BEST:: SOT 585748 SOS 162472 HAS SOPS 162472 HAS SOUS 77955 HAS SOUPS 77955 WITH SCORE 78117.472
AT ITER 1661 NEW BEST:: SOT 585609 SOS 162350 HAS SOPS 162350 HAS SOUS 77833 HAS SOUPS 77833 WITH SCORE 77995.35
AT ITER 1675 NEW BEST:: SOT 585609 SOS 156238 HAS SOPS 156238 HAS SOUS 77833 HAS SOUPS 77833 WITH SCORE 77989.238
AT ITER 1689 NEW BEST:: SOT 585566 SOS 156152 HAS SOPS 156152 HAS SOUS 77823 HAS SOUPS 77823 WITH SCORE 77979.152
AT ITER 1761 NEW BEST:: SOT 585555 SOS 156130 HAS SOPS 156130 HAS SOUS 77801 HAS SOUPS 77801 WITH SCORE 77957.13
AT ITER 1780 NEW BEST:: SOT 585386 SOS 155792 HAS SOPS 155792 HAS SOUS 77684 HAS SOUPS 77684 WITH SCORE 77839.792
AT ITER 1788 NEW BEST:: SOT 585316 SOS 155652 HAS SOPS 155652 HAS SOUS 77544 HAS SOUPS 77544 WITH SCORE 77699.652
AT ITER 1796 NEW BEST:: SOT 585280 SOS 155599 HAS SOPS 155599 HAS SOUS 77491 HAS SOUPS 77491 WITH SCORE 77646.599
AT ITER 1801 NEW BEST:: SOT 584968 SOS 155263 HAS SOPS 155263 HAS SOUS 77179 HAS SOUPS 77179 WITH SCORE 77334.263
AT ITER 1808 NEW BEST:: SOT 584831 SOS 154989 HAS SOPS 154989 HAS SOUS 77111 HAS SOUPS 77111 WITH SCORE 77265.989
AT ITER 1809 NEW BEST:: SOT 584830 SOS 154987 HAS SOPS 154987 HAS SOUS 77109 HAS SOUPS 77109 WITH SCORE 77263.987
AT ITER 1828 NEW BEST:: SOT 584769 SOS 151571 HAS SOPS 151571 HAS SOUS 76926 HAS SOUPS 76926 WITH SCORE 77077.571
AT ITER 1829 NEW BEST:: SOT 584768 SOS 151569 HAS SOPS 151569 HAS SOUS 76924 HAS SOUPS 76924 WITH SCORE 77075.569
AT ITER 1850 NEW BEST:: SOT 584653 SOS 151339 HAS SOPS 151339 HAS SOUS 76852 HAS SOUPS 76852 WITH SCORE 77003.339
AT ITER 1854 NEW BEST:: SOT 584690 SOS 151314 HAS SOPS 151314 HAS SOUS 76827 HAS SOUPS 76827 WITH SCORE 76978.314
AT ITER 1866 NEW BEST:: SOT 584678 SOS 151290 HAS SOPS 151290 HAS SOUS 76803 HAS SOUPS 76803 WITH SCORE 76954.29
AT ITER 1883 NEW BEST:: SOT 584639 SOS 151148 HAS SOPS 151148 HAS SOUS 76789 HAS SOUPS 76789 WITH SCORE 76940.148
AT ITER 1895 NEW BEST:: SOT 584639 SOS 151148 HAS SOPS 151148 HAS SOUS 76778 HAS SOUPS 76778 WITH SCORE 76929.148
AT ITER 1900 NEW BEST:: SOT 584593 SOS 151056 HAS SOPS 151056 HAS SOUS 76743 HAS SOUPS 76743 WITH SCORE 76894.056
AT ITER 1930 NEW BEST:: SOT 581688 SOS 157958 HAS SOPS 157958 HAS SOUS 75056 HAS SOUPS 75056 WITH SCORE 75213.958
AT ITER 1936 NEW BEST:: SOT 578913 SOS 157486 HAS SOPS 157486 HAS SOUS 74645 HAS SOUPS 74645 WITH SCORE 74802.486
AT ITER 1950 NEW BEST:: SOT 578911 SOS 157420 HAS SOPS 157420 HAS SOUS 74641 HAS SOUPS 74641 WITH SCORE 74798.42
AT ITER 1953 NEW BEST:: SOT 578661 SOS 156920 HAS SOPS 156920 HAS SOUS 74141 HAS SOUPS 74141 WITH SCORE 74297.92
AT ITER 1973 NEW BEST:: SOT 578577 SOS 156752 HAS SOPS 156752 HAS SOUS 74057 HAS SOUPS 74057 WITH SCORE 74213.752
AT ITER 1977 NEW BEST:: SOT 578572 SOS 156742 HAS SOPS 156742 HAS SOUS 74047 HAS SOUPS 74047 WITH SCORE 74203.742
AT ITER 1984 NEW BEST:: SOT 578555 SOS 156708 HAS SOPS 156708 HAS SOUS 74013 HAS SOUPS 74013 WITH SCORE 74169.708
AT ITER 1991 NEW BEST:: SOT 578559 SOS 156460 HAS SOPS 156460 HAS SOUS 74009 HAS SOUPS 74009 WITH SCORE 74165.46
AT ITER 2002 NEW BEST:: SOT 578518 SOS 156337 HAS SOPS 156337 HAS SOUS 73968 HAS SOUPS 73968 WITH SCORE 74124.337
AT ITER 2007 NEW BEST:: SOT 578502 SOS 156305 HAS SOPS 156305 HAS SOUS 73936 HAS SOUPS 73936 WITH SCORE 74092.305
AT ITER 2028 NEW BEST:: SOT 578394 SOS 156089 HAS SOPS 156089 HAS SOUS 73720 HAS SOUPS 73720 WITH SCORE 73876.089
AT ITER 2034 NEW BEST:: SOT 578543 SOS 156131 HAS SOPS 156131 HAS SOUS 73539 HAS SOUPS 73539 WITH SCORE 73695.131
AT ITER 2036 NEW BEST:: SOT 578489 SOS 156023 HAS SOPS 156023 HAS SOUS 73431 HAS SOUPS 73431 WITH SCORE 73587.023
AT ITER 2043 NEW BEST:: SOT 578487 SOS 156019 HAS SOPS 156019 HAS SOUS 73427 HAS SOUPS 73427 WITH SCORE 73583.019
AT ITER 2063 NEW BEST:: SOT 578358 SOS 155761 HAS SOPS 155761 HAS SOUS 73298 HAS SOUPS 73298 WITH SCORE 73453.761
AT ITER 2083 NEW BEST:: SOT 578358 SOS 155758 HAS SOPS 155758 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73452.758
AT ITER 2118 NEW BEST:: SOT 578356 SOS 155754 HAS SOPS 155754 HAS SOUS 73293 HAS SOUPS 73293 WITH SCORE 73448.754
AT ITER 2123 NEW BEST:: SOT 578303 SOS 155648 HAS SOPS 155648 HAS SOUS 73187 HAS SOUPS 73187 WITH SCORE 73342.648
AT ITER 2155 NEW BEST:: SOT 578275 SOS 155620 HAS SOPS 155620 HAS SOUS 73159 HAS SOUPS 73159 WITH SCORE 73314.62
AT ITER 2173 NEW BEST:: SOT 578274 SOS 155618 HAS SOPS 155618 HAS SOUS 73157 HAS SOUPS 73157 WITH SCORE 73312.618
AT ITER 2174 NEW BEST:: SOT 573663 SOS 151310 HAS SOPS 151310 HAS SOUS 71898 HAS SOUPS 71898 WITH SCORE 72049.31
AT ITER 2195 NEW BEST:: SOT 573522 SOS 151028 HAS SOPS 151028 HAS SOUS 71616 HAS SOUPS 71616 WITH SCORE 71767.028
AT ITER 2259 NEW BEST:: SOT 573560 SOS 151027 HAS SOPS 151027 HAS SOUS 71603 HAS SOUPS 71603 WITH SCORE 71754.027
AT ITER 2309 NEW BEST:: SOT 573550 SOS 151007 HAS SOPS 151007 HAS SOUS 71583 HAS SOUPS 71583 WITH SCORE 71734.007
AT ITER 2326 NEW BEST:: SOT 573550 SOS 151002 HAS SOPS 151002 HAS SOUS 71583 HAS SOUPS 71583 WITH SCORE 71734.002
AT ITER 2336 NEW BEST:: SOT 573539 SOS 150991 HAS SOPS 150991 HAS SOUS 71572 HAS SOUPS 71572 WITH SCORE 71722.991
AT ITER 2342 NEW BEST:: SOT 573542 SOS 150994 HAS SOPS 150994 HAS SOUS 71564 HAS SOUPS 71564 WITH SCORE 71714.994
AT ITER 2375 NEW BEST:: SOT 569955 SOS 150314 HAS SOPS 150314 HAS SOUS 71469 HAS SOUPS 71469 WITH SCORE 71619.314
AT ITER 2387 NEW BEST:: SOT 569936 SOS 150381 HAS SOPS 150381 HAS SOUS 71431 HAS SOUPS 71431 WITH SCORE 71581.381
AT ITER 2389 NEW BEST:: SOT 569927 SOS 150363 HAS SOPS 150363 HAS SOUS 71413 HAS SOUPS 71413 WITH SCORE 71563.363
AT ITER 2399 NEW BEST:: SOT 569903 SOS 150315 HAS SOPS 150315 HAS SOUS 71365 HAS SOUPS 71365 WITH SCORE 71515.315
AT ITER 2404 NEW BEST:: SOT 569895 SOS 150307 HAS SOPS 150307 HAS SOUS 71357 HAS SOUPS 71357 WITH SCORE 71507.307
AT ITER 2450 NEW BEST:: SOT 569832 SOS 150181 HAS SOPS 150181 HAS SOUS 71231 HAS SOUPS 71231 WITH SCORE 71381.181
AT ITER 2459 NEW BEST:: SOT 569745 SOS 150007 HAS SOPS 150007 HAS SOUS 71057 HAS SOUPS 71057 WITH SCORE 71207.007
AT ITER 2462 NEW BEST:: SOT 569745 SOS 150007 HAS SOPS 150007 HAS SOUS 70950 HAS SOUPS 70950 WITH SCORE 71100.007
AT ITER 2466 NEW BEST:: SOT 569731 SOS 149979 HAS SOPS 149979 HAS SOUS 70922 HAS SOUPS 70922 WITH SCORE 71071.979
AT ITER 2491 NEW BEST:: SOT 569672 SOS 147547 HAS SOPS 147547 HAS SOUS 70892 HAS SOUPS 70892 WITH SCORE 71039.547
AT ITER 2511 NEW BEST:: SOT 569666 SOS 147540 HAS SOPS 147540 HAS SOUS 70885 HAS SOUPS 70885 WITH SCORE 71032.54
AT ITER 2554 NEW BEST:: SOT 569561 SOS 147330 HAS SOPS 147330 HAS SOUS 70780 HAS SOUPS 70780 WITH SCORE 70927.33
AT ITER 2563 NEW BEST:: SOT 569552 SOS 147312 HAS SOPS 147312 HAS SOUS 70762 HAS SOUPS 70762 WITH SCORE 70909.312
AT ITER 2577 NEW BEST:: SOT 569521 SOS 147258 HAS SOPS 147258 HAS SOUS 70735 HAS SOUPS 70735 WITH SCORE 70882.258
AT ITER 2580 NEW BEST:: SOT 569486 SOS 147188 HAS SOPS 147188 HAS SOUS 70665 HAS SOUPS 70665 WITH SCORE 70812.188
AT ITER 2582 NEW BEST:: SOT 569283 SOS 146782 HAS SOPS 146782 HAS SOUS 70259 HAS SOUPS 70259 WITH SCORE 70405.782
AT ITER 2631 NEW BEST:: SOT 569259 SOS 146230 HAS SOPS 146230 HAS SOUS 70067 HAS SOUPS 70067 WITH SCORE 70213.23
AT ITER 2652 NEW BEST:: SOT 569208 SOS 146128 HAS SOPS 146128 HAS SOUS 69983 HAS SOUPS 69983 WITH SCORE 70129.128
AT ITER 2663 NEW BEST:: SOT 569196 SOS 146153 HAS SOPS 146153 HAS SOUS 69506 HAS SOUPS 69506 WITH SCORE 69652.153
AT ITER 2665 NEW BEST:: SOT 569192 SOS 146149 HAS SOPS 146149 HAS SOUS 69502 HAS SOUPS 69502 WITH SCORE 69648.149
AT ITER 2666 NEW BEST:: SOT 569123 SOS 146075 HAS SOPS 146075 HAS SOUS 69433 HAS SOUPS 69433 WITH SCORE 69579.075
AT ITER 2672 NEW BEST:: SOT 569122 SOS 146073 HAS SOPS 146073 HAS SOUS 69431 HAS SOUPS 69431 WITH SCORE 69577.073
AT ITER 2694 NEW BEST:: SOT 569066 SOS 145961 HAS SOPS 145961 HAS SOUS 69319 HAS SOUPS 69319 WITH SCORE 69464.961
AT ITER 2698 NEW BEST:: SOT 569050 SOS 145929 HAS SOPS 145929 HAS SOUS 69314 HAS SOUPS 69314 WITH SCORE 69459.929
AT ITER 2703 NEW BEST:: SOT 569050 SOS 145916 HAS SOPS 145916 HAS SOUS 69314 HAS SOUPS 69314 WITH SCORE 69459.916
AT ITER 2726 NEW BEST:: SOT 568939 SOS 145795 HAS SOPS 145795 HAS SOUS 69292 HAS SOUPS 69292 WITH SCORE 69437.795
AT ITER 2750 NEW BEST:: SOT 568933 SOS 145079 HAS SOPS 145079 HAS SOUS 68620 HAS SOUPS 68620 WITH SCORE 68765.079
AT ITER 2762 NEW BEST:: SOT 568933 SOS 145053 HAS SOPS 145053 HAS SOUS 68620 HAS SOUPS 68620 WITH SCORE 68765.053
AT ITER 2773 NEW BEST:: SOT 568926 SOS 145039 HAS SOPS 145039 HAS SOUS 68606 HAS SOUPS 68606 WITH SCORE 68751.039
AT ITER 2781 NEW BEST:: SOT 568920 SOS 145027 HAS SOPS 145027 HAS SOUS 68594 HAS SOUPS 68594 WITH SCORE 68739.027
AT ITER 2782 NEW BEST:: SOT 567973 SOS 145625 HAS SOPS 145625 HAS SOUS 68042 HAS SOUPS 68042 WITH SCORE 68187.625
AT ITER 2792 NEW BEST:: SOT 567951 SOS 145581 HAS SOPS 145581 HAS SOUS 67998 HAS SOUPS 67998 WITH SCORE 68143.581
AT ITER 2807 NEW BEST:: SOT 567951 SOS 145543 HAS SOPS 145543 HAS SOUS 67960 HAS SOUPS 67960 WITH SCORE 68105.543
AT ITER 2818 NEW BEST:: SOT 567878 SOS 145397 HAS SOPS 145397 HAS SOUS 67814 HAS SOUPS 67814 WITH SCORE 67959.397
AT ITER 2820 NEW BEST:: SOT 567877 SOS 145395 HAS SOPS 145395 HAS SOUS 67812 HAS SOUPS 67812 WITH SCORE 67957.395
AT ITER 2839 NEW BEST:: SOT 567859 SOS 145359 HAS SOPS 145359 HAS SOUS 67794 HAS SOUPS 67794 WITH SCORE 67939.359
AT ITER 2853 NEW BEST:: SOT 567858 SOS 145357 HAS SOPS 145357 HAS SOUS 67792 HAS SOUPS 67792 WITH SCORE 67937.357
AT ITER 2869 NEW BEST:: SOT 568024 SOS 145305 HAS SOPS 145305 HAS SOUS 67766 HAS SOUPS 67766 WITH SCORE 67911.305
AT ITER 2872 NEW BEST:: SOT 567980 SOS 144135 HAS SOPS 144135 HAS SOUS 67226 HAS SOUPS 67226 WITH SCORE 67370.135
AT ITER 2883 NEW BEST:: SOT 567859 SOS 138811 HAS SOPS 138811 HAS SOUS 66736 HAS SOUPS 66736 WITH SCORE 66874.811
AT ITER 2888 NEW BEST:: SOT 567858 SOS 138801 HAS SOPS 138801 HAS SOUS 66734 HAS SOUPS 66734 WITH SCORE 66872.801
AT ITER 2892 NEW BEST:: SOT 567838 SOS 138761 HAS SOPS 138761 HAS SOUS 66689 HAS SOUPS 66689 WITH SCORE 66827.761
AT ITER 2894 NEW BEST:: SOT 568351 SOS 139141 HAS SOPS 139141 HAS SOUS 66278 HAS SOUPS 66278 WITH SCORE 66417.141
AT ITER 2906 NEW BEST:: SOT 568294 SOS 139027 HAS SOPS 139027 HAS SOUS 66221 HAS SOUPS 66221 WITH SCORE 66360.027
AT ITER 2910 NEW BEST:: SOT 568272 SOS 138983 HAS SOPS 138983 HAS SOUS 66177 HAS SOUPS 66177 WITH SCORE 66315.983
AT ITER 2918 NEW BEST:: SOT 568254 SOS 138947 HAS SOPS 138947 HAS SOUS 66141 HAS SOUPS 66141 WITH SCORE 66279.947
AT ITER 2925 NEW BEST:: SOT 568234 SOS 138907 HAS SOPS 138907 HAS SOUS 66101 HAS SOUPS 66101 WITH SCORE 66239.907
AT ITER 2927 NEW BEST:: SOT 568232 SOS 138903 HAS SOPS 138903 HAS SOUS 66097 HAS SOUPS 66097 WITH SCORE 66235.903
AT ITER 2934 NEW BEST:: SOT 568121 SOS 138681 HAS SOPS 138681 HAS SOUS 65986 HAS SOUPS 65986 WITH SCORE 66124.681
AT ITER 2944 NEW BEST:: SOT 568078 SOS 138595 HAS SOPS 138595 HAS SOUS 65900 HAS SOUPS 65900 WITH SCORE 66038.595
AT ITER 2949 NEW BEST:: SOT 568088 SOS 138586 HAS SOPS 138586 HAS SOUS 65891 HAS SOUPS 65891 WITH SCORE 66029.586
AT ITER 2951 NEW BEST:: SOT 568006 SOS 138422 HAS SOPS 138422 HAS SOUS 65727 HAS SOUPS 65727 WITH SCORE 65865.422
AT ITER 2958 NEW BEST:: SOT 568005 SOS 138420 HAS SOPS 138420 HAS SOUS 65725 HAS SOUPS 65725 WITH SCORE 65863.42
AT ITER 2981 NEW BEST:: SOT 567982 SOS 138374 HAS SOPS 138374 HAS SOUS 65679 HAS SOUPS 65679 WITH SCORE 65817.374
AT ITER 3054 NEW BEST:: SOT 567997 SOS 138404 HAS SOPS 138404 HAS SOUS 65654 HAS SOUPS 65654 WITH SCORE 65792.404
AT ITER 3109 NEW BEST:: SOT 567995 SOS 138400 HAS SOPS 138400 HAS SOUS 65650 HAS SOUPS 65650 WITH SCORE 65788.4
AT ITER 3136 NEW BEST:: SOT 567836 SOS 138082 HAS SOPS 138082 HAS SOUS 65435 HAS SOUPS 65435 WITH SCORE 65573.082
AT ITER 3143 NEW BEST:: SOT 567783 SOS 137982 HAS SOPS 137982 HAS SOUS 65332 HAS SOUPS 65332 WITH SCORE 65469.982
AT ITER 3151 NEW BEST:: SOT 567771 SOS 137958 HAS SOPS 137958 HAS SOUS 65308 HAS SOUPS 65308 WITH SCORE 65445.958
AT ITER 3159 NEW BEST:: SOT 567757 SOS 137930 HAS SOPS 137930 HAS SOUS 65280 HAS SOUPS 65280 WITH SCORE 65417.93
AT ITER 3164 NEW BEST:: SOT 567782 SOS 137980 HAS SOPS 137980 HAS SOUS 65177 HAS SOUPS 65177 WITH SCORE 65314.98
AT ITER 3187 NEW BEST:: SOT 567781 SOS 137978 HAS SOPS 137978 HAS SOUS 65175 HAS SOUPS 65175 WITH SCORE 65312.978
AT ITER 3204 NEW BEST:: SOT 567716 SOS 137848 HAS SOPS 137848 HAS SOUS 65110 HAS SOUPS 65110 WITH SCORE 65247.848
AT ITER 3253 NEW BEST:: SOT 567627 SOS 137670 HAS SOPS 137670 HAS SOUS 65046 HAS SOUPS 65046 WITH SCORE 65183.67
AT ITER 3276 NEW BEST:: SOT 567180 SOS 150138 HAS SOPS 150138 HAS SOUS 64670 HAS SOUPS 64670 WITH SCORE 64820.138
AT ITER 3354 NEW BEST:: SOT 567152 SOS 148962 HAS SOPS 148962 HAS SOUS 64614 HAS SOUPS 64614 WITH SCORE 64762.962
AT ITER 3360 NEW BEST:: SOT 567102 SOS 148912 HAS SOPS 148912 HAS SOUS 64564 HAS SOUPS 64564 WITH SCORE 64712.912
AT ITER 3392 NEW BEST:: SOT 567056 SOS 148820 HAS SOPS 148820 HAS SOUS 64472 HAS SOUPS 64472 WITH SCORE 64620.82
AT ITER 3393 NEW BEST:: SOT 567038 SOS 148784 HAS SOPS 148784 HAS SOUS 64436 HAS SOUPS 64436 WITH SCORE 64584.784
AT ITER 3398 NEW BEST:: SOT 567031 SOS 148770 HAS SOPS 148770 HAS SOUS 64422 HAS SOUPS 64422 WITH SCORE 64570.77
AT ITER 3426 NEW BEST:: SOT 567021 SOS 148750 HAS SOPS 148750 HAS SOUS 64402 HAS SOUPS 64402 WITH SCORE 64550.75
AT ITER 3428 NEW BEST:: SOT 567021 SOS 148738 HAS SOPS 148738 HAS SOUS 64401 HAS SOUPS 64401 WITH SCORE 64549.738
AT ITER 3441 NEW BEST:: SOT 567020 SOS 148736 HAS SOPS 148736 HAS SOUS 64399 HAS SOUPS 64399 WITH SCORE 64547.736
AT ITER 3444 NEW BEST:: SOT 567018 SOS 148732 HAS SOPS 148732 HAS SOUS 64395 HAS SOUPS 64395 WITH SCORE 64543.732
AT ITER 3472 NEW BEST:: SOT 566568 SOS 148896 HAS SOPS 148896 HAS SOUS 64038 HAS SOUPS 64038 WITH SCORE 64186.896
AT ITER 3473 NEW BEST:: SOT 566552 SOS 148864 HAS SOPS 148864 HAS SOUS 64006 HAS SOUPS 64006 WITH SCORE 64154.864
AT ITER 3479 NEW BEST:: SOT 566540 SOS 148840 HAS SOPS 148840 HAS SOUS 63982 HAS SOUPS 63982 WITH SCORE 64130.84
AT ITER 3503 NEW BEST:: SOT 566546 SOS 148852 HAS SOPS 148852 HAS SOUS 63978 HAS SOUPS 63978 WITH SCORE 64126.852
AT ITER 3506 NEW BEST:: SOT 566545 SOS 148850 HAS SOPS 148850 HAS SOUS 63976 HAS SOUPS 63976 WITH SCORE 64124.85
AT ITER 3512 NEW BEST:: SOT 565691 SOS 149239 HAS SOPS 149239 HAS SOUS 63549 HAS SOUPS 63549 WITH SCORE 63698.239
AT ITER 3531 NEW BEST:: SOT 565764 SOS 148929 HAS SOPS 148929 HAS SOUS 63529 HAS SOUPS 63529 WITH SCORE 63677.929
AT ITER 3535 NEW BEST:: SOT 565765 SOS 148907 HAS SOPS 148907 HAS SOUS 63529 HAS SOUPS 63529 WITH SCORE 63677.907
AT ITER 3536 NEW BEST:: SOT 565765 SOS 148907 HAS SOPS 148907 HAS SOUS 63514 HAS SOUPS 63514 WITH SCORE 63662.907
AT ITER 3552 NEW BEST:: SOT 565764 SOS 148905 HAS SOPS 148905 HAS SOUS 63512 HAS SOUPS 63512 WITH SCORE 63660.905
AT ITER 3559 NEW BEST:: SOT 565748 SOS 148873 HAS SOPS 148873 HAS SOUS 63496 HAS SOUPS 63496 WITH SCORE 63644.873
AT ITER 3566 NEW BEST:: SOT 565747 SOS 148871 HAS SOPS 148871 HAS SOUS 63494 HAS SOUPS 63494 WITH SCORE 63642.871
AT ITER 3568 NEW BEST:: SOT 565723 SOS 148823 HAS SOPS 148823 HAS SOUS 63446 HAS SOUPS 63446 WITH SCORE 63594.823
AT ITER 3569 NEW BEST:: SOT 565677 SOS 148731 HAS SOPS 148731 HAS SOUS 63399 HAS SOUPS 63399 WITH SCORE 63547.731
AT ITER 3649 NEW BEST:: SOT 565587 SOS 148065 HAS SOPS 148065 HAS SOUS 63319 HAS SOUPS 63319 WITH SCORE 63467.065
AT ITER 3651 NEW BEST:: SOT 565587 SOS 147909 HAS SOPS 147909 HAS SOUS 63176 HAS SOUPS 63176 WITH SCORE 63323.909
AT ITER 3665 NEW BEST:: SOT 565587 SOS 147909 HAS SOPS 147909 HAS SOUS 63172 HAS SOUPS 63172 WITH SCORE 63319.909
AT ITER 3666 NEW BEST:: SOT 565583 SOS 147901 HAS SOPS 147901 HAS SOUS 63164 HAS SOUPS 63164 WITH SCORE 63311.901
AT ITER 3667 NEW BEST:: SOT 565583 SOS 147883 HAS SOPS 147883 HAS SOUS 63164 HAS SOUPS 63164 WITH SCORE 63311.883
AT ITER 3723 NEW BEST:: SOT 565578 SOS 147873 HAS SOPS 147873 HAS SOUS 63140 HAS SOUPS 63140 WITH SCORE 63287.873
AT ITER 3738 NEW BEST:: SOT 565565 SOS 147158 HAS SOPS 147158 HAS SOUS 63101 HAS SOUPS 63101 WITH SCORE 63248.158
AT ITER 3759 NEW BEST:: SOT 565501 SOS 147030 HAS SOPS 147030 HAS SOUS 63005 HAS SOUPS 63005 WITH SCORE 63152.03
AT ITER 3786 NEW BEST:: SOT 565482 SOS 147002 HAS SOPS 147002 HAS SOUS 62977 HAS SOUPS 62977 WITH SCORE 63124.002
AT ITER 3793 NEW BEST:: SOT 565461 SOS 146960 HAS SOPS 146960 HAS SOUS 62935 HAS SOUPS 62935 WITH SCORE 63081.96
AT ITER 3835 NEW BEST:: SOT 565461 SOS 146960 HAS SOPS 146960 HAS SOUS 62927 HAS SOUPS 62927 WITH SCORE 63073.96
AT ITER 3856 NEW BEST:: SOT 565335 SOS 146830 HAS SOPS 146830 HAS SOUS 62797 HAS SOUPS 62797 WITH SCORE 62943.83
AT ITER 3857 NEW BEST:: SOT 565351 SOS 146862 HAS SOPS 146862 HAS SOUS 62732 HAS SOUPS 62732 WITH SCORE 62878.862
AT ITER 3887 NEW BEST:: SOT 565282 SOS 147000 HAS SOPS 147000 HAS SOUS 62706 HAS SOUPS 62706 WITH SCORE 62853.0
AT ITER 3892 NEW BEST:: SOT 565178 SOS 146792 HAS SOPS 146792 HAS SOUS 62498 HAS SOUPS 62498 WITH SCORE 62644.792
AT ITER 3899 NEW BEST:: SOT 565178 SOS 147104 HAS SOPS 147104 HAS SOUS 62482 HAS SOUPS 62482 WITH SCORE 62629.104
AT ITER 3905 NEW BEST:: SOT 564747 SOS 145745 HAS SOPS 145745 HAS SOUS 61766 HAS SOUPS 61766 WITH SCORE 61911.745
AT ITER 3907 NEW BEST:: SOT 564736 SOS 145723 HAS SOPS 145723 HAS SOUS 61744 HAS SOUPS 61744 WITH SCORE 61889.723
AT ITER 3955 NEW BEST:: SOT 564734 SOS 145719 HAS SOPS 145719 HAS SOUS 61740 HAS SOUPS 61740 WITH SCORE 61885.719
AT ITER 3962 NEW BEST:: SOT 564620 SOS 145491 HAS SOPS 145491 HAS SOUS 61512 HAS SOUPS 61512 WITH SCORE 61657.491
AT ITER 3977 NEW BEST:: SOT 564620 SOS 145484 HAS SOPS 145484 HAS SOUS 61512 HAS SOUPS 61512 WITH SCORE 61657.484
AT ITER 3984 NEW BEST:: SOT 564610 SOS 145464 HAS SOPS 145464 HAS SOUS 61492 HAS SOUPS 61492 WITH SCORE 61637.464
AT ITER 3985 NEW BEST:: SOT 564610 SOS 144395 HAS SOPS 144395 HAS SOUS 60791 HAS SOUPS 60791 WITH SCORE 60935.395
AT ITER 4020 NEW BEST:: SOT 564603 SOS 144381 HAS SOPS 144381 HAS SOUS 60784 HAS SOUPS 60784 WITH SCORE 60928.381
AT ITER 4022 NEW BEST:: SOT 564581 SOS 144337 HAS SOPS 144337 HAS SOUS 60740 HAS SOUPS 60740 WITH SCORE 60884.337
AT ITER 4075 NEW BEST:: SOT 564581 SOS 144337 HAS SOPS 144337 HAS SOUS 60627 HAS SOUPS 60627 WITH SCORE 60771.337
AT ITER 4104 NEW BEST:: SOT 564515 SOS 144242 HAS SOPS 144242 HAS SOUS 60532 HAS SOUPS 60532 WITH SCORE 60676.242
AT ITER 4155 NEW BEST:: SOT 564515 SOS 144239 HAS SOPS 144239 HAS SOUS 60532 HAS SOUPS 60532 WITH SCORE 60676.239
AT ITER 4161 NEW BEST:: SOT 564310 SOS 131947 HAS SOPS 131947 HAS SOUS 60160 HAS SOUPS 60160 WITH SCORE 60291.947
AT ITER 4168 NEW BEST:: SOT 564062 SOS 131655 HAS SOPS 131655 HAS SOUS 59868 HAS SOUPS 59868 WITH SCORE 59999.655
AT ITER 4215 NEW BEST:: SOT 564038 SOS 131607 HAS SOPS 131607 HAS SOUS 59862 HAS SOUPS 59862 WITH SCORE 59993.607
AT ITER 4221 NEW BEST:: SOT 564026 SOS 131583 HAS SOPS 131583 HAS SOUS 59838 HAS SOUPS 59838 WITH SCORE 59969.583
AT ITER 4229 NEW BEST:: SOT 563990 SOS 131511 HAS SOPS 131511 HAS SOUS 59766 HAS SOUPS 59766 WITH SCORE 59897.511
AT ITER 4281 NEW BEST:: SOT 563978 SOS 131487 HAS SOPS 131487 HAS SOUS 59742 HAS SOUPS 59742 WITH SCORE 59873.487
AT ITER 4298 NEW BEST:: SOT 563873 SOS 131277 HAS SOPS 131277 HAS SOUS 59532 HAS SOUPS 59532 WITH SCORE 59663.277
AT ITER 4333 NEW BEST:: SOT 563835 SOS 131201 HAS SOPS 131201 HAS SOUS 59456 HAS SOUPS 59456 WITH SCORE 59587.201
AT ITER 4354 NEW BEST:: SOT 563831 SOS 131193 HAS SOPS 131193 HAS SOUS 59448 HAS SOUPS 59448 WITH SCORE 59579.193
AT ITER 4389 NEW BEST:: SOT 563834 SOS 131199 HAS SOPS 131199 HAS SOUS 59391 HAS SOUPS 59391 WITH SCORE 59522.199
AT ITER 4409 NEW BEST:: SOT 563827 SOS 131185 HAS SOPS 131185 HAS SOUS 59377 HAS SOUPS 59377 WITH SCORE 59508.185
AT ITER 4433 NEW BEST:: SOT 563827 SOS 131127 HAS SOPS 131127 HAS SOUS 59319 HAS SOUPS 59319 WITH SCORE 59450.127
AT ITER 4436 NEW BEST:: SOT 563824 SOS 131121 HAS SOPS 131121 HAS SOUS 59313 HAS SOUPS 59313 WITH SCORE 59444.121
AT ITER 4438 NEW BEST:: SOT 563764 SOS 128757 HAS SOPS 128757 HAS SOUS 59029 HAS SOUPS 59029 WITH SCORE 59157.757
AT ITER 4463 NEW BEST:: SOT 563763 SOS 128755 HAS SOPS 128755 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59155.755
AT ITER 4468 NEW BEST:: SOT 563756 SOS 128741 HAS SOPS 128741 HAS SOUS 59013 HAS SOUPS 59013 WITH SCORE 59141.741
AT ITER 4474 NEW BEST:: SOT 563687 SOS 128603 HAS SOPS 128603 HAS SOUS 58875 HAS SOUPS 58875 WITH SCORE 59003.603
AT ITER 4479 NEW BEST:: SOT 563681 SOS 128591 HAS SOPS 128591 HAS SOUS 58863 HAS SOUPS 58863 WITH SCORE 58991.591
AT ITER 4516 NEW BEST:: SOT 563676 SOS 128581 HAS SOPS 128581 HAS SOUS 58853 HAS SOUPS 58853 WITH SCORE 58981.581
AT ITER 4530 NEW BEST:: SOT 563658 SOS 128545 HAS SOPS 128545 HAS SOUS 58825 HAS SOUPS 58825 WITH SCORE 58953.545
AT ITER 4541 NEW BEST:: SOT 563658 SOS 128545 HAS SOPS 128545 HAS SOUS 58754 HAS SOUPS 58754 WITH SCORE 58882.545
AT ITER 4578 NEW BEST:: SOT 563685 SOS 128599 HAS SOPS 128599 HAS SOUS 58670 HAS SOUPS 58670 WITH SCORE 58798.599
AT ITER 4609 NEW BEST:: SOT 563625 SOS 128479 HAS SOPS 128479 HAS SOUS 58580 HAS SOUPS 58580 WITH SCORE 58708.479
AT ITER 4621 NEW BEST:: SOT 563589 SOS 128407 HAS SOPS 128407 HAS SOUS 58508 HAS SOUPS 58508 WITH SCORE 58636.407
AT ITER 4622 NEW BEST:: SOT 563586 SOS 128401 HAS SOPS 128401 HAS SOUS 58502 HAS SOUPS 58502 WITH SCORE 58630.401
AT ITER 4635 NEW BEST:: SOT 563558 SOS 128345 HAS SOPS 128345 HAS SOUS 58446 HAS SOUPS 58446 WITH SCORE 58574.345
AT ITER 4659 NEW BEST:: SOT 563543 SOS 127826 HAS SOPS 127826 HAS SOUS 58359 HAS SOUPS 58359 WITH SCORE 58486.826
AT ITER 4719 NEW BEST:: SOT 563557 SOS 127854 HAS SOPS 127854 HAS SOUS 58353 HAS SOUPS 58353 WITH SCORE 58480.854
AT ITER 4750 NEW BEST:: SOT 563526 SOS 127818 HAS SOPS 127818 HAS SOUS 58317 HAS SOUPS 58317 WITH SCORE 58444.818
AT ITER 4756 NEW BEST:: SOT 563462 SOS 125476 HAS SOPS 125476 HAS SOUS 58247 HAS SOUPS 58247 WITH SCORE 58372.476
AT ITER 4777 NEW BEST:: SOT 563460 SOS 125472 HAS SOPS 125472 HAS SOUS 58243 HAS SOUPS 58243 WITH SCORE 58368.472
AT ITER 4781 NEW BEST:: SOT 563444 SOS 125440 HAS SOPS 125440 HAS SOUS 58211 HAS SOUPS 58211 WITH SCORE 58336.44
AT ITER 4786 NEW BEST:: SOT 563444 SOS 125440 HAS SOPS 125440 HAS SOUS 58204 HAS SOUPS 58204 WITH SCORE 58329.44
AT ITER 4787 NEW BEST:: SOT 563433 SOS 125418 HAS SOPS 125418 HAS SOUS 58182 HAS SOUPS 58182 WITH SCORE 58307.418
AT ITER 4797 NEW BEST:: SOT 563426 SOS 125404 HAS SOPS 125404 HAS SOUS 58175 HAS SOUPS 58175 WITH SCORE 58300.404
AT ITER 4800 NEW BEST:: SOT 563417 SOS 125386 HAS SOPS 125386 HAS SOUS 58128 HAS SOUPS 58128 WITH SCORE 58253.386
AT ITER 4804 NEW BEST:: SOT 563417 SOS 125361 HAS SOPS 125361 HAS SOUS 58128 HAS SOUPS 58128 WITH SCORE 58253.361
AT ITER 4831 NEW BEST:: SOT 563363 SOS 125357 HAS SOPS 125357 HAS SOUS 58124 HAS SOUPS 58124 WITH SCORE 58249.357
AT ITER 4849 NEW BEST:: SOT 563363 SOS 125328 HAS SOPS 125328 HAS SOUS 58095 HAS SOUPS 58095 WITH SCORE 58220.328
AT ITER 4857 NEW BEST:: SOT 563324 SOS 125301 HAS SOPS 125301 HAS SOUS 58068 HAS SOUPS 58068 WITH SCORE 58193.301
AT ITER 4866 NEW BEST:: SOT 563313 SOS 125346 HAS SOPS 125346 HAS SOUS 58046 HAS SOUPS 58046 WITH SCORE 58171.346
AT ITER 4868 NEW BEST:: SOT 563317 SOS 125338 HAS SOPS 125338 HAS SOUS 58038 HAS SOUPS 58038 WITH SCORE 58163.338
AT ITER 4885 NEW BEST:: SOT 563308 SOS 125320 HAS SOPS 125320 HAS SOUS 58020 HAS SOUPS 58020 WITH SCORE 58145.32
AT ITER 4899 NEW BEST:: SOT 563330 SOS 125356 HAS SOPS 125356 HAS SOUS 57942 HAS SOUPS 57942 WITH SCORE 58067.356
AT ITER 4905 NEW BEST:: SOT 563325 SOS 125346 HAS SOPS 125346 HAS SOUS 57932 HAS SOUPS 57932 WITH SCORE 58057.346
AT ITER 4907 NEW BEST:: SOT 563262 SOS 125283 HAS SOPS 125283 HAS SOUS 57869 HAS SOUPS 57869 WITH SCORE 57994.283
AT ITER 4916 NEW BEST:: SOT 563238 SOS 125235 HAS SOPS 125235 HAS SOUS 57821 HAS SOUPS 57821 WITH SCORE 57946.235
AT ITER 4937 NEW BEST:: SOT 563222 SOS 125203 HAS SOPS 125203 HAS SOUS 57789 HAS SOUPS 57789 WITH SCORE 57914.203
AT ITER 4953 NEW BEST:: SOT 563061 SOS 124881 HAS SOPS 124881 HAS SOUS 57467 HAS SOUPS 57467 WITH SCORE 57591.881
AT ITER 4966 NEW BEST:: SOT 563016 SOS 124791 HAS SOPS 124791 HAS SOUS 57377 HAS SOUPS 57377 WITH SCORE 57501.791
AT ITER 4984 NEW BEST:: SOT 562994 SOS 124769 HAS SOPS 124769 HAS SOUS 57355 HAS SOUPS 57355 WITH SCORE 57479.769
AT ITER 5085 NEW BEST:: SOT 562940 SOS 124624 HAS SOPS 124624 HAS SOUS 57284 HAS SOUPS 57284 WITH SCORE 57408.624
AT ITER 5092 NEW BEST:: SOT 562876 SOS 124528 HAS SOPS 124528 HAS SOUS 57189 HAS SOUPS 57189 WITH SCORE 57313.528
AT ITER 5137 NEW BEST:: SOT 562887 SOS 124501 HAS SOPS 124501 HAS SOUS 57151 HAS SOUPS 57151 WITH SCORE 57275.501
AT ITER 5160 NEW BEST:: SOT 562874 SOS 124475 HAS SOPS 124475 HAS SOUS 57138 HAS SOUPS 57138 WITH SCORE 57262.475
AT ITER 5167 NEW BEST:: SOT 562849 SOS 124425 HAS SOPS 124425 HAS SOUS 57088 HAS SOUPS 57088 WITH SCORE 57212.425
AT ITER 5201 NEW BEST:: SOT 562711 SOS 124149 HAS SOPS 124149 HAS SOUS 56713 HAS SOUPS 56713 WITH SCORE 56837.149
AT ITER 5209 NEW BEST:: SOT 562709 SOS 123639 HAS SOPS 123639 HAS SOUS 56555 HAS SOUPS 56555 WITH SCORE 56678.639
AT ITER 5212 NEW BEST:: SOT 562674 SOS 123569 HAS SOPS 123569 HAS SOUS 56485 HAS SOUPS 56485 WITH SCORE 56608.569
AT ITER 5243 NEW BEST:: SOT 562927 SOS 123333 HAS SOPS 123333 HAS SOUS 56479 HAS SOUPS 56479 WITH SCORE 56602.333
AT ITER 5253 NEW BEST:: SOT 562847 SOS 123269 HAS SOPS 123269 HAS SOUS 56415 HAS SOUPS 56415 WITH SCORE 56538.269
AT ITER 5267 NEW BEST:: SOT 562850 SOS 123275 HAS SOPS 123275 HAS SOUS 56410 HAS SOUPS 56410 WITH SCORE 56533.275
AT ITER 5284 NEW BEST:: SOT 562850 SOS 123263 HAS SOPS 123263 HAS SOUS 56398 HAS SOUPS 56398 WITH SCORE 56521.263
AT ITER 5285 NEW BEST:: SOT 562845 SOS 123253 HAS SOPS 123253 HAS SOUS 56388 HAS SOUPS 56388 WITH SCORE 56511.253
AT ITER 5317 NEW BEST:: SOT 562843 SOS 123249 HAS SOPS 123249 HAS SOUS 56384 HAS SOUPS 56384 WITH SCORE 56507.249
AT ITER 5338 NEW BEST:: SOT 562842 SOS 123247 HAS SOPS 123247 HAS SOUS 56383 HAS SOUPS 56383 WITH SCORE 56506.247
AT ITER 5376 NEW BEST:: SOT 562832 SOS 123227 HAS SOPS 123227 HAS SOUS 56363 HAS SOUPS 56363 WITH SCORE 56486.227
AT ITER 5394 NEW BEST:: SOT 562823 SOS 123202 HAS SOPS 123202 HAS SOUS 56345 HAS SOUPS 56345 WITH SCORE 56468.202
AT ITER 5423 NEW BEST:: SOT 562828 SOS 123212 HAS SOPS 123212 HAS SOUS 56274 HAS SOUPS 56274 WITH SCORE 56397.212
AT ITER 5447 NEW BEST:: SOT 562817 SOS 123190 HAS SOPS 123190 HAS SOUS 56201 HAS SOUPS 56201 WITH SCORE 56324.19
AT ITER 5449 NEW BEST:: SOT 562786 SOS 123128 HAS SOPS 123128 HAS SOUS 56139 HAS SOUPS 56139 WITH SCORE 56262.128
AT ITER 5501 NEW BEST:: SOT 562684 SOS 120602 HAS SOPS 120602 HAS SOUS 55900 HAS SOUPS 55900 WITH SCORE 56020.602
AT ITER 5530 NEW BEST:: SOT 562681 SOS 120596 HAS SOPS 120596 HAS SOUS 55894 HAS SOUPS 55894 WITH SCORE 56014.596
AT ITER 5593 NEW BEST:: SOT 562615 SOS 120580 HAS SOPS 120580 HAS SOUS 55878 HAS SOUPS 55878 WITH SCORE 55998.58
AT ITER 5630 NEW BEST:: SOT 562607 SOS 120564 HAS SOPS 120564 HAS SOUS 55862 HAS SOUPS 55862 WITH SCORE 55982.564
AT ITER 5676 NEW BEST:: SOT 562532 SOS 120544 HAS SOPS 120544 HAS SOUS 55842 HAS SOUPS 55842 WITH SCORE 55962.544
AT ITER 5691 NEW BEST:: SOT 562519 SOS 120518 HAS SOPS 120518 HAS SOUS 55816 HAS SOUPS 55816 WITH SCORE 55936.518
AT ITER 5715 NEW BEST:: SOT 562474 SOS 120428 HAS SOPS 120428 HAS SOUS 55771 HAS SOUPS 55771 WITH SCORE 55891.428
AT ITER 5716 NEW BEST:: SOT 562499 SOS 120452 HAS SOPS 120452 HAS SOUS 55769 HAS SOUPS 55769 WITH SCORE 55889.452
AT ITER 5724 NEW BEST:: SOT 562546 SOS 120322 HAS SOPS 120322 HAS SOUS 55764 HAS SOUPS 55764 WITH SCORE 55884.322
AT ITER 5737 NEW BEST:: SOT 562333 SOS 120252 HAS SOPS 120252 HAS SOUS 55592 HAS SOUPS 55592 WITH SCORE 55712.252
AT ITER 5755 NEW BEST:: SOT 562331 SOS 120240 HAS SOPS 120240 HAS SOUS 55582 HAS SOUPS 55582 WITH SCORE 55702.24
AT ITER 5846 NEW BEST:: SOT 562240 SOS 119949 HAS SOPS 119949 HAS SOUS 55400 HAS SOUPS 55400 WITH SCORE 55519.949
AT ITER 5860 NEW BEST:: SOT 562207 SOS 119883 HAS SOPS 119883 HAS SOUS 55367 HAS SOUPS 55367 WITH SCORE 55486.883
AT ITER 5872 NEW BEST:: SOT 562207 SOS 119883 HAS SOPS 119883 HAS SOUS 55352 HAS SOUPS 55352 WITH SCORE 55471.883
AT ITER 5892 NEW BEST:: SOT 561791 SOS 121048 HAS SOPS 121048 HAS SOUS 55266 HAS SOUPS 55266 WITH SCORE 55387.048
AT ITER 5903 NEW BEST:: SOT 561771 SOS 121008 HAS SOPS 121008 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55384.008
AT ITER 5907 NEW BEST:: SOT 561768 SOS 121002 HAS SOPS 121002 HAS SOUS 55257 HAS SOUPS 55257 WITH SCORE 55378.002
AT ITER 5911 NEW BEST:: SOT 561799 SOS 121033 HAS SOPS 121033 HAS SOUS 55247 HAS SOUPS 55247 WITH SCORE 55368.033
AT ITER 5923 NEW BEST:: SOT 561791 SOS 121017 HAS SOPS 121017 HAS SOUS 55231 HAS SOUPS 55231 WITH SCORE 55352.017
AT ITER 5928 NEW BEST:: SOT 561761 SOS 120957 HAS SOPS 120957 HAS SOUS 55171 HAS SOUPS 55171 WITH SCORE 55291.957
AT ITER 5929 NEW BEST:: SOT 561808 SOS 121177 HAS SOPS 121177 HAS SOUS 55162 HAS SOUPS 55162 WITH SCORE 55283.177
AT ITER 5977 NEW BEST:: SOT 561771 SOS 121103 HAS SOPS 121103 HAS SOUS 55088 HAS SOUPS 55088 WITH SCORE 55209.103
AT ITER 5993 NEW BEST:: SOT 561768 SOS 121097 HAS SOPS 121097 HAS SOUS 55082 HAS SOUPS 55082 WITH SCORE 55203.097
AT ITER 5994 NEW BEST:: SOT 561758 SOS 121077 HAS SOPS 121077 HAS SOUS 55072 HAS SOUPS 55072 WITH SCORE 55193.077
AT ITER 5998 NEW BEST:: SOT 561758 SOS 121075 HAS SOPS 121075 HAS SOUS 55072 HAS SOUPS 55072 WITH SCORE 55193.075
AT ITER 6005 NEW BEST:: SOT 561735 SOS 121052 HAS SOPS 121052 HAS SOUS 55049 HAS SOUPS 55049 WITH SCORE 55170.052
AT ITER 6007 NEW BEST:: SOT 561686 SOS 121001 HAS SOPS 121001 HAS SOUS 54985 HAS SOUPS 54985 WITH SCORE 55106.001
AT ITER 6054 NEW BEST:: SOT 561684 SOS 120997 HAS SOPS 120997 HAS SOUS 54982 HAS SOUPS 54982 WITH SCORE 55102.997
AT ITER 6076 NEW BEST:: SOT 561683 SOS 120995 HAS SOPS 120995 HAS SOUS 54980 HAS SOUPS 54980 WITH SCORE 55100.995
AT ITER 6096 NEW BEST:: SOT 561681 SOS 120991 HAS SOPS 120991 HAS SOUS 54976 HAS SOUPS 54976 WITH SCORE 55096.991
AT ITER 6105 NEW BEST:: SOT 561646 SOS 120921 HAS SOPS 120921 HAS SOUS 54941 HAS SOUPS 54941 WITH SCORE 55061.921
AT ITER 6106 NEW BEST:: SOT 561534 SOS 120697 HAS SOPS 120697 HAS SOUS 54717 HAS SOUPS 54717 WITH SCORE 54837.697
AT ITER 6133 NEW BEST:: SOT 561454 SOS 120617 HAS SOPS 120617 HAS SOUS 54638 HAS SOUPS 54638 WITH SCORE 54758.617
AT ITER 6138 NEW BEST:: SOT 561454 SOS 120593 HAS SOPS 120593 HAS SOUS 54614 HAS SOUPS 54614 WITH SCORE 54734.593
AT ITER 6146 NEW BEST:: SOT 561455 SOS 120595 HAS SOPS 120595 HAS SOUS 54602 HAS SOUPS 54602 WITH SCORE 54722.595
AT ITER 6163 NEW BEST:: SOT 561421 SOS 120475 HAS SOPS 120475 HAS SOUS 54534 HAS SOUPS 54534 WITH SCORE 54654.475
AT ITER 6194 NEW BEST:: SOT 561468 SOS 120505 HAS SOPS 120505 HAS SOUS 54519 HAS SOUPS 54519 WITH SCORE 54639.505
AT ITER 6198 NEW BEST:: SOT 561403 SOS 120375 HAS SOPS 120375 HAS SOUS 54456 HAS SOUPS 54456 WITH SCORE 54576.375
AT ITER 6228 NEW BEST:: SOT 561391 SOS 120607 HAS SOPS 120607 HAS SOUS 54452 HAS SOUPS 54452 WITH SCORE 54572.607
AT ITER 6236 NEW BEST:: SOT 561369 SOS 119853 HAS SOPS 119853 HAS SOUS 54344 HAS SOUPS 54344 WITH SCORE 54463.853
AT ITER 6237 NEW BEST:: SOT 561354 SOS 119823 HAS SOPS 119823 HAS SOUS 54314 HAS SOUPS 54314 WITH SCORE 54433.823
AT ITER 6250 NEW BEST:: SOT 561339 SOS 119793 HAS SOPS 119793 HAS SOUS 54299 HAS SOUPS 54299 WITH SCORE 54418.793
AT ITER 6285 NEW BEST:: SOT 561339 SOS 119774 HAS SOPS 119774 HAS SOUS 54299 HAS SOUPS 54299 WITH SCORE 54418.774
AT ITER 6331 NEW BEST:: SOT 561339 SOS 119694 HAS SOPS 119694 HAS SOUS 54299 HAS SOUPS 54299 WITH SCORE 54418.694
AT ITER 6342 NEW BEST:: SOT 561286 SOS 119588 HAS SOPS 119588 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54405.588
AT ITER 6347 NEW BEST:: SOT 561281 SOS 119578 HAS SOPS 119578 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54395.578
AT ITER 6350 NEW BEST:: SOT 561278 SOS 119572 HAS SOPS 119572 HAS SOUS 54270 HAS SOUPS 54270 WITH SCORE 54389.572
AT ITER 6413 NEW BEST:: SOT 561274 SOS 119564 HAS SOPS 119564 HAS SOUS 54266 HAS SOUPS 54266 WITH SCORE 54385.564
AT ITER 6417 NEW BEST:: SOT 561274 SOS 119551 HAS SOPS 119551 HAS SOUS 54266 HAS SOUPS 54266 WITH SCORE 54385.551
AT ITER 6475 NEW BEST:: SOT 561249 SOS 119501 HAS SOPS 119501 HAS SOUS 54216 HAS SOUPS 54216 WITH SCORE 54335.501
AT ITER 6481 NEW BEST:: SOT 561249 SOS 119491 HAS SOPS 119491 HAS SOUS 54216 HAS SOUPS 54216 WITH SCORE 54335.491
AT ITER 6510 NEW BEST:: SOT 561208 SOS 119409 HAS SOPS 119409 HAS SOUS 54134 HAS SOUPS 54134 WITH SCORE 54253.409
AT ITER 6533 NEW BEST:: SOT 561232 SOS 119457 HAS SOPS 119457 HAS SOUS 54129 HAS SOUPS 54129 WITH SCORE 54248.457
AT ITER 6618 NEW BEST:: SOT 561217 SOS 119427 HAS SOPS 119427 HAS SOUS 54099 HAS SOUPS 54099 WITH SCORE 54218.427
AT ITER 6632 NEW BEST:: SOT 561133 SOS 119259 HAS SOPS 119259 HAS SOUS 53931 HAS SOUPS 53931 WITH SCORE 54050.259
AT ITER 6678 NEW BEST:: SOT 561251 SOS 119577 HAS SOPS 119577 HAS SOUS 53173 HAS SOUPS 53173 WITH SCORE 53292.577
AT ITER 6733 NEW BEST:: SOT 561228 SOS 119531 HAS SOPS 119531 HAS SOUS 53127 HAS SOUPS 53127 WITH SCORE 53246.531
AT ITER 6748 NEW BEST:: SOT 560488 SOS 121101 HAS SOPS 121101 HAS SOUS 52927 HAS SOUPS 52927 WITH SCORE 53048.101
AT ITER 6785 NEW BEST:: SOT 560608 SOS 120413 HAS SOPS 120413 HAS SOUS 52906 HAS SOUPS 52906 WITH SCORE 53026.413
AT ITER 6788 NEW BEST:: SOT 560541 SOS 120279 HAS SOPS 120279 HAS SOUS 52772 HAS SOUPS 52772 WITH SCORE 52892.279
AT ITER 6814 NEW BEST:: SOT 560532 SOS 120261 HAS SOPS 120261 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52877.261
AT ITER 6816 NEW BEST:: SOT 560524 SOS 120253 HAS SOPS 120253 HAS SOUS 52740 HAS SOUPS 52740 WITH SCORE 52860.253
AT ITER 6836 NEW BEST:: SOT 560521 SOS 120247 HAS SOPS 120247 HAS SOUS 52734 HAS SOUPS 52734 WITH SCORE 52854.247
AT ITER 6848 NEW BEST:: SOT 560484 SOS 119058 HAS SOPS 119058 HAS SOUS 52617 HAS SOUPS 52617 WITH SCORE 52736.058
AT ITER 6877 NEW BEST:: SOT 560589 SOS 119268 HAS SOPS 119268 HAS SOUS 52586 HAS SOUPS 52586 WITH SCORE 52705.268
AT ITER 6893 NEW BEST:: SOT 560595 SOS 119232 HAS SOPS 119232 HAS SOUS 52577 HAS SOUPS 52577 WITH SCORE 52696.232
AT ITER 6899 NEW BEST:: SOT 560592 SOS 119157 HAS SOPS 119157 HAS SOUS 52571 HAS SOUPS 52571 WITH SCORE 52690.157
AT ITER 6902 NEW BEST:: SOT 560576 SOS 119125 HAS SOPS 119125 HAS SOUS 52558 HAS SOUPS 52558 WITH SCORE 52677.125
AT ITER 6908 NEW BEST:: SOT 560576 SOS 119125 HAS SOPS 119125 HAS SOUS 52549 HAS SOUPS 52549 WITH SCORE 52668.125
AT ITER 6919 NEW BEST:: SOT 560576 SOS 119090 HAS SOPS 119090 HAS SOUS 52549 HAS SOUPS 52549 WITH SCORE 52668.09
AT ITER 6933 NEW BEST:: SOT 560542 SOS 119022 HAS SOPS 119022 HAS SOUS 52515 HAS SOUPS 52515 WITH SCORE 52634.022
AT ITER 6945 NEW BEST:: SOT 560507 SOS 118952 HAS SOPS 118952 HAS SOUS 52445 HAS SOUPS 52445 WITH SCORE 52563.952
AT ITER 6973 NEW BEST:: SOT 560507 SOS 118948 HAS SOPS 118948 HAS SOUS 52445 HAS SOUPS 52445 WITH SCORE 52563.948
AT ITER 7052 NEW BEST:: SOT 560495 SOS 118979 HAS SOPS 118979 HAS SOUS 52421 HAS SOUPS 52421 WITH SCORE 52539.979
AT ITER 7054 NEW BEST:: SOT 560495 SOS 118939 HAS SOPS 118939 HAS SOUS 52421 HAS SOUPS 52421 WITH SCORE 52539.939
AT ITER 7100 NEW BEST:: SOT 560487 SOS 118923 HAS SOPS 118923 HAS SOUS 52405 HAS SOUPS 52405 WITH SCORE 52523.923
AT ITER 7123 NEW BEST:: SOT 560460 SOS 118869 HAS SOPS 118869 HAS SOUS 52374 HAS SOUPS 52374 WITH SCORE 52492.869
AT ITER 7141 NEW BEST:: SOT 560455 SOS 118859 HAS SOPS 118859 HAS SOUS 52364 HAS SOUPS 52364 WITH SCORE 52482.859
AT ITER 7204 NEW BEST:: SOT 560452 SOS 118853 HAS SOPS 118853 HAS SOUS 52358 HAS SOUPS 52358 WITH SCORE 52476.853
AT ITER 7219 NEW BEST:: SOT 560448 SOS 118845 HAS SOPS 118845 HAS SOUS 52350 HAS SOUPS 52350 WITH SCORE 52468.845
AT ITER 7254 NEW BEST:: SOT 560442 SOS 118838 HAS SOPS 118838 HAS SOUS 52343 HAS SOUPS 52343 WITH SCORE 52461.838
AT ITER 7258 NEW BEST:: SOT 560431 SOS 118816 HAS SOPS 118816 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52456.816
AT ITER 7311 NEW BEST:: SOT 560431 SOS 118812 HAS SOPS 118812 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52456.812
AT ITER 7320 NEW BEST:: SOT 560361 SOS 118672 HAS SOPS 118672 HAS SOUS 52277 HAS SOUPS 52277 WITH SCORE 52395.672
AT ITER 7339 NEW BEST:: SOT 560339 SOS 118628 HAS SOPS 118628 HAS SOUS 52209 HAS SOUPS 52209 WITH SCORE 52327.628
AT ITER 7394 NEW BEST:: SOT 560333 SOS 118616 HAS SOPS 118616 HAS SOUS 52200 HAS SOUPS 52200 WITH SCORE 52318.616
AT ITER 7395 NEW BEST:: SOT 560276 SOS 118502 HAS SOPS 118502 HAS SOUS 52143 HAS SOUPS 52143 WITH SCORE 52261.502
AT ITER 7437 NEW BEST:: SOT 560276 SOS 118502 HAS SOPS 118502 HAS SOUS 52130 HAS SOUPS 52130 WITH SCORE 52248.502
AT ITER 7442 NEW BEST:: SOT 560131 SOS 118436 HAS SOPS 118436 HAS SOUS 51992 HAS SOUPS 51992 WITH SCORE 52110.436
AT ITER 7448 NEW BEST:: SOT 560137 SOS 118448 HAS SOPS 118448 HAS SOUS 51987 HAS SOUPS 51987 WITH SCORE 52105.448
AT ITER 7458 NEW BEST:: SOT 560116 SOS 118406 HAS SOPS 118406 HAS SOUS 51945 HAS SOUPS 51945 WITH SCORE 52063.406
AT ITER 7463 NEW BEST:: SOT 560116 SOS 118328 HAS SOPS 118328 HAS SOUS 51945 HAS SOUPS 51945 WITH SCORE 52063.328
AT ITER 7486 NEW BEST:: SOT 560107 SOS 118328 HAS SOPS 118328 HAS SOUS 51940 HAS SOUPS 51940 WITH SCORE 52058.328
AT ITER 7555 NEW BEST:: SOT 560101 SOS 118324 HAS SOPS 118324 HAS SOUS 51936 HAS SOUPS 51936 WITH SCORE 52054.324
AT ITER 7627 NEW BEST:: SOT 560100 SOS 118322 HAS SOPS 118322 HAS SOUS 51934 HAS SOUPS 51934 WITH SCORE 52052.322
AT ITER 7662 NEW BEST:: SOT 560086 SOS 118294 HAS SOPS 118294 HAS SOUS 51920 HAS SOUPS 51920 WITH SCORE 52038.294
AT ITER 7667 NEW BEST:: SOT 560067 SOS 118271 HAS SOPS 118271 HAS SOUS 51897 HAS SOUPS 51897 WITH SCORE 52015.271
AT ITER 7668 NEW BEST:: SOT 560043 SOS 118175 HAS SOPS 118175 HAS SOUS 51849 HAS SOUPS 51849 WITH SCORE 51967.175
AT ITER 7689 NEW BEST:: SOT 560034 SOS 118157 HAS SOPS 118157 HAS SOUS 51831 HAS SOUPS 51831 WITH SCORE 51949.157
AT ITER 7727 NEW BEST:: SOT 560011 SOS 118132 HAS SOPS 118132 HAS SOUS 51818 HAS SOUPS 51818 WITH SCORE 51936.132
AT ITER 7747 NEW BEST:: SOT 560033 SOS 116639 HAS SOPS 116639 HAS SOUS 51788 HAS SOUPS 51788 WITH SCORE 51904.639
AT ITER 7769 NEW BEST:: SOT 560026 SOS 116625 HAS SOPS 116625 HAS SOUS 51774 HAS SOUPS 51774 WITH SCORE 51890.625
AT ITER 7779 NEW BEST:: SOT 560017 SOS 116607 HAS SOPS 116607 HAS SOUS 51756 HAS SOUPS 51756 WITH SCORE 51872.607
AT ITER 7781 NEW BEST:: SOT 559947 SOS 116371 HAS SOPS 116371 HAS SOUS 51649 HAS SOUPS 51649 WITH SCORE 51765.371
AT ITER 7823 NEW BEST:: SOT 559958 SOS 116393 HAS SOPS 116393 HAS SOUS 51641 HAS SOUPS 51641 WITH SCORE 51757.393
AT ITER 7833 NEW BEST:: SOT 559946 SOS 116369 HAS SOPS 116369 HAS SOUS 51618 HAS SOUPS 51618 WITH SCORE 51734.369
AT ITER 7930 NEW BEST:: SOT 559941 SOS 116359 HAS SOPS 116359 HAS SOUS 51613 HAS SOUPS 51613 WITH SCORE 51729.359
AT ITER 7931 NEW BEST:: SOT 559942 SOS 116338 HAS SOPS 116338 HAS SOUS 51592 HAS SOUPS 51592 WITH SCORE 51708.338
AT ITER 7960 NEW BEST:: SOT 559904 SOS 116262 HAS SOPS 116262 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51678.262
AT ITER 8008 NEW BEST:: SOT 559904 SOS 116225 HAS SOPS 116225 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51678.225
AT ITER 8044 NEW BEST:: SOT 559848 SOS 116113 HAS SOPS 116113 HAS SOUS 51506 HAS SOUPS 51506 WITH SCORE 51622.113
AT ITER 8057 NEW BEST:: SOT 559824 SOS 116089 HAS SOPS 116089 HAS SOUS 51482 HAS SOUPS 51482 WITH SCORE 51598.089
AT ITER 8071 NEW BEST:: SOT 559816 SOS 116073 HAS SOPS 116073 HAS SOUS 51474 HAS SOUPS 51474 WITH SCORE 51590.073
AT ITER 8076 NEW BEST:: SOT 559812 SOS 116065 HAS SOPS 116065 HAS SOUS 51466 HAS SOUPS 51466 WITH SCORE 51582.065
AT ITER 8104 NEW BEST:: SOT 559808 SOS 116057 HAS SOPS 116057 HAS SOUS 51458 HAS SOUPS 51458 WITH SCORE 51574.057
AT ITER 8145 NEW BEST:: SOT 559808 SOS 116057 HAS SOPS 116057 HAS SOUS 51457 HAS SOUPS 51457 WITH SCORE 51573.057
AT ITER 8200 NEW BEST:: SOT 559780 SOS 116001 HAS SOPS 116001 HAS SOUS 51429 HAS SOUPS 51429 WITH SCORE 51545.001
AT ITER 8203 NEW BEST:: SOT 559780 SOS 115992 HAS SOPS 115992 HAS SOUS 51429 HAS SOUPS 51429 WITH SCORE 51544.992
AT ITER 8259 NEW BEST:: SOT 559812 SOS 114648 HAS SOPS 114648 HAS SOUS 51397 HAS SOUPS 51397 WITH SCORE 51511.648
AT ITER 8294 NEW BEST:: SOT 559812 SOS 116702 HAS SOPS 116702 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51487.702
AT ITER 8345 NEW BEST:: SOT 559803 SOS 116684 HAS SOPS 116684 HAS SOUS 51353 HAS SOUPS 51353 WITH SCORE 51469.684
AT ITER 8347 NEW BEST:: SOT 559522 SOS 116399 HAS SOPS 116399 HAS SOUS 51340 HAS SOUPS 51340 WITH SCORE 51456.399
AT ITER 8363 NEW BEST:: SOT 559486 SOS 116363 HAS SOPS 116363 HAS SOUS 51304 HAS SOUPS 51304 WITH SCORE 51420.363
AT ITER 8379 NEW BEST:: SOT 559486 SOS 116360 HAS SOPS 116360 HAS SOUS 51298 HAS SOUPS 51298 WITH SCORE 51414.36
AT ITER 8395 NEW BEST:: SOT 559440 SOS 116268 HAS SOPS 116268 HAS SOUS 51206 HAS SOUPS 51206 WITH SCORE 51322.268
AT ITER 8402 NEW BEST:: SOT 559420 SOS 117288 HAS SOPS 117288 HAS SOUS 51186 HAS SOUPS 51186 WITH SCORE 51303.288
AT ITER 8421 NEW BEST:: SOT 559378 SOS 117204 HAS SOPS 117204 HAS SOUS 51146 HAS SOUPS 51146 WITH SCORE 51263.204
AT ITER 8429 NEW BEST:: SOT 559378 SOS 117112 HAS SOPS 117112 HAS SOUS 51146 HAS SOUPS 51146 WITH SCORE 51263.112
AT ITER 8435 NEW BEST:: SOT 559370 SOS 117096 HAS SOPS 117096 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51247.096
AT ITER 8525 NEW BEST:: SOT 559397 SOS 117150 HAS SOPS 117150 HAS SOUS 51111 HAS SOUPS 51111 WITH SCORE 51228.15
AT ITER 8560 NEW BEST:: SOT 559378 SOS 117112 HAS SOPS 117112 HAS SOUS 51073 HAS SOUPS 51073 WITH SCORE 51190.112
AT ITER 8612 NEW BEST:: SOT 559376 SOS 117108 HAS SOPS 117108 HAS SOUS 51069 HAS SOUPS 51069 WITH SCORE 51186.108
AT ITER 8632 NEW BEST:: SOT 559340 SOS 117036 HAS SOPS 117036 HAS SOUS 50997 HAS SOUPS 50997 WITH SCORE 51114.036
AT ITER 8634 NEW BEST:: SOT 559331 SOS 117018 HAS SOPS 117018 HAS SOUS 50979 HAS SOUPS 50979 WITH SCORE 51096.018
AT ITER 8637 NEW BEST:: SOT 559267 SOS 116890 HAS SOPS 116890 HAS SOUS 50932 HAS SOUPS 50932 WITH SCORE 51048.89
AT ITER 8686 NEW BEST:: SOT 559265 SOS 116886 HAS SOPS 116886 HAS SOUS 50930 HAS SOUPS 50930 WITH SCORE 51046.886
AT ITER 8714 NEW BEST:: SOT 559084 SOS 117140 HAS SOPS 117140 HAS SOUS 50781 HAS SOUPS 50781 WITH SCORE 50898.14
AT ITER 8737 NEW BEST:: SOT 559084 SOS 117140 HAS SOPS 117140 HAS SOUS 50767 HAS SOUPS 50767 WITH SCORE 50884.14
AT ITER 8823 NEW BEST:: SOT 559067 SOS 117107 HAS SOPS 117107 HAS SOUS 50734 HAS SOUPS 50734 WITH SCORE 50851.107
AT ITER 8836 NEW BEST:: SOT 559011 SOS 117203 HAS SOPS 117203 HAS SOUS 50691 HAS SOUPS 50691 WITH SCORE 50808.203
AT ITER 8846 NEW BEST:: SOT 558982 SOS 117145 HAS SOPS 117145 HAS SOUS 50675 HAS SOUPS 50675 WITH SCORE 50792.145
AT ITER 8899 NEW BEST:: SOT 558972 SOS 117132 HAS SOPS 117132 HAS SOUS 50657 HAS SOUPS 50657 WITH SCORE 50774.132
AT ITER 8986 NEW BEST:: SOT 558967 SOS 117096 HAS SOPS 117096 HAS SOUS 50647 HAS SOUPS 50647 WITH SCORE 50764.096
AT ITER 9012 NEW BEST:: SOT 558974 SOS 117110 HAS SOPS 117110 HAS SOUS 50612 HAS SOUPS 50612 WITH SCORE 50729.11
AT ITER 9019 NEW BEST:: SOT 558964 SOS 117090 HAS SOPS 117090 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50709.09
AT ITER 9020 NEW BEST:: SOT 558958 SOS 117078 HAS SOPS 117078 HAS SOUS 50580 HAS SOUPS 50580 WITH SCORE 50697.078
AT ITER 9056 NEW BEST:: SOT 558927 SOS 117016 HAS SOPS 117016 HAS SOUS 50421 HAS SOUPS 50421 WITH SCORE 50538.016
AT ITER 9195 NEW BEST:: SOT 558925 SOS 117011 HAS SOPS 117011 HAS SOUS 50417 HAS SOUPS 50417 WITH SCORE 50534.011
AT ITER 9216 NEW BEST:: SOT 558810 SOS 117589 HAS SOPS 117589 HAS SOUS 50362 HAS SOUPS 50362 WITH SCORE 50479.589
AT ITER 9301 NEW BEST:: SOT 558802 SOS 117573 HAS SOPS 117573 HAS SOUS 50346 HAS SOUPS 50346 WITH SCORE 50463.573
AT ITER 9360 NEW BEST:: SOT 558801 SOS 117571 HAS SOPS 117571 HAS SOUS 50344 HAS SOUPS 50344 WITH SCORE 50461.571
AT ITER 9389 NEW BEST:: SOT 558782 SOS 117521 HAS SOPS 117521 HAS SOUS 50326 HAS SOUPS 50326 WITH SCORE 50443.521
AT ITER 9435 NEW BEST:: SOT 558782 SOS 117521 HAS SOPS 117521 HAS SOUS 50288 HAS SOUPS 50288 WITH SCORE 50405.521
AT ITER 9437 NEW BEST:: SOT 558780 SOS 117517 HAS SOPS 117517 HAS SOUS 50284 HAS SOUPS 50284 WITH SCORE 50401.517
AT ITER 9465 NEW BEST:: SOT 558770 SOS 117497 HAS SOPS 117497 HAS SOUS 50274 HAS SOUPS 50274 WITH SCORE 50391.497
AT ITER 9503 NEW BEST:: SOT 558767 SOS 117491 HAS SOPS 117491 HAS SOUS 50268 HAS SOUPS 50268 WITH SCORE 50385.491
AT ITER 9527 NEW BEST:: SOT 558765 SOS 117487 HAS SOPS 117487 HAS SOUS 50264 HAS SOUPS 50264 WITH SCORE 50381.487
AT ITER 9529 NEW BEST:: SOT 558761 SOS 117479 HAS SOPS 117479 HAS SOUS 50256 HAS SOUPS 50256 WITH SCORE 50373.479
AT ITER 9534 NEW BEST:: SOT 558746 SOS 117449 HAS SOPS 117449 HAS SOUS 50226 HAS SOUPS 50226 WITH SCORE 50343.449
AT ITER 9551 NEW BEST:: SOT 558717 SOS 117411 HAS SOPS 117411 HAS SOUS 50196 HAS SOUPS 50196 WITH SCORE 50313.411
AT ITER 9647 NEW BEST:: SOT 558717 SOS 117398 HAS SOPS 117398 HAS SOUS 50196 HAS SOUPS 50196 WITH SCORE 50313.398
AT ITER 9721 NEW BEST:: SOT 558717 SOS 117493 HAS SOPS 117493 HAS SOUS 50182 HAS SOUPS 50182 WITH SCORE 50299.493
AT ITER 9799 NEW BEST:: SOT 558713 SOS 117485 HAS SOPS 117485 HAS SOUS 50174 HAS SOUPS 50174 WITH SCORE 50291.485
AT ITER 9913 NEW BEST:: SOT 558704 SOS 117434 HAS SOPS 117434 HAS SOUS 50137 HAS SOUPS 50137 WITH SCORE 50254.434
AT ITER 9943 NEW BEST:: SOT 558693 SOS 117412 HAS SOPS 117412 HAS SOUS 50115 HAS SOUPS 50115 WITH SCORE 50232.412
AT ITER 9949 NEW BEST:: SOT 558680 SOS 117386 HAS SOPS 117386 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50206.386
AT ITER 9991 NEW BEST:: SOT 558622 SOS 116922 HAS SOPS 116922 HAS SOUS 49619 HAS SOUPS 49619 WITH SCORE 49735.922
AT ITER 9997 NEW BEST:: SOT 558604 SOS 116886 HAS SOPS 116886 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49716.886
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10983672 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118908 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="StigmergyElection-PT-05b"
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 StigmergyElection-PT-05b, 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-167912651500616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-05b.tgz
mv StigmergyElection-PT-05b 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 ;