About the Execution of Smart+red for StigmergyCommit-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 918.107 | 3600000.00 | 3767538.00 | 7372.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651300488.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is StigmergyCommit-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651300488
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 7.2K Feb 26 11:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 11:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 11:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 11:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 11:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 12M 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 1679371354427
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-07b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 04:02:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 04:02:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 04:02:39] [INFO ] Load time of PNML (sax parser for PT used): 1240 ms
[2023-03-21 04:02:39] [INFO ] Transformed 2443 places.
[2023-03-21 04:02:39] [INFO ] Transformed 15956 transitions.
[2023-03-21 04:02:39] [INFO ] Found NUPN structural information;
[2023-03-21 04:02:39] [INFO ] Parsed PT model containing 2443 places and 15956 transitions and 219500 arcs in 1536 ms.
[2023-03-21 04:02:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2443 places, 15956 transitions and 219500 arcs took 246 ms.
Total runtime 1850 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 07b
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: 2443 places, 15956 transitions, 219500 arcs.
AT ITER 0 NEW BEST:: SOT 29746464 SOS 4020109 HAS SOPS 4020109 HAS SOUS 3187416 HAS SOUPS 3187416 WITH SCORE 3191436.109
AT ITER 15 NEW BEST:: SOT 29743024 SOS 4022480 HAS SOPS 4022480 HAS SOUS 3184331 HAS SOUPS 3184331 WITH SCORE 3188353.48
AT ITER 25 NEW BEST:: SOT 29743024 SOS 4022321 HAS SOPS 4022321 HAS SOUS 3184329 HAS SOUPS 3184329 WITH SCORE 3188351.321
AT ITER 93 NEW BEST:: SOT 29716664 SOS 6181439 HAS SOPS 6181439 HAS SOUS 3162793 HAS SOUPS 3162793 WITH SCORE 3168974.439
AT ITER 112 NEW BEST:: SOT 29713915 SOS 6293421 HAS SOPS 6293421 HAS SOUS 3162020 HAS SOUPS 3162020 WITH SCORE 3168313.421
AT ITER 128 NEW BEST:: SOT 29713711 SOS 6292807 HAS SOPS 6292807 HAS SOUS 3161612 HAS SOUPS 3161612 WITH SCORE 3167904.807
AT ITER 131 NEW BEST:: SOT 29713630 SOS 6292726 HAS SOPS 6292726 HAS SOUS 3161531 HAS SOUPS 3161531 WITH SCORE 3167823.726
AT ITER 138 NEW BEST:: SOT 29711280 SOS 6298706 HAS SOPS 6298706 HAS SOUS 3160030 HAS SOUPS 3160030 WITH SCORE 3166328.706
AT ITER 145 NEW BEST:: SOT 29711280 SOS 6298598 HAS SOPS 6298598 HAS SOUS 3160030 HAS SOUPS 3160030 WITH SCORE 3166328.598
AT ITER 170 NEW BEST:: SOT 29711161 SOS 6298360 HAS SOPS 6298360 HAS SOUS 3159792 HAS SOUPS 3159792 WITH SCORE 3166090.36
AT ITER 178 NEW BEST:: SOT 29711159 SOS 6298356 HAS SOPS 6298356 HAS SOUS 3159790 HAS SOUPS 3159790 WITH SCORE 3166088.356
AT ITER 191 NEW BEST:: SOT 29687770 SOS 9623113 HAS SOPS 9623113 HAS SOUS 3141497 HAS SOUPS 3141497 WITH SCORE 3151120.113
AT ITER 204 NEW BEST:: SOT 29687748 SOS 9623095 HAS SOPS 9623095 HAS SOUS 3141475 HAS SOUPS 3141475 WITH SCORE 3151098.095
AT ITER 209 NEW BEST:: SOT 29687747 SOS 9623093 HAS SOPS 9623093 HAS SOUS 3141473 HAS SOUPS 3141473 WITH SCORE 3151096.093
AT ITER 240 NEW BEST:: SOT 29687591 SOS 9622937 HAS SOPS 9622937 HAS SOUS 3141317 HAS SOUPS 3141317 WITH SCORE 3150939.937
AT ITER 249 NEW BEST:: SOT 29687394 SOS 9622543 HAS SOPS 9622543 HAS SOUS 3140923 HAS SOUPS 3140923 WITH SCORE 3150545.543
AT ITER 250 NEW BEST:: SOT 29687272 SOS 9622299 HAS SOPS 9622299 HAS SOUS 3140658 HAS SOUPS 3140658 WITH SCORE 3150280.299
AT ITER 283 NEW BEST:: SOT 29687228 SOS 9622211 HAS SOPS 9622211 HAS SOUS 3140570 HAS SOUPS 3140570 WITH SCORE 3150192.211
AT ITER 305 NEW BEST:: SOT 29642658 SOS 10272741 HAS SOPS 10272741 HAS SOUS 3109897 HAS SOUPS 3109897 WITH SCORE 3120169.741
AT ITER 334 NEW BEST:: SOT 29585946 SOS 10370799 HAS SOPS 10370799 HAS SOUS 3055501 HAS SOUPS 3055501 WITH SCORE 3065871.799
AT ITER 341 NEW BEST:: SOT 29549353 SOS 11636775 HAS SOPS 11636775 HAS SOUS 3022013 HAS SOUPS 3022013 WITH SCORE 3033649.775
AT ITER 356 NEW BEST:: SOT 29485637 SOS 11814717 HAS SOPS 11814717 HAS SOUS 2973097 HAS SOUPS 2973097 WITH SCORE 2984911.717
AT ITER 360 NEW BEST:: SOT 29485429 SOS 11814133 HAS SOPS 11814133 HAS SOUS 2972680 HAS SOUPS 2972680 WITH SCORE 2984494.133
AT ITER 399 NEW BEST:: SOT 29485388 SOS 11814032 HAS SOPS 11814032 HAS SOUS 2972579 HAS SOUPS 2972579 WITH SCORE 2984393.032
AT ITER 471 NEW BEST:: SOT 29485021 SOS 11813878 HAS SOPS 11813878 HAS SOUS 2972281 HAS SOUPS 2972281 WITH SCORE 2984094.878
AT ITER 473 NEW BEST:: SOT 29485021 SOS 11813832 HAS SOPS 11813832 HAS SOUS 2972281 HAS SOUPS 2972281 WITH SCORE 2984094.832
AT ITER 490 NEW BEST:: SOT 29484940 SOS 11813751 HAS SOPS 11813751 HAS SOUS 2972200 HAS SOUPS 2972200 WITH SCORE 2984013.751
AT ITER 496 NEW BEST:: SOT 29388733 SOS 13788618 HAS SOPS 13788618 HAS SOUS 2938451 HAS SOUPS 2938451 WITH SCORE 2952239.618
AT ITER 501 NEW BEST:: SOT 29388418 SOS 13788311 HAS SOPS 13788311 HAS SOUS 2938144 HAS SOUPS 2938144 WITH SCORE 2951932.311
AT ITER 521 NEW BEST:: SOT 29388196 SOS 13787867 HAS SOPS 13787867 HAS SOUS 2937669 HAS SOUPS 2937669 WITH SCORE 2951456.867
AT ITER 538 NEW BEST:: SOT 29388103 SOS 13787681 HAS SOPS 13787681 HAS SOUS 2937483 HAS SOUPS 2937483 WITH SCORE 2951270.681
AT ITER 548 NEW BEST:: SOT 29388024 SOS 13787504 HAS SOPS 13787504 HAS SOUS 2937324 HAS SOUPS 2937324 WITH SCORE 2951111.504
AT ITER 560 NEW BEST:: SOT 29387945 SOS 13787346 HAS SOPS 13787346 HAS SOUS 2937245 HAS SOUPS 2937245 WITH SCORE 2951032.346
AT ITER 621 NEW BEST:: SOT 29387893 SOS 13787242 HAS SOPS 13787242 HAS SOUS 2937193 HAS SOUPS 2937193 WITH SCORE 2950980.242
AT ITER 653 NEW BEST:: SOT 29387598 SOS 13786652 HAS SOPS 13786652 HAS SOUS 2936895 HAS SOUPS 2936895 WITH SCORE 2950681.652
AT ITER 658 NEW BEST:: SOT 29387513 SOS 13786482 HAS SOPS 13786482 HAS SOUS 2936725 HAS SOUPS 2936725 WITH SCORE 2950511.482
AT ITER 700 NEW BEST:: SOT 29387504 SOS 13786464 HAS SOPS 13786464 HAS SOUS 2936707 HAS SOUPS 2936707 WITH SCORE 2950493.464
AT ITER 722 NEW BEST:: SOT 29387504 SOS 13786335 HAS SOPS 13786335 HAS SOUS 2936706 HAS SOUPS 2936706 WITH SCORE 2950492.335
AT ITER 738 NEW BEST:: SOT 29387453 SOS 13786233 HAS SOPS 13786233 HAS SOUS 2936604 HAS SOUPS 2936604 WITH SCORE 2950390.233
AT ITER 759 NEW BEST:: SOT 29387443 SOS 13786223 HAS SOPS 13786223 HAS SOUS 2936594 HAS SOUPS 2936594 WITH SCORE 2950380.223
AT ITER 779 NEW BEST:: SOT 29387102 SOS 13785541 HAS SOPS 13785541 HAS SOUS 2936402 HAS SOUPS 2936402 WITH SCORE 2950187.541
AT ITER 780 NEW BEST:: SOT 29387102 SOS 13785425 HAS SOPS 13785425 HAS SOUS 2936401 HAS SOUPS 2936401 WITH SCORE 2950186.425
AT ITER 799 NEW BEST:: SOT 29386766 SOS 13784753 HAS SOPS 13784753 HAS SOUS 2935897 HAS SOUPS 2935897 WITH SCORE 2949681.753
AT ITER 804 NEW BEST:: SOT 29386364 SOS 13784415 HAS SOPS 13784415 HAS SOUS 2935514 HAS SOUPS 2935514 WITH SCORE 2949298.415
AT ITER 848 NEW BEST:: SOT 29386203 SOS 13784093 HAS SOPS 13784093 HAS SOUS 2935192 HAS SOUPS 2935192 WITH SCORE 2948976.093
AT ITER 914 NEW BEST:: SOT 29386101 SOS 13783889 HAS SOPS 13783889 HAS SOUS 2934988 HAS SOUPS 2934988 WITH SCORE 2948771.889
AT ITER 961 NEW BEST:: SOT 29386017 SOS 13783721 HAS SOPS 13783721 HAS SOUS 2934820 HAS SOUPS 2934820 WITH SCORE 2948603.721
AT ITER 979 NEW BEST:: SOT 29385876 SOS 13249368 HAS SOPS 13249368 HAS SOUS 2934484 HAS SOUPS 2934484 WITH SCORE 2947733.368
AT ITER 986 NEW BEST:: SOT 29385876 SOS 13249368 HAS SOPS 13249368 HAS SOUS 2934370 HAS SOUPS 2934370 WITH SCORE 2947619.368
AT ITER 1017 NEW BEST:: SOT 29385857 SOS 13249330 HAS SOPS 13249330 HAS SOUS 2934332 HAS SOUPS 2934332 WITH SCORE 2947581.33
AT ITER 1025 NEW BEST:: SOT 29380818 SOS 13375816 HAS SOPS 13375816 HAS SOUS 2932976 HAS SOUPS 2932976 WITH SCORE 2946351.816
AT ITER 1033 NEW BEST:: SOT 29380817 SOS 13375814 HAS SOPS 13375814 HAS SOUS 2932974 HAS SOUPS 2932974 WITH SCORE 2946349.814
AT ITER 1102 NEW BEST:: SOT 29380786 SOS 13375732 HAS SOPS 13375732 HAS SOUS 2932912 HAS SOUPS 2932912 WITH SCORE 2946287.732
AT ITER 1146 NEW BEST:: SOT 29283579 SOS 15886491 HAS SOPS 15886491 HAS SOUS 2895893 HAS SOUPS 2895893 WITH SCORE 2911779.491
AT ITER 1163 NEW BEST:: SOT 29283714 SOS 15886484 HAS SOPS 15886484 HAS SOUS 2895886 HAS SOUPS 2895886 WITH SCORE 2911772.484
AT ITER 1167 NEW BEST:: SOT 29270425 SOS 15884331 HAS SOPS 15884331 HAS SOUS 2882829 HAS SOUPS 2882829 WITH SCORE 2898713.331
AT ITER 1174 NEW BEST:: SOT 29270171 SOS 15883823 HAS SOPS 15883823 HAS SOUS 2882575 HAS SOUPS 2882575 WITH SCORE 2898458.823
AT ITER 1188 NEW BEST:: SOT 29270170 SOS 15883821 HAS SOPS 15883821 HAS SOUS 2882573 HAS SOUPS 2882573 WITH SCORE 2898456.821
AT ITER 1192 NEW BEST:: SOT 29270115 SOS 15883711 HAS SOPS 15883711 HAS SOUS 2882518 HAS SOUPS 2882518 WITH SCORE 2898401.711
AT ITER 1201 NEW BEST:: SOT 29270023 SOS 15883527 HAS SOPS 15883527 HAS SOUS 2882426 HAS SOUPS 2882426 WITH SCORE 2898309.527
AT ITER 1212 NEW BEST:: SOT 29260899 SOS 15904855 HAS SOPS 15904855 HAS SOUS 2876040 HAS SOUPS 2876040 WITH SCORE 2891944.855
AT ITER 1218 NEW BEST:: SOT 29140686 SOS 16247997 HAS SOPS 16247997 HAS SOUS 2765498 HAS SOUPS 2765498 WITH SCORE 2781745.997
AT ITER 1225 NEW BEST:: SOT 29011832 SOS 17898200 HAS SOPS 17898200 HAS SOUS 2656915 HAS SOUPS 2656915 WITH SCORE 2674813.2
AT ITER 1245 NEW BEST:: SOT 29011620 SOS 17897776 HAS SOPS 17897776 HAS SOUS 2656491 HAS SOUPS 2656491 WITH SCORE 2674388.776
AT ITER 1247 NEW BEST:: SOT 29011486 SOS 17897642 HAS SOPS 17897642 HAS SOUS 2656223 HAS SOUPS 2656223 WITH SCORE 2674120.642
AT ITER 1250 NEW BEST:: SOT 29011485 SOS 17897489 HAS SOPS 17897489 HAS SOUS 2656221 HAS SOUPS 2656221 WITH SCORE 2674118.489
AT ITER 1267 NEW BEST:: SOT 29011338 SOS 17897195 HAS SOPS 17897195 HAS SOUS 2655927 HAS SOUPS 2655927 WITH SCORE 2673824.195
AT ITER 1303 NEW BEST:: SOT 29011176 SOS 17897067 HAS SOPS 17897067 HAS SOUS 2655765 HAS SOUPS 2655765 WITH SCORE 2673662.067
AT ITER 1305 NEW BEST:: SOT 29011029 SOS 17896773 HAS SOPS 17896773 HAS SOUS 2655618 HAS SOUPS 2655618 WITH SCORE 2673514.773
AT ITER 1310 NEW BEST:: SOT 28843697 SOS 17729272 HAS SOPS 17729272 HAS SOUS 2488455 HAS SOUPS 2488455 WITH SCORE 2506184.272
AT ITER 1325 NEW BEST:: SOT 28843572 SOS 17722272 HAS SOPS 17722272 HAS SOUS 2487830 HAS SOUPS 2487830 WITH SCORE 2505552.272
AT ITER 1330 NEW BEST:: SOT 28843521 SOS 17722170 HAS SOPS 17722170 HAS SOUS 2487728 HAS SOUPS 2487728 WITH SCORE 2505450.17
AT ITER 1334 NEW BEST:: SOT 28843186 SOS 16512615 HAS SOPS 16512615 HAS SOUS 2481898 HAS SOUPS 2481898 WITH SCORE 2498410.615
AT ITER 1343 NEW BEST:: SOT 28843164 SOS 16512593 HAS SOPS 16512593 HAS SOUS 2481876 HAS SOUPS 2481876 WITH SCORE 2498388.593
AT ITER 1348 NEW BEST:: SOT 28842992 SOS 16512399 HAS SOPS 16512399 HAS SOUS 2481791 HAS SOUPS 2481791 WITH SCORE 2498303.399
AT ITER 1366 NEW BEST:: SOT 28842991 SOS 16512260 HAS SOPS 16512260 HAS SOUS 2481789 HAS SOUPS 2481789 WITH SCORE 2498301.26
AT ITER 1400 NEW BEST:: SOT 28832850 SOS 16539076 HAS SOPS 16539076 HAS SOUS 2477106 HAS SOUPS 2477106 WITH SCORE 2493645.076
AT ITER 1404 NEW BEST:: SOT 28832849 SOS 16539074 HAS SOPS 16539074 HAS SOUS 2477104 HAS SOUPS 2477104 WITH SCORE 2493643.074
AT ITER 1415 NEW BEST:: SOT 28832917 SOS 16539213 HAS SOPS 16539213 HAS SOUS 2477053 HAS SOUPS 2477053 WITH SCORE 2493592.213
AT ITER 1422 NEW BEST:: SOT 28832874 SOS 16539127 HAS SOPS 16539127 HAS SOUS 2476967 HAS SOUPS 2476967 WITH SCORE 2493506.127
AT ITER 1449 NEW BEST:: SOT 28832668 SOS 16538715 HAS SOPS 16538715 HAS SOUS 2476555 HAS SOUPS 2476555 WITH SCORE 2493093.715
AT ITER 1464 NEW BEST:: SOT 28832646 SOS 16538692 HAS SOPS 16538692 HAS SOUS 2476532 HAS SOUPS 2476532 WITH SCORE 2493070.692
AT ITER 1494 NEW BEST:: SOT 28832523 SOS 16538446 HAS SOPS 16538446 HAS SOUS 2476170 HAS SOUPS 2476170 WITH SCORE 2492708.446
AT ITER 1532 NEW BEST:: SOT 28832520 SOS 16538290 HAS SOPS 16538290 HAS SOUS 2476014 HAS SOUPS 2476014 WITH SCORE 2492552.29
AT ITER 1545 NEW BEST:: SOT 28832427 SOS 16538104 HAS SOPS 16538104 HAS SOUS 2475233 HAS SOUPS 2475233 WITH SCORE 2491771.104
AT ITER 1554 NEW BEST:: SOT 28832254 SOS 16537758 HAS SOPS 16537758 HAS SOUS 2474887 HAS SOUPS 2474887 WITH SCORE 2491424.758
AT ITER 1581 NEW BEST:: SOT 28832253 SOS 16537756 HAS SOPS 16537756 HAS SOUS 2474885 HAS SOUPS 2474885 WITH SCORE 2491422.756
AT ITER 1583 NEW BEST:: SOT 28832215 SOS 16537718 HAS SOPS 16537718 HAS SOUS 2474847 HAS SOUPS 2474847 WITH SCORE 2491384.718
AT ITER 1586 NEW BEST:: SOT 28829184 SOS 16536037 HAS SOPS 16536037 HAS SOUS 2473166 HAS SOUPS 2473166 WITH SCORE 2489702.037
AT ITER 1589 NEW BEST:: SOT 28829184 SOS 16536026 HAS SOPS 16536026 HAS SOUS 2473166 HAS SOUPS 2473166 WITH SCORE 2489702.026
AT ITER 1658 NEW BEST:: SOT 28819431 SOS 16956232 HAS SOPS 16956232 HAS SOUS 2469084 HAS SOUPS 2469084 WITH SCORE 2486040.232
AT ITER 1660 NEW BEST:: SOT 28819330 SOS 16956030 HAS SOPS 16956030 HAS SOUS 2468882 HAS SOUPS 2468882 WITH SCORE 2485838.03
AT ITER 1662 NEW BEST:: SOT 28819176 SOS 16955722 HAS SOPS 16955722 HAS SOUS 2468651 HAS SOUPS 2468651 WITH SCORE 2485606.722
AT ITER 1713 NEW BEST:: SOT 28819175 SOS 16954998 HAS SOPS 16954998 HAS SOUS 2468516 HAS SOUPS 2468516 WITH SCORE 2485470.998
AT ITER 1716 NEW BEST:: SOT 28819138 SOS 16954892 HAS SOPS 16954892 HAS SOUS 2468410 HAS SOUPS 2468410 WITH SCORE 2485364.892
AT ITER 1730 NEW BEST:: SOT 28802427 SOS 16957298 HAS SOPS 16957298 HAS SOUS 2458793 HAS SOUPS 2458793 WITH SCORE 2475750.298
AT ITER 1735 NEW BEST:: SOT 28802143 SOS 16956730 HAS SOPS 16956730 HAS SOUS 2458595 HAS SOUPS 2458595 WITH SCORE 2475551.73
AT ITER 1757 NEW BEST:: SOT 28802142 SOS 16956728 HAS SOPS 16956728 HAS SOUS 2458593 HAS SOUPS 2458593 WITH SCORE 2475549.728
AT ITER 1764 NEW BEST:: SOT 28802023 SOS 16956653 HAS SOPS 16956653 HAS SOUS 2458499 HAS SOUPS 2458499 WITH SCORE 2475455.653
AT ITER 1765 NEW BEST:: SOT 28801750 SOS 16934349 HAS SOPS 16934349 HAS SOUS 2453962 HAS SOUPS 2453962 WITH SCORE 2470896.349
AT ITER 1767 NEW BEST:: SOT 28801729 SOS 16934307 HAS SOPS 16934307 HAS SOUS 2453920 HAS SOUPS 2453920 WITH SCORE 2470854.307
AT ITER 1768 NEW BEST:: SOT 28801728 SOS 16934305 HAS SOPS 16934305 HAS SOUS 2453918 HAS SOUPS 2453918 WITH SCORE 2470852.305
AT ITER 1772 NEW BEST:: SOT 28801628 SOS 16934105 HAS SOPS 16934105 HAS SOUS 2453718 HAS SOUPS 2453718 WITH SCORE 2470652.105
AT ITER 1832 NEW BEST:: SOT 28542256 SOS 16675877 HAS SOPS 16675877 HAS SOUS 2194896 HAS SOUPS 2194896 WITH SCORE 2211571.877
AT ITER 1854 NEW BEST:: SOT 28542255 SOS 16675875 HAS SOPS 16675875 HAS SOUS 2194894 HAS SOUPS 2194894 WITH SCORE 2211569.875
AT ITER 1874 NEW BEST:: SOT 28541988 SOS 16675341 HAS SOPS 16675341 HAS SOUS 2194627 HAS SOUPS 2194627 WITH SCORE 2211302.341
AT ITER 1914 NEW BEST:: SOT 28541939 SOS 16675243 HAS SOPS 16675243 HAS SOUS 2194529 HAS SOUPS 2194529 WITH SCORE 2211204.243
AT ITER 1924 NEW BEST:: SOT 28541858 SOS 16675081 HAS SOPS 16675081 HAS SOUS 2194367 HAS SOUPS 2194367 WITH SCORE 2211042.081
AT ITER 1960 NEW BEST:: SOT 28541693 SOS 16674501 HAS SOPS 16674501 HAS SOUS 2194037 HAS SOUPS 2194037 WITH SCORE 2210711.501
AT ITER 2011 NEW BEST:: SOT 28541692 SOS 16674499 HAS SOPS 16674499 HAS SOUS 2194035 HAS SOUPS 2194035 WITH SCORE 2210709.499
AT ITER 2090 NEW BEST:: SOT 28541475 SOS 16674065 HAS SOPS 16674065 HAS SOUS 2193548 HAS SOUPS 2193548 WITH SCORE 2210222.065
AT ITER 2151 NEW BEST:: SOT 28541475 SOS 16673901 HAS SOPS 16673901 HAS SOUS 2193548 HAS SOUPS 2193548 WITH SCORE 2210221.901
AT ITER 2160 NEW BEST:: SOT 28541421 SOS 16673793 HAS SOPS 16673793 HAS SOUS 2193440 HAS SOUPS 2193440 WITH SCORE 2210113.793
AT ITER 2183 NEW BEST:: SOT 28541365 SOS 16673681 HAS SOPS 16673681 HAS SOUS 2193328 HAS SOUPS 2193328 WITH SCORE 2210001.681
AT ITER 2194 NEW BEST:: SOT 28353494 SOS 17236931 HAS SOPS 17236931 HAS SOUS 2025932 HAS SOUPS 2025932 WITH SCORE 2043168.931
AT ITER 2195 NEW BEST:: SOT 28353494 SOS 17236931 HAS SOPS 17236931 HAS SOUS 2025819 HAS SOUPS 2025819 WITH SCORE 2043055.931
AT ITER 2200 NEW BEST:: SOT 28353494 SOS 17236841 HAS SOPS 17236841 HAS SOUS 2025819 HAS SOUPS 2025819 WITH SCORE 2043055.841
AT ITER 2216 NEW BEST:: SOT 28353385 SOS 17236623 HAS SOPS 17236623 HAS SOUS 2025601 HAS SOUPS 2025601 WITH SCORE 2042837.623
AT ITER 2224 NEW BEST:: SOT 28353247 SOS 17236209 HAS SOPS 17236209 HAS SOUS 2025325 HAS SOUPS 2025325 WITH SCORE 2042561.209
AT ITER 2230 NEW BEST:: SOT 28353192 SOS 17236099 HAS SOPS 17236099 HAS SOUS 2025215 HAS SOUPS 2025215 WITH SCORE 2042451.099
AT ITER 2240 NEW BEST:: SOT 28353167 SOS 17236049 HAS SOPS 17236049 HAS SOUS 2025165 HAS SOUPS 2025165 WITH SCORE 2042401.049
AT ITER 2262 NEW BEST:: SOT 28352978 SOS 17235671 HAS SOPS 17235671 HAS SOUS 2024787 HAS SOUPS 2024787 WITH SCORE 2042022.671
AT ITER 2266 NEW BEST:: SOT 28352575 SOS 17234865 HAS SOPS 17234865 HAS SOUS 2023981 HAS SOUPS 2023981 WITH SCORE 2041215.865
AT ITER 2273 NEW BEST:: SOT 28352574 SOS 17234863 HAS SOPS 17234863 HAS SOUS 2023979 HAS SOUPS 2023979 WITH SCORE 2041213.863
AT ITER 2293 NEW BEST:: SOT 28352389 SOS 17234493 HAS SOPS 17234493 HAS SOUS 2023794 HAS SOUPS 2023794 WITH SCORE 2041028.493
AT ITER 2303 NEW BEST:: SOT 28352374 SOS 17232213 HAS SOPS 17232213 HAS SOUS 2023764 HAS SOUPS 2023764 WITH SCORE 2040996.213
AT ITER 2304 NEW BEST:: SOT 28352373 SOS 17232211 HAS SOPS 17232211 HAS SOUS 2023762 HAS SOUPS 2023762 WITH SCORE 2040994.211
AT ITER 2317 NEW BEST:: SOT 28352313 SOS 17232091 HAS SOPS 17232091 HAS SOUS 2023642 HAS SOUPS 2023642 WITH SCORE 2040874.091
AT ITER 2333 NEW BEST:: SOT 28352313 SOS 17231826 HAS SOPS 17231826 HAS SOUS 2023377 HAS SOUPS 2023377 WITH SCORE 2040608.826
AT ITER 2341 NEW BEST:: SOT 28352210 SOS 17231620 HAS SOPS 17231620 HAS SOUS 2023274 HAS SOUPS 2023274 WITH SCORE 2040505.62
AT ITER 2345 NEW BEST:: SOT 28352207 SOS 17231614 HAS SOPS 17231614 HAS SOUS 2023268 HAS SOUPS 2023268 WITH SCORE 2040499.614
AT ITER 2355 NEW BEST:: SOT 28352207 SOS 17231426 HAS SOPS 17231426 HAS SOUS 2023080 HAS SOUPS 2023080 WITH SCORE 2040311.426
AT ITER 2441 NEW BEST:: SOT 28352140 SOS 17221242 HAS SOPS 17221242 HAS SOUS 2022946 HAS SOUPS 2022946 WITH SCORE 2040167.242
AT ITER 2442 NEW BEST:: SOT 28352105 SOS 17221172 HAS SOPS 17221172 HAS SOUS 2022876 HAS SOUPS 2022876 WITH SCORE 2040097.172
AT ITER 2467 NEW BEST:: SOT 28351972 SOS 17221326 HAS SOPS 17221326 HAS SOUS 2022795 HAS SOUPS 2022795 WITH SCORE 2040016.326
AT ITER 2478 NEW BEST:: SOT 28351861 SOS 17221104 HAS SOPS 17221104 HAS SOUS 2022573 HAS SOUPS 2022573 WITH SCORE 2039794.104
AT ITER 2494 NEW BEST:: SOT 28351689 SOS 17220760 HAS SOPS 17220760 HAS SOUS 2022229 HAS SOUPS 2022229 WITH SCORE 2039449.76
AT ITER 2495 NEW BEST:: SOT 28351466 SOS 17220314 HAS SOPS 17220314 HAS SOUS 2022045 HAS SOUPS 2022045 WITH SCORE 2039265.314
AT ITER 2498 NEW BEST:: SOT 28351452 SOS 17220009 HAS SOPS 17220009 HAS SOUS 2022017 HAS SOUPS 2022017 WITH SCORE 2039237.009
AT ITER 2518 NEW BEST:: SOT 28351451 SOS 17220007 HAS SOPS 17220007 HAS SOUS 2022015 HAS SOUPS 2022015 WITH SCORE 2039235.007
AT ITER 2520 NEW BEST:: SOT 28351433 SOS 17219971 HAS SOPS 17219971 HAS SOUS 2021979 HAS SOUPS 2021979 WITH SCORE 2039198.971
AT ITER 2542 NEW BEST:: SOT 28351300 SOS 17219705 HAS SOPS 17219705 HAS SOUS 2021846 HAS SOUPS 2021846 WITH SCORE 2039065.705
AT ITER 2558 NEW BEST:: SOT 28351299 SOS 17219703 HAS SOPS 17219703 HAS SOUS 2021844 HAS SOUPS 2021844 WITH SCORE 2039063.703
AT ITER 2587 NEW BEST:: SOT 28351250 SOS 17219417 HAS SOPS 17219417 HAS SOUS 2021746 HAS SOUPS 2021746 WITH SCORE 2038965.417
AT ITER 2596 NEW BEST:: SOT 28351250 SOS 17219290 HAS SOPS 17219290 HAS SOUS 2021746 HAS SOUPS 2021746 WITH SCORE 2038965.29
AT ITER 2615 NEW BEST:: SOT 28351086 SOS 17218800 HAS SOPS 17218800 HAS SOUS 2021418 HAS SOUPS 2021418 WITH SCORE 2038636.8
AT ITER 2626 NEW BEST:: SOT 28351069 SOS 17218766 HAS SOPS 17218766 HAS SOUS 2021384 HAS SOUPS 2021384 WITH SCORE 2038602.766
AT ITER 2633 NEW BEST:: SOT 28351051 SOS 17218730 HAS SOPS 17218730 HAS SOUS 2021348 HAS SOUPS 2021348 WITH SCORE 2038566.73
AT ITER 2641 NEW BEST:: SOT 28353712 SOS 17126498 HAS SOPS 17126498 HAS SOUS 2019380 HAS SOUPS 2019380 WITH SCORE 2036506.498
AT ITER 2647 NEW BEST:: SOT 28353711 SOS 17126496 HAS SOPS 17126496 HAS SOUS 2019378 HAS SOUPS 2019378 WITH SCORE 2036504.496
AT ITER 2655 NEW BEST:: SOT 28353690 SOS 17126454 HAS SOPS 17126454 HAS SOUS 2019336 HAS SOUPS 2019336 WITH SCORE 2036462.454
AT ITER 2704 NEW BEST:: SOT 28353482 SOS 17126246 HAS SOPS 17126246 HAS SOUS 2019128 HAS SOUPS 2019128 WITH SCORE 2036254.246
AT ITER 2739 NEW BEST:: SOT 28353440 SOS 17126120 HAS SOPS 17126120 HAS SOUS 2019044 HAS SOUPS 2019044 WITH SCORE 2036170.12
AT ITER 2743 NEW BEST:: SOT 28353262 SOS 17125764 HAS SOPS 17125764 HAS SOUS 2018507 HAS SOUPS 2018507 WITH SCORE 2035632.764
AT ITER 2747 NEW BEST:: SOT 28353177 SOS 17125594 HAS SOPS 17125594 HAS SOUS 2018422 HAS SOUPS 2018422 WITH SCORE 2035547.594
AT ITER 2757 NEW BEST:: SOT 28353177 SOS 17125594 HAS SOPS 17125594 HAS SOUS 2018363 HAS SOUPS 2018363 WITH SCORE 2035488.594
AT ITER 2765 NEW BEST:: SOT 28353045 SOS 17125330 HAS SOPS 17125330 HAS SOUS 2018231 HAS SOUPS 2018231 WITH SCORE 2035356.33
AT ITER 2767 NEW BEST:: SOT 28352939 SOS 17125118 HAS SOPS 17125118 HAS SOUS 2018019 HAS SOUPS 2018019 WITH SCORE 2035144.118
AT ITER 2797 NEW BEST:: SOT 28352921 SOS 16839586 HAS SOPS 16839586 HAS SOUS 2008762 HAS SOUPS 2008762 WITH SCORE 2025601.586
AT ITER 2798 NEW BEST:: SOT 28352844 SOS 16839439 HAS SOPS 16839439 HAS SOUS 2008615 HAS SOUPS 2008615 WITH SCORE 2025454.439
AT ITER 2811 NEW BEST:: SOT 28352844 SOS 15346204 HAS SOPS 15346204 HAS SOUS 2006032 HAS SOUPS 2006032 WITH SCORE 2021378.204
AT ITER 2827 NEW BEST:: SOT 28352675 SOS 15345866 HAS SOPS 15345866 HAS SOUS 2005694 HAS SOUPS 2005694 WITH SCORE 2021039.866
AT ITER 2948 NEW BEST:: SOT 28352674 SOS 15345864 HAS SOPS 15345864 HAS SOUS 2005692 HAS SOUPS 2005692 WITH SCORE 2021037.864
AT ITER 3008 NEW BEST:: SOT 28352673 SOS 15345783 HAS SOPS 15345783 HAS SOUS 2005690 HAS SOUPS 2005690 WITH SCORE 2021035.783
AT ITER 3024 NEW BEST:: SOT 28352642 SOS 15345752 HAS SOPS 15345752 HAS SOUS 2005659 HAS SOUPS 2005659 WITH SCORE 2021004.752
AT ITER 3030 NEW BEST:: SOT 28352399 SOS 15345266 HAS SOPS 15345266 HAS SOUS 2005315 HAS SOUPS 2005315 WITH SCORE 2020660.266
AT ITER 3038 NEW BEST:: SOT 28352105 SOS 15344678 HAS SOPS 15344678 HAS SOUS 2004727 HAS SOUPS 2004727 WITH SCORE 2020071.678
AT ITER 3064 NEW BEST:: SOT 28352075 SOS 15344618 HAS SOPS 15344618 HAS SOUS 2004667 HAS SOUPS 2004667 WITH SCORE 2020011.618
AT ITER 3089 NEW BEST:: SOT 28352074 SOS 15344616 HAS SOPS 15344616 HAS SOUS 2004665 HAS SOUPS 2004665 WITH SCORE 2020009.616
AT ITER 3140 NEW BEST:: SOT 28352074 SOS 15344451 HAS SOPS 15344451 HAS SOUS 2004500 HAS SOUPS 2004500 WITH SCORE 2019844.451
AT ITER 3157 NEW BEST:: SOT 28067710 SOS 16068894 HAS SOPS 16068894 HAS SOUS 1748415 HAS SOUPS 1748415 WITH SCORE 1764483.894
AT ITER 3158 NEW BEST:: SOT 28042843 SOS 16863430 HAS SOPS 16863430 HAS SOUS 1743621 HAS SOUPS 1743621 WITH SCORE 1760484.43
AT ITER 3178 NEW BEST:: SOT 28042822 SOS 16863388 HAS SOPS 16863388 HAS SOUS 1743600 HAS SOUPS 1743600 WITH SCORE 1760463.388
AT ITER 3213 NEW BEST:: SOT 28042695 SOS 16863229 HAS SOPS 16863229 HAS SOUS 1743441 HAS SOUPS 1743441 WITH SCORE 1760304.229
AT ITER 3225 NEW BEST:: SOT 28042691 SOS 16863124 HAS SOPS 16863124 HAS SOUS 1743433 HAS SOUPS 1743433 WITH SCORE 1760296.124
AT ITER 3237 NEW BEST:: SOT 28042508 SOS 16701883 HAS SOPS 16701883 HAS SOUS 1715520 HAS SOUPS 1715520 WITH SCORE 1732221.883
AT ITER 3289 NEW BEST:: SOT 28042211 SOS 16701487 HAS SOPS 16701487 HAS SOUS 1715223 HAS SOUPS 1715223 WITH SCORE 1731924.487
AT ITER 3312 NEW BEST:: SOT 28042055 SOS 16701175 HAS SOPS 16701175 HAS SOUS 1714786 HAS SOUPS 1714786 WITH SCORE 1731487.175
AT ITER 3362 NEW BEST:: SOT 28041770 SOS 16700605 HAS SOPS 16700605 HAS SOUS 1714216 HAS SOUPS 1714216 WITH SCORE 1730916.605
AT ITER 3367 NEW BEST:: SOT 28041552 SOS 16700169 HAS SOPS 16700169 HAS SOUS 1713998 HAS SOUPS 1713998 WITH SCORE 1730698.169
AT ITER 3380 NEW BEST:: SOT 28041544 SOS 16700153 HAS SOPS 16700153 HAS SOUS 1713982 HAS SOUPS 1713982 WITH SCORE 1730682.153
AT ITER 3385 NEW BEST:: SOT 28041351 SOS 16699767 HAS SOPS 16699767 HAS SOUS 1713643 HAS SOUPS 1713643 WITH SCORE 1730342.767
AT ITER 3389 NEW BEST:: SOT 28041318 SOS 16699701 HAS SOPS 16699701 HAS SOUS 1713610 HAS SOUPS 1713610 WITH SCORE 1730309.701
AT ITER 3399 NEW BEST:: SOT 28041230 SOS 16699625 HAS SOPS 16699625 HAS SOUS 1713522 HAS SOUPS 1713522 WITH SCORE 1730221.625
AT ITER 3442 NEW BEST:: SOT 28041146 SOS 16699457 HAS SOPS 16699457 HAS SOUS 1713354 HAS SOUPS 1713354 WITH SCORE 1730053.457
AT ITER 3457 NEW BEST:: SOT 28041071 SOS 16699307 HAS SOPS 16699307 HAS SOUS 1713204 HAS SOUPS 1713204 WITH SCORE 1729903.307
AT ITER 3501 NEW BEST:: SOT 28040639 SOS 16699091 HAS SOPS 16699091 HAS SOUS 1712880 HAS SOUPS 1712880 WITH SCORE 1729579.091
AT ITER 3530 NEW BEST:: SOT 28040485 SOS 16698783 HAS SOPS 16698783 HAS SOUS 1712221 HAS SOUPS 1712221 WITH SCORE 1728919.783
AT ITER 3581 NEW BEST:: SOT 28040454 SOS 16698721 HAS SOPS 16698721 HAS SOUS 1712159 HAS SOUPS 1712159 WITH SCORE 1728857.721
AT ITER 3592 NEW BEST:: SOT 28040335 SOS 16698484 HAS SOPS 16698484 HAS SOUS 1711922 HAS SOUPS 1711922 WITH SCORE 1728620.484
AT ITER 3616 NEW BEST:: SOT 28039093 SOS 16696901 HAS SOPS 16696901 HAS SOUS 1710339 HAS SOUPS 1710339 WITH SCORE 1727035.901
AT ITER 3618 NEW BEST:: SOT 28039039 SOS 16696739 HAS SOPS 16696739 HAS SOUS 1710231 HAS SOUPS 1710231 WITH SCORE 1726927.739
AT ITER 3628 NEW BEST:: SOT 28038842 SOS 16696345 HAS SOPS 16696345 HAS SOUS 1710222 HAS SOUPS 1710222 WITH SCORE 1726918.345
AT ITER 3635 NEW BEST:: SOT 28038772 SOS 16696205 HAS SOPS 16696205 HAS SOUS 1710082 HAS SOUPS 1710082 WITH SCORE 1726778.205
AT ITER 3706 NEW BEST:: SOT 28038771 SOS 16696203 HAS SOPS 16696203 HAS SOUS 1710080 HAS SOUPS 1710080 WITH SCORE 1726776.203
AT ITER 3746 NEW BEST:: SOT 28038711 SOS 16696083 HAS SOPS 16696083 HAS SOUS 1710020 HAS SOUPS 1710020 WITH SCORE 1726716.083
AT ITER 3762 NEW BEST:: SOT 28038711 SOS 16696083 HAS SOPS 16696083 HAS SOUS 1709999 HAS SOUPS 1709999 WITH SCORE 1726695.083
AT ITER 3799 NEW BEST:: SOT 28038710 SOS 16695964 HAS SOPS 16695964 HAS SOUS 1709997 HAS SOUPS 1709997 WITH SCORE 1726692.964
AT ITER 3819 NEW BEST:: SOT 28038653 SOS 16695850 HAS SOPS 16695850 HAS SOUS 1709883 HAS SOUPS 1709883 WITH SCORE 1726578.85
AT ITER 3822 NEW BEST:: SOT 28038653 SOS 16695850 HAS SOPS 16695850 HAS SOUS 1709630 HAS SOUPS 1709630 WITH SCORE 1726325.85
AT ITER 3836 NEW BEST:: SOT 28038467 SOS 16695478 HAS SOPS 16695478 HAS SOUS 1709258 HAS SOUPS 1709258 WITH SCORE 1725953.478
AT ITER 3839 NEW BEST:: SOT 28038313 SOS 16695016 HAS SOPS 16695016 HAS SOUS 1708950 HAS SOUPS 1708950 WITH SCORE 1725645.016
AT ITER 3889 NEW BEST:: SOT 28037603 SOS 16693596 HAS SOPS 16693596 HAS SOUS 1707945 HAS SOUPS 1707945 WITH SCORE 1724638.596
AT ITER 3892 NEW BEST:: SOT 28037565 SOS 16693520 HAS SOPS 16693520 HAS SOUS 1707907 HAS SOUPS 1707907 WITH SCORE 1724600.52
AT ITER 3905 NEW BEST:: SOT 28037564 SOS 16693302 HAS SOPS 16693302 HAS SOUS 1707905 HAS SOUPS 1707905 WITH SCORE 1724598.302
AT ITER 3925 NEW BEST:: SOT 28037281 SOS 16692736 HAS SOPS 16692736 HAS SOUS 1707659 HAS SOUPS 1707659 WITH SCORE 1724351.736
AT ITER 3989 NEW BEST:: SOT 28037280 SOS 16692734 HAS SOPS 16692734 HAS SOUS 1707657 HAS SOUPS 1707657 WITH SCORE 1724349.734
AT ITER 4007 NEW BEST:: SOT 27596392 SOS 16968318 HAS SOPS 16968318 HAS SOUS 1312841 HAS SOUPS 1312841 WITH SCORE 1329809.318
AT ITER 4090 NEW BEST:: SOT 27596035 SOS 16967955 HAS SOPS 16967955 HAS SOUS 1312374 HAS SOUPS 1312374 WITH SCORE 1329341.955
AT ITER 4119 NEW BEST:: SOT 27595868 SOS 16967621 HAS SOPS 16967621 HAS SOUS 1312040 HAS SOUPS 1312040 WITH SCORE 1329007.621
AT ITER 4167 NEW BEST:: SOT 27595830 SOS 16967583 HAS SOPS 16967583 HAS SOUS 1312002 HAS SOUPS 1312002 WITH SCORE 1328969.583
AT ITER 4176 NEW BEST:: SOT 27595716 SOS 16967073 HAS SOPS 16967073 HAS SOUS 1311774 HAS SOUPS 1311774 WITH SCORE 1328741.073
AT ITER 4189 NEW BEST:: SOT 27595508 SOS 16966657 HAS SOPS 16966657 HAS SOUS 1311358 HAS SOUPS 1311358 WITH SCORE 1328324.657
AT ITER 4215 NEW BEST:: SOT 27595350 SOS 16966341 HAS SOPS 16966341 HAS SOUS 1311042 HAS SOUPS 1311042 WITH SCORE 1328008.341
AT ITER 4243 NEW BEST:: SOT 27595160 SOS 16965771 HAS SOPS 16965771 HAS SOUS 1310662 HAS SOUPS 1310662 WITH SCORE 1327627.771
AT ITER 4269 NEW BEST:: SOT 27594819 SOS 16194852 HAS SOPS 16194852 HAS SOUS 1300574 HAS SOUPS 1300574 WITH SCORE 1316768.852
AT ITER 4316 NEW BEST:: SOT 27594736 SOS 16194686 HAS SOPS 16194686 HAS SOUS 1300408 HAS SOUPS 1300408 WITH SCORE 1316602.686
AT ITER 4331 NEW BEST:: SOT 27594709 SOS 16194632 HAS SOPS 16194632 HAS SOUS 1300354 HAS SOUPS 1300354 WITH SCORE 1316548.632
AT ITER 4372 NEW BEST:: SOT 27594611 SOS 16194436 HAS SOPS 16194436 HAS SOUS 1299523 HAS SOUPS 1299523 WITH SCORE 1315717.436
AT ITER 4374 NEW BEST:: SOT 27594270 SOS 16193754 HAS SOPS 16193754 HAS SOUS 1298841 HAS SOUPS 1298841 WITH SCORE 1315034.754
AT ITER 4391 NEW BEST:: SOT 27594122 SOS 16193315 HAS SOPS 16193315 HAS SOUS 1298545 HAS SOUPS 1298545 WITH SCORE 1314738.315
AT ITER 4399 NEW BEST:: SOT 27593974 SOS 16193019 HAS SOPS 16193019 HAS SOUS 1298249 HAS SOUPS 1298249 WITH SCORE 1314442.019
AT ITER 4416 NEW BEST:: SOT 27593876 SOS 16193167 HAS SOPS 16193167 HAS SOUS 1298185 HAS SOUPS 1298185 WITH SCORE 1314378.167
AT ITER 4435 NEW BEST:: SOT 27593883 SOS 16193181 HAS SOPS 16193181 HAS SOUS 1298133 HAS SOUPS 1298133 WITH SCORE 1314326.181
AT ITER 4440 NEW BEST:: SOT 27593186 SOS 15478529 HAS SOPS 15478529 HAS SOUS 1278246 HAS SOUPS 1278246 WITH SCORE 1293724.529
AT ITER 4461 NEW BEST:: SOT 27593120 SOS 15478397 HAS SOPS 15478397 HAS SOUS 1278114 HAS SOUPS 1278114 WITH SCORE 1293592.397
AT ITER 4503 NEW BEST:: SOT 27593055 SOS 15478433 HAS SOPS 15478433 HAS SOUS 1278066 HAS SOUPS 1278066 WITH SCORE 1293544.433
AT ITER 4512 NEW BEST:: SOT 27592931 SOS 15478185 HAS SOPS 15478185 HAS SOUS 1277818 HAS SOUPS 1277818 WITH SCORE 1293296.185
AT ITER 4555 NEW BEST:: SOT 27592907 SOS 15478137 HAS SOPS 15478137 HAS SOUS 1277770 HAS SOUPS 1277770 WITH SCORE 1293248.137
AT ITER 4625 NEW BEST:: SOT 27592808 SOS 15477939 HAS SOPS 15477939 HAS SOUS 1277724 HAS SOUPS 1277724 WITH SCORE 1293201.939
AT ITER 4657 NEW BEST:: SOT 27592807 SOS 15477863 HAS SOPS 15477863 HAS SOUS 1277722 HAS SOUPS 1277722 WITH SCORE 1293199.863
AT ITER 4674 NEW BEST:: SOT 27592090 SOS 15476429 HAS SOPS 15476429 HAS SOUS 1276380 HAS SOUPS 1276380 WITH SCORE 1291856.429
AT ITER 4691 NEW BEST:: SOT 27592089 SOS 15476427 HAS SOPS 15476427 HAS SOUS 1276378 HAS SOUPS 1276378 WITH SCORE 1291854.427
AT ITER 4709 NEW BEST:: SOT 27567195 SOS 15559601 HAS SOPS 15559601 HAS SOUS 1258770 HAS SOUPS 1258770 WITH SCORE 1274329.601
AT ITER 4712 NEW BEST:: SOT 27567064 SOS 15559339 HAS SOPS 15559339 HAS SOUS 1258508 HAS SOUPS 1258508 WITH SCORE 1274067.339
AT ITER 4722 NEW BEST:: SOT 27566912 SOS 15411291 HAS SOPS 15411291 HAS SOUS 1257748 HAS SOUPS 1257748 WITH SCORE 1273159.291
AT ITER 4739 NEW BEST:: SOT 27565056 SOS 15520589 HAS SOPS 15520589 HAS SOUS 1256966 HAS SOUPS 1256966 WITH SCORE 1272486.589
AT ITER 4750 NEW BEST:: SOT 27568196 SOS 15517003 HAS SOPS 15517003 HAS SOUS 1256937 HAS SOUPS 1256937 WITH SCORE 1272454.003
AT ITER 4783 NEW BEST:: SOT 27568178 SOS 15516985 HAS SOPS 15516985 HAS SOUS 1256864 HAS SOUPS 1256864 WITH SCORE 1272380.985
AT ITER 4809 NEW BEST:: SOT 27568169 SOS 15516967 HAS SOPS 15516967 HAS SOUS 1256855 HAS SOUPS 1256855 WITH SCORE 1272371.967
AT ITER 4836 NEW BEST:: SOT 27568287 SOS 15516823 HAS SOPS 15516823 HAS SOUS 1256711 HAS SOUPS 1256711 WITH SCORE 1272227.823
AT ITER 4839 NEW BEST:: SOT 27568262 SOS 15516773 HAS SOPS 15516773 HAS SOUS 1256686 HAS SOUPS 1256686 WITH SCORE 1272202.773
AT ITER 4858 NEW BEST:: SOT 27568254 SOS 15516757 HAS SOPS 15516757 HAS SOUS 1256670 HAS SOUPS 1256670 WITH SCORE 1272186.757
AT ITER 4869 NEW BEST:: SOT 27568254 SOS 14776189 HAS SOPS 14776189 HAS SOUS 1253202 HAS SOUPS 1253202 WITH SCORE 1267978.189
AT ITER 4935 NEW BEST:: SOT 27568254 SOS 14775831 HAS SOPS 14775831 HAS SOUS 1252907 HAS SOUPS 1252907 WITH SCORE 1267682.831
AT ITER 4961 NEW BEST:: SOT 27568254 SOS 14775742 HAS SOPS 14775742 HAS SOUS 1252907 HAS SOUPS 1252907 WITH SCORE 1267682.742
AT ITER 4969 NEW BEST:: SOT 27568253 SOS 14775740 HAS SOPS 14775740 HAS SOUS 1252905 HAS SOUPS 1252905 WITH SCORE 1267680.74
AT ITER 4974 NEW BEST:: SOT 27567980 SOS 14775099 HAS SOPS 14775099 HAS SOUS 1252323 HAS SOUPS 1252323 WITH SCORE 1267098.099
AT ITER 4998 NEW BEST:: SOT 27567852 SOS 14774843 HAS SOPS 14774843 HAS SOUS 1252195 HAS SOUPS 1252195 WITH SCORE 1266969.843
AT ITER 5003 NEW BEST:: SOT 27567536 SOS 14774211 HAS SOPS 14774211 HAS SOUS 1251888 HAS SOUPS 1251888 WITH SCORE 1266662.211
AT ITER 5005 NEW BEST:: SOT 27567536 SOS 14349933 HAS SOPS 14349933 HAS SOUS 1251624 HAS SOUPS 1251624 WITH SCORE 1265973.933
AT ITER 5006 NEW BEST:: SOT 27567535 SOS 14349931 HAS SOPS 14349931 HAS SOUS 1251622 HAS SOUPS 1251622 WITH SCORE 1265971.931
AT ITER 5076 NEW BEST:: SOT 27567534 SOS 14349929 HAS SOPS 14349929 HAS SOUS 1251620 HAS SOUPS 1251620 WITH SCORE 1265969.929
AT ITER 5083 NEW BEST:: SOT 27566178 SOS 14348653 HAS SOPS 14348653 HAS SOUS 1250344 HAS SOUPS 1250344 WITH SCORE 1264692.653
AT ITER 5088 NEW BEST:: SOT 27566044 SOS 14348452 HAS SOPS 14348452 HAS SOUS 1250143 HAS SOUPS 1250143 WITH SCORE 1264491.452
AT ITER 5108 NEW BEST:: SOT 27565934 SOS 14348342 HAS SOPS 14348342 HAS SOUS 1250033 HAS SOUPS 1250033 WITH SCORE 1264381.342
AT ITER 5109 NEW BEST:: SOT 27565934 SOS 14348342 HAS SOPS 14348342 HAS SOUS 1249992 HAS SOUPS 1249992 WITH SCORE 1264340.342
AT ITER 5113 NEW BEST:: SOT 27565933 SOS 14348340 HAS SOPS 14348340 HAS SOUS 1249990 HAS SOUPS 1249990 WITH SCORE 1264338.34
AT ITER 5137 NEW BEST:: SOT 27565778 SOS 13578318 HAS SOPS 13578318 HAS SOUS 1250389 HAS SOUPS 1250389 WITH SCORE 1263967.318
AT ITER 5189 NEW BEST:: SOT 27565673 SOS 13578108 HAS SOPS 13578108 HAS SOUS 1250284 HAS SOUPS 1250284 WITH SCORE 1263862.108
AT ITER 5192 NEW BEST:: SOT 27565673 SOS 13578108 HAS SOPS 13578108 HAS SOUS 1249985 HAS SOUPS 1249985 WITH SCORE 1263563.108
AT ITER 5201 NEW BEST:: SOT 27565605 SOS 13577972 HAS SOPS 13577972 HAS SOUS 1249849 HAS SOUPS 1249849 WITH SCORE 1263426.972
AT ITER 5204 NEW BEST:: SOT 27565489 SOS 13577740 HAS SOPS 13577740 HAS SOUS 1249617 HAS SOUPS 1249617 WITH SCORE 1263194.74
AT ITER 5222 NEW BEST:: SOT 27565441 SOS 13577605 HAS SOPS 13577605 HAS SOUS 1249521 HAS SOUPS 1249521 WITH SCORE 1263098.605
AT ITER 5254 NEW BEST:: SOT 27565384 SOS 13577664 HAS SOPS 13577664 HAS SOUS 1249436 HAS SOUPS 1249436 WITH SCORE 1263013.664
AT ITER 5267 NEW BEST:: SOT 27565325 SOS 13577546 HAS SOPS 13577546 HAS SOUS 1249318 HAS SOUPS 1249318 WITH SCORE 1262895.546
AT ITER 5299 NEW BEST:: SOT 27565154 SOS 13577204 HAS SOPS 13577204 HAS SOUS 1248976 HAS SOUPS 1248976 WITH SCORE 1262553.204
AT ITER 5321 NEW BEST:: SOT 27565045 SOS 13576986 HAS SOPS 13576986 HAS SOUS 1248794 HAS SOUPS 1248794 WITH SCORE 1262370.986
AT ITER 5356 NEW BEST:: SOT 27564995 SOS 13569279 HAS SOPS 13569279 HAS SOUS 1247964 HAS SOUPS 1247964 WITH SCORE 1261533.279
AT ITER 5374 NEW BEST:: SOT 27564990 SOS 13569269 HAS SOPS 13569269 HAS SOUS 1247954 HAS SOUPS 1247954 WITH SCORE 1261523.269
AT ITER 5384 NEW BEST:: SOT 27564984 SOS 13569257 HAS SOPS 13569257 HAS SOUS 1247942 HAS SOUPS 1247942 WITH SCORE 1261511.257
AT ITER 5398 NEW BEST:: SOT 27515577 SOS 13610997 HAS SOPS 13610997 HAS SOUS 1207012 HAS SOUPS 1207012 WITH SCORE 1220622.997
AT ITER 5425 NEW BEST:: SOT 27515016 SOS 13609875 HAS SOPS 13609875 HAS SOUS 1206824 HAS SOUPS 1206824 WITH SCORE 1220433.875
AT ITER 5446 NEW BEST:: SOT 27515029 SOS 13609576 HAS SOPS 13609576 HAS SOUS 1206525 HAS SOUPS 1206525 WITH SCORE 1220134.576
AT ITER 5461 NEW BEST:: SOT 27514743 SOS 13609004 HAS SOPS 13609004 HAS SOUS 1205953 HAS SOUPS 1205953 WITH SCORE 1219562.004
AT ITER 5505 NEW BEST:: SOT 27514570 SOS 13608658 HAS SOPS 13608658 HAS SOUS 1205607 HAS SOUPS 1205607 WITH SCORE 1219215.658
AT ITER 5529 NEW BEST:: SOT 27514450 SOS 13608577 HAS SOPS 13608577 HAS SOUS 1205464 HAS SOUPS 1205464 WITH SCORE 1219072.577
AT ITER 5541 NEW BEST:: SOT 27514446 SOS 13608569 HAS SOPS 13608569 HAS SOUS 1205456 HAS SOUPS 1205456 WITH SCORE 1219064.569
AT ITER 5544 NEW BEST:: SOT 27514332 SOS 13608341 HAS SOPS 13608341 HAS SOUS 1205228 HAS SOUPS 1205228 WITH SCORE 1218836.341
AT ITER 5576 NEW BEST:: SOT 27514241 SOS 13608159 HAS SOPS 13608159 HAS SOUS 1205046 HAS SOUPS 1205046 WITH SCORE 1218654.159
AT ITER 5592 NEW BEST:: SOT 27514268 SOS 13608213 HAS SOPS 13608213 HAS SOUS 1204753 HAS SOUPS 1204753 WITH SCORE 1218361.213
AT ITER 5596 NEW BEST:: SOT 27514268 SOS 13608002 HAS SOPS 13608002 HAS SOUS 1204542 HAS SOUPS 1204542 WITH SCORE 1218150.002
AT ITER 5610 NEW BEST:: SOT 27514197 SOS 13607860 HAS SOPS 13607860 HAS SOUS 1204496 HAS SOUPS 1204496 WITH SCORE 1218103.86
AT ITER 5650 NEW BEST:: SOT 27513918 SOS 13607302 HAS SOPS 13607302 HAS SOUS 1203938 HAS SOUPS 1203938 WITH SCORE 1217545.302
AT ITER 5652 NEW BEST:: SOT 27513859 SOS 13607184 HAS SOPS 13607184 HAS SOUS 1203839 HAS SOUPS 1203839 WITH SCORE 1217446.184
AT ITER 5653 NEW BEST:: SOT 27512295 SOS 13241607 HAS SOPS 13241607 HAS SOUS 1202431 HAS SOUPS 1202431 WITH SCORE 1215672.607
AT ITER 5655 NEW BEST:: SOT 27512294 SOS 13241606 HAS SOPS 13241606 HAS SOUS 1202429 HAS SOUPS 1202429 WITH SCORE 1215670.606
AT ITER 5699 NEW BEST:: SOT 27512115 SOS 13241248 HAS SOPS 13241248 HAS SOUS 1202071 HAS SOUPS 1202071 WITH SCORE 1215312.248
AT ITER 5715 NEW BEST:: SOT 27512101 SOS 13241220 HAS SOPS 13241220 HAS SOUS 1202043 HAS SOUPS 1202043 WITH SCORE 1215284.22
AT ITER 5718 NEW BEST:: SOT 27512055 SOS 13241128 HAS SOPS 13241128 HAS SOUS 1201951 HAS SOUPS 1201951 WITH SCORE 1215192.128
AT ITER 5721 NEW BEST:: SOT 27511849 SOS 13240510 HAS SOPS 13240510 HAS SOUS 1201539 HAS SOUPS 1201539 WITH SCORE 1214779.51
AT ITER 5725 NEW BEST:: SOT 27511784 SOS 13240380 HAS SOPS 13240380 HAS SOUS 1201409 HAS SOUPS 1201409 WITH SCORE 1214649.38
AT ITER 5746 NEW BEST:: SOT 27511674 SOS 13240160 HAS SOPS 13240160 HAS SOUS 1201189 HAS SOUPS 1201189 WITH SCORE 1214429.16
AT ITER 5761 NEW BEST:: SOT 27511674 SOS 13240126 HAS SOPS 13240126 HAS SOUS 1201155 HAS SOUPS 1201155 WITH SCORE 1214395.126
AT ITER 5767 NEW BEST:: SOT 27511465 SOS 13239708 HAS SOPS 13239708 HAS SOUS 1200737 HAS SOUPS 1200737 WITH SCORE 1213976.708
AT ITER 5781 NEW BEST:: SOT 27511428 SOS 13239634 HAS SOPS 13239634 HAS SOUS 1200663 HAS SOUPS 1200663 WITH SCORE 1213902.634
AT ITER 5823 NEW BEST:: SOT 27511569 SOS 13173246 HAS SOPS 13173246 HAS SOUS 1199773 HAS SOUPS 1199773 WITH SCORE 1212946.246
AT ITER 5835 NEW BEST:: SOT 27511452 SOS 13173012 HAS SOPS 13173012 HAS SOUS 1199567 HAS SOUPS 1199567 WITH SCORE 1212740.012
AT ITER 5859 NEW BEST:: SOT 27511118 SOS 13172344 HAS SOPS 13172344 HAS SOUS 1199259 HAS SOUPS 1199259 WITH SCORE 1212431.344
AT ITER 5892 NEW BEST:: SOT 27511075 SOS 13172258 HAS SOPS 13172258 HAS SOUS 1199173 HAS SOUPS 1199173 WITH SCORE 1212345.258
AT ITER 5900 NEW BEST:: SOT 27511074 SOS 13172256 HAS SOPS 13172256 HAS SOUS 1199171 HAS SOUPS 1199171 WITH SCORE 1212343.256
AT ITER 5924 NEW BEST:: SOT 27511074 SOS 13172183 HAS SOPS 13172183 HAS SOUS 1199171 HAS SOUPS 1199171 WITH SCORE 1212343.183
AT ITER 5985 NEW BEST:: SOT 27511072 SOS 13172179 HAS SOPS 13172179 HAS SOUS 1199167 HAS SOUPS 1199167 WITH SCORE 1212339.179
AT ITER 5988 NEW BEST:: SOT 27510971 SOS 13104875 HAS SOPS 13104875 HAS SOUS 1198792 HAS SOUPS 1198792 WITH SCORE 1211896.875
AT ITER 6069 NEW BEST:: SOT 27510959 SOS 13104851 HAS SOPS 13104851 HAS SOUS 1198768 HAS SOUPS 1198768 WITH SCORE 1211872.851
AT ITER 6078 NEW BEST:: SOT 27510943 SOS 13104819 HAS SOPS 13104819 HAS SOUS 1198736 HAS SOUPS 1198736 WITH SCORE 1211840.819
AT ITER 6082 NEW BEST:: SOT 27510801 SOS 13104535 HAS SOPS 13104535 HAS SOUS 1198618 HAS SOUPS 1198618 WITH SCORE 1211722.535
AT ITER 6093 NEW BEST:: SOT 27510627 SOS 13104187 HAS SOPS 13104187 HAS SOUS 1198444 HAS SOUPS 1198444 WITH SCORE 1211548.187
AT ITER 6101 NEW BEST:: SOT 27510614 SOS 13104161 HAS SOPS 13104161 HAS SOUS 1198418 HAS SOUPS 1198418 WITH SCORE 1211522.161
AT ITER 6162 NEW BEST:: SOT 27510287 SOS 13103507 HAS SOPS 13103507 HAS SOUS 1198225 HAS SOUPS 1198225 WITH SCORE 1211328.507
AT ITER 6166 NEW BEST:: SOT 27510278 SOS 13103489 HAS SOPS 13103489 HAS SOUS 1198207 HAS SOUPS 1198207 WITH SCORE 1211310.489
AT ITER 6183 NEW BEST:: SOT 27510183 SOS 13103109 HAS SOPS 13103109 HAS SOUS 1198017 HAS SOUPS 1198017 WITH SCORE 1211120.109
AT ITER 6199 NEW BEST:: SOT 27509911 SOS 13105511 HAS SOPS 13105511 HAS SOUS 1197745 HAS SOUPS 1197745 WITH SCORE 1210850.511
AT ITER 6203 NEW BEST:: SOT 27509585 SOS 13104859 HAS SOPS 13104859 HAS SOUS 1197093 HAS SOUPS 1197093 WITH SCORE 1210197.859
AT ITER 6233 NEW BEST:: SOT 27509074 SOS 13103837 HAS SOPS 13103837 HAS SOUS 1195996 HAS SOUPS 1195996 WITH SCORE 1209099.837
AT ITER 6235 NEW BEST:: SOT 27509047 SOS 13103783 HAS SOPS 13103783 HAS SOUS 1195942 HAS SOUPS 1195942 WITH SCORE 1209045.783
AT ITER 6283 NEW BEST:: SOT 27509036 SOS 13103761 HAS SOPS 13103761 HAS SOUS 1195931 HAS SOUPS 1195931 WITH SCORE 1209034.761
AT ITER 6295 NEW BEST:: SOT 27508911 SOS 13103228 HAS SOPS 13103228 HAS SOUS 1195681 HAS SOUPS 1195681 WITH SCORE 1208784.228
AT ITER 6296 NEW BEST:: SOT 27508795 SOS 13102996 HAS SOPS 13102996 HAS SOUS 1195565 HAS SOUPS 1195565 WITH SCORE 1208667.996
AT ITER 6307 NEW BEST:: SOT 27508780 SOS 13102966 HAS SOPS 13102966 HAS SOUS 1195535 HAS SOUPS 1195535 WITH SCORE 1208637.966
AT ITER 6351 NEW BEST:: SOT 27508743 SOS 13102892 HAS SOPS 13102892 HAS SOUS 1195498 HAS SOUPS 1195498 WITH SCORE 1208600.892
AT ITER 6388 NEW BEST:: SOT 27508719 SOS 13102844 HAS SOPS 13102844 HAS SOUS 1195450 HAS SOUPS 1195450 WITH SCORE 1208552.844
AT ITER 6389 NEW BEST:: SOT 27508579 SOS 13082474 HAS SOPS 13082474 HAS SOUS 1193000 HAS SOUPS 1193000 WITH SCORE 1206082.474
AT ITER 6398 NEW BEST:: SOT 27508576 SOS 13082468 HAS SOPS 13082468 HAS SOUS 1192994 HAS SOUPS 1192994 WITH SCORE 1206076.468
AT ITER 6421 NEW BEST:: SOT 27508499 SOS 13082191 HAS SOPS 13082191 HAS SOUS 1192835 HAS SOUPS 1192835 WITH SCORE 1205917.191
AT ITER 6452 NEW BEST:: SOT 27508499 SOS 13082067 HAS SOPS 13082067 HAS SOUS 1192835 HAS SOUPS 1192835 WITH SCORE 1205917.067
AT ITER 6460 NEW BEST:: SOT 27508448 SOS 13081965 HAS SOPS 13081965 HAS SOUS 1192733 HAS SOUPS 1192733 WITH SCORE 1205814.965
AT ITER 6480 NEW BEST:: SOT 27508439 SOS 13081947 HAS SOPS 13081947 HAS SOUS 1192715 HAS SOUPS 1192715 WITH SCORE 1205796.947
AT ITER 6502 NEW BEST:: SOT 27508438 SOS 13081945 HAS SOPS 13081945 HAS SOUS 1192713 HAS SOUPS 1192713 WITH SCORE 1205794.945
AT ITER 6552 NEW BEST:: SOT 27508398 SOS 13081865 HAS SOPS 13081865 HAS SOUS 1192633 HAS SOUPS 1192633 WITH SCORE 1205714.865
AT ITER 6597 NEW BEST:: SOT 27508397 SOS 13081864 HAS SOPS 13081864 HAS SOUS 1192631 HAS SOUPS 1192631 WITH SCORE 1205712.864
AT ITER 6609 NEW BEST:: SOT 27508377 SOS 13081824 HAS SOPS 13081824 HAS SOUS 1192591 HAS SOUPS 1192591 WITH SCORE 1205672.824
AT ITER 6610 NEW BEST:: SOT 27508194 SOS 13081458 HAS SOPS 13081458 HAS SOUS 1192225 HAS SOUPS 1192225 WITH SCORE 1205306.458
AT ITER 6615 NEW BEST:: SOT 27508010 SOS 13110466 HAS SOPS 13110466 HAS SOUS 1187201 HAS SOUPS 1187201 WITH SCORE 1200311.466
AT ITER 6623 NEW BEST:: SOT 27506736 SOS 13108555 HAS SOPS 13108555 HAS SOUS 1185290 HAS SOUPS 1185290 WITH SCORE 1198398.555
AT ITER 6625 NEW BEST:: SOT 27506736 SOS 13102475 HAS SOPS 13102475 HAS SOUS 1182906 HAS SOUPS 1182906 WITH SCORE 1196008.475
AT ITER 6714 NEW BEST:: SOT 27506270 SOS 13101543 HAS SOPS 13101543 HAS SOUS 1182403 HAS SOUPS 1182403 WITH SCORE 1195504.543
AT ITER 6750 NEW BEST:: SOT 27506204 SOS 13101411 HAS SOPS 13101411 HAS SOUS 1182271 HAS SOUPS 1182271 WITH SCORE 1195372.411
AT ITER 6758 NEW BEST:: SOT 27506191 SOS 13101385 HAS SOPS 13101385 HAS SOUS 1182245 HAS SOUPS 1182245 WITH SCORE 1195346.385
AT ITER 6774 NEW BEST:: SOT 27506180 SOS 13101363 HAS SOPS 13101363 HAS SOUS 1182234 HAS SOUPS 1182234 WITH SCORE 1195335.363
AT ITER 6790 NEW BEST:: SOT 27506072 SOS 13101309 HAS SOPS 13101309 HAS SOUS 1182126 HAS SOUPS 1182126 WITH SCORE 1195227.309
AT ITER 6791 NEW BEST:: SOT 27505791 SOS 13100747 HAS SOPS 13100747 HAS SOUS 1181564 HAS SOUPS 1181564 WITH SCORE 1194664.747
AT ITER 6804 NEW BEST:: SOT 27505779 SOS 13083227 HAS SOPS 13083227 HAS SOUS 1181528 HAS SOUPS 1181528 WITH SCORE 1194611.227
AT ITER 6807 NEW BEST:: SOT 27505779 SOS 12242933 HAS SOPS 12242933 HAS SOUS 1180793 HAS SOUPS 1180793 WITH SCORE 1193035.933
AT ITER 6811 NEW BEST:: SOT 27505683 SOS 12242741 HAS SOPS 12242741 HAS SOUS 1180601 HAS SOUPS 1180601 WITH SCORE 1192843.741
AT ITER 6824 NEW BEST:: SOT 27505647 SOS 12242669 HAS SOPS 12242669 HAS SOUS 1180529 HAS SOUPS 1180529 WITH SCORE 1192771.669
AT ITER 6848 NEW BEST:: SOT 27505541 SOS 12242457 HAS SOPS 12242457 HAS SOUS 1180511 HAS SOUPS 1180511 WITH SCORE 1192753.457
AT ITER 6856 NEW BEST:: SOT 27505224 SOS 12241409 HAS SOPS 12241409 HAS SOUS 1179784 HAS SOUPS 1179784 WITH SCORE 1192025.409
AT ITER 6903 NEW BEST:: SOT 27505116 SOS 12241193 HAS SOPS 12241193 HAS SOUS 1179568 HAS SOUPS 1179568 WITH SCORE 1191809.193
AT ITER 6914 NEW BEST:: SOT 27505112 SOS 12241185 HAS SOPS 12241185 HAS SOUS 1179564 HAS SOUPS 1179564 WITH SCORE 1191805.185
AT ITER 6941 NEW BEST:: SOT 27505047 SOS 12241055 HAS SOPS 12241055 HAS SOUS 1179434 HAS SOUPS 1179434 WITH SCORE 1191675.055
AT ITER 6983 NEW BEST:: SOT 27505041 SOS 12241043 HAS SOPS 12241043 HAS SOUS 1179422 HAS SOUPS 1179422 WITH SCORE 1191663.043
AT ITER 6990 NEW BEST:: SOT 27505024 SOS 12241009 HAS SOPS 12241009 HAS SOUS 1179388 HAS SOUPS 1179388 WITH SCORE 1191629.009
AT ITER 7042 NEW BEST:: SOT 27504798 SOS 12240557 HAS SOPS 12240557 HAS SOUS 1178936 HAS SOUPS 1178936 WITH SCORE 1191176.557
AT ITER 7079 NEW BEST:: SOT 27504605 SOS 12240171 HAS SOPS 12240171 HAS SOUS 1178550 HAS SOUPS 1178550 WITH SCORE 1190790.171
AT ITER 7101 NEW BEST:: SOT 27504581 SOS 12240123 HAS SOPS 12240123 HAS SOUS 1178502 HAS SOUPS 1178502 WITH SCORE 1190742.123
AT ITER 7121 NEW BEST:: SOT 27504463 SOS 12239887 HAS SOPS 12239887 HAS SOUS 1178266 HAS SOUPS 1178266 WITH SCORE 1190505.887
AT ITER 7127 NEW BEST:: SOT 27504309 SOS 12239656 HAS SOPS 12239656 HAS SOUS 1178112 HAS SOUPS 1178112 WITH SCORE 1190351.656
AT ITER 7138 NEW BEST:: SOT 27504246 SOS 12239530 HAS SOPS 12239530 HAS SOUS 1178049 HAS SOUPS 1178049 WITH SCORE 1190288.53
AT ITER 7146 NEW BEST:: SOT 27503883 SOS 12238804 HAS SOPS 12238804 HAS SOUS 1177918 HAS SOUPS 1177918 WITH SCORE 1190156.804
AT ITER 7158 NEW BEST:: SOT 27503804 SOS 12238646 HAS SOPS 12238646 HAS SOUS 1177760 HAS SOUPS 1177760 WITH SCORE 1189998.646
AT ITER 7170 NEW BEST:: SOT 27503733 SOS 12238504 HAS SOPS 12238504 HAS SOUS 1177618 HAS SOUPS 1177618 WITH SCORE 1189856.504
AT ITER 7198 NEW BEST:: SOT 27503763 SOS 11770245 HAS SOPS 11770245 HAS SOUS 1175831 HAS SOUPS 1175831 WITH SCORE 1187601.245
AT ITER 7206 NEW BEST:: SOT 27503741 SOS 11770328 HAS SOPS 11770328 HAS SOUS 1175787 HAS SOUPS 1175787 WITH SCORE 1187557.328
AT ITER 7207 NEW BEST:: SOT 27503661 SOS 11770168 HAS SOPS 11770168 HAS SOUS 1175627 HAS SOUPS 1175627 WITH SCORE 1187397.168
AT ITER 7219 NEW BEST:: SOT 27503564 SOS 11769701 HAS SOPS 11769701 HAS SOUS 1175530 HAS SOUPS 1175530 WITH SCORE 1187299.701
AT ITER 7224 NEW BEST:: SOT 27503564 SOS 11769548 HAS SOPS 11769548 HAS SOUS 1175530 HAS SOUPS 1175530 WITH SCORE 1187299.548
AT ITER 7228 NEW BEST:: SOT 27503522 SOS 11769464 HAS SOPS 11769464 HAS SOUS 1175446 HAS SOUPS 1175446 WITH SCORE 1187215.464
AT ITER 7238 NEW BEST:: SOT 27503465 SOS 11769350 HAS SOPS 11769350 HAS SOUS 1175406 HAS SOUPS 1175406 WITH SCORE 1187175.35
AT ITER 7246 NEW BEST:: SOT 27503465 SOS 11279686 HAS SOPS 11279686 HAS SOUS 1175406 HAS SOUPS 1175406 WITH SCORE 1186685.686
AT ITER 7254 NEW BEST:: SOT 27503355 SOS 11279466 HAS SOPS 11279466 HAS SOUS 1175296 HAS SOUPS 1175296 WITH SCORE 1186575.466
AT ITER 7281 NEW BEST:: SOT 27502962 SOS 10926816 HAS SOPS 10926816 HAS SOUS 1172687 HAS SOUPS 1172687 WITH SCORE 1183613.816
AT ITER 7283 NEW BEST:: SOT 27502962 SOS 10926816 HAS SOPS 10926816 HAS SOUS 1172393 HAS SOUPS 1172393 WITH SCORE 1183319.816
AT ITER 7284 NEW BEST:: SOT 27502966 SOS 10926788 HAS SOPS 10926788 HAS SOUS 1172365 HAS SOUPS 1172365 WITH SCORE 1183291.788
AT ITER 7294 NEW BEST:: SOT 27502881 SOS 10926618 HAS SOPS 10926618 HAS SOUS 1172195 HAS SOUPS 1172195 WITH SCORE 1183121.618
AT ITER 7298 NEW BEST:: SOT 27502881 SOS 10843674 HAS SOPS 10843674 HAS SOUS 1171299 HAS SOUPS 1171299 WITH SCORE 1182142.674
AT ITER 7327 NEW BEST:: SOT 27502525 SOS 10843140 HAS SOPS 10843140 HAS SOUS 1170765 HAS SOUPS 1170765 WITH SCORE 1181608.14
AT ITER 7342 NEW BEST:: SOT 27502473 SOS 10843036 HAS SOPS 10843036 HAS SOUS 1170661 HAS SOUPS 1170661 WITH SCORE 1181504.036
AT ITER 7345 NEW BEST:: SOT 27502439 SOS 10843002 HAS SOPS 10843002 HAS SOUS 1170627 HAS SOUPS 1170627 WITH SCORE 1181470.002
AT ITER 7370 NEW BEST:: SOT 27502431 SOS 10842986 HAS SOPS 10842986 HAS SOUS 1170611 HAS SOUPS 1170611 WITH SCORE 1181453.986
AT ITER 7439 NEW BEST:: SOT 27502271 SOS 10842666 HAS SOPS 10842666 HAS SOUS 1170451 HAS SOUPS 1170451 WITH SCORE 1181293.666
AT ITER 7442 NEW BEST:: SOT 27501738 SOS 10841600 HAS SOPS 10841600 HAS SOUS 1169923 HAS SOUPS 1169923 WITH SCORE 1180764.6
AT ITER 7448 NEW BEST:: SOT 27501607 SOS 10841549 HAS SOPS 10841549 HAS SOUS 1169825 HAS SOUPS 1169825 WITH SCORE 1180666.549
AT ITER 7465 NEW BEST:: SOT 27501545 SOS 10832528 HAS SOPS 10832528 HAS SOUS 1168740 HAS SOUPS 1168740 WITH SCORE 1179572.528
AT ITER 7474 NEW BEST:: SOT 27501521 SOS 10832409 HAS SOPS 10832409 HAS SOUS 1168658 HAS SOUPS 1168658 WITH SCORE 1179490.409
AT ITER 7477 NEW BEST:: SOT 27501410 SOS 10832298 HAS SOPS 10832298 HAS SOUS 1168547 HAS SOUPS 1168547 WITH SCORE 1179379.298
AT ITER 7478 NEW BEST:: SOT 27501391 SOS 10832260 HAS SOPS 10832260 HAS SOUS 1168509 HAS SOUPS 1168509 WITH SCORE 1179341.26
AT ITER 7480 NEW BEST:: SOT 27501389 SOS 10832256 HAS SOPS 10832256 HAS SOUS 1168505 HAS SOUPS 1168505 WITH SCORE 1179337.256
AT ITER 7481 NEW BEST:: SOT 27500943 SOS 10832030 HAS SOPS 10832030 HAS SOUS 1168319 HAS SOUPS 1168319 WITH SCORE 1179151.03
AT ITER 7525 NEW BEST:: SOT 27500941 SOS 10832026 HAS SOPS 10832026 HAS SOUS 1168315 HAS SOUPS 1168315 WITH SCORE 1179147.026
AT ITER 7565 NEW BEST:: SOT 27500871 SOS 10831886 HAS SOPS 10831886 HAS SOUS 1168175 HAS SOUPS 1168175 WITH SCORE 1179006.886
AT ITER 7603 NEW BEST:: SOT 27500871 SOS 10831883 HAS SOPS 10831883 HAS SOUS 1168175 HAS SOUPS 1168175 WITH SCORE 1179006.883
AT ITER 7610 NEW BEST:: SOT 27500836 SOS 10831718 HAS SOPS 10831718 HAS SOUS 1168025 HAS SOUPS 1168025 WITH SCORE 1178856.718
AT ITER 7628 NEW BEST:: SOT 27500813 SOS 10831672 HAS SOPS 10831672 HAS SOUS 1167979 HAS SOUPS 1167979 WITH SCORE 1178810.672
AT ITER 7639 NEW BEST:: SOT 27500784 SOS 10832342 HAS SOPS 10832342 HAS SOUS 1167737 HAS SOUPS 1167737 WITH SCORE 1178569.342
AT ITER 7640 NEW BEST:: SOT 27500783 SOS 10832340 HAS SOPS 10832340 HAS SOUS 1167735 HAS SOUPS 1167735 WITH SCORE 1178567.34
AT ITER 7645 NEW BEST:: SOT 27500794 SOS 10832267 HAS SOPS 10832267 HAS SOUS 1167694 HAS SOUPS 1167694 WITH SCORE 1178526.267
AT ITER 7647 NEW BEST:: SOT 27500794 SOS 10832249 HAS SOPS 10832249 HAS SOUS 1167694 HAS SOUPS 1167694 WITH SCORE 1178526.249
AT ITER 7648 NEW BEST:: SOT 27500812 SOS 10829131 HAS SOPS 10829131 HAS SOUS 1167055 HAS SOUPS 1167055 WITH SCORE 1177884.131
AT ITER 7690 NEW BEST:: SOT 27500700 SOS 10828907 HAS SOPS 10828907 HAS SOUS 1166831 HAS SOUPS 1166831 WITH SCORE 1177659.907
AT ITER 7721 NEW BEST:: SOT 27500672 SOS 10828851 HAS SOPS 10828851 HAS SOUS 1166775 HAS SOUPS 1166775 WITH SCORE 1177603.851
AT ITER 7729 NEW BEST:: SOT 27500628 SOS 10828763 HAS SOPS 10828763 HAS SOUS 1166687 HAS SOUPS 1166687 WITH SCORE 1177515.763
AT ITER 7761 NEW BEST:: SOT 27500576 SOS 10828709 HAS SOPS 10828709 HAS SOUS 1166633 HAS SOUPS 1166633 WITH SCORE 1177461.709
AT ITER 7766 NEW BEST:: SOT 27500910 SOS 10784917 HAS SOPS 10784917 HAS SOUS 1162502 HAS SOUPS 1162502 WITH SCORE 1173286.917
AT ITER 7810 NEW BEST:: SOT 27500904 SOS 10784905 HAS SOPS 10784905 HAS SOUS 1162490 HAS SOUPS 1162490 WITH SCORE 1173274.905
AT ITER 7814 NEW BEST:: SOT 27500843 SOS 10784600 HAS SOPS 10784600 HAS SOUS 1162368 HAS SOUPS 1162368 WITH SCORE 1173152.6
AT ITER 7835 NEW BEST:: SOT 27500602 SOS 10784118 HAS SOPS 10784118 HAS SOUS 1162127 HAS SOUPS 1162127 WITH SCORE 1172911.118
AT ITER 7855 NEW BEST:: SOT 27500527 SOS 10783968 HAS SOPS 10783968 HAS SOUS 1161977 HAS SOUPS 1161977 WITH SCORE 1172760.968
AT ITER 7861 NEW BEST:: SOT 27500485 SOS 10783884 HAS SOPS 10783884 HAS SOUS 1161893 HAS SOUPS 1161893 WITH SCORE 1172676.884
AT ITER 7874 NEW BEST:: SOT 27500328 SOS 10783508 HAS SOPS 10783508 HAS SOUS 1161517 HAS SOUPS 1161517 WITH SCORE 1172300.508
AT ITER 7893 NEW BEST:: SOT 27500256 SOS 10783364 HAS SOPS 10783364 HAS SOUS 1161373 HAS SOUPS 1161373 WITH SCORE 1172156.364
AT ITER 7922 NEW BEST:: SOT 27500120 SOS 10783063 HAS SOPS 10783063 HAS SOUS 1161072 HAS SOUPS 1161072 WITH SCORE 1171855.063
AT ITER 7959 NEW BEST:: SOT 27500111 SOS 10783054 HAS SOPS 10783054 HAS SOUS 1161054 HAS SOUPS 1161054 WITH SCORE 1171837.054
AT ITER 7971 NEW BEST:: SOT 27500106 SOS 10783044 HAS SOPS 10783044 HAS SOUS 1161044 HAS SOUPS 1161044 WITH SCORE 1171827.044
AT ITER 7996 NEW BEST:: SOT 27499939 SOS 10557206 HAS SOPS 10557206 HAS SOUS 1160469 HAS SOUPS 1160469 WITH SCORE 1171026.206
AT ITER 7998 NEW BEST:: SOT 27499871 SOS 10557070 HAS SOPS 10557070 HAS SOUS 1160333 HAS SOUPS 1160333 WITH SCORE 1170890.07
AT ITER 8013 NEW BEST:: SOT 27499772 SOS 10556872 HAS SOPS 10556872 HAS SOUS 1160135 HAS SOUPS 1160135 WITH SCORE 1170691.872
AT ITER 8027 NEW BEST:: SOT 27499574 SOS 10555084 HAS SOPS 10555084 HAS SOUS 1158161 HAS SOUPS 1158161 WITH SCORE 1168716.084
AT ITER 8077 NEW BEST:: SOT 27499569 SOS 10555074 HAS SOPS 10555074 HAS SOUS 1158151 HAS SOUPS 1158151 WITH SCORE 1168706.074
AT ITER 8078 NEW BEST:: SOT 27499568 SOS 10555072 HAS SOPS 10555072 HAS SOUS 1158149 HAS SOUPS 1158149 WITH SCORE 1168704.072
AT ITER 8089 NEW BEST:: SOT 27499530 SOS 10554996 HAS SOPS 10554996 HAS SOUS 1158111 HAS SOUPS 1158111 WITH SCORE 1168665.996
AT ITER 8148 NEW BEST:: SOT 27499527 SOS 10554990 HAS SOPS 10554990 HAS SOUS 1158105 HAS SOUPS 1158105 WITH SCORE 1168659.99
AT ITER 8180 NEW BEST:: SOT 27499448 SOS 10554832 HAS SOPS 10554832 HAS SOUS 1157947 HAS SOUPS 1157947 WITH SCORE 1168501.832
AT ITER 8194 NEW BEST:: SOT 27499409 SOS 10554754 HAS SOPS 10554754 HAS SOUS 1157908 HAS SOUPS 1157908 WITH SCORE 1168462.754
AT ITER 8205 NEW BEST:: SOT 27499346 SOS 10554628 HAS SOPS 10554628 HAS SOUS 1157782 HAS SOUPS 1157782 WITH SCORE 1168336.628
AT ITER 8218 NEW BEST:: SOT 27499153 SOS 10554242 HAS SOPS 10554242 HAS SOUS 1157393 HAS SOUPS 1157393 WITH SCORE 1167947.242
AT ITER 8222 NEW BEST:: SOT 27499152 SOS 10554240 HAS SOPS 10554240 HAS SOUS 1157391 HAS SOUPS 1157391 WITH SCORE 1167945.24
AT ITER 8240 NEW BEST:: SOT 27499152 SOS 10554164 HAS SOPS 10554164 HAS SOUS 1157315 HAS SOUPS 1157315 WITH SCORE 1167869.164
AT ITER 8266 NEW BEST:: SOT 27499149 SOS 10554158 HAS SOPS 10554158 HAS SOUS 1157309 HAS SOUPS 1157309 WITH SCORE 1167863.158
AT ITER 8320 NEW BEST:: SOT 27499219 SOS 10554147 HAS SOPS 10554147 HAS SOUS 1157298 HAS SOUPS 1157298 WITH SCORE 1167852.147
AT ITER 8365 NEW BEST:: SOT 27499207 SOS 10554123 HAS SOPS 10554123 HAS SOUS 1157274 HAS SOUPS 1157274 WITH SCORE 1167828.123
AT ITER 8371 NEW BEST:: SOT 27498871 SOS 10553451 HAS SOPS 10553451 HAS SOUS 1156602 HAS SOUPS 1156602 WITH SCORE 1167155.451
AT ITER 8374 NEW BEST:: SOT 27498807 SOS 10553323 HAS SOPS 10553323 HAS SOUS 1156474 HAS SOUPS 1156474 WITH SCORE 1167027.323
AT ITER 8386 NEW BEST:: SOT 27498758 SOS 10553225 HAS SOPS 10553225 HAS SOUS 1156376 HAS SOUPS 1156376 WITH SCORE 1166929.225
AT ITER 8405 NEW BEST:: SOT 27498737 SOS 10553183 HAS SOPS 10553183 HAS SOUS 1156334 HAS SOUPS 1156334 WITH SCORE 1166887.183
AT ITER 8456 NEW BEST:: SOT 27498469 SOS 10553049 HAS SOPS 10553049 HAS SOUS 1156133 HAS SOUPS 1156133 WITH SCORE 1166686.049
AT ITER 8469 NEW BEST:: SOT 27498337 SOS 10552785 HAS SOPS 10552785 HAS SOUS 1155963 HAS SOUPS 1155963 WITH SCORE 1166515.785
AT ITER 8520 NEW BEST:: SOT 27498169 SOS 10552449 HAS SOPS 10552449 HAS SOUS 1155627 HAS SOUPS 1155627 WITH SCORE 1166179.449
AT ITER 8525 NEW BEST:: SOT 27498082 SOS 10552101 HAS SOPS 10552101 HAS SOUS 1155453 HAS SOUPS 1155453 WITH SCORE 1166005.101
AT ITER 8526 NEW BEST:: SOT 27497984 SOS 10424493 HAS SOPS 10424493 HAS SOUS 1153925 HAS SOUPS 1153925 WITH SCORE 1164349.493
AT ITER 8591 NEW BEST:: SOT 27497696 SOS 10423917 HAS SOPS 10423917 HAS SOUS 1153637 HAS SOUPS 1153637 WITH SCORE 1164060.917
AT ITER 8607 NEW BEST:: SOT 27497575 SOS 10423675 HAS SOPS 10423675 HAS SOUS 1153516 HAS SOUPS 1153516 WITH SCORE 1163939.675
AT ITER 8611 NEW BEST:: SOT 27497500 SOS 10423525 HAS SOPS 10423525 HAS SOUS 1153366 HAS SOUPS 1153366 WITH SCORE 1163789.525
AT ITER 8633 NEW BEST:: SOT 27497465 SOS 10423455 HAS SOPS 10423455 HAS SOUS 1153296 HAS SOUPS 1153296 WITH SCORE 1163719.455
AT ITER 8654 NEW BEST:: SOT 27090997 SOS 10230682 HAS SOPS 10230682 HAS SOUS 757688 HAS SOUPS 757688 WITH SCORE 767918.682
AT ITER 8674 NEW BEST:: SOT 27090996 SOS 10230680 HAS SOPS 10230680 HAS SOUS 757686 HAS SOUPS 757686 WITH SCORE 767916.68
AT ITER 8725 NEW BEST:: SOT 27090996 SOS 10230680 HAS SOPS 10230680 HAS SOUS 757522 HAS SOUPS 757522 WITH SCORE 767752.68
AT ITER 8727 NEW BEST:: SOT 27090954 SOS 10230596 HAS SOPS 10230596 HAS SOUS 757438 HAS SOUPS 757438 WITH SCORE 767668.596
AT ITER 8747 NEW BEST:: SOT 27090948 SOS 10230584 HAS SOPS 10230584 HAS SOUS 757426 HAS SOUPS 757426 WITH SCORE 767656.584
AT ITER 8751 NEW BEST:: SOT 27090947 SOS 10230582 HAS SOPS 10230582 HAS SOUS 757424 HAS SOUPS 757424 WITH SCORE 767654.582
AT ITER 8755 NEW BEST:: SOT 27090920 SOS 10230528 HAS SOPS 10230528 HAS SOUS 757370 HAS SOUPS 757370 WITH SCORE 767600.528
AT ITER 8790 NEW BEST:: SOT 27090913 SOS 10230387 HAS SOPS 10230387 HAS SOUS 757356 HAS SOUPS 757356 WITH SCORE 767586.387
AT ITER 8798 NEW BEST:: SOT 27090912 SOS 10230286 HAS SOPS 10230286 HAS SOUS 757354 HAS SOUPS 757354 WITH SCORE 767584.286
AT ITER 8799 NEW BEST:: SOT 27090830 SOS 10230122 HAS SOPS 10230122 HAS SOUS 757190 HAS SOUPS 757190 WITH SCORE 767420.122
AT ITER 8806 NEW BEST:: SOT 27090815 SOS 10230092 HAS SOPS 10230092 HAS SOUS 757175 HAS SOUPS 757175 WITH SCORE 767405.092
AT ITER 8808 NEW BEST:: SOT 27090664 SOS 10229790 HAS SOPS 10229790 HAS SOUS 756873 HAS SOUPS 756873 WITH SCORE 767102.79
AT ITER 8818 NEW BEST:: SOT 27090572 SOS 10229606 HAS SOPS 10229606 HAS SOUS 756656 HAS SOUPS 756656 WITH SCORE 766885.606
AT ITER 8825 NEW BEST:: SOT 27090528 SOS 10229562 HAS SOPS 10229562 HAS SOUS 756612 HAS SOUPS 756612 WITH SCORE 766841.562
AT ITER 8870 NEW BEST:: SOT 27090527 SOS 10229554 HAS SOPS 10229554 HAS SOUS 756610 HAS SOUPS 756610 WITH SCORE 766839.554
AT ITER 8871 NEW BEST:: SOT 27090423 SOS 10229346 HAS SOPS 10229346 HAS SOUS 756402 HAS SOUPS 756402 WITH SCORE 766631.346
AT ITER 8887 NEW BEST:: SOT 27090318 SOS 10229136 HAS SOPS 10229136 HAS SOUS 756192 HAS SOUPS 756192 WITH SCORE 766421.136
AT ITER 8897 NEW BEST:: SOT 27090317 SOS 10228943 HAS SOPS 10228943 HAS SOUS 756190 HAS SOUPS 756190 WITH SCORE 766418.943
AT ITER 8929 NEW BEST:: SOT 27090317 SOS 10228877 HAS SOPS 10228877 HAS SOUS 756163 HAS SOUPS 756163 WITH SCORE 766391.877
AT ITER 8981 NEW BEST:: SOT 27090241 SOS 10228725 HAS SOPS 10228725 HAS SOUS 756011 HAS SOUPS 756011 WITH SCORE 766239.725
AT ITER 9048 NEW BEST:: SOT 27090128 SOS 10228499 HAS SOPS 10228499 HAS SOUS 755785 HAS SOUPS 755785 WITH SCORE 766013.499
AT ITER 9060 NEW BEST:: SOT 27090091 SOS 10228425 HAS SOPS 10228425 HAS SOUS 755748 HAS SOUPS 755748 WITH SCORE 765976.425
AT ITER 9101 NEW BEST:: SOT 27090090 SOS 10228423 HAS SOPS 10228423 HAS SOUS 755747 HAS SOUPS 755747 WITH SCORE 765975.423
AT ITER 9110 NEW BEST:: SOT 27090089 SOS 10228421 HAS SOPS 10228421 HAS SOUS 755745 HAS SOUPS 755745 WITH SCORE 765973.421
AT ITER 9117 NEW BEST:: SOT 27090037 SOS 10228317 HAS SOPS 10228317 HAS SOUS 755677 HAS SOUPS 755677 WITH SCORE 765905.317
AT ITER 9129 NEW BEST:: SOT 27089996 SOS 10228029 HAS SOPS 10228029 HAS SOUS 755533 HAS SOUPS 755533 WITH SCORE 765761.029
AT ITER 9179 NEW BEST:: SOT 27089965 SOS 10227967 HAS SOPS 10227967 HAS SOUS 755471 HAS SOUPS 755471 WITH SCORE 765698.967
AT ITER 9210 NEW BEST:: SOT 27089962 SOS 10227961 HAS SOPS 10227961 HAS SOUS 755465 HAS SOUPS 755465 WITH SCORE 765692.961
AT ITER 9225 NEW BEST:: SOT 27089886 SOS 10227809 HAS SOPS 10227809 HAS SOUS 755313 HAS SOUPS 755313 WITH SCORE 765540.809
AT ITER 9271 NEW BEST:: SOT 27089815 SOS 10227667 HAS SOPS 10227667 HAS SOUS 755171 HAS SOUPS 755171 WITH SCORE 765398.667
AT ITER 9317 NEW BEST:: SOT 27089804 SOS 10227645 HAS SOPS 10227645 HAS SOUS 755160 HAS SOUPS 755160 WITH SCORE 765387.645
AT ITER 9320 NEW BEST:: SOT 27089581 SOS 10227362 HAS SOPS 10227362 HAS SOUS 754869 HAS SOUPS 754869 WITH SCORE 765096.362
AT ITER 9331 NEW BEST:: SOT 27089570 SOS 10227340 HAS SOPS 10227340 HAS SOUS 754847 HAS SOUPS 754847 WITH SCORE 765074.34
AT ITER 9340 NEW BEST:: SOT 27089517 SOS 10227139 HAS SOPS 10227139 HAS SOUS 754727 HAS SOUPS 754727 WITH SCORE 764954.139
AT ITER 9352 NEW BEST:: SOT 27089363 SOS 10226831 HAS SOPS 10226831 HAS SOUS 754573 HAS SOUPS 754573 WITH SCORE 764799.831
AT ITER 9401 NEW BEST:: SOT 27089352 SOS 10226809 HAS SOPS 10226809 HAS SOUS 754551 HAS SOUPS 754551 WITH SCORE 764777.809
AT ITER 9426 NEW BEST:: SOT 27089359 SOS 10226763 HAS SOPS 10226763 HAS SOUS 754505 HAS SOUPS 754505 WITH SCORE 764731.763
AT ITER 9432 NEW BEST:: SOT 27089333 SOS 10226711 HAS SOPS 10226711 HAS SOUS 754453 HAS SOUPS 754453 WITH SCORE 764679.711
AT ITER 9454 NEW BEST:: SOT 27089184 SOS 10226410 HAS SOPS 10226410 HAS SOUS 754152 HAS SOUPS 754152 WITH SCORE 764378.41
AT ITER 9471 NEW BEST:: SOT 27089173 SOS 10226388 HAS SOPS 10226388 HAS SOUS 754130 HAS SOUPS 754130 WITH SCORE 764356.388
AT ITER 9497 NEW BEST:: SOT 27089173 SOS 10226388 HAS SOPS 10226388 HAS SOUS 753958 HAS SOUPS 753958 WITH SCORE 764184.388
AT ITER 9510 NEW BEST:: SOT 27089160 SOS 10226362 HAS SOPS 10226362 HAS SOUS 753932 HAS SOUPS 753932 WITH SCORE 764158.362
AT ITER 9529 NEW BEST:: SOT 27088935 SOS 10225912 HAS SOPS 10225912 HAS SOUS 753709 HAS SOUPS 753709 WITH SCORE 763934.912
AT ITER 9545 NEW BEST:: SOT 27088935 SOS 10225912 HAS SOPS 10225912 HAS SOUS 753616 HAS SOUPS 753616 WITH SCORE 763841.912
AT ITER 9605 NEW BEST:: SOT 27088801 SOS 10225644 HAS SOPS 10225644 HAS SOUS 753348 HAS SOUPS 753348 WITH SCORE 763573.644
AT ITER 9620 NEW BEST:: SOT 27088763 SOS 10225568 HAS SOPS 10225568 HAS SOUS 753272 HAS SOUPS 753272 WITH SCORE 763497.568
AT ITER 9651 NEW BEST:: SOT 27088310 SOS 10224662 HAS SOPS 10224662 HAS SOUS 752819 HAS SOUPS 752819 WITH SCORE 763043.662
AT ITER 9664 NEW BEST:: SOT 27088157 SOS 10224375 HAS SOPS 10224375 HAS SOUS 752532 HAS SOUPS 752532 WITH SCORE 762756.375
AT ITER 9676 NEW BEST:: SOT 27088008 SOS 10224077 HAS SOPS 10224077 HAS SOUS 752383 HAS SOUPS 752383 WITH SCORE 762607.077
AT ITER 9695 NEW BEST:: SOT 27087925 SOS 10223911 HAS SOPS 10223911 HAS SOUS 752300 HAS SOUPS 752300 WITH SCORE 762523.911
AT ITER 9748 NEW BEST:: SOT 27087899 SOS 10223740 HAS SOPS 10223740 HAS SOUS 752129 HAS SOUPS 752129 WITH SCORE 762352.74
AT ITER 9772 NEW BEST:: SOT 27087824 SOS 10223590 HAS SOPS 10223590 HAS SOUS 751979 HAS SOUPS 751979 WITH SCORE 762202.59
AT ITER 9787 NEW BEST:: SOT 27087823 SOS 10223588 HAS SOPS 10223588 HAS SOUS 751977 HAS SOUPS 751977 WITH SCORE 762200.588
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15218980 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16091088 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
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyCommit-PT-07b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is StigmergyCommit-PT-07b, 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-167912651300488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-07b.tgz
mv StigmergyCommit-PT-07b 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 ;