About the Execution of Smart+red for CloudReconfiguration-PT-319
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3785.367 | 3600000.00 | 3640433.00 | 8803.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r107-tall-167814483800152.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 CloudReconfiguration-PT-319, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483800152
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.6K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 661K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678339937907
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=CloudReconfiguration-PT-319
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 05:32:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 05:32:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 05:32:19] [INFO ] Load time of PNML (sax parser for PT used): 115 ms
[2023-03-09 05:32:19] [INFO ] Transformed 2587 places.
[2023-03-09 05:32:19] [INFO ] Transformed 3099 transitions.
[2023-03-09 05:32:19] [INFO ] Found NUPN structural information;
[2023-03-09 05:32:19] [INFO ] Parsed PT model containing 2587 places and 3099 transitions and 6479 arcs in 191 ms.
[2023-03-09 05:32:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2587 places, 3099 transitions and 6479 arcs took 25 ms.
Total runtime 243 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 319
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458368 SOS 744475 HAS SOPS 744475 HAS SOUS 686763 HAS SOUPS 686763 WITH SCORE 687507.475
AT ITER 57 NEW BEST:: SOT 4458252 SOS 744385 HAS SOPS 744385 HAS SOUS 686673 HAS SOUPS 686673 WITH SCORE 687417.385
AT ITER 62 NEW BEST:: SOT 4458166 SOS 744893 HAS SOPS 744893 HAS SOUS 686632 HAS SOUPS 686632 WITH SCORE 687376.893
AT ITER 65 NEW BEST:: SOT 4458166 SOS 744726 HAS SOPS 744726 HAS SOUS 686632 HAS SOUPS 686632 WITH SCORE 687376.726
AT ITER 90 NEW BEST:: SOT 4458166 SOS 744450 HAS SOPS 744450 HAS SOUS 686494 HAS SOUPS 686494 WITH SCORE 687238.45
AT ITER 96 NEW BEST:: SOT 4457842 SOS 744234 HAS SOPS 744234 HAS SOUS 686207 HAS SOUPS 686207 WITH SCORE 686951.234
AT ITER 108 NEW BEST:: SOT 4457322 SOS 744274 HAS SOPS 744274 HAS SOUS 685698 HAS SOUPS 685698 WITH SCORE 686442.274
AT ITER 117 NEW BEST:: SOT 4457261 SOS 744232 HAS SOPS 744232 HAS SOUS 685656 HAS SOUPS 685656 WITH SCORE 686400.232
AT ITER 136 NEW BEST:: SOT 4457284 SOS 744278 HAS SOPS 744278 HAS SOUS 685650 HAS SOUPS 685650 WITH SCORE 686394.278
AT ITER 143 NEW BEST:: SOT 4457239 SOS 744188 HAS SOPS 744188 HAS SOUS 685560 HAS SOUPS 685560 WITH SCORE 686304.188
AT ITER 202 NEW BEST:: SOT 4457052 SOS 744001 HAS SOPS 744001 HAS SOUS 685373 HAS SOUPS 685373 WITH SCORE 686117.001
AT ITER 212 NEW BEST:: SOT 4457203 SOS 743961 HAS SOPS 743961 HAS SOUS 685364 HAS SOUPS 685364 WITH SCORE 686107.961
AT ITER 219 NEW BEST:: SOT 4457167 SOS 743925 HAS SOPS 743925 HAS SOUS 685328 HAS SOUPS 685328 WITH SCORE 686071.925
AT ITER 232 NEW BEST:: SOT 4457166 SOS 743923 HAS SOPS 743923 HAS SOUS 685326 HAS SOUPS 685326 WITH SCORE 686069.923
AT ITER 247 NEW BEST:: SOT 4456982 SOS 743555 HAS SOPS 743555 HAS SOUS 684958 HAS SOUPS 684958 WITH SCORE 685701.555
AT ITER 275 NEW BEST:: SOT 4456728 SOS 743301 HAS SOPS 743301 HAS SOUS 684704 HAS SOUPS 684704 WITH SCORE 685447.301
AT ITER 290 NEW BEST:: SOT 4456728 SOS 743301 HAS SOPS 743301 HAS SOUS 684596 HAS SOUPS 684596 WITH SCORE 685339.301
AT ITER 291 NEW BEST:: SOT 4456710 SOS 743265 HAS SOPS 743265 HAS SOUS 684560 HAS SOUPS 684560 WITH SCORE 685303.265
AT ITER 292 NEW BEST:: SOT 4456478 SOS 743033 HAS SOPS 743033 HAS SOUS 684328 HAS SOUPS 684328 WITH SCORE 685071.033
AT ITER 315 NEW BEST:: SOT 4456489 SOS 743055 HAS SOPS 743055 HAS SOUS 683976 HAS SOUPS 683976 WITH SCORE 684719.055
AT ITER 322 NEW BEST:: SOT 4456585 SOS 743084 HAS SOPS 743084 HAS SOUS 683627 HAS SOUPS 683627 WITH SCORE 684370.084
AT ITER 331 NEW BEST:: SOT 4456486 SOS 742886 HAS SOPS 742886 HAS SOUS 683429 HAS SOUPS 683429 WITH SCORE 684171.886
AT ITER 402 NEW BEST:: SOT 4456486 SOS 742886 HAS SOPS 742886 HAS SOUS 683428 HAS SOUPS 683428 WITH SCORE 684170.886
AT ITER 424 NEW BEST:: SOT 4456391 SOS 742510 HAS SOPS 742510 HAS SOUS 683156 HAS SOUPS 683156 WITH SCORE 683898.51
AT ITER 425 NEW BEST:: SOT 4456391 SOS 742216 HAS SOPS 742216 HAS SOUS 683156 HAS SOUPS 683156 WITH SCORE 683898.216
AT ITER 477 NEW BEST:: SOT 4456169 SOS 741994 HAS SOPS 741994 HAS SOUS 682934 HAS SOUPS 682934 WITH SCORE 683675.994
AT ITER 478 NEW BEST:: SOT 4455787 SOS 742114 HAS SOPS 742114 HAS SOUS 682625 HAS SOUPS 682625 WITH SCORE 683367.114
AT ITER 497 NEW BEST:: SOT 4455701 SOS 741942 HAS SOPS 741942 HAS SOUS 682453 HAS SOUPS 682453 WITH SCORE 683194.942
AT ITER 520 NEW BEST:: SOT 4455663 SOS 741866 HAS SOPS 741866 HAS SOUS 682415 HAS SOUPS 682415 WITH SCORE 683156.866
AT ITER 572 NEW BEST:: SOT 4455447 SOS 741693 HAS SOPS 741693 HAS SOUS 682242 HAS SOUPS 682242 WITH SCORE 682983.693
AT ITER 573 NEW BEST:: SOT 4455447 SOS 741594 HAS SOPS 741594 HAS SOUS 682242 HAS SOUPS 682242 WITH SCORE 682983.594
AT ITER 596 NEW BEST:: SOT 4455403 SOS 741576 HAS SOPS 741576 HAS SOUS 682194 HAS SOUPS 682194 WITH SCORE 682935.576
AT ITER 609 NEW BEST:: SOT 4455334 SOS 741587 HAS SOPS 741587 HAS SOUS 682162 HAS SOUPS 682162 WITH SCORE 682903.587
AT ITER 643 NEW BEST:: SOT 4455196 SOS 741449 HAS SOPS 741449 HAS SOUS 682024 HAS SOUPS 682024 WITH SCORE 682765.449
AT ITER 646 NEW BEST:: SOT 4455061 SOS 741314 HAS SOPS 741314 HAS SOUS 681889 HAS SOUPS 681889 WITH SCORE 682630.314
AT ITER 686 NEW BEST:: SOT 4454943 SOS 741078 HAS SOPS 741078 HAS SOUS 681653 HAS SOUPS 681653 WITH SCORE 682394.078
AT ITER 701 NEW BEST:: SOT 4455102 SOS 741078 HAS SOPS 741078 HAS SOUS 681652 HAS SOUPS 681652 WITH SCORE 682393.078
AT ITER 705 NEW BEST:: SOT 4455358 SOS 741135 HAS SOPS 741135 HAS SOUS 681521 HAS SOUPS 681521 WITH SCORE 682262.135
AT ITER 706 NEW BEST:: SOT 4454739 SOS 741092 HAS SOPS 741092 HAS SOUS 681141 HAS SOUPS 681141 WITH SCORE 681882.092
AT ITER 717 NEW BEST:: SOT 4454651 SOS 740916 HAS SOPS 740916 HAS SOUS 680909 HAS SOUPS 680909 WITH SCORE 681649.916
AT ITER 720 NEW BEST:: SOT 4454384 SOS 740897 HAS SOPS 740897 HAS SOUS 680744 HAS SOUPS 680744 WITH SCORE 681484.897
AT ITER 742 NEW BEST:: SOT 4454026 SOS 740539 HAS SOPS 740539 HAS SOUS 680386 HAS SOUPS 680386 WITH SCORE 681126.539
AT ITER 746 NEW BEST:: SOT 4453161 SOS 762835 HAS SOPS 762835 HAS SOUS 680254 HAS SOUPS 680254 WITH SCORE 681016.835
AT ITER 747 NEW BEST:: SOT 4453058 SOS 762629 HAS SOPS 762629 HAS SOUS 680048 HAS SOUPS 680048 WITH SCORE 680810.629
AT ITER 804 NEW BEST:: SOT 4452886 SOS 762475 HAS SOPS 762475 HAS SOUS 679686 HAS SOUPS 679686 WITH SCORE 680448.475
AT ITER 840 NEW BEST:: SOT 4453129 SOS 762315 HAS SOPS 762315 HAS SOUS 679605 HAS SOUPS 679605 WITH SCORE 680367.315
AT ITER 849 NEW BEST:: SOT 4453010 SOS 761730 HAS SOPS 761730 HAS SOUS 679025 HAS SOUPS 679025 WITH SCORE 679786.73
AT ITER 853 NEW BEST:: SOT 4452885 SOS 761355 HAS SOPS 761355 HAS SOUS 678776 HAS SOUPS 678776 WITH SCORE 679537.355
AT ITER 855 NEW BEST:: SOT 4452828 SOS 761298 HAS SOPS 761298 HAS SOUS 678774 HAS SOUPS 678774 WITH SCORE 679535.298
AT ITER 878 NEW BEST:: SOT 4452547 SOS 761097 HAS SOPS 761097 HAS SOUS 678315 HAS SOUPS 678315 WITH SCORE 679076.097
AT ITER 895 NEW BEST:: SOT 4452250 SOS 760503 HAS SOPS 760503 HAS SOUS 677721 HAS SOUPS 677721 WITH SCORE 678481.503
AT ITER 920 NEW BEST:: SOT 4452040 SOS 760083 HAS SOPS 760083 HAS SOUS 677511 HAS SOUPS 677511 WITH SCORE 678271.083
AT ITER 936 NEW BEST:: SOT 4451896 SOS 760137 HAS SOPS 760137 HAS SOUS 677396 HAS SOUPS 677396 WITH SCORE 678156.137
AT ITER 973 NEW BEST:: SOT 4451453 SOS 759979 HAS SOPS 759979 HAS SOUS 677102 HAS SOUPS 677102 WITH SCORE 677861.979
AT ITER 991 NEW BEST:: SOT 4451372 SOS 759857 HAS SOPS 759857 HAS SOUS 676980 HAS SOUPS 676980 WITH SCORE 677739.857
AT ITER 996 NEW BEST:: SOT 4451372 SOS 759713 HAS SOPS 759713 HAS SOUS 676980 HAS SOUPS 676980 WITH SCORE 677739.713
AT ITER 1028 NEW BEST:: SOT 4451174 SOS 759317 HAS SOPS 759317 HAS SOUS 676584 HAS SOUPS 676584 WITH SCORE 677343.317
AT ITER 1037 NEW BEST:: SOT 4451303 SOS 759274 HAS SOPS 759274 HAS SOUS 676412 HAS SOUPS 676412 WITH SCORE 677171.274
AT ITER 1055 NEW BEST:: SOT 4451141 SOS 759129 HAS SOPS 759129 HAS SOUS 676258 HAS SOUPS 676258 WITH SCORE 677017.129
AT ITER 1079 NEW BEST:: SOT 4450995 SOS 758837 HAS SOPS 758837 HAS SOUS 675966 HAS SOUPS 675966 WITH SCORE 676724.837
AT ITER 1099 NEW BEST:: SOT 4451016 SOS 758811 HAS SOPS 758811 HAS SOUS 675940 HAS SOUPS 675940 WITH SCORE 676698.811
AT ITER 1111 NEW BEST:: SOT 4451031 SOS 758841 HAS SOPS 758841 HAS SOUS 675933 HAS SOUPS 675933 WITH SCORE 676691.841
AT ITER 1115 NEW BEST:: SOT 4450917 SOS 758670 HAS SOPS 758670 HAS SOUS 675762 HAS SOUPS 675762 WITH SCORE 676520.67
AT ITER 1131 NEW BEST:: SOT 4450741 SOS 758022 HAS SOPS 758022 HAS SOUS 675361 HAS SOUPS 675361 WITH SCORE 676119.022
AT ITER 1144 NEW BEST:: SOT 4451166 SOS 757906 HAS SOPS 757906 HAS SOUS 675360 HAS SOUPS 675360 WITH SCORE 676117.906
AT ITER 1179 NEW BEST:: SOT 4451143 SOS 757860 HAS SOPS 757860 HAS SOUS 675314 HAS SOUPS 675314 WITH SCORE 676071.86
AT ITER 1184 NEW BEST:: SOT 4451054 SOS 757944 HAS SOPS 757944 HAS SOUS 675197 HAS SOUPS 675197 WITH SCORE 675954.944
AT ITER 1198 NEW BEST:: SOT 4451005 SOS 757846 HAS SOPS 757846 HAS SOUS 675099 HAS SOUPS 675099 WITH SCORE 675856.846
AT ITER 1216 NEW BEST:: SOT 4450585 SOS 757426 HAS SOPS 757426 HAS SOUS 674679 HAS SOUPS 674679 WITH SCORE 675436.426
AT ITER 1230 NEW BEST:: SOT 4450259 SOS 757087 HAS SOPS 757087 HAS SOUS 674040 HAS SOUPS 674040 WITH SCORE 674797.087
AT ITER 1236 NEW BEST:: SOT 4450279 SOS 756781 HAS SOPS 756781 HAS SOUS 673907 HAS SOUPS 673907 WITH SCORE 674663.781
AT ITER 1251 NEW BEST:: SOT 4450279 SOS 756781 HAS SOPS 756781 HAS SOUS 673579 HAS SOUPS 673579 WITH SCORE 674335.781
AT ITER 1254 NEW BEST:: SOT 4450279 SOS 756592 HAS SOPS 756592 HAS SOUS 673511 HAS SOUPS 673511 WITH SCORE 674267.592
AT ITER 1263 NEW BEST:: SOT 4450279 SOS 756592 HAS SOPS 756592 HAS SOUS 673484 HAS SOUPS 673484 WITH SCORE 674240.592
AT ITER 1265 NEW BEST:: SOT 4450105 SOS 756614 HAS SOPS 756614 HAS SOUS 673359 HAS SOUPS 673359 WITH SCORE 674115.614
AT ITER 1283 NEW BEST:: SOT 4450056 SOS 756565 HAS SOPS 756565 HAS SOUS 673310 HAS SOUPS 673310 WITH SCORE 674066.565
AT ITER 1285 NEW BEST:: SOT 4449774 SOS 756283 HAS SOPS 756283 HAS SOUS 673269 HAS SOUPS 673269 WITH SCORE 674025.283
AT ITER 1300 NEW BEST:: SOT 4449744 SOS 756251 HAS SOPS 756251 HAS SOUS 673237 HAS SOUPS 673237 WITH SCORE 673993.251
AT ITER 1307 NEW BEST:: SOT 4449551 SOS 755865 HAS SOPS 755865 HAS SOUS 672851 HAS SOUPS 672851 WITH SCORE 673606.865
AT ITER 1338 NEW BEST:: SOT 4449468 SOS 755826 HAS SOPS 755826 HAS SOUS 672768 HAS SOUPS 672768 WITH SCORE 673523.826
AT ITER 1343 NEW BEST:: SOT 4449468 SOS 755826 HAS SOPS 755826 HAS SOUS 672737 HAS SOUPS 672737 WITH SCORE 673492.826
AT ITER 1355 NEW BEST:: SOT 4448814 SOS 755182 HAS SOPS 755182 HAS SOUS 672093 HAS SOUPS 672093 WITH SCORE 672848.182
AT ITER 1356 NEW BEST:: SOT 4448918 SOS 755095 HAS SOPS 755095 HAS SOUS 671865 HAS SOUPS 671865 WITH SCORE 672620.095
AT ITER 1378 NEW BEST:: SOT 4448761 SOS 755056 HAS SOPS 755056 HAS SOUS 671779 HAS SOUPS 671779 WITH SCORE 672534.056
AT ITER 1381 NEW BEST:: SOT 4448760 SOS 755054 HAS SOPS 755054 HAS SOUS 671777 HAS SOUPS 671777 WITH SCORE 672532.054
AT ITER 1394 NEW BEST:: SOT 4448694 SOS 754922 HAS SOPS 754922 HAS SOUS 671645 HAS SOUPS 671645 WITH SCORE 672399.922
AT ITER 1401 NEW BEST:: SOT 4448692 SOS 754918 HAS SOPS 754918 HAS SOUS 671641 HAS SOUPS 671641 WITH SCORE 672395.918
AT ITER 1405 NEW BEST:: SOT 4448574 SOS 754682 HAS SOPS 754682 HAS SOUS 671405 HAS SOUPS 671405 WITH SCORE 672159.682
AT ITER 1448 NEW BEST:: SOT 4448405 SOS 754344 HAS SOPS 754344 HAS SOUS 671067 HAS SOUPS 671067 WITH SCORE 671821.344
AT ITER 1449 NEW BEST:: SOT 4447702 SOS 753878 HAS SOPS 753878 HAS SOUS 670218 HAS SOUPS 670218 WITH SCORE 670971.878
AT ITER 1461 NEW BEST:: SOT 4447683 SOS 753840 HAS SOPS 753840 HAS SOUS 669824 HAS SOUPS 669824 WITH SCORE 670577.84
AT ITER 1468 NEW BEST:: SOT 4447657 SOS 753646 HAS SOPS 753646 HAS SOUS 669630 HAS SOUPS 669630 WITH SCORE 670383.646
AT ITER 1469 NEW BEST:: SOT 4447483 SOS 753298 HAS SOPS 753298 HAS SOUS 669282 HAS SOUPS 669282 WITH SCORE 670035.298
AT ITER 1477 NEW BEST:: SOT 4447393 SOS 753118 HAS SOPS 753118 HAS SOUS 669102 HAS SOUPS 669102 WITH SCORE 669855.118
AT ITER 1523 NEW BEST:: SOT 4447232 SOS 752796 HAS SOPS 752796 HAS SOUS 668941 HAS SOUPS 668941 WITH SCORE 669693.796
AT ITER 1537 NEW BEST:: SOT 4447134 SOS 752795 HAS SOPS 752795 HAS SOUS 668897 HAS SOUPS 668897 WITH SCORE 669649.795
AT ITER 1550 NEW BEST:: SOT 4445655 SOS 768539 HAS SOPS 768539 HAS SOUS 668853 HAS SOUPS 668853 WITH SCORE 669621.539
AT ITER 1598 NEW BEST:: SOT 4445443 SOS 767637 HAS SOPS 767637 HAS SOUS 668208 HAS SOUPS 668208 WITH SCORE 668975.637
AT ITER 1614 NEW BEST:: SOT 4445651 SOS 767455 HAS SOPS 767455 HAS SOUS 668117 HAS SOUPS 668117 WITH SCORE 668884.455
AT ITER 1621 NEW BEST:: SOT 4445524 SOS 766994 HAS SOPS 766994 HAS SOUS 667783 HAS SOUPS 667783 WITH SCORE 668549.994
AT ITER 1645 NEW BEST:: SOT 4445532 SOS 766818 HAS SOPS 766818 HAS SOUS 667695 HAS SOUPS 667695 WITH SCORE 668461.818
AT ITER 1648 NEW BEST:: SOT 4445531 SOS 766816 HAS SOPS 766816 HAS SOUS 667693 HAS SOUPS 667693 WITH SCORE 668459.816
AT ITER 1667 NEW BEST:: SOT 4444503 SOS 767061 HAS SOPS 767061 HAS SOUS 667109 HAS SOUPS 667109 WITH SCORE 667876.061
AT ITER 1669 NEW BEST:: SOT 4444236 SOS 766335 HAS SOPS 766335 HAS SOUS 666574 HAS SOUPS 666574 WITH SCORE 667340.335
AT ITER 1671 NEW BEST:: SOT 4444209 SOS 766308 HAS SOPS 766308 HAS SOUS 666547 HAS SOUPS 666547 WITH SCORE 667313.308
AT ITER 1678 NEW BEST:: SOT 4444018 SOS 765926 HAS SOPS 765926 HAS SOUS 666356 HAS SOUPS 666356 WITH SCORE 667121.926
AT ITER 1696 NEW BEST:: SOT 4443909 SOS 766244 HAS SOPS 766244 HAS SOUS 666303 HAS SOUPS 666303 WITH SCORE 667069.244
AT ITER 1739 NEW BEST:: SOT 4443842 SOS 766110 HAS SOPS 766110 HAS SOUS 666236 HAS SOUPS 666236 WITH SCORE 667002.11
AT ITER 1746 NEW BEST:: SOT 4443799 SOS 766024 HAS SOPS 766024 HAS SOUS 666141 HAS SOUPS 666141 WITH SCORE 666907.024
AT ITER 1770 NEW BEST:: SOT 4443623 SOS 765672 HAS SOPS 765672 HAS SOUS 665965 HAS SOUPS 665965 WITH SCORE 666730.672
AT ITER 1815 NEW BEST:: SOT 4443496 SOS 765560 HAS SOPS 765560 HAS SOUS 665838 HAS SOUPS 665838 WITH SCORE 666603.56
AT ITER 1829 NEW BEST:: SOT 4443825 SOS 765124 HAS SOPS 765124 HAS SOUS 665760 HAS SOUPS 665760 WITH SCORE 666525.124
AT ITER 1830 NEW BEST:: SOT 4443405 SOS 764704 HAS SOPS 764704 HAS SOUS 665419 HAS SOUPS 665419 WITH SCORE 666183.704
AT ITER 1832 NEW BEST:: SOT 4443241 SOS 764540 HAS SOPS 764540 HAS SOUS 665255 HAS SOUPS 665255 WITH SCORE 666019.54
AT ITER 1853 NEW BEST:: SOT 4443346 SOS 764750 HAS SOPS 764750 HAS SOUS 665000 HAS SOUPS 665000 WITH SCORE 665764.75
AT ITER 1898 NEW BEST:: SOT 4443346 SOS 764454 HAS SOPS 764454 HAS SOUS 664852 HAS SOUPS 664852 WITH SCORE 665616.454
AT ITER 1907 NEW BEST:: SOT 4443275 SOS 764241 HAS SOPS 764241 HAS SOUS 664781 HAS SOUPS 664781 WITH SCORE 665545.241
AT ITER 1922 NEW BEST:: SOT 4442664 SOS 764467 HAS SOPS 764467 HAS SOUS 664314 HAS SOUPS 664314 WITH SCORE 665078.467
AT ITER 1981 NEW BEST:: SOT 4438051 SOS 803373 HAS SOPS 803373 HAS SOUS 661185 HAS SOUPS 661185 WITH SCORE 661988.373
AT ITER 2032 NEW BEST:: SOT 4437978 SOS 803056 HAS SOPS 803056 HAS SOUS 660941 HAS SOUPS 660941 WITH SCORE 661744.056
AT ITER 2036 NEW BEST:: SOT 4437978 SOS 803024 HAS SOPS 803024 HAS SOUS 660909 HAS SOUPS 660909 WITH SCORE 661712.024
AT ITER 2048 NEW BEST:: SOT 4437939 SOS 802819 HAS SOPS 802819 HAS SOUS 660743 HAS SOUPS 660743 WITH SCORE 661545.819
AT ITER 2055 NEW BEST:: SOT 4437739 SOS 802419 HAS SOPS 802419 HAS SOUS 660343 HAS SOUPS 660343 WITH SCORE 661145.419
AT ITER 2058 NEW BEST:: SOT 4437739 SOS 802419 HAS SOPS 802419 HAS SOUS 660342 HAS SOUPS 660342 WITH SCORE 661144.419
AT ITER 2066 NEW BEST:: SOT 4434601 SOS 803784 HAS SOPS 803784 HAS SOUS 658087 HAS SOUPS 658087 WITH SCORE 658890.784
AT ITER 2073 NEW BEST:: SOT 4434542 SOS 803666 HAS SOPS 803666 HAS SOUS 657969 HAS SOUPS 657969 WITH SCORE 658772.666
AT ITER 2088 NEW BEST:: SOT 4434518 SOS 803618 HAS SOPS 803618 HAS SOUS 657921 HAS SOUPS 657921 WITH SCORE 658724.618
AT ITER 2094 NEW BEST:: SOT 4434518 SOS 803310 HAS SOPS 803310 HAS SOUS 657767 HAS SOUPS 657767 WITH SCORE 658570.31
AT ITER 2098 NEW BEST:: SOT 4434543 SOS 803360 HAS SOPS 803360 HAS SOUS 657741 HAS SOUPS 657741 WITH SCORE 658544.36
AT ITER 2128 NEW BEST:: SOT 4434308 SOS 802890 HAS SOPS 802890 HAS SOUS 657632 HAS SOUPS 657632 WITH SCORE 658434.89
AT ITER 2149 NEW BEST:: SOT 4434308 SOS 802890 HAS SOPS 802890 HAS SOUS 657620 HAS SOUPS 657620 WITH SCORE 658422.89
AT ITER 2212 NEW BEST:: SOT 4431589 SOS 833236 HAS SOPS 833236 HAS SOUS 655811 HAS SOUPS 655811 WITH SCORE 656644.236
AT ITER 2237 NEW BEST:: SOT 4431358 SOS 832774 HAS SOPS 832774 HAS SOUS 655349 HAS SOUPS 655349 WITH SCORE 656181.774
AT ITER 2260 NEW BEST:: SOT 4431696 SOS 832436 HAS SOPS 832436 HAS SOUS 655349 HAS SOUPS 655349 WITH SCORE 656181.436
AT ITER 2267 NEW BEST:: SOT 4431628 SOS 832300 HAS SOPS 832300 HAS SOUS 655213 HAS SOUPS 655213 WITH SCORE 656045.3
AT ITER 2274 NEW BEST:: SOT 4431498 SOS 832040 HAS SOPS 832040 HAS SOUS 655083 HAS SOUPS 655083 WITH SCORE 655915.04
AT ITER 2285 NEW BEST:: SOT 4431396 SOS 832040 HAS SOPS 832040 HAS SOUS 654879 HAS SOUPS 654879 WITH SCORE 655711.04
AT ITER 2311 NEW BEST:: SOT 4431211 SOS 831908 HAS SOPS 831908 HAS SOUS 654731 HAS SOUPS 654731 WITH SCORE 655562.908
AT ITER 2333 NEW BEST:: SOT 4431192 SOS 831870 HAS SOPS 831870 HAS SOUS 654693 HAS SOUPS 654693 WITH SCORE 655524.87
AT ITER 2339 NEW BEST:: SOT 4430954 SOS 831394 HAS SOPS 831394 HAS SOUS 654455 HAS SOUPS 654455 WITH SCORE 655286.394
AT ITER 2341 NEW BEST:: SOT 4430954 SOS 831343 HAS SOPS 831343 HAS SOUS 654404 HAS SOUPS 654404 WITH SCORE 655235.343
AT ITER 2347 NEW BEST:: SOT 4430954 SOS 826639 HAS SOPS 826639 HAS SOUS 654404 HAS SOUPS 654404 WITH SCORE 655230.639
AT ITER 2351 NEW BEST:: SOT 4430881 SOS 826493 HAS SOPS 826493 HAS SOUS 654329 HAS SOUPS 654329 WITH SCORE 655155.493
AT ITER 2352 NEW BEST:: SOT 4430755 SOS 826241 HAS SOPS 826241 HAS SOUS 654077 HAS SOUPS 654077 WITH SCORE 654903.241
AT ITER 2384 NEW BEST:: SOT 4430728 SOS 826172 HAS SOPS 826172 HAS SOUS 654008 HAS SOUPS 654008 WITH SCORE 654834.172
AT ITER 2429 NEW BEST:: SOT 4430539 SOS 826150 HAS SOPS 826150 HAS SOUS 653986 HAS SOUPS 653986 WITH SCORE 654812.15
AT ITER 2449 NEW BEST:: SOT 4430495 SOS 826105 HAS SOPS 826105 HAS SOUS 653941 HAS SOUPS 653941 WITH SCORE 654767.105
AT ITER 2452 NEW BEST:: SOT 4430495 SOS 826045 HAS SOPS 826045 HAS SOUS 653941 HAS SOUPS 653941 WITH SCORE 654767.045
AT ITER 2454 NEW BEST:: SOT 4430309 SOS 826045 HAS SOPS 826045 HAS SOUS 653755 HAS SOUPS 653755 WITH SCORE 654581.045
AT ITER 2484 NEW BEST:: SOT 4430123 SOS 826145 HAS SOPS 826145 HAS SOUS 653704 HAS SOUPS 653704 WITH SCORE 654530.145
AT ITER 2505 NEW BEST:: SOT 4430074 SOS 825983 HAS SOPS 825983 HAS SOUS 653591 HAS SOUPS 653591 WITH SCORE 654416.983
AT ITER 2542 NEW BEST:: SOT 4430074 SOS 825899 HAS SOPS 825899 HAS SOUS 653507 HAS SOUPS 653507 WITH SCORE 654332.899
AT ITER 2641 NEW BEST:: SOT 4430073 SOS 825897 HAS SOPS 825897 HAS SOUS 653505 HAS SOUPS 653505 WITH SCORE 654330.897
AT ITER 2666 NEW BEST:: SOT 4430016 SOS 825819 HAS SOPS 825819 HAS SOUS 653412 HAS SOUPS 653412 WITH SCORE 654237.819
AT ITER 2677 NEW BEST:: SOT 4430014 SOS 825815 HAS SOPS 825815 HAS SOUS 653408 HAS SOUPS 653408 WITH SCORE 654233.815
AT ITER 2709 NEW BEST:: SOT 4429819 SOS 825425 HAS SOPS 825425 HAS SOUS 653018 HAS SOUPS 653018 WITH SCORE 653843.425
AT ITER 2772 NEW BEST:: SOT 4429819 SOS 825319 HAS SOPS 825319 HAS SOUS 652912 HAS SOUPS 652912 WITH SCORE 653737.319
AT ITER 2778 NEW BEST:: SOT 4429805 SOS 825291 HAS SOPS 825291 HAS SOUS 652884 HAS SOUPS 652884 WITH SCORE 653709.291
AT ITER 2792 NEW BEST:: SOT 4429747 SOS 825204 HAS SOPS 825204 HAS SOUS 652797 HAS SOUPS 652797 WITH SCORE 653622.204
AT ITER 2829 NEW BEST:: SOT 4429683 SOS 825076 HAS SOPS 825076 HAS SOUS 652733 HAS SOUPS 652733 WITH SCORE 653558.076
AT ITER 2841 NEW BEST:: SOT 4429682 SOS 825046 HAS SOPS 825046 HAS SOUS 652702 HAS SOUPS 652702 WITH SCORE 653527.046
AT ITER 2893 NEW BEST:: SOT 4429563 SOS 824808 HAS SOPS 824808 HAS SOUS 652464 HAS SOUPS 652464 WITH SCORE 653288.808
AT ITER 2924 NEW BEST:: SOT 4429319 SOS 824320 HAS SOPS 824320 HAS SOUS 651810 HAS SOUPS 651810 WITH SCORE 652634.32
AT ITER 2958 NEW BEST:: SOT 4429281 SOS 824244 HAS SOPS 824244 HAS SOUS 651772 HAS SOUPS 651772 WITH SCORE 652596.244
AT ITER 2978 NEW BEST:: SOT 4428462 SOS 822606 HAS SOPS 822606 HAS SOUS 650822 HAS SOUPS 650822 WITH SCORE 651644.606
AT ITER 2980 NEW BEST:: SOT 4428462 SOS 822606 HAS SOPS 822606 HAS SOUS 650715 HAS SOUPS 650715 WITH SCORE 651537.606
AT ITER 2990 NEW BEST:: SOT 4428126 SOS 822270 HAS SOPS 822270 HAS SOUS 650295 HAS SOUPS 650295 WITH SCORE 651117.27
AT ITER 3036 NEW BEST:: SOT 4427931 SOS 822118 HAS SOPS 822118 HAS SOUS 650247 HAS SOUPS 650247 WITH SCORE 651069.118
AT ITER 3054 NEW BEST:: SOT 4427915 SOS 822086 HAS SOPS 822086 HAS SOUS 650215 HAS SOUPS 650215 WITH SCORE 651037.086
AT ITER 3072 NEW BEST:: SOT 4427615 SOS 821486 HAS SOPS 821486 HAS SOUS 649615 HAS SOUPS 649615 WITH SCORE 650436.486
AT ITER 3093 NEW BEST:: SOT 4427588 SOS 821432 HAS SOPS 821432 HAS SOUS 649604 HAS SOUPS 649604 WITH SCORE 650425.432
AT ITER 3097 NEW BEST:: SOT 4427584 SOS 821424 HAS SOPS 821424 HAS SOUS 649596 HAS SOUPS 649596 WITH SCORE 650417.424
AT ITER 3117 NEW BEST:: SOT 4427433 SOS 821389 HAS SOPS 821389 HAS SOUS 649561 HAS SOUPS 649561 WITH SCORE 650382.389
AT ITER 3123 NEW BEST:: SOT 4427024 SOS 821203 HAS SOPS 821203 HAS SOUS 649083 HAS SOUPS 649083 WITH SCORE 649904.203
AT ITER 3125 NEW BEST:: SOT 4426826 SOS 820807 HAS SOPS 820807 HAS SOUS 648798 HAS SOUPS 648798 WITH SCORE 649618.807
AT ITER 3135 NEW BEST:: SOT 4426837 SOS 820787 HAS SOPS 820787 HAS SOUS 648779 HAS SOUPS 648779 WITH SCORE 649599.787
AT ITER 3156 NEW BEST:: SOT 4426738 SOS 820688 HAS SOPS 820688 HAS SOUS 648680 HAS SOUPS 648680 WITH SCORE 649500.688
AT ITER 3170 NEW BEST:: SOT 4426533 SOS 820278 HAS SOPS 820278 HAS SOUS 648475 HAS SOUPS 648475 WITH SCORE 649295.278
AT ITER 3184 NEW BEST:: SOT 4426469 SOS 820214 HAS SOPS 820214 HAS SOUS 648347 HAS SOUPS 648347 WITH SCORE 649167.214
AT ITER 3187 NEW BEST:: SOT 4426041 SOS 820114 HAS SOPS 820114 HAS SOUS 648247 HAS SOUPS 648247 WITH SCORE 649067.114
AT ITER 3232 NEW BEST:: SOT 4426088 SOS 820208 HAS SOPS 820208 HAS SOUS 648240 HAS SOUPS 648240 WITH SCORE 649060.208
AT ITER 3233 NEW BEST:: SOT 4425954 SOS 819940 HAS SOPS 819940 HAS SOUS 648106 HAS SOUPS 648106 WITH SCORE 648925.94
AT ITER 3270 NEW BEST:: SOT 4425795 SOS 819954 HAS SOPS 819954 HAS SOUS 647787 HAS SOUPS 647787 WITH SCORE 648606.954
AT ITER 3294 NEW BEST:: SOT 4425665 SOS 819824 HAS SOPS 819824 HAS SOUS 647657 HAS SOUPS 647657 WITH SCORE 648476.824
AT ITER 3354 NEW BEST:: SOT 4425635 SOS 819764 HAS SOPS 819764 HAS SOUS 647597 HAS SOUPS 647597 WITH SCORE 648416.764
AT ITER 3390 NEW BEST:: SOT 4425445 SOS 819588 HAS SOPS 819588 HAS SOUS 647345 HAS SOUPS 647345 WITH SCORE 648164.588
AT ITER 3402 NEW BEST:: SOT 4425228 SOS 819154 HAS SOPS 819154 HAS SOUS 647128 HAS SOUPS 647128 WITH SCORE 647947.154
AT ITER 3449 NEW BEST:: SOT 4425456 SOS 819000 HAS SOPS 819000 HAS SOUS 647121 HAS SOUPS 647121 WITH SCORE 647940.0
AT ITER 3450 NEW BEST:: SOT 4425374 SOS 818918 HAS SOPS 818918 HAS SOUS 647039 HAS SOUPS 647039 WITH SCORE 647857.918
AT ITER 3451 NEW BEST:: SOT 4425373 SOS 818916 HAS SOPS 818916 HAS SOUS 647037 HAS SOUPS 647037 WITH SCORE 647855.916
AT ITER 3470 NEW BEST:: SOT 4425684 SOS 819538 HAS SOPS 819538 HAS SOUS 646914 HAS SOUPS 646914 WITH SCORE 647733.538
AT ITER 3562 NEW BEST:: SOT 4425271 SOS 819258 HAS SOPS 819258 HAS SOUS 646547 HAS SOUPS 646547 WITH SCORE 647366.258
AT ITER 3616 NEW BEST:: SOT 4425239 SOS 819194 HAS SOPS 819194 HAS SOUS 646515 HAS SOUPS 646515 WITH SCORE 647334.194
AT ITER 3627 NEW BEST:: SOT 4425314 SOS 819081 HAS SOPS 819081 HAS SOUS 646402 HAS SOUPS 646402 WITH SCORE 647221.081
AT ITER 3640 NEW BEST:: SOT 4425453 SOS 818943 HAS SOPS 818943 HAS SOUS 646402 HAS SOUPS 646402 WITH SCORE 647220.943
AT ITER 3647 NEW BEST:: SOT 4425191 SOS 818419 HAS SOPS 818419 HAS SOUS 646332 HAS SOUPS 646332 WITH SCORE 647150.419
AT ITER 3651 NEW BEST:: SOT 4424823 SOS 817683 HAS SOPS 817683 HAS SOUS 646211 HAS SOUPS 646211 WITH SCORE 647028.683
AT ITER 3663 NEW BEST:: SOT 4424823 SOS 817749 HAS SOPS 817749 HAS SOUS 646145 HAS SOUPS 646145 WITH SCORE 646962.749
AT ITER 3665 NEW BEST:: SOT 4424823 SOS 817342 HAS SOPS 817342 HAS SOUS 646145 HAS SOUPS 646145 WITH SCORE 646962.342
AT ITER 3687 NEW BEST:: SOT 4424399 SOS 816934 HAS SOPS 816934 HAS SOUS 645721 HAS SOUPS 645721 WITH SCORE 646537.934
AT ITER 3696 NEW BEST:: SOT 4424372 SOS 816880 HAS SOPS 816880 HAS SOUS 645676 HAS SOUPS 645676 WITH SCORE 646492.88
AT ITER 3697 NEW BEST:: SOT 4424313 SOS 816821 HAS SOPS 816821 HAS SOUS 645617 HAS SOUPS 645617 WITH SCORE 646433.821
AT ITER 3792 NEW BEST:: SOT 4424355 SOS 816607 HAS SOPS 816607 HAS SOUS 645403 HAS SOUPS 645403 WITH SCORE 646219.607
AT ITER 3814 NEW BEST:: SOT 4424201 SOS 816453 HAS SOPS 816453 HAS SOUS 645249 HAS SOUPS 645249 WITH SCORE 646065.453
AT ITER 3823 NEW BEST:: SOT 4424314 SOS 816444 HAS SOPS 816444 HAS SOUS 645240 HAS SOUPS 645240 WITH SCORE 646056.444
AT ITER 3825 NEW BEST:: SOT 4424308 SOS 816432 HAS SOPS 816432 HAS SOUS 645228 HAS SOUPS 645228 WITH SCORE 646044.432
AT ITER 3893 NEW BEST:: SOT 4424308 SOS 816420 HAS SOPS 816420 HAS SOUS 645216 HAS SOUPS 645216 WITH SCORE 646032.42
AT ITER 3897 NEW BEST:: SOT 4424230 SOS 816264 HAS SOPS 816264 HAS SOUS 645066 HAS SOUPS 645066 WITH SCORE 645882.264
AT ITER 3915 NEW BEST:: SOT 4424337 SOS 816249 HAS SOPS 816249 HAS SOUS 645050 HAS SOUPS 645050 WITH SCORE 645866.249
AT ITER 3919 NEW BEST:: SOT 4424236 SOS 816047 HAS SOPS 816047 HAS SOUS 644848 HAS SOUPS 644848 WITH SCORE 645664.047
AT ITER 3943 NEW BEST:: SOT 4424211 SOS 816022 HAS SOPS 816022 HAS SOUS 644823 HAS SOUPS 644823 WITH SCORE 645639.022
AT ITER 3949 NEW BEST:: SOT 4423665 SOS 816582 HAS SOPS 816582 HAS SOUS 644516 HAS SOUPS 644516 WITH SCORE 645332.582
AT ITER 3958 NEW BEST:: SOT 4423501 SOS 816254 HAS SOPS 816254 HAS SOUS 644188 HAS SOUPS 644188 WITH SCORE 645004.254
AT ITER 3981 NEW BEST:: SOT 4423348 SOS 795868 HAS SOPS 795868 HAS SOUS 644035 HAS SOUPS 644035 WITH SCORE 644830.868
AT ITER 3993 NEW BEST:: SOT 4423149 SOS 795676 HAS SOPS 795676 HAS SOUS 643836 HAS SOUPS 643836 WITH SCORE 644631.676
AT ITER 3995 NEW BEST:: SOT 4423164 SOS 795706 HAS SOPS 795706 HAS SOUS 643780 HAS SOUPS 643780 WITH SCORE 644575.706
AT ITER 4001 NEW BEST:: SOT 4422708 SOS 795348 HAS SOPS 795348 HAS SOUS 643331 HAS SOUPS 643331 WITH SCORE 644126.348
AT ITER 4004 NEW BEST:: SOT 4422678 SOS 795288 HAS SOPS 795288 HAS SOUS 643271 HAS SOUPS 643271 WITH SCORE 644066.288
AT ITER 4007 NEW BEST:: SOT 4422285 SOS 779294 HAS SOPS 779294 HAS SOUS 642485 HAS SOUPS 642485 WITH SCORE 643264.294
AT ITER 4011 NEW BEST:: SOT 4422285 SOS 779485 HAS SOPS 779485 HAS SOUS 642294 HAS SOUPS 642294 WITH SCORE 643073.485
AT ITER 4032 NEW BEST:: SOT 4422285 SOS 779463 HAS SOPS 779463 HAS SOUS 642294 HAS SOUPS 642294 WITH SCORE 643073.463
AT ITER 4053 NEW BEST:: SOT 4422285 SOS 779436 HAS SOPS 779436 HAS SOUS 642267 HAS SOUPS 642267 WITH SCORE 643046.436
AT ITER 4083 NEW BEST:: SOT 4422284 SOS 779434 HAS SOPS 779434 HAS SOUS 642265 HAS SOUPS 642265 WITH SCORE 643044.434
AT ITER 4087 NEW BEST:: SOT 4422283 SOS 779432 HAS SOPS 779432 HAS SOUS 642263 HAS SOUPS 642263 WITH SCORE 643042.432
AT ITER 4104 NEW BEST:: SOT 4422235 SOS 779406 HAS SOPS 779406 HAS SOUS 642214 HAS SOUPS 642214 WITH SCORE 642993.406
AT ITER 4110 NEW BEST:: SOT 4422083 SOS 779010 HAS SOPS 779010 HAS SOUS 641653 HAS SOUPS 641653 WITH SCORE 642432.01
AT ITER 4133 NEW BEST:: SOT 4421897 SOS 778638 HAS SOPS 778638 HAS SOUS 641281 HAS SOUPS 641281 WITH SCORE 642059.638
AT ITER 4171 NEW BEST:: SOT 4420689 SOS 781108 HAS SOPS 781108 HAS SOUS 640388 HAS SOUPS 640388 WITH SCORE 641169.108
AT ITER 4180 NEW BEST:: SOT 4420675 SOS 780570 HAS SOPS 780570 HAS SOUS 640360 HAS SOUPS 640360 WITH SCORE 641140.57
AT ITER 4191 NEW BEST:: SOT 4420571 SOS 780466 HAS SOPS 780466 HAS SOUS 640256 HAS SOUPS 640256 WITH SCORE 641036.466
AT ITER 4208 NEW BEST:: SOT 4420405 SOS 780134 HAS SOPS 780134 HAS SOUS 640218 HAS SOUPS 640218 WITH SCORE 640998.134
AT ITER 4213 NEW BEST:: SOT 4420381 SOS 779800 HAS SOPS 779800 HAS SOUS 639887 HAS SOUPS 639887 WITH SCORE 640666.8
AT ITER 4232 NEW BEST:: SOT 4420323 SOS 779616 HAS SOPS 779616 HAS SOUS 639771 HAS SOUPS 639771 WITH SCORE 640550.616
AT ITER 4241 NEW BEST:: SOT 4420259 SOS 779552 HAS SOPS 779552 HAS SOUS 639707 HAS SOUPS 639707 WITH SCORE 640486.552
AT ITER 4243 NEW BEST:: SOT 4420219 SOS 779472 HAS SOPS 779472 HAS SOUS 639583 HAS SOUPS 639583 WITH SCORE 640362.472
AT ITER 4252 NEW BEST:: SOT 4419920 SOS 778874 HAS SOPS 778874 HAS SOUS 638985 HAS SOUPS 638985 WITH SCORE 639763.874
AT ITER 4271 NEW BEST:: SOT 4419916 SOS 778866 HAS SOPS 778866 HAS SOUS 638977 HAS SOUPS 638977 WITH SCORE 639755.866
AT ITER 4276 NEW BEST:: SOT 4419833 SOS 778783 HAS SOPS 778783 HAS SOUS 638894 HAS SOUPS 638894 WITH SCORE 639672.783
AT ITER 4295 NEW BEST:: SOT 4419719 SOS 778555 HAS SOPS 778555 HAS SOUS 638780 HAS SOUPS 638780 WITH SCORE 639558.555
AT ITER 4325 NEW BEST:: SOT 4419641 SOS 778048 HAS SOPS 778048 HAS SOUS 638394 HAS SOUPS 638394 WITH SCORE 639172.048
AT ITER 4391 NEW BEST:: SOT 4419671 SOS 778108 HAS SOPS 778108 HAS SOUS 638343 HAS SOUPS 638343 WITH SCORE 639121.108
AT ITER 4414 NEW BEST:: SOT 4419671 SOS 778108 HAS SOPS 778108 HAS SOUS 638336 HAS SOUPS 638336 WITH SCORE 639114.108
AT ITER 4440 NEW BEST:: SOT 4419510 SOS 777786 HAS SOPS 777786 HAS SOUS 638175 HAS SOUPS 638175 WITH SCORE 638952.786
AT ITER 4450 NEW BEST:: SOT 4419315 SOS 777396 HAS SOPS 777396 HAS SOUS 637785 HAS SOUPS 637785 WITH SCORE 638562.396
AT ITER 4455 NEW BEST:: SOT 4419111 SOS 776988 HAS SOPS 776988 HAS SOUS 637377 HAS SOUPS 637377 WITH SCORE 638153.988
AT ITER 4457 NEW BEST:: SOT 4419039 SOS 776651 HAS SOPS 776651 HAS SOUS 637233 HAS SOUPS 637233 WITH SCORE 638009.651
AT ITER 4462 NEW BEST:: SOT 4419039 SOS 776439 HAS SOPS 776439 HAS SOUS 637021 HAS SOUPS 637021 WITH SCORE 637797.439
AT ITER 4467 NEW BEST:: SOT 4419039 SOS 776427 HAS SOPS 776427 HAS SOUS 637009 HAS SOUPS 637009 WITH SCORE 637785.427
AT ITER 4471 NEW BEST:: SOT 4419039 SOS 776291 HAS SOPS 776291 HAS SOUS 636873 HAS SOUPS 636873 WITH SCORE 637649.291
AT ITER 4484 NEW BEST:: SOT 4418827 SOS 776079 HAS SOPS 776079 HAS SOUS 636869 HAS SOUPS 636869 WITH SCORE 637645.079
AT ITER 4500 NEW BEST:: SOT 4418751 SOS 775817 HAS SOPS 775817 HAS SOUS 636660 HAS SOUPS 636660 WITH SCORE 637435.817
AT ITER 4513 NEW BEST:: SOT 4418750 SOS 775815 HAS SOPS 775815 HAS SOUS 636658 HAS SOUPS 636658 WITH SCORE 637433.815
AT ITER 4517 NEW BEST:: SOT 4418662 SOS 775639 HAS SOPS 775639 HAS SOUS 636636 HAS SOUPS 636636 WITH SCORE 637411.639
AT ITER 4539 NEW BEST:: SOT 4418362 SOS 776095 HAS SOPS 776095 HAS SOUS 636600 HAS SOUPS 636600 WITH SCORE 637376.095
AT ITER 4561 NEW BEST:: SOT 4418362 SOS 776095 HAS SOPS 776095 HAS SOUS 636549 HAS SOUPS 636549 WITH SCORE 637325.095
AT ITER 4583 NEW BEST:: SOT 4417873 SOS 776139 HAS SOPS 776139 HAS SOUS 636213 HAS SOUPS 636213 WITH SCORE 636989.139
AT ITER 4624 NEW BEST:: SOT 4417815 SOS 776023 HAS SOPS 776023 HAS SOUS 636097 HAS SOUPS 636097 WITH SCORE 636873.023
AT ITER 4628 NEW BEST:: SOT 4417815 SOS 775940 HAS SOPS 775940 HAS SOUS 636097 HAS SOUPS 636097 WITH SCORE 636872.94
AT ITER 4629 NEW BEST:: SOT 4417801 SOS 775912 HAS SOPS 775912 HAS SOUS 636069 HAS SOUPS 636069 WITH SCORE 636844.912
AT ITER 4630 NEW BEST:: SOT 4417766 SOS 775670 HAS SOPS 775670 HAS SOUS 635999 HAS SOUPS 635999 WITH SCORE 636774.67
AT ITER 4646 NEW BEST:: SOT 4417702 SOS 775542 HAS SOPS 775542 HAS SOUS 635633 HAS SOUPS 635633 WITH SCORE 636408.542
AT ITER 4658 NEW BEST:: SOT 4417198 SOS 775206 HAS SOPS 775206 HAS SOUS 635129 HAS SOUPS 635129 WITH SCORE 635904.206
AT ITER 4680 NEW BEST:: SOT 4417198 SOS 775143 HAS SOPS 775143 HAS SOUS 635066 HAS SOUPS 635066 WITH SCORE 635841.143
AT ITER 4741 NEW BEST:: SOT 4417073 SOS 775061 HAS SOPS 775061 HAS SOUS 634921 HAS SOUPS 634921 WITH SCORE 635696.061
AT ITER 4755 NEW BEST:: SOT 4417073 SOS 775061 HAS SOPS 775061 HAS SOUS 634918 HAS SOUPS 634918 WITH SCORE 635693.061
AT ITER 4764 NEW BEST:: SOT 4417073 SOS 775061 HAS SOPS 775061 HAS SOUS 634764 HAS SOUPS 634764 WITH SCORE 635539.061
AT ITER 4767 NEW BEST:: SOT 4417072 SOS 775145 HAS SOPS 775145 HAS SOUS 634762 HAS SOUPS 634762 WITH SCORE 635537.145
AT ITER 4769 NEW BEST:: SOT 4417059 SOS 775119 HAS SOPS 775119 HAS SOUS 634736 HAS SOUPS 634736 WITH SCORE 635511.119
AT ITER 4784 NEW BEST:: SOT 4417059 SOS 775119 HAS SOPS 775119 HAS SOUS 634719 HAS SOUPS 634719 WITH SCORE 635494.119
AT ITER 4849 NEW BEST:: SOT 4416666 SOS 774547 HAS SOPS 774547 HAS SOUS 634204 HAS SOUPS 634204 WITH SCORE 634978.547
AT ITER 4851 NEW BEST:: SOT 4416587 SOS 774389 HAS SOPS 774389 HAS SOUS 634125 HAS SOUPS 634125 WITH SCORE 634899.389
AT ITER 4883 NEW BEST:: SOT 4416508 SOS 774310 HAS SOPS 774310 HAS SOUS 634029 HAS SOUPS 634029 WITH SCORE 634803.31
AT ITER 4907 NEW BEST:: SOT 4416348 SOS 774169 HAS SOPS 774169 HAS SOUS 633867 HAS SOUPS 633867 WITH SCORE 634641.169
AT ITER 4926 NEW BEST:: SOT 4416356 SOS 774185 HAS SOPS 774185 HAS SOUS 633715 HAS SOUPS 633715 WITH SCORE 634489.185
AT ITER 4952 NEW BEST:: SOT 4416355 SOS 774183 HAS SOPS 774183 HAS SOUS 633713 HAS SOUPS 633713 WITH SCORE 634487.183
AT ITER 4982 NEW BEST:: SOT 4416247 SOS 773967 HAS SOPS 773967 HAS SOUS 633603 HAS SOUPS 633603 WITH SCORE 634376.967
AT ITER 4997 NEW BEST:: SOT 4416028 SOS 773529 HAS SOPS 773529 HAS SOUS 633165 HAS SOUPS 633165 WITH SCORE 633938.529
AT ITER 5004 NEW BEST:: SOT 4415751 SOS 772975 HAS SOPS 772975 HAS SOUS 632685 HAS SOUPS 632685 WITH SCORE 633457.975
AT ITER 5019 NEW BEST:: SOT 4415628 SOS 772893 HAS SOPS 772893 HAS SOUS 632562 HAS SOUPS 632562 WITH SCORE 633334.893
AT ITER 5032 NEW BEST:: SOT 4415628 SOS 772683 HAS SOPS 772683 HAS SOUS 632562 HAS SOUPS 632562 WITH SCORE 633334.683
AT ITER 5055 NEW BEST:: SOT 4415469 SOS 772365 HAS SOPS 772365 HAS SOUS 632244 HAS SOUPS 632244 WITH SCORE 633016.365
AT ITER 5060 NEW BEST:: SOT 4414973 SOS 771621 HAS SOPS 771621 HAS SOUS 631500 HAS SOUPS 631500 WITH SCORE 632271.621
AT ITER 5118 NEW BEST:: SOT 4414973 SOS 771621 HAS SOPS 771621 HAS SOUS 631423 HAS SOUPS 631423 WITH SCORE 632194.621
AT ITER 5134 NEW BEST:: SOT 4414251 SOS 770939 HAS SOPS 770939 HAS SOUS 630781 HAS SOUPS 630781 WITH SCORE 631551.939
AT ITER 5144 NEW BEST:: SOT 4414169 SOS 770775 HAS SOPS 770775 HAS SOUS 630699 HAS SOUPS 630699 WITH SCORE 631469.775
AT ITER 5147 NEW BEST:: SOT 4414169 SOS 770775 HAS SOPS 770775 HAS SOUS 630604 HAS SOUPS 630604 WITH SCORE 631374.775
AT ITER 5156 NEW BEST:: SOT 4414169 SOS 770775 HAS SOPS 770775 HAS SOUS 630537 HAS SOUPS 630537 WITH SCORE 631307.775
AT ITER 5165 NEW BEST:: SOT 4414014 SOS 770439 HAS SOPS 770439 HAS SOUS 630210 HAS SOUPS 630210 WITH SCORE 630980.439
AT ITER 5181 NEW BEST:: SOT 4414013 SOS 770437 HAS SOPS 770437 HAS SOUS 630208 HAS SOUPS 630208 WITH SCORE 630978.437
AT ITER 5193 NEW BEST:: SOT 4413802 SOS 770383 HAS SOPS 770383 HAS SOUS 629997 HAS SOUPS 629997 WITH SCORE 630767.383
AT ITER 5197 NEW BEST:: SOT 4413503 SOS 769566 HAS SOPS 769566 HAS SOUS 629883 HAS SOUPS 629883 WITH SCORE 630652.566
AT ITER 5206 NEW BEST:: SOT 4413459 SOS 769478 HAS SOPS 769478 HAS SOUS 629795 HAS SOUPS 629795 WITH SCORE 630564.478
AT ITER 5219 NEW BEST:: SOT 4413606 SOS 761516 HAS SOPS 761516 HAS SOUS 629750 HAS SOUPS 629750 WITH SCORE 630511.516
AT ITER 5248 NEW BEST:: SOT 4413565 SOS 761765 HAS SOPS 761765 HAS SOUS 629728 HAS SOUPS 629728 WITH SCORE 630489.765
AT ITER 5255 NEW BEST:: SOT 4413565 SOS 761765 HAS SOPS 761765 HAS SOUS 629535 HAS SOUPS 629535 WITH SCORE 630296.765
AT ITER 5261 NEW BEST:: SOT 4413523 SOS 761862 HAS SOPS 761862 HAS SOUS 629493 HAS SOUPS 629493 WITH SCORE 630254.862
AT ITER 5271 NEW BEST:: SOT 4413523 SOS 761862 HAS SOPS 761862 HAS SOUS 629478 HAS SOUPS 629478 WITH SCORE 630239.862
AT ITER 5289 NEW BEST:: SOT 4413523 SOS 761862 HAS SOPS 761862 HAS SOUS 629177 HAS SOUPS 629177 WITH SCORE 629938.862
AT ITER 5333 NEW BEST:: SOT 4413656 SOS 761875 HAS SOPS 761875 HAS SOUS 628885 HAS SOUPS 628885 WITH SCORE 629646.875
AT ITER 5336 NEW BEST:: SOT 4413449 SOS 761861 HAS SOPS 761861 HAS SOUS 628676 HAS SOUPS 628676 WITH SCORE 629437.861
AT ITER 5360 NEW BEST:: SOT 4413389 SOS 761741 HAS SOPS 761741 HAS SOUS 628556 HAS SOUPS 628556 WITH SCORE 629317.741
AT ITER 5382 NEW BEST:: SOT 4413237 SOS 762057 HAS SOPS 762057 HAS SOUS 628452 HAS SOUPS 628452 WITH SCORE 629214.057
AT ITER 5383 NEW BEST:: SOT 4413029 SOS 761321 HAS SOPS 761321 HAS SOUS 628243 HAS SOUPS 628243 WITH SCORE 629004.321
AT ITER 5423 NEW BEST:: SOT 4412926 SOS 760909 HAS SOPS 760909 HAS SOUS 628037 HAS SOUPS 628037 WITH SCORE 628797.909
AT ITER 5431 NEW BEST:: SOT 4412919 SOS 761055 HAS SOPS 761055 HAS SOUS 628023 HAS SOUPS 628023 WITH SCORE 628784.055
AT ITER 5435 NEW BEST:: SOT 4412898 SOS 760930 HAS SOPS 760930 HAS SOUS 627899 HAS SOUPS 627899 WITH SCORE 628659.93
AT ITER 5456 NEW BEST:: SOT 4412620 SOS 760676 HAS SOPS 760676 HAS SOUS 627645 HAS SOUPS 627645 WITH SCORE 628405.676
AT ITER 5496 NEW BEST:: SOT 4412620 SOS 760676 HAS SOPS 760676 HAS SOUS 627480 HAS SOUPS 627480 WITH SCORE 628240.676
AT ITER 5498 NEW BEST:: SOT 4412341 SOS 760397 HAS SOPS 760397 HAS SOUS 627207 HAS SOUPS 627207 WITH SCORE 627967.397
AT ITER 5529 NEW BEST:: SOT 4412341 SOS 760367 HAS SOPS 760367 HAS SOUS 627207 HAS SOUPS 627207 WITH SCORE 627967.367
AT ITER 5541 NEW BEST:: SOT 4411952 SOS 759978 HAS SOPS 759978 HAS SOUS 626818 HAS SOUPS 626818 WITH SCORE 627577.978
AT ITER 5550 NEW BEST:: SOT 4411952 SOS 759927 HAS SOPS 759927 HAS SOUS 626767 HAS SOUPS 626767 WITH SCORE 627526.927
AT ITER 5552 NEW BEST:: SOT 4411794 SOS 759784 HAS SOPS 759784 HAS SOUS 626607 HAS SOUPS 626607 WITH SCORE 627366.784
AT ITER 5564 NEW BEST:: SOT 4411728 SOS 759652 HAS SOPS 759652 HAS SOUS 626475 HAS SOUPS 626475 WITH SCORE 627234.652
AT ITER 5572 NEW BEST:: SOT 4411576 SOS 759536 HAS SOPS 759536 HAS SOUS 626248 HAS SOUPS 626248 WITH SCORE 627007.536
AT ITER 5613 NEW BEST:: SOT 4411534 SOS 759284 HAS SOPS 759284 HAS SOUS 626164 HAS SOUPS 626164 WITH SCORE 626923.284
AT ITER 5634 NEW BEST:: SOT 4411517 SOS 759250 HAS SOPS 759250 HAS SOUS 626146 HAS SOUPS 626146 WITH SCORE 626905.25
AT ITER 5656 NEW BEST:: SOT 4411510 SOS 759245 HAS SOPS 759245 HAS SOUS 626139 HAS SOUPS 626139 WITH SCORE 626898.245
AT ITER 5672 NEW BEST:: SOT 4411510 SOS 759245 HAS SOPS 759245 HAS SOUS 626112 HAS SOUPS 626112 WITH SCORE 626871.245
AT ITER 5683 NEW BEST:: SOT 4411461 SOS 759196 HAS SOPS 759196 HAS SOUS 626063 HAS SOUPS 626063 WITH SCORE 626822.196
AT ITER 5687 NEW BEST:: SOT 4411446 SOS 759166 HAS SOPS 759166 HAS SOUS 626048 HAS SOUPS 626048 WITH SCORE 626807.166
AT ITER 5700 NEW BEST:: SOT 4410935 SOS 758144 HAS SOPS 758144 HAS SOUS 625695 HAS SOUPS 625695 WITH SCORE 626453.144
AT ITER 5717 NEW BEST:: SOT 4410864 SOS 758002 HAS SOPS 758002 HAS SOUS 625621 HAS SOUPS 625621 WITH SCORE 626379.002
AT ITER 5748 NEW BEST:: SOT 4410714 SOS 757702 HAS SOPS 757702 HAS SOUS 625558 HAS SOUPS 625558 WITH SCORE 626315.702
AT ITER 5774 NEW BEST:: SOT 4410677 SOS 757628 HAS SOPS 757628 HAS SOUS 625484 HAS SOUPS 625484 WITH SCORE 626241.628
AT ITER 5776 NEW BEST:: SOT 4410522 SOS 757838 HAS SOPS 757838 HAS SOUS 625329 HAS SOUPS 625329 WITH SCORE 626086.838
AT ITER 5778 NEW BEST:: SOT 4410282 SOS 757369 HAS SOPS 757369 HAS SOUS 624969 HAS SOUPS 624969 WITH SCORE 625726.369
AT ITER 5804 NEW BEST:: SOT 4410290 SOS 757204 HAS SOPS 757204 HAS SOUS 624885 HAS SOUPS 624885 WITH SCORE 625642.204
AT ITER 5820 NEW BEST:: SOT 4410289 SOS 757202 HAS SOPS 757202 HAS SOUS 624883 HAS SOUPS 624883 WITH SCORE 625640.202
AT ITER 5850 NEW BEST:: SOT 4410139 SOS 757059 HAS SOPS 757059 HAS SOUS 624583 HAS SOUPS 624583 WITH SCORE 625340.059
AT ITER 5858 NEW BEST:: SOT 4410084 SOS 757004 HAS SOPS 757004 HAS SOUS 624528 HAS SOUPS 624528 WITH SCORE 625285.004
AT ITER 5923 NEW BEST:: SOT 4410215 SOS 756861 HAS SOPS 756861 HAS SOUS 624385 HAS SOUPS 624385 WITH SCORE 625141.861
AT ITER 5938 NEW BEST:: SOT 4410215 SOS 756847 HAS SOPS 756847 HAS SOUS 624371 HAS SOUPS 624371 WITH SCORE 625127.847
AT ITER 5964 NEW BEST:: SOT 4410211 SOS 756839 HAS SOPS 756839 HAS SOUS 624363 HAS SOUPS 624363 WITH SCORE 625119.839
AT ITER 5973 NEW BEST:: SOT 4409949 SOS 756315 HAS SOPS 756315 HAS SOUS 624274 HAS SOUPS 624274 WITH SCORE 625030.315
AT ITER 5987 NEW BEST:: SOT 4409949 SOS 756212 HAS SOPS 756212 HAS SOUS 624171 HAS SOUPS 624171 WITH SCORE 624927.212
AT ITER 6036 NEW BEST:: SOT 4409996 SOS 756144 HAS SOPS 756144 HAS SOUS 624102 HAS SOUPS 624102 WITH SCORE 624858.144
AT ITER 6043 NEW BEST:: SOT 4409816 SOS 756018 HAS SOPS 756018 HAS SOUS 623933 HAS SOUPS 623933 WITH SCORE 624689.018
AT ITER 6050 NEW BEST:: SOT 4409787 SOS 755960 HAS SOPS 755960 HAS SOUS 623904 HAS SOUPS 623904 WITH SCORE 624659.96
AT ITER 6127 NEW BEST:: SOT 4409784 SOS 755954 HAS SOPS 755954 HAS SOUS 623901 HAS SOUPS 623901 WITH SCORE 624656.954
AT ITER 6135 NEW BEST:: SOT 4409761 SOS 755908 HAS SOPS 755908 HAS SOUS 623898 HAS SOUPS 623898 WITH SCORE 624653.908
AT ITER 6153 NEW BEST:: SOT 4409761 SOS 755816 HAS SOPS 755816 HAS SOUS 623898 HAS SOUPS 623898 WITH SCORE 624653.816
AT ITER 6211 NEW BEST:: SOT 4409654 SOS 755602 HAS SOPS 755602 HAS SOUS 623684 HAS SOUPS 623684 WITH SCORE 624439.602
AT ITER 6214 NEW BEST:: SOT 4409629 SOS 755552 HAS SOPS 755552 HAS SOUS 623634 HAS SOUPS 623634 WITH SCORE 624389.552
AT ITER 6227 NEW BEST:: SOT 4409541 SOS 755464 HAS SOPS 755464 HAS SOUS 623546 HAS SOUPS 623546 WITH SCORE 624301.464
AT ITER 6266 NEW BEST:: SOT 4409457 SOS 755296 HAS SOPS 755296 HAS SOUS 623378 HAS SOUPS 623378 WITH SCORE 624133.296
AT ITER 6270 NEW BEST:: SOT 4409369 SOS 755120 HAS SOPS 755120 HAS SOUS 623202 HAS SOUPS 623202 WITH SCORE 623957.12
AT ITER 6275 NEW BEST:: SOT 4409352 SOS 755086 HAS SOPS 755086 HAS SOUS 623168 HAS SOUPS 623168 WITH SCORE 623923.086
AT ITER 6311 NEW BEST:: SOT 4409412 SOS 755206 HAS SOPS 755206 HAS SOUS 622910 HAS SOUPS 622910 WITH SCORE 623665.206
AT ITER 6332 NEW BEST:: SOT 4409334 SOS 755050 HAS SOPS 755050 HAS SOUS 622754 HAS SOUPS 622754 WITH SCORE 623509.05
AT ITER 6345 NEW BEST:: SOT 4409267 SOS 754983 HAS SOPS 754983 HAS SOUS 622699 HAS SOUPS 622699 WITH SCORE 623453.983
AT ITER 6346 NEW BEST:: SOT 4409046 SOS 754541 HAS SOPS 754541 HAS SOUS 622478 HAS SOUPS 622478 WITH SCORE 623232.541
AT ITER 6363 NEW BEST:: SOT 4408949 SOS 754347 HAS SOPS 754347 HAS SOUS 622284 HAS SOUPS 622284 WITH SCORE 623038.347
AT ITER 6379 NEW BEST:: SOT 4408900 SOS 754249 HAS SOPS 754249 HAS SOUS 622186 HAS SOUPS 622186 WITH SCORE 622940.249
AT ITER 6393 NEW BEST:: SOT 4408900 SOS 753922 HAS SOPS 753922 HAS SOUS 621859 HAS SOUPS 621859 WITH SCORE 622612.922
AT ITER 6441 NEW BEST:: SOT 4408483 SOS 754117 HAS SOPS 754117 HAS SOUS 621638 HAS SOUPS 621638 WITH SCORE 622392.117
AT ITER 6473 NEW BEST:: SOT 4408365 SOS 753881 HAS SOPS 753881 HAS SOUS 621402 HAS SOUPS 621402 WITH SCORE 622155.881
AT ITER 6516 NEW BEST:: SOT 4408157 SOS 753835 HAS SOPS 753835 HAS SOUS 621123 HAS SOUPS 621123 WITH SCORE 621876.835
AT ITER 6517 NEW BEST:: SOT 4408115 SOS 753751 HAS SOPS 753751 HAS SOUS 621039 HAS SOUPS 621039 WITH SCORE 621792.751
AT ITER 6530 NEW BEST:: SOT 4408091 SOS 753703 HAS SOPS 753703 HAS SOUS 620991 HAS SOUPS 620991 WITH SCORE 621744.703
AT ITER 6531 NEW BEST:: SOT 4407946 SOS 752924 HAS SOPS 752924 HAS SOUS 620888 HAS SOUPS 620888 WITH SCORE 621640.924
AT ITER 6576 NEW BEST:: SOT 4407848 SOS 752826 HAS SOPS 752826 HAS SOUS 620888 HAS SOUPS 620888 WITH SCORE 621640.826
AT ITER 6607 NEW BEST:: SOT 4407775 SOS 753003 HAS SOPS 753003 HAS SOUS 620738 HAS SOUPS 620738 WITH SCORE 621491.003
AT ITER 6657 NEW BEST:: SOT 4407592 SOS 752828 HAS SOPS 752828 HAS SOUS 620719 HAS SOUPS 620719 WITH SCORE 621471.828
AT ITER 6667 NEW BEST:: SOT 4407380 SOS 752404 HAS SOPS 752404 HAS SOUS 620295 HAS SOUPS 620295 WITH SCORE 621047.404
AT ITER 6671 NEW BEST:: SOT 4407298 SOS 752376 HAS SOPS 752376 HAS SOUS 620213 HAS SOUPS 620213 WITH SCORE 620965.376
AT ITER 6672 NEW BEST:: SOT 4406965 SOS 752045 HAS SOPS 752045 HAS SOUS 620067 HAS SOUPS 620067 WITH SCORE 620819.045
AT ITER 6692 NEW BEST:: SOT 4406771 SOS 751657 HAS SOPS 751657 HAS SOUS 619716 HAS SOUPS 619716 WITH SCORE 620467.657
AT ITER 6741 NEW BEST:: SOT 4406702 SOS 751634 HAS SOPS 751634 HAS SOUS 619658 HAS SOUPS 619658 WITH SCORE 620409.634
AT ITER 6835 NEW BEST:: SOT 4406657 SOS 751633 HAS SOPS 751633 HAS SOUS 619613 HAS SOUPS 619613 WITH SCORE 620364.633
AT ITER 6837 NEW BEST:: SOT 4406611 SOS 751587 HAS SOPS 751587 HAS SOUS 619521 HAS SOUPS 619521 WITH SCORE 620272.587
AT ITER 6860 NEW BEST:: SOT 4406612 SOS 751459 HAS SOPS 751459 HAS SOUS 619503 HAS SOUPS 619503 WITH SCORE 620254.459
AT ITER 6887 NEW BEST:: SOT 4406467 SOS 751279 HAS SOPS 751279 HAS SOUS 619270 HAS SOUPS 619270 WITH SCORE 620021.279
AT ITER 6896 NEW BEST:: SOT 4406170 SOS 750951 HAS SOPS 750951 HAS SOUS 618970 HAS SOUPS 618970 WITH SCORE 619720.951
AT ITER 6995 NEW BEST:: SOT 4405993 SOS 751187 HAS SOPS 751187 HAS SOUS 618956 HAS SOUPS 618956 WITH SCORE 619707.187
AT ITER 7007 NEW BEST:: SOT 4406037 SOS 751095 HAS SOPS 751095 HAS SOUS 618864 HAS SOUPS 618864 WITH SCORE 619615.095
AT ITER 7020 NEW BEST:: SOT 4406204 SOS 751032 HAS SOPS 751032 HAS SOUS 618634 HAS SOUPS 618634 WITH SCORE 619385.032
AT ITER 7025 NEW BEST:: SOT 4405832 SOS 750660 HAS SOPS 750660 HAS SOUS 618262 HAS SOUPS 618262 WITH SCORE 619012.66
AT ITER 7031 NEW BEST:: SOT 4405833 SOS 750598 HAS SOPS 750598 HAS SOUS 618010 HAS SOUPS 618010 WITH SCORE 618760.598
AT ITER 7033 NEW BEST:: SOT 4406004 SOS 750682 HAS SOPS 750682 HAS SOUS 617933 HAS SOUPS 617933 WITH SCORE 618683.682
AT ITER 7070 NEW BEST:: SOT 4406120 SOS 750601 HAS SOPS 750601 HAS SOUS 617872 HAS SOUPS 617872 WITH SCORE 618622.601
AT ITER 7084 NEW BEST:: SOT 4406120 SOS 750601 HAS SOPS 750601 HAS SOUS 617808 HAS SOUPS 617808 WITH SCORE 618558.601
AT ITER 7100 NEW BEST:: SOT 4406082 SOS 750525 HAS SOPS 750525 HAS SOUS 617732 HAS SOUPS 617732 WITH SCORE 618482.525
AT ITER 7114 NEW BEST:: SOT 4406064 SOS 750489 HAS SOPS 750489 HAS SOUS 617696 HAS SOUPS 617696 WITH SCORE 618446.489
AT ITER 7127 NEW BEST:: SOT 4405857 SOS 750282 HAS SOPS 750282 HAS SOUS 617696 HAS SOUPS 617696 WITH SCORE 618446.282
AT ITER 7148 NEW BEST:: SOT 4405790 SOS 750148 HAS SOPS 750148 HAS SOUS 617562 HAS SOUPS 617562 WITH SCORE 618312.148
AT ITER 7195 NEW BEST:: SOT 4405767 SOS 750102 HAS SOPS 750102 HAS SOUS 617516 HAS SOUPS 617516 WITH SCORE 618266.102
AT ITER 7237 NEW BEST:: SOT 4405638 SOS 749844 HAS SOPS 749844 HAS SOUS 617258 HAS SOUPS 617258 WITH SCORE 618007.844
AT ITER 7251 NEW BEST:: SOT 4405547 SOS 750248 HAS SOPS 750248 HAS SOUS 617175 HAS SOUPS 617175 WITH SCORE 617925.248
AT ITER 7276 NEW BEST:: SOT 4405413 SOS 750143 HAS SOPS 750143 HAS SOUS 617070 HAS SOUPS 617070 WITH SCORE 617820.143
AT ITER 7301 NEW BEST:: SOT 4405387 SOS 750091 HAS SOPS 750091 HAS SOUS 617018 HAS SOUPS 617018 WITH SCORE 617768.091
AT ITER 7332 NEW BEST:: SOT 4405315 SOS 749947 HAS SOPS 749947 HAS SOUS 616874 HAS SOUPS 616874 WITH SCORE 617623.947
AT ITER 7338 NEW BEST:: SOT 4405272 SOS 749861 HAS SOPS 749861 HAS SOUS 616831 HAS SOUPS 616831 WITH SCORE 617580.861
AT ITER 7339 NEW BEST:: SOT 4405305 SOS 749927 HAS SOPS 749927 HAS SOUS 616712 HAS SOUPS 616712 WITH SCORE 617461.927
AT ITER 7343 NEW BEST:: SOT 4405175 SOS 749922 HAS SOPS 749922 HAS SOUS 616616 HAS SOUPS 616616 WITH SCORE 617365.922
AT ITER 7356 NEW BEST:: SOT 4404233 SOS 748706 HAS SOPS 748706 HAS SOUS 615325 HAS SOUPS 615325 WITH SCORE 616073.706
AT ITER 7364 NEW BEST:: SOT 4403807 SOS 749022 HAS SOPS 749022 HAS SOUS 614977 HAS SOUPS 614977 WITH SCORE 615726.022
AT ITER 7367 NEW BEST:: SOT 4403768 SOS 748740 HAS SOPS 748740 HAS SOUS 614734 HAS SOUPS 614734 WITH SCORE 615482.74
AT ITER 7369 NEW BEST:: SOT 4403452 SOS 748108 HAS SOPS 748108 HAS SOUS 614719 HAS SOUPS 614719 WITH SCORE 615467.108
AT ITER 7400 NEW BEST:: SOT 4403267 SOS 747399 HAS SOPS 747399 HAS SOUS 614462 HAS SOUPS 614462 WITH SCORE 615209.399
AT ITER 7408 NEW BEST:: SOT 4403062 SOS 746989 HAS SOPS 746989 HAS SOUS 614052 HAS SOUPS 614052 WITH SCORE 614798.989
AT ITER 7412 NEW BEST:: SOT 4402818 SOS 747083 HAS SOPS 747083 HAS SOUS 613855 HAS SOUPS 613855 WITH SCORE 614602.083
AT ITER 7471 NEW BEST:: SOT 4402818 SOS 746746 HAS SOPS 746746 HAS SOUS 613855 HAS SOUPS 613855 WITH SCORE 614601.746
AT ITER 7494 NEW BEST:: SOT 4402743 SOS 746596 HAS SOPS 746596 HAS SOUS 613705 HAS SOUPS 613705 WITH SCORE 614451.596
AT ITER 7500 NEW BEST:: SOT 4402682 SOS 746098 HAS SOPS 746098 HAS SOUS 613583 HAS SOUPS 613583 WITH SCORE 614329.098
AT ITER 7501 NEW BEST:: SOT 4402570 SOS 745874 HAS SOPS 745874 HAS SOUS 613471 HAS SOUPS 613471 WITH SCORE 614216.874
AT ITER 7527 NEW BEST:: SOT 4402463 SOS 745874 HAS SOPS 745874 HAS SOUS 613364 HAS SOUPS 613364 WITH SCORE 614109.874
AT ITER 7557 NEW BEST:: SOT 4402462 SOS 745872 HAS SOPS 745872 HAS SOUS 613362 HAS SOUPS 613362 WITH SCORE 614107.872
AT ITER 7579 NEW BEST:: SOT 4402382 SOS 745712 HAS SOPS 745712 HAS SOUS 613282 HAS SOUPS 613282 WITH SCORE 614027.712
AT ITER 7613 NEW BEST:: SOT 4402152 SOS 745252 HAS SOPS 745252 HAS SOUS 613052 HAS SOUPS 613052 WITH SCORE 613797.252
AT ITER 7626 NEW BEST:: SOT 4402092 SOS 745132 HAS SOPS 745132 HAS SOUS 612932 HAS SOUPS 612932 WITH SCORE 613677.132
AT ITER 7640 NEW BEST:: SOT 4401940 SOS 744828 HAS SOPS 744828 HAS SOUS 612898 HAS SOUPS 612898 WITH SCORE 613642.828
AT ITER 7657 NEW BEST:: SOT 4401939 SOS 744827 HAS SOPS 744827 HAS SOUS 612896 HAS SOUPS 612896 WITH SCORE 613640.827
AT ITER 7662 NEW BEST:: SOT 4401894 SOS 744845 HAS SOPS 744845 HAS SOUS 612878 HAS SOUPS 612878 WITH SCORE 613622.845
AT ITER 7663 NEW BEST:: SOT 4401887 SOS 744572 HAS SOPS 744572 HAS SOUS 612865 HAS SOUPS 612865 WITH SCORE 613609.572
AT ITER 7723 NEW BEST:: SOT 4401892 SOS 744567 HAS SOPS 744567 HAS SOUS 612861 HAS SOUPS 612861 WITH SCORE 613605.567
AT ITER 7736 NEW BEST:: SOT 4401817 SOS 743925 HAS SOPS 743925 HAS SOUS 612711 HAS SOUPS 612711 WITH SCORE 613454.925
AT ITER 7757 NEW BEST:: SOT 4401570 SOS 743431 HAS SOPS 743431 HAS SOUS 612217 HAS SOUPS 612217 WITH SCORE 612960.431
AT ITER 7769 NEW BEST:: SOT 4401568 SOS 743618 HAS SOPS 743618 HAS SOUS 612213 HAS SOUPS 612213 WITH SCORE 612956.618
AT ITER 7797 NEW BEST:: SOT 4401415 SOS 743145 HAS SOPS 743145 HAS SOUS 611897 HAS SOUPS 611897 WITH SCORE 612640.145
AT ITER 7811 NEW BEST:: SOT 4401361 SOS 743037 HAS SOPS 743037 HAS SOUS 611789 HAS SOUPS 611789 WITH SCORE 612532.037
AT ITER 7819 NEW BEST:: SOT 4401354 SOS 743023 HAS SOPS 743023 HAS SOUS 611782 HAS SOUPS 611782 WITH SCORE 612525.023
AT ITER 7849 NEW BEST:: SOT 4401041 SOS 742811 HAS SOPS 742811 HAS SOUS 611570 HAS SOUPS 611570 WITH SCORE 612312.811
AT ITER 7869 NEW BEST:: SOT 4401033 SOS 742795 HAS SOPS 742795 HAS SOUS 611554 HAS SOUPS 611554 WITH SCORE 612296.795
AT ITER 7879 NEW BEST:: SOT 4400973 SOS 739483 HAS SOPS 739483 HAS SOUS 611494 HAS SOUPS 611494 WITH SCORE 612233.483
AT ITER 7895 NEW BEST:: SOT 4400717 SOS 739699 HAS SOPS 739699 HAS SOUS 611446 HAS SOUPS 611446 WITH SCORE 612185.699
AT ITER 7898 NEW BEST:: SOT 4400717 SOS 739547 HAS SOPS 739547 HAS SOUS 611446 HAS SOUPS 611446 WITH SCORE 612185.547
AT ITER 7904 NEW BEST:: SOT 4400712 SOS 739537 HAS SOPS 739537 HAS SOUS 611373 HAS SOUPS 611373 WITH SCORE 612112.537
AT ITER 7923 NEW BEST:: SOT 4400562 SOS 739387 HAS SOPS 739387 HAS SOUS 611223 HAS SOUPS 611223 WITH SCORE 611962.387
AT ITER 7952 NEW BEST:: SOT 4400562 SOS 739331 HAS SOPS 739331 HAS SOUS 611223 HAS SOUPS 611223 WITH SCORE 611962.331
AT ITER 7980 NEW BEST:: SOT 4400282 SOS 738771 HAS SOPS 738771 HAS SOUS 610400 HAS SOUPS 610400 WITH SCORE 611138.771
AT ITER 7987 NEW BEST:: SOT 4400258 SOS 738723 HAS SOPS 738723 HAS SOUS 610400 HAS SOUPS 610400 WITH SCORE 611138.723
AT ITER 7998 NEW BEST:: SOT 4400215 SOS 738696 HAS SOPS 738696 HAS SOUS 610382 HAS SOUPS 610382 WITH SCORE 611120.696
AT ITER 8022 NEW BEST:: SOT 4400196 SOS 738639 HAS SOPS 738639 HAS SOUS 610344 HAS SOUPS 610344 WITH SCORE 611082.639
AT ITER 8042 NEW BEST:: SOT 4399988 SOS 738223 HAS SOPS 738223 HAS SOUS 609909 HAS SOUPS 609909 WITH SCORE 610647.223
AT ITER 8073 NEW BEST:: SOT 4399924 SOS 738095 HAS SOPS 738095 HAS SOUS 609781 HAS SOUPS 609781 WITH SCORE 610519.095
AT ITER 8117 NEW BEST:: SOT 4399785 SOS 737545 HAS SOPS 737545 HAS SOUS 609503 HAS SOUPS 609503 WITH SCORE 610240.545
AT ITER 8157 NEW BEST:: SOT 4399785 SOS 737545 HAS SOPS 737545 HAS SOUS 609216 HAS SOUPS 609216 WITH SCORE 609953.545
AT ITER 8171 NEW BEST:: SOT 4399785 SOS 737442 HAS SOPS 737442 HAS SOUS 609216 HAS SOUPS 609216 WITH SCORE 609953.442
AT ITER 8177 NEW BEST:: SOT 4399579 SOS 737030 HAS SOPS 737030 HAS SOUS 609010 HAS SOUPS 609010 WITH SCORE 609747.03
AT ITER 8183 NEW BEST:: SOT 4399438 SOS 736748 HAS SOPS 736748 HAS SOUS 608728 HAS SOUPS 608728 WITH SCORE 609464.748
AT ITER 8193 NEW BEST:: SOT 4399353 SOS 736578 HAS SOPS 736578 HAS SOUS 608558 HAS SOUPS 608558 WITH SCORE 609294.578
AT ITER 8194 NEW BEST:: SOT 4399260 SOS 736843 HAS SOPS 736843 HAS SOUS 608372 HAS SOUPS 608372 WITH SCORE 609108.843
AT ITER 8227 NEW BEST:: SOT 4399099 SOS 736521 HAS SOPS 736521 HAS SOUS 608050 HAS SOUPS 608050 WITH SCORE 608786.521
AT ITER 8277 NEW BEST:: SOT 4399132 SOS 736587 HAS SOPS 736587 HAS SOUS 608017 HAS SOUPS 608017 WITH SCORE 608753.587
AT ITER 8292 NEW BEST:: SOT 4399132 SOS 736587 HAS SOPS 736587 HAS SOUS 607981 HAS SOUPS 607981 WITH SCORE 608717.587
AT ITER 8293 NEW BEST:: SOT 4399088 SOS 736499 HAS SOPS 736499 HAS SOUS 607935 HAS SOUPS 607935 WITH SCORE 608671.499
AT ITER 8329 NEW BEST:: SOT 4399088 SOS 736152 HAS SOPS 736152 HAS SOUS 607934 HAS SOUPS 607934 WITH SCORE 608670.152
AT ITER 8343 NEW BEST:: SOT 4398511 SOS 734998 HAS SOPS 734998 HAS SOUS 607075 HAS SOUPS 607075 WITH SCORE 607809.998
AT ITER 8344 NEW BEST:: SOT 4398328 SOS 734632 HAS SOPS 734632 HAS SOUS 606709 HAS SOUPS 606709 WITH SCORE 607443.632
AT ITER 8378 NEW BEST:: SOT 4398249 SOS 733246 HAS SOPS 733246 HAS SOUS 605885 HAS SOUPS 605885 WITH SCORE 606618.246
AT ITER 8399 NEW BEST:: SOT 4397953 SOS 732654 HAS SOPS 732654 HAS SOUS 605293 HAS SOUPS 605293 WITH SCORE 606025.654
AT ITER 8401 NEW BEST:: SOT 4397841 SOS 732364 HAS SOPS 732364 HAS SOUS 605247 HAS SOUPS 605247 WITH SCORE 605979.364
AT ITER 8423 NEW BEST:: SOT 4397841 SOS 732091 HAS SOPS 732091 HAS SOUS 605247 HAS SOUPS 605247 WITH SCORE 605979.091
AT ITER 8429 NEW BEST:: SOT 4397876 SOS 732161 HAS SOPS 732161 HAS SOUS 605237 HAS SOUPS 605237 WITH SCORE 605969.161
AT ITER 8448 NEW BEST:: SOT 4397414 SOS 731699 HAS SOPS 731699 HAS SOUS 604775 HAS SOUPS 604775 WITH SCORE 605506.699
AT ITER 8488 NEW BEST:: SOT 4397369 SOS 731609 HAS SOPS 731609 HAS SOUS 604685 HAS SOUPS 604685 WITH SCORE 605416.609
AT ITER 8490 NEW BEST:: SOT 4397401 SOS 731231 HAS SOPS 731231 HAS SOUS 604496 HAS SOUPS 604496 WITH SCORE 605227.231
AT ITER 8505 NEW BEST:: SOT 4397166 SOS 730374 HAS SOPS 730374 HAS SOUS 604026 HAS SOUPS 604026 WITH SCORE 604756.374
AT ITER 8509 NEW BEST:: SOT 4397133 SOS 730308 HAS SOPS 730308 HAS SOUS 603960 HAS SOUPS 603960 WITH SCORE 604690.308
AT ITER 8521 NEW BEST:: SOT 4397067 SOS 730176 HAS SOPS 730176 HAS SOUS 603828 HAS SOUPS 603828 WITH SCORE 604558.176
AT ITER 8534 NEW BEST:: SOT 4396636 SOS 729545 HAS SOPS 729545 HAS SOUS 603173 HAS SOUPS 603173 WITH SCORE 603902.545
AT ITER 8535 NEW BEST:: SOT 4396576 SOS 729425 HAS SOPS 729425 HAS SOUS 603113 HAS SOUPS 603113 WITH SCORE 603842.425
AT ITER 8544 NEW BEST:: SOT 4396576 SOS 729371 HAS SOPS 729371 HAS SOUS 603059 HAS SOUPS 603059 WITH SCORE 603788.371
AT ITER 8545 NEW BEST:: SOT 4396576 SOS 729321 HAS SOPS 729321 HAS SOUS 603059 HAS SOUPS 603059 WITH SCORE 603788.321
AT ITER 8604 NEW BEST:: SOT 4396370 SOS 728702 HAS SOPS 728702 HAS SOUS 602574 HAS SOUPS 602574 WITH SCORE 603302.702
AT ITER 8605 NEW BEST:: SOT 4396336 SOS 728634 HAS SOPS 728634 HAS SOUS 602506 HAS SOUPS 602506 WITH SCORE 603234.634
AT ITER 8612 NEW BEST:: SOT 4396067 SOS 728095 HAS SOPS 728095 HAS SOUS 602239 HAS SOUPS 602239 WITH SCORE 602967.095
AT ITER 8619 NEW BEST:: SOT 4395972 SOS 727905 HAS SOPS 727905 HAS SOUS 602049 HAS SOUPS 602049 WITH SCORE 602776.905
AT ITER 8643 NEW BEST:: SOT 4395972 SOS 727897 HAS SOPS 727897 HAS SOUS 602049 HAS SOUPS 602049 WITH SCORE 602776.897
AT ITER 8658 NEW BEST:: SOT 4395832 SOS 727813 HAS SOPS 727813 HAS SOUS 601965 HAS SOUPS 601965 WITH SCORE 602692.813
AT ITER 8661 NEW BEST:: SOT 4395679 SOS 727609 HAS SOPS 727609 HAS SOUS 601761 HAS SOUPS 601761 WITH SCORE 602488.609
AT ITER 8698 NEW BEST:: SOT 4395545 SOS 727475 HAS SOPS 727475 HAS SOUS 601627 HAS SOUPS 601627 WITH SCORE 602354.475
AT ITER 8721 NEW BEST:: SOT 4395456 SOS 727411 HAS SOPS 727411 HAS SOUS 601563 HAS SOUPS 601563 WITH SCORE 602290.411
AT ITER 8733 NEW BEST:: SOT 4395431 SOS 727361 HAS SOPS 727361 HAS SOUS 601513 HAS SOUPS 601513 WITH SCORE 602240.361
AT ITER 8745 NEW BEST:: SOT 4395401 SOS 727271 HAS SOPS 727271 HAS SOUS 601453 HAS SOUPS 601453 WITH SCORE 602180.271
AT ITER 8775 NEW BEST:: SOT 4395390 SOS 727234 HAS SOPS 727234 HAS SOUS 601416 HAS SOUPS 601416 WITH SCORE 602143.234
AT ITER 8807 NEW BEST:: SOT 4395390 SOS 727133 HAS SOPS 727133 HAS SOUS 601416 HAS SOUPS 601416 WITH SCORE 602143.133
AT ITER 8808 NEW BEST:: SOT 4395390 SOS 727023 HAS SOPS 727023 HAS SOUS 601416 HAS SOUPS 601416 WITH SCORE 602143.023
AT ITER 8809 NEW BEST:: SOT 4395390 SOS 726937 HAS SOPS 726937 HAS SOUS 601416 HAS SOUPS 601416 WITH SCORE 602142.937
AT ITER 8826 NEW BEST:: SOT 4395390 SOS 726763 HAS SOPS 726763 HAS SOUS 601329 HAS SOUPS 601329 WITH SCORE 602055.763
AT ITER 8852 NEW BEST:: SOT 4395179 SOS 726552 HAS SOPS 726552 HAS SOUS 600968 HAS SOUPS 600968 WITH SCORE 601694.552
AT ITER 8864 NEW BEST:: SOT 4395179 SOS 726528 HAS SOPS 726528 HAS SOUS 600968 HAS SOUPS 600968 WITH SCORE 601694.528
AT ITER 8890 NEW BEST:: SOT 4394848 SOS 725505 HAS SOPS 725505 HAS SOUS 600639 HAS SOUPS 600639 WITH SCORE 601364.505
AT ITER 8892 NEW BEST:: SOT 4394847 SOS 725504 HAS SOPS 725504 HAS SOUS 600637 HAS SOUPS 600637 WITH SCORE 601362.504
AT ITER 8903 NEW BEST:: SOT 4394601 SOS 725258 HAS SOPS 725258 HAS SOUS 600580 HAS SOUPS 600580 WITH SCORE 601305.258
AT ITER 8911 NEW BEST:: SOT 4394710 SOS 724921 HAS SOPS 724921 HAS SOUS 600441 HAS SOUPS 600441 WITH SCORE 601165.921
AT ITER 8937 NEW BEST:: SOT 4394588 SOS 725305 HAS SOPS 725305 HAS SOUS 600409 HAS SOUPS 600409 WITH SCORE 601134.305
AT ITER 8948 NEW BEST:: SOT 4394452 SOS 725293 HAS SOPS 725293 HAS SOUS 600397 HAS SOUPS 600397 WITH SCORE 601122.293
AT ITER 8949 NEW BEST:: SOT 4394423 SOS 725504 HAS SOPS 725504 HAS SOUS 600368 HAS SOUPS 600368 WITH SCORE 601093.504
AT ITER 8953 NEW BEST:: SOT 4394396 SOS 725401 HAS SOPS 725401 HAS SOUS 600363 HAS SOUPS 600363 WITH SCORE 601088.401
AT ITER 8962 NEW BEST:: SOT 4394396 SOS 725236 HAS SOPS 725236 HAS SOUS 600330 HAS SOUPS 600330 WITH SCORE 601055.236
AT ITER 8967 NEW BEST:: SOT 4394406 SOS 725121 HAS SOPS 725121 HAS SOUS 600174 HAS SOUPS 600174 WITH SCORE 600899.121
AT ITER 8972 NEW BEST:: SOT 4394406 SOS 725121 HAS SOPS 725121 HAS SOUS 600173 HAS SOUPS 600173 WITH SCORE 600898.121
AT ITER 9020 NEW BEST:: SOT 4394317 SOS 724943 HAS SOPS 724943 HAS SOUS 599855 HAS SOUPS 599855 WITH SCORE 600579.943
AT ITER 9028 NEW BEST:: SOT 4394317 SOS 724940 HAS SOPS 724940 HAS SOUS 599852 HAS SOUPS 599852 WITH SCORE 600576.94
AT ITER 9031 NEW BEST:: SOT 4394378 SOS 725062 HAS SOPS 725062 HAS SOUS 599652 HAS SOUPS 599652 WITH SCORE 600377.062
AT ITER 9081 NEW BEST:: SOT 4394378 SOS 725062 HAS SOPS 725062 HAS SOUS 599650 HAS SOUPS 599650 WITH SCORE 600375.062
AT ITER 9108 NEW BEST:: SOT 4394328 SOS 725038 HAS SOPS 725038 HAS SOUS 599626 HAS SOUPS 599626 WITH SCORE 600351.038
AT ITER 9113 NEW BEST:: SOT 4394306 SOS 724890 HAS SOPS 724890 HAS SOUS 599478 HAS SOUPS 599478 WITH SCORE 600202.89
AT ITER 9136 NEW BEST:: SOT 4394303 SOS 724884 HAS SOPS 724884 HAS SOUS 599472 HAS SOUPS 599472 WITH SCORE 600196.884
AT ITER 9141 NEW BEST:: SOT 4394303 SOS 724863 HAS SOPS 724863 HAS SOUS 599472 HAS SOUPS 599472 WITH SCORE 600196.863
AT ITER 9165 NEW BEST:: SOT 4394053 SOS 724363 HAS SOPS 724363 HAS SOUS 599124 HAS SOUPS 599124 WITH SCORE 599848.363
AT ITER 9178 NEW BEST:: SOT 4394022 SOS 724301 HAS SOPS 724301 HAS SOUS 599071 HAS SOUPS 599071 WITH SCORE 599795.301
AT ITER 9213 NEW BEST:: SOT 4393546 SOS 723349 HAS SOPS 723349 HAS SOUS 598847 HAS SOUPS 598847 WITH SCORE 599570.349
AT ITER 9235 NEW BEST:: SOT 4393410 SOS 723077 HAS SOPS 723077 HAS SOUS 598669 HAS SOUPS 598669 WITH SCORE 599392.077
AT ITER 9282 NEW BEST:: SOT 4393355 SOS 722967 HAS SOPS 722967 HAS SOUS 598559 HAS SOUPS 598559 WITH SCORE 599281.967
AT ITER 9338 NEW BEST:: SOT 4393323 SOS 722967 HAS SOPS 722967 HAS SOUS 598527 HAS SOUPS 598527 WITH SCORE 599249.967
AT ITER 9374 NEW BEST:: SOT 4393202 SOS 722725 HAS SOPS 722725 HAS SOUS 598406 HAS SOUPS 598406 WITH SCORE 599128.725
AT ITER 9383 NEW BEST:: SOT 4393065 SOS 722588 HAS SOPS 722588 HAS SOUS 598269 HAS SOUPS 598269 WITH SCORE 598991.588
AT ITER 9423 NEW BEST:: SOT 4393065 SOS 722384 HAS SOPS 722384 HAS SOUS 598167 HAS SOUPS 598167 WITH SCORE 598889.384
AT ITER 9429 NEW BEST:: SOT 4393058 SOS 722370 HAS SOPS 722370 HAS SOUS 598079 HAS SOUPS 598079 WITH SCORE 598801.37
AT ITER 9476 NEW BEST:: SOT 4393058 SOS 722353 HAS SOPS 722353 HAS SOUS 598079 HAS SOUPS 598079 WITH SCORE 598801.353
AT ITER 9479 NEW BEST:: SOT 4393047 SOS 722314 HAS SOPS 722314 HAS SOUS 598057 HAS SOUPS 598057 WITH SCORE 598779.314
AT ITER 9525 NEW BEST:: SOT 4392999 SOS 722316 HAS SOPS 722316 HAS SOUS 598052 HAS SOUPS 598052 WITH SCORE 598774.316
AT ITER 9534 NEW BEST:: SOT 4392839 SOS 721962 HAS SOPS 721962 HAS SOUS 597732 HAS SOUPS 597732 WITH SCORE 598453.962
AT ITER 9539 NEW BEST:: SOT 4392653 SOS 721590 HAS SOPS 721590 HAS SOUS 597679 HAS SOUPS 597679 WITH SCORE 598400.59
AT ITER 9618 NEW BEST:: SOT 4392558 SOS 721400 HAS SOPS 721400 HAS SOUS 597581 HAS SOUPS 597581 WITH SCORE 598302.4
AT ITER 9628 NEW BEST:: SOT 4392544 SOS 721358 HAS SOPS 721358 HAS SOUS 597553 HAS SOUPS 597553 WITH SCORE 598274.358
AT ITER 9665 NEW BEST:: SOT 4392531 SOS 721332 HAS SOPS 721332 HAS SOUS 597540 HAS SOUPS 597540 WITH SCORE 598261.332
AT ITER 9691 NEW BEST:: SOT 4392346 SOS 720777 HAS SOPS 720777 HAS SOUS 597170 HAS SOUPS 597170 WITH SCORE 597890.777
AT ITER 9698 NEW BEST:: SOT 4392346 SOS 720464 HAS SOPS 720464 HAS SOUS 597170 HAS SOUPS 597170 WITH SCORE 597890.464
AT ITER 9719 NEW BEST:: SOT 4392302 SOS 720376 HAS SOPS 720376 HAS SOUS 597129 HAS SOUPS 597129 WITH SCORE 597849.376
AT ITER 9737 NEW BEST:: SOT 4392300 SOS 720372 HAS SOPS 720372 HAS SOUS 597125 HAS SOUPS 597125 WITH SCORE 597845.372
AT ITER 9756 NEW BEST:: SOT 4392141 SOS 719895 HAS SOPS 719895 HAS SOUS 596924 HAS SOUPS 596924 WITH SCORE 597643.895
AT ITER 9772 NEW BEST:: SOT 4392098 SOS 719809 HAS SOPS 719809 HAS SOUS 596924 HAS SOUPS 596924 WITH SCORE 597643.809
AT ITER 9776 NEW BEST:: SOT 4392098 SOS 719611 HAS SOPS 719611 HAS SOUS 596726 HAS SOUPS 596726 WITH SCORE 597445.611
AT ITER 9780 NEW BEST:: SOT 4392131 SOS 719644 HAS SOPS 719644 HAS SOUS 596672 HAS SOUPS 596672 WITH SCORE 597391.644
AT ITER 9816 NEW BEST:: SOT 4392104 SOS 719590 HAS SOPS 719590 HAS SOUS 596561 HAS SOUPS 596561 WITH SCORE 597280.59
AT ITER 9846 NEW BEST:: SOT 4391969 SOS 719455 HAS SOPS 719455 HAS SOUS 596426 HAS SOUPS 596426 WITH SCORE 597145.455
AT ITER 9913 NEW BEST:: SOT 4391703 SOS 719189 HAS SOPS 719189 HAS SOUS 596325 HAS SOUPS 596325 WITH SCORE 597044.189
AT ITER 9920 NEW BEST:: SOT 4391535 SOS 718251 HAS SOPS 718251 HAS SOUS 596156 HAS SOUPS 596156 WITH SCORE 596874.251
AT ITER 9962 NEW BEST:: SOT 4391408 SOS 718146 HAS SOPS 718146 HAS SOUS 595902 HAS SOUPS 595902 WITH SCORE 596620.146
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12383932 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123196 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-319"
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 CloudReconfiguration-PT-319, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814483800152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-319.tgz
mv CloudReconfiguration-PT-319 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 ;