About the Execution of Smart+red for StigmergyCommit-PT-03b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4181.144 | 3600000.00 | 3623407.00 | 6986.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651200424.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is StigmergyCommit-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200424
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 780K
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 10:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 10:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 359K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679349466065
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-03b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 21:57:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 21:57:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 21:57:49] [INFO ] Load time of PNML (sax parser for PT used): 263 ms
[2023-03-20 21:57:49] [INFO ] Transformed 1231 places.
[2023-03-20 21:57:49] [INFO ] Transformed 1476 transitions.
[2023-03-20 21:57:49] [INFO ] Found NUPN structural information;
[2023-03-20 21:57:49] [INFO ] Parsed PT model containing 1231 places and 1476 transitions and 4168 arcs in 431 ms.
[2023-03-20 21:57:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1231 places, 1476 transitions and 4168 arcs took 21 ms.
Total runtime 512 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 03b
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: 1231 places, 1476 transitions, 4168 arcs.
AT ITER 0 NEW BEST:: SOT 1035472 SOS 151061 HAS SOPS 151061 HAS SOUS 142795 HAS SOUPS 142795 WITH SCORE 142946.061
AT ITER 16 NEW BEST:: SOT 1034879 SOS 153434 HAS SOPS 153434 HAS SOUS 142535 HAS SOUPS 142535 WITH SCORE 142688.434
AT ITER 17 NEW BEST:: SOT 1034794 SOS 153264 HAS SOPS 153264 HAS SOUS 142365 HAS SOUPS 142365 WITH SCORE 142518.264
AT ITER 35 NEW BEST:: SOT 1034793 SOS 153262 HAS SOPS 153262 HAS SOUS 142363 HAS SOUPS 142363 WITH SCORE 142516.262
AT ITER 63 NEW BEST:: SOT 1034793 SOS 153251 HAS SOPS 153251 HAS SOUS 142363 HAS SOUPS 142363 WITH SCORE 142516.251
AT ITER 64 NEW BEST:: SOT 1034763 SOS 153191 HAS SOPS 153191 HAS SOUS 142303 HAS SOUPS 142303 WITH SCORE 142456.191
AT ITER 90 NEW BEST:: SOT 1034763 SOS 153175 HAS SOPS 153175 HAS SOUS 142302 HAS SOUPS 142302 WITH SCORE 142455.175
AT ITER 96 NEW BEST:: SOT 1034658 SOS 152965 HAS SOPS 152965 HAS SOUS 142092 HAS SOUPS 142092 WITH SCORE 142244.965
AT ITER 105 NEW BEST:: SOT 1034634 SOS 152965 HAS SOPS 152965 HAS SOUS 142080 HAS SOUPS 142080 WITH SCORE 142232.965
AT ITER 112 NEW BEST:: SOT 1034550 SOS 152755 HAS SOPS 152755 HAS SOUS 141911 HAS SOUPS 141911 WITH SCORE 142063.755
AT ITER 170 NEW BEST:: SOT 1034452 SOS 152657 HAS SOPS 152657 HAS SOUS 141813 HAS SOUPS 141813 WITH SCORE 141965.657
AT ITER 174 NEW BEST:: SOT 1034424 SOS 152629 HAS SOPS 152629 HAS SOUS 141785 HAS SOUPS 141785 WITH SCORE 141937.629
AT ITER 198 NEW BEST:: SOT 1034423 SOS 152627 HAS SOPS 152627 HAS SOUS 141783 HAS SOUPS 141783 WITH SCORE 141935.627
AT ITER 228 NEW BEST:: SOT 1034423 SOS 152573 HAS SOPS 152573 HAS SOUS 141782 HAS SOUPS 141782 WITH SCORE 141934.573
AT ITER 248 NEW BEST:: SOT 1034423 SOS 152570 HAS SOPS 152570 HAS SOUS 141782 HAS SOUPS 141782 WITH SCORE 141934.57
AT ITER 286 NEW BEST:: SOT 1032922 SOS 157588 HAS SOPS 157588 HAS SOUS 140676 HAS SOUPS 140676 WITH SCORE 140833.588
AT ITER 302 NEW BEST:: SOT 1032900 SOS 157544 HAS SOPS 157544 HAS SOUS 140632 HAS SOUPS 140632 WITH SCORE 140789.544
AT ITER 359 NEW BEST:: SOT 1032899 SOS 157542 HAS SOPS 157542 HAS SOUS 140630 HAS SOUPS 140630 WITH SCORE 140787.542
AT ITER 365 NEW BEST:: SOT 1032899 SOS 157477 HAS SOPS 157477 HAS SOUS 140630 HAS SOUPS 140630 WITH SCORE 140787.477
AT ITER 385 NEW BEST:: SOT 1032851 SOS 157429 HAS SOPS 157429 HAS SOUS 140582 HAS SOUPS 140582 WITH SCORE 140739.429
AT ITER 403 NEW BEST:: SOT 1032837 SOS 157401 HAS SOPS 157401 HAS SOUS 140554 HAS SOUPS 140554 WITH SCORE 140711.401
AT ITER 442 NEW BEST:: SOT 1032801 SOS 157365 HAS SOPS 157365 HAS SOUS 140518 HAS SOUPS 140518 WITH SCORE 140675.365
AT ITER 467 NEW BEST:: SOT 1032745 SOS 157340 HAS SOPS 157340 HAS SOUS 140481 HAS SOUPS 140481 WITH SCORE 140638.34
AT ITER 479 NEW BEST:: SOT 1032620 SOS 157090 HAS SOPS 157090 HAS SOUS 140439 HAS SOUPS 140439 WITH SCORE 140596.09
AT ITER 492 NEW BEST:: SOT 1032320 SOS 156850 HAS SOPS 156850 HAS SOUS 140139 HAS SOUPS 140139 WITH SCORE 140295.85
AT ITER 500 NEW BEST:: SOT 1032233 SOS 156596 HAS SOPS 156596 HAS SOUS 139964 HAS SOUPS 139964 WITH SCORE 140120.596
AT ITER 580 NEW BEST:: SOT 1030955 SOS 156474 HAS SOPS 156474 HAS SOUS 138782 HAS SOUPS 138782 WITH SCORE 138938.474
AT ITER 583 NEW BEST:: SOT 1030954 SOS 156472 HAS SOPS 156472 HAS SOUS 138780 HAS SOUPS 138780 WITH SCORE 138936.472
AT ITER 597 NEW BEST:: SOT 1030942 SOS 156473 HAS SOPS 156473 HAS SOUS 138775 HAS SOUPS 138775 WITH SCORE 138931.473
AT ITER 600 NEW BEST:: SOT 1030859 SOS 156218 HAS SOPS 156218 HAS SOUS 138520 HAS SOUPS 138520 WITH SCORE 138676.218
AT ITER 617 NEW BEST:: SOT 1030741 SOS 155990 HAS SOPS 155990 HAS SOUS 138266 HAS SOUPS 138266 WITH SCORE 138421.99
AT ITER 623 NEW BEST:: SOT 1030707 SOS 155956 HAS SOPS 155956 HAS SOUS 138232 HAS SOUPS 138232 WITH SCORE 138387.956
AT ITER 672 NEW BEST:: SOT 1030695 SOS 155932 HAS SOPS 155932 HAS SOUS 138208 HAS SOUPS 138208 WITH SCORE 138363.932
AT ITER 682 NEW BEST:: SOT 1030695 SOS 155883 HAS SOPS 155883 HAS SOUS 138208 HAS SOUPS 138208 WITH SCORE 138363.883
AT ITER 694 NEW BEST:: SOT 1030695 SOS 155883 HAS SOPS 155883 HAS SOUS 138200 HAS SOUPS 138200 WITH SCORE 138355.883
AT ITER 715 NEW BEST:: SOT 1030694 SOS 155881 HAS SOPS 155881 HAS SOUS 138198 HAS SOUPS 138198 WITH SCORE 138353.881
AT ITER 752 NEW BEST:: SOT 1030626 SOS 153389 HAS SOPS 153389 HAS SOUS 138061 HAS SOUPS 138061 WITH SCORE 138214.389
AT ITER 761 NEW BEST:: SOT 1030626 SOS 153388 HAS SOPS 153388 HAS SOUS 138060 HAS SOUPS 138060 WITH SCORE 138213.388
AT ITER 780 NEW BEST:: SOT 1030625 SOS 153386 HAS SOPS 153386 HAS SOUS 138058 HAS SOUPS 138058 WITH SCORE 138211.386
AT ITER 852 NEW BEST:: SOT 1030545 SOS 153226 HAS SOPS 153226 HAS SOUS 137978 HAS SOUPS 137978 WITH SCORE 138131.226
AT ITER 861 NEW BEST:: SOT 1030469 SOS 153150 HAS SOPS 153150 HAS SOUS 137902 HAS SOUPS 137902 WITH SCORE 138055.15
AT ITER 893 NEW BEST:: SOT 1030431 SOS 153074 HAS SOPS 153074 HAS SOUS 137864 HAS SOUPS 137864 WITH SCORE 138017.074
AT ITER 910 NEW BEST:: SOT 1030431 SOS 153073 HAS SOPS 153073 HAS SOUS 137863 HAS SOUPS 137863 WITH SCORE 138016.073
AT ITER 917 NEW BEST:: SOT 1030375 SOS 152961 HAS SOPS 152961 HAS SOUS 137751 HAS SOUPS 137751 WITH SCORE 137903.961
AT ITER 932 NEW BEST:: SOT 1030306 SOS 152823 HAS SOPS 152823 HAS SOUS 137696 HAS SOUPS 137696 WITH SCORE 137848.823
AT ITER 937 NEW BEST:: SOT 1029576 SOS 156117 HAS SOPS 156117 HAS SOUS 137307 HAS SOUPS 137307 WITH SCORE 137463.117
AT ITER 952 NEW BEST:: SOT 1029415 SOS 155795 HAS SOPS 155795 HAS SOUS 137099 HAS SOUPS 137099 WITH SCORE 137254.795
AT ITER 987 NEW BEST:: SOT 1029451 SOS 155674 HAS SOPS 155674 HAS SOUS 137080 HAS SOUPS 137080 WITH SCORE 137235.674
AT ITER 1002 NEW BEST:: SOT 1029391 SOS 155656 HAS SOPS 155656 HAS SOUS 137037 HAS SOUPS 137037 WITH SCORE 137192.656
AT ITER 1063 NEW BEST:: SOT 1029243 SOS 155360 HAS SOPS 155360 HAS SOUS 136951 HAS SOUPS 136951 WITH SCORE 137106.36
AT ITER 1072 NEW BEST:: SOT 1029235 SOS 155352 HAS SOPS 155352 HAS SOUS 136943 HAS SOUPS 136943 WITH SCORE 137098.352
AT ITER 1091 NEW BEST:: SOT 1028930 SOS 155148 HAS SOPS 155148 HAS SOUS 136754 HAS SOUPS 136754 WITH SCORE 136909.148
AT ITER 1094 NEW BEST:: SOT 1028768 SOS 154824 HAS SOPS 154824 HAS SOUS 136676 HAS SOUPS 136676 WITH SCORE 136830.824
AT ITER 1141 NEW BEST:: SOT 1028755 SOS 154795 HAS SOPS 154795 HAS SOUS 136657 HAS SOUPS 136657 WITH SCORE 136811.795
AT ITER 1175 NEW BEST:: SOT 1028184 SOS 155287 HAS SOPS 155287 HAS SOUS 136231 HAS SOUPS 136231 WITH SCORE 136386.287
AT ITER 1182 NEW BEST:: SOT 1028092 SOS 155195 HAS SOPS 155195 HAS SOUS 136139 HAS SOUPS 136139 WITH SCORE 136294.195
AT ITER 1200 NEW BEST:: SOT 1028058 SOS 155197 HAS SOPS 155197 HAS SOUS 136106 HAS SOUPS 136106 WITH SCORE 136261.197
AT ITER 1230 NEW BEST:: SOT 1028058 SOS 155187 HAS SOPS 155187 HAS SOUS 136105 HAS SOUPS 136105 WITH SCORE 136260.187
AT ITER 1233 NEW BEST:: SOT 1028058 SOS 155153 HAS SOPS 155153 HAS SOUS 136105 HAS SOUPS 136105 WITH SCORE 136260.153
AT ITER 1341 NEW BEST:: SOT 1027983 SOS 155078 HAS SOPS 155078 HAS SOUS 136030 HAS SOUPS 136030 WITH SCORE 136185.078
AT ITER 1402 NEW BEST:: SOT 1027983 SOS 155048 HAS SOPS 155048 HAS SOUS 136000 HAS SOUPS 136000 WITH SCORE 136155.048
AT ITER 1425 NEW BEST:: SOT 1027983 SOS 155007 HAS SOPS 155007 HAS SOUS 135959 HAS SOUPS 135959 WITH SCORE 136114.007
AT ITER 1464 NEW BEST:: SOT 1028003 SOS 154891 HAS SOPS 154891 HAS SOUS 135947 HAS SOUPS 135947 WITH SCORE 136101.891
AT ITER 1493 NEW BEST:: SOT 1027945 SOS 154775 HAS SOPS 154775 HAS SOUS 135831 HAS SOUPS 135831 WITH SCORE 135985.775
AT ITER 1496 NEW BEST:: SOT 1027830 SOS 154545 HAS SOPS 154545 HAS SOUS 135819 HAS SOUPS 135819 WITH SCORE 135973.545
AT ITER 1509 NEW BEST:: SOT 1027873 SOS 154631 HAS SOPS 154631 HAS SOUS 135817 HAS SOUPS 135817 WITH SCORE 135971.631
AT ITER 1563 NEW BEST:: SOT 1027773 SOS 154551 HAS SOPS 154551 HAS SOUS 135617 HAS SOUPS 135617 WITH SCORE 135771.551
AT ITER 1620 NEW BEST:: SOT 1027685 SOS 154355 HAS SOPS 154355 HAS SOUS 135440 HAS SOUPS 135440 WITH SCORE 135594.355
AT ITER 1625 NEW BEST:: SOT 1027433 SOS 154103 HAS SOPS 154103 HAS SOUS 135188 HAS SOUPS 135188 WITH SCORE 135342.103
AT ITER 1654 NEW BEST:: SOT 1027370 SOS 153977 HAS SOPS 153977 HAS SOUS 135062 HAS SOUPS 135062 WITH SCORE 135215.977
AT ITER 1672 NEW BEST:: SOT 1027312 SOS 153861 HAS SOPS 153861 HAS SOUS 134946 HAS SOUPS 134946 WITH SCORE 135099.861
AT ITER 1696 NEW BEST:: SOT 1027312 SOS 153860 HAS SOPS 153860 HAS SOUS 134945 HAS SOUPS 134945 WITH SCORE 135098.86
AT ITER 1705 NEW BEST:: SOT 1027291 SOS 153818 HAS SOPS 153818 HAS SOUS 134923 HAS SOUPS 134923 WITH SCORE 135076.818
AT ITER 1708 NEW BEST:: SOT 1027230 SOS 153696 HAS SOPS 153696 HAS SOUS 134801 HAS SOUPS 134801 WITH SCORE 134954.696
AT ITER 1726 NEW BEST:: SOT 1025820 SOS 189198 HAS SOPS 189198 HAS SOUS 134591 HAS SOUPS 134591 WITH SCORE 134780.198
AT ITER 1729 NEW BEST:: SOT 1025757 SOS 189072 HAS SOPS 189072 HAS SOUS 134465 HAS SOUPS 134465 WITH SCORE 134654.072
AT ITER 1744 NEW BEST:: SOT 1025757 SOS 189072 HAS SOPS 189072 HAS SOUS 134461 HAS SOUPS 134461 WITH SCORE 134650.072
AT ITER 1746 NEW BEST:: SOT 1025675 SOS 188908 HAS SOPS 188908 HAS SOUS 134380 HAS SOUPS 134380 WITH SCORE 134568.908
AT ITER 1761 NEW BEST:: SOT 1025626 SOS 188810 HAS SOPS 188810 HAS SOUS 134282 HAS SOUPS 134282 WITH SCORE 134470.81
AT ITER 1824 NEW BEST:: SOT 1024876 SOS 188090 HAS SOPS 188090 HAS SOUS 133502 HAS SOUPS 133502 WITH SCORE 133690.09
AT ITER 1831 NEW BEST:: SOT 1024855 SOS 188048 HAS SOPS 188048 HAS SOUS 133480 HAS SOUPS 133480 WITH SCORE 133668.048
AT ITER 1832 NEW BEST:: SOT 1024777 SOS 187892 HAS SOPS 187892 HAS SOUS 133324 HAS SOUPS 133324 WITH SCORE 133511.892
AT ITER 1849 NEW BEST:: SOT 1024686 SOS 187619 HAS SOPS 187619 HAS SOUS 133142 HAS SOUPS 133142 WITH SCORE 133329.619
AT ITER 1894 NEW BEST:: SOT 1023348 SOS 191418 HAS SOPS 191418 HAS SOUS 132466 HAS SOUPS 132466 WITH SCORE 132657.418
AT ITER 1937 NEW BEST:: SOT 1023330 SOS 191273 HAS SOPS 191273 HAS SOUS 132430 HAS SOUPS 132430 WITH SCORE 132621.273
AT ITER 1946 NEW BEST:: SOT 1023311 SOS 191235 HAS SOPS 191235 HAS SOUS 132392 HAS SOUPS 132392 WITH SCORE 132583.235
AT ITER 2055 NEW BEST:: SOT 1023204 SOS 191021 HAS SOPS 191021 HAS SOUS 132178 HAS SOUPS 132178 WITH SCORE 132369.021
AT ITER 2069 NEW BEST:: SOT 1023079 SOS 190771 HAS SOPS 190771 HAS SOUS 132055 HAS SOUPS 132055 WITH SCORE 132245.771
AT ITER 2109 NEW BEST:: SOT 1023015 SOS 190643 HAS SOPS 190643 HAS SOUS 131927 HAS SOUPS 131927 WITH SCORE 132117.643
AT ITER 2131 NEW BEST:: SOT 1022991 SOS 190595 HAS SOPS 190595 HAS SOUS 131879 HAS SOUPS 131879 WITH SCORE 132069.595
AT ITER 2148 NEW BEST:: SOT 1022991 SOS 190595 HAS SOPS 190595 HAS SOUS 131878 HAS SOUPS 131878 WITH SCORE 132068.595
AT ITER 2151 NEW BEST:: SOT 1022965 SOS 190543 HAS SOPS 190543 HAS SOUS 131826 HAS SOUPS 131826 WITH SCORE 132016.543
AT ITER 2179 NEW BEST:: SOT 1022398 SOS 189955 HAS SOPS 189955 HAS SOUS 131316 HAS SOUPS 131316 WITH SCORE 131505.955
AT ITER 2184 NEW BEST:: SOT 1020778 SOS 197346 HAS SOPS 197346 HAS SOUS 130566 HAS SOUPS 130566 WITH SCORE 130763.346
AT ITER 2201 NEW BEST:: SOT 1020752 SOS 197294 HAS SOPS 197294 HAS SOUS 130522 HAS SOUPS 130522 WITH SCORE 130719.294
AT ITER 2282 NEW BEST:: SOT 1020705 SOS 197200 HAS SOPS 197200 HAS SOUS 130428 HAS SOUPS 130428 WITH SCORE 130625.2
AT ITER 2298 NEW BEST:: SOT 1020684 SOS 197158 HAS SOPS 197158 HAS SOUS 130386 HAS SOUPS 130386 WITH SCORE 130583.158
AT ITER 2345 NEW BEST:: SOT 1020681 SOS 197152 HAS SOPS 197152 HAS SOUS 130380 HAS SOUPS 130380 WITH SCORE 130577.152
AT ITER 2369 NEW BEST:: SOT 1020566 SOS 196922 HAS SOPS 196922 HAS SOUS 130265 HAS SOUPS 130265 WITH SCORE 130461.922
AT ITER 2390 NEW BEST:: SOT 1020466 SOS 196722 HAS SOPS 196722 HAS SOUS 130164 HAS SOUPS 130164 WITH SCORE 130360.722
AT ITER 2410 NEW BEST:: SOT 1020430 SOS 196686 HAS SOPS 196686 HAS SOUS 130128 HAS SOUPS 130128 WITH SCORE 130324.686
AT ITER 2467 NEW BEST:: SOT 1018487 SOS 194960 HAS SOPS 194960 HAS SOUS 128185 HAS SOUPS 128185 WITH SCORE 128379.96
AT ITER 2570 NEW BEST:: SOT 1018441 SOS 194857 HAS SOPS 194857 HAS SOUS 128017 HAS SOUPS 128017 WITH SCORE 128211.857
AT ITER 2585 NEW BEST:: SOT 1018474 SOS 194923 HAS SOPS 194923 HAS SOUS 127950 HAS SOUPS 127950 WITH SCORE 128144.923
AT ITER 2592 NEW BEST:: SOT 1018467 SOS 194909 HAS SOPS 194909 HAS SOUS 127936 HAS SOUPS 127936 WITH SCORE 128130.909
AT ITER 2673 NEW BEST:: SOT 1018467 SOS 194841 HAS SOPS 194841 HAS SOUS 127936 HAS SOUPS 127936 WITH SCORE 128130.841
AT ITER 2695 NEW BEST:: SOT 1017403 SOS 193817 HAS SOPS 193817 HAS SOUS 127024 HAS SOUPS 127024 WITH SCORE 127217.817
AT ITER 2749 NEW BEST:: SOT 1017339 SOS 193689 HAS SOPS 193689 HAS SOUS 126896 HAS SOUPS 126896 WITH SCORE 127089.689
AT ITER 2769 NEW BEST:: SOT 1017335 SOS 193685 HAS SOPS 193685 HAS SOUS 126892 HAS SOUPS 126892 WITH SCORE 127085.685
AT ITER 2776 NEW BEST:: SOT 1017309 SOS 193658 HAS SOPS 193658 HAS SOUS 126892 HAS SOUPS 126892 WITH SCORE 127085.658
AT ITER 2791 NEW BEST:: SOT 1017190 SOS 193420 HAS SOPS 193420 HAS SOUS 126889 HAS SOUPS 126889 WITH SCORE 127082.42
AT ITER 2820 NEW BEST:: SOT 1017135 SOS 193310 HAS SOPS 193310 HAS SOUS 126779 HAS SOUPS 126779 WITH SCORE 126972.31
AT ITER 2837 NEW BEST:: SOT 1017134 SOS 193214 HAS SOPS 193214 HAS SOUS 126777 HAS SOUPS 126777 WITH SCORE 126970.214
AT ITER 2851 NEW BEST:: SOT 1017126 SOS 193206 HAS SOPS 193206 HAS SOUS 126777 HAS SOUPS 126777 WITH SCORE 126970.206
AT ITER 2869 NEW BEST:: SOT 1017124 SOS 193202 HAS SOPS 193202 HAS SOUS 126773 HAS SOUPS 126773 WITH SCORE 126966.202
AT ITER 2887 NEW BEST:: SOT 1017033 SOS 193111 HAS SOPS 193111 HAS SOUS 126591 HAS SOUPS 126591 WITH SCORE 126784.111
AT ITER 2972 NEW BEST:: SOT 1016966 SOS 188957 HAS SOPS 188957 HAS SOUS 126457 HAS SOUPS 126457 WITH SCORE 126645.957
AT ITER 2978 NEW BEST:: SOT 1017047 SOS 189119 HAS SOPS 189119 HAS SOUS 126435 HAS SOUPS 126435 WITH SCORE 126624.119
AT ITER 2998 NEW BEST:: SOT 1016950 SOS 188925 HAS SOPS 188925 HAS SOUS 126241 HAS SOUPS 126241 WITH SCORE 126429.925
AT ITER 3005 NEW BEST:: SOT 1017029 SOS 189083 HAS SOPS 189083 HAS SOUS 126161 HAS SOUPS 126161 WITH SCORE 126350.083
AT ITER 3008 NEW BEST:: SOT 1017028 SOS 189081 HAS SOPS 189081 HAS SOUS 126159 HAS SOUPS 126159 WITH SCORE 126348.081
AT ITER 3015 NEW BEST:: SOT 1017028 SOS 189046 HAS SOPS 189046 HAS SOUS 126159 HAS SOUPS 126159 WITH SCORE 126348.046
AT ITER 3027 NEW BEST:: SOT 1017028 SOS 189011 HAS SOPS 189011 HAS SOUS 126159 HAS SOUPS 126159 WITH SCORE 126348.011
AT ITER 3028 NEW BEST:: SOT 1016966 SOS 188887 HAS SOPS 188887 HAS SOUS 125939 HAS SOUPS 125939 WITH SCORE 126127.887
AT ITER 3048 NEW BEST:: SOT 1016966 SOS 188886 HAS SOPS 188886 HAS SOUS 125938 HAS SOUPS 125938 WITH SCORE 126126.886
AT ITER 3095 NEW BEST:: SOT 1016951 SOS 188856 HAS SOPS 188856 HAS SOUS 125923 HAS SOUPS 125923 WITH SCORE 126111.856
AT ITER 3100 NEW BEST:: SOT 1016951 SOS 188831 HAS SOPS 188831 HAS SOUS 125898 HAS SOUPS 125898 WITH SCORE 126086.831
AT ITER 3119 NEW BEST:: SOT 1016599 SOS 188435 HAS SOPS 188435 HAS SOUS 125546 HAS SOUPS 125546 WITH SCORE 125734.435
AT ITER 3142 NEW BEST:: SOT 1016598 SOS 188433 HAS SOPS 188433 HAS SOUS 125544 HAS SOUPS 125544 WITH SCORE 125732.433
AT ITER 3149 NEW BEST:: SOT 1016597 SOS 188431 HAS SOPS 188431 HAS SOUS 125542 HAS SOUPS 125542 WITH SCORE 125730.431
AT ITER 3165 NEW BEST:: SOT 1016597 SOS 188365 HAS SOPS 188365 HAS SOUS 125542 HAS SOUPS 125542 WITH SCORE 125730.365
AT ITER 3166 NEW BEST:: SOT 1016591 SOS 188353 HAS SOPS 188353 HAS SOUS 125530 HAS SOUPS 125530 WITH SCORE 125718.353
AT ITER 3171 NEW BEST:: SOT 1016590 SOS 188351 HAS SOPS 188351 HAS SOUS 125528 HAS SOUPS 125528 WITH SCORE 125716.351
AT ITER 3175 NEW BEST:: SOT 1016458 SOS 188087 HAS SOPS 188087 HAS SOUS 125396 HAS SOUPS 125396 WITH SCORE 125584.087
AT ITER 3177 NEW BEST:: SOT 1016458 SOS 188084 HAS SOPS 188084 HAS SOUS 125396 HAS SOUPS 125396 WITH SCORE 125584.084
AT ITER 3224 NEW BEST:: SOT 1016458 SOS 188080 HAS SOPS 188080 HAS SOUS 125396 HAS SOUPS 125396 WITH SCORE 125584.08
AT ITER 3231 NEW BEST:: SOT 1016422 SOS 187972 HAS SOPS 187972 HAS SOUS 125324 HAS SOUPS 125324 WITH SCORE 125511.972
AT ITER 3254 NEW BEST:: SOT 1016396 SOS 187933 HAS SOPS 187933 HAS SOUS 125285 HAS SOUPS 125285 WITH SCORE 125472.933
AT ITER 3258 NEW BEST:: SOT 1016392 SOS 187925 HAS SOPS 187925 HAS SOUS 125277 HAS SOUPS 125277 WITH SCORE 125464.925
AT ITER 3281 NEW BEST:: SOT 1016319 SOS 187779 HAS SOPS 187779 HAS SOUS 125131 HAS SOUPS 125131 WITH SCORE 125318.779
AT ITER 3333 NEW BEST:: SOT 1016319 SOS 187779 HAS SOPS 187779 HAS SOUS 125047 HAS SOUPS 125047 WITH SCORE 125234.779
AT ITER 3385 NEW BEST:: SOT 1016319 SOS 187779 HAS SOPS 187779 HAS SOUS 124928 HAS SOUPS 124928 WITH SCORE 125115.779
AT ITER 3439 NEW BEST:: SOT 1016254 SOS 187649 HAS SOPS 187649 HAS SOUS 124798 HAS SOUPS 124798 WITH SCORE 124985.649
AT ITER 3441 NEW BEST:: SOT 1016253 SOS 187647 HAS SOPS 187647 HAS SOUS 124796 HAS SOUPS 124796 WITH SCORE 124983.647
AT ITER 3498 NEW BEST:: SOT 1016253 SOS 187598 HAS SOPS 187598 HAS SOUS 124796 HAS SOUPS 124796 WITH SCORE 124983.598
AT ITER 3610 NEW BEST:: SOT 1016252 SOS 187596 HAS SOPS 187596 HAS SOUS 124794 HAS SOUPS 124794 WITH SCORE 124981.596
AT ITER 3619 NEW BEST:: SOT 1016243 SOS 187569 HAS SOPS 187569 HAS SOUS 124776 HAS SOUPS 124776 WITH SCORE 124963.569
AT ITER 3635 NEW BEST:: SOT 1016247 SOS 187562 HAS SOPS 187562 HAS SOUS 124769 HAS SOUPS 124769 WITH SCORE 124956.562
AT ITER 3636 NEW BEST:: SOT 1016246 SOS 187560 HAS SOPS 187560 HAS SOUS 124767 HAS SOUPS 124767 WITH SCORE 124954.56
AT ITER 3639 NEW BEST:: SOT 1016244 SOS 187556 HAS SOPS 187556 HAS SOUS 124763 HAS SOUPS 124763 WITH SCORE 124950.556
AT ITER 3676 NEW BEST:: SOT 1016237 SOS 187542 HAS SOPS 187542 HAS SOUS 124749 HAS SOUPS 124749 WITH SCORE 124936.542
AT ITER 3680 NEW BEST:: SOT 1015299 SOS 190743 HAS SOPS 190743 HAS SOUS 124157 HAS SOUPS 124157 WITH SCORE 124347.743
AT ITER 3751 NEW BEST:: SOT 1015243 SOS 190631 HAS SOPS 190631 HAS SOUS 124045 HAS SOUPS 124045 WITH SCORE 124235.631
AT ITER 3768 NEW BEST:: SOT 1015242 SOS 190620 HAS SOPS 190620 HAS SOUS 124043 HAS SOUPS 124043 WITH SCORE 124233.62
AT ITER 3811 NEW BEST:: SOT 1015241 SOS 190618 HAS SOPS 190618 HAS SOUS 124041 HAS SOUPS 124041 WITH SCORE 124231.618
AT ITER 3821 NEW BEST:: SOT 1015228 SOS 190592 HAS SOPS 190592 HAS SOUS 124015 HAS SOUPS 124015 WITH SCORE 124205.592
AT ITER 3833 NEW BEST:: SOT 1015222 SOS 190580 HAS SOPS 190580 HAS SOUS 124003 HAS SOUPS 124003 WITH SCORE 124193.58
AT ITER 3860 NEW BEST:: SOT 1015221 SOS 190578 HAS SOPS 190578 HAS SOUS 124001 HAS SOUPS 124001 WITH SCORE 124191.578
AT ITER 3883 NEW BEST:: SOT 1015220 SOS 190576 HAS SOPS 190576 HAS SOUS 123999 HAS SOUPS 123999 WITH SCORE 124189.576
AT ITER 3897 NEW BEST:: SOT 1015220 SOS 190576 HAS SOPS 190576 HAS SOUS 123906 HAS SOUPS 123906 WITH SCORE 124096.576
AT ITER 3909 NEW BEST:: SOT 1015219 SOS 190574 HAS SOPS 190574 HAS SOUS 123904 HAS SOUPS 123904 WITH SCORE 124094.574
AT ITER 3930 NEW BEST:: SOT 1015203 SOS 190542 HAS SOPS 190542 HAS SOUS 123837 HAS SOUPS 123837 WITH SCORE 124027.542
AT ITER 3933 NEW BEST:: SOT 1015113 SOS 190452 HAS SOPS 190452 HAS SOUS 123747 HAS SOUPS 123747 WITH SCORE 123937.452
AT ITER 3936 NEW BEST:: SOT 1015112 SOS 190355 HAS SOPS 190355 HAS SOUS 123745 HAS SOUPS 123745 WITH SCORE 123935.355
AT ITER 3963 NEW BEST:: SOT 1015088 SOS 190307 HAS SOPS 190307 HAS SOUS 123697 HAS SOUPS 123697 WITH SCORE 123887.307
AT ITER 3967 NEW BEST:: SOT 1015018 SOS 190238 HAS SOPS 190238 HAS SOUS 123628 HAS SOUPS 123628 WITH SCORE 123818.238
AT ITER 4006 NEW BEST:: SOT 1015017 SOS 190274 HAS SOPS 190274 HAS SOUS 123626 HAS SOUPS 123626 WITH SCORE 123816.274
AT ITER 4054 NEW BEST:: SOT 1015017 SOS 190281 HAS SOPS 190281 HAS SOUS 123619 HAS SOUPS 123619 WITH SCORE 123809.281
AT ITER 4059 NEW BEST:: SOT 1015017 SOS 190281 HAS SOPS 190281 HAS SOUS 123617 HAS SOUPS 123617 WITH SCORE 123807.281
AT ITER 4060 NEW BEST:: SOT 1015007 SOS 190261 HAS SOPS 190261 HAS SOUS 123607 HAS SOUPS 123607 WITH SCORE 123797.261
AT ITER 4074 NEW BEST:: SOT 1014916 SOS 190079 HAS SOPS 190079 HAS SOUS 123425 HAS SOUPS 123425 WITH SCORE 123615.079
AT ITER 4087 NEW BEST:: SOT 1014746 SOS 189739 HAS SOPS 189739 HAS SOUS 123223 HAS SOUPS 123223 WITH SCORE 123412.739
AT ITER 4109 NEW BEST:: SOT 1014598 SOS 189443 HAS SOPS 189443 HAS SOUS 123119 HAS SOUPS 123119 WITH SCORE 123308.443
AT ITER 4125 NEW BEST:: SOT 1014574 SOS 189395 HAS SOPS 189395 HAS SOUS 123071 HAS SOUPS 123071 WITH SCORE 123260.395
AT ITER 4174 NEW BEST:: SOT 1014574 SOS 189329 HAS SOPS 189329 HAS SOUS 123071 HAS SOUPS 123071 WITH SCORE 123260.329
AT ITER 4197 NEW BEST:: SOT 1014490 SOS 189161 HAS SOPS 189161 HAS SOUS 122987 HAS SOUPS 122987 WITH SCORE 123176.161
AT ITER 4212 NEW BEST:: SOT 1014376 SOS 188933 HAS SOPS 188933 HAS SOUS 122759 HAS SOUPS 122759 WITH SCORE 122947.933
AT ITER 4255 NEW BEST:: SOT 1014384 SOS 188866 HAS SOPS 188866 HAS SOUS 122744 HAS SOUPS 122744 WITH SCORE 122932.866
AT ITER 4414 NEW BEST:: SOT 1014378 SOS 188854 HAS SOPS 188854 HAS SOUS 122732 HAS SOUPS 122732 WITH SCORE 122920.854
AT ITER 4418 NEW BEST:: SOT 1014307 SOS 188712 HAS SOPS 188712 HAS SOUS 122622 HAS SOUPS 122622 WITH SCORE 122810.712
AT ITER 4425 NEW BEST:: SOT 1014075 SOS 188248 HAS SOPS 188248 HAS SOUS 122390 HAS SOUPS 122390 WITH SCORE 122578.248
AT ITER 4444 NEW BEST:: SOT 1014132 SOS 188305 HAS SOPS 188305 HAS SOUS 122381 HAS SOUPS 122381 WITH SCORE 122569.305
AT ITER 4445 NEW BEST:: SOT 1014132 SOS 188261 HAS SOPS 188261 HAS SOUS 122381 HAS SOUPS 122381 WITH SCORE 122569.261
AT ITER 4446 NEW BEST:: SOT 1014098 SOS 188137 HAS SOPS 188137 HAS SOUS 122313 HAS SOUPS 122313 WITH SCORE 122501.137
AT ITER 4491 NEW BEST:: SOT 1014090 SOS 188129 HAS SOPS 188129 HAS SOUS 122305 HAS SOUPS 122305 WITH SCORE 122493.129
AT ITER 4496 NEW BEST:: SOT 1014187 SOS 188323 HAS SOPS 188323 HAS SOUS 122254 HAS SOUPS 122254 WITH SCORE 122442.323
AT ITER 4545 NEW BEST:: SOT 1013161 SOS 187259 HAS SOPS 187259 HAS SOUS 121225 HAS SOUPS 121225 WITH SCORE 121412.259
AT ITER 4625 NEW BEST:: SOT 1013161 SOS 187259 HAS SOPS 187259 HAS SOUS 121224 HAS SOUPS 121224 WITH SCORE 121411.259
AT ITER 4664 NEW BEST:: SOT 1013101 SOS 187139 HAS SOPS 187139 HAS SOUS 121183 HAS SOUPS 121183 WITH SCORE 121370.139
AT ITER 4685 NEW BEST:: SOT 1013067 SOS 187071 HAS SOPS 187071 HAS SOUS 121149 HAS SOUPS 121149 WITH SCORE 121336.071
AT ITER 4704 NEW BEST:: SOT 1013034 SOS 187005 HAS SOPS 187005 HAS SOUS 121083 HAS SOUPS 121083 WITH SCORE 121270.005
AT ITER 4725 NEW BEST:: SOT 1013016 SOS 186969 HAS SOPS 186969 HAS SOUS 121047 HAS SOUPS 121047 WITH SCORE 121233.969
AT ITER 4727 NEW BEST:: SOT 1012955 SOS 186999 HAS SOPS 186999 HAS SOUS 121032 HAS SOUPS 121032 WITH SCORE 121218.999
AT ITER 4729 NEW BEST:: SOT 1012941 SOS 186971 HAS SOPS 186971 HAS SOUS 121004 HAS SOUPS 121004 WITH SCORE 121190.971
AT ITER 4826 NEW BEST:: SOT 1012885 SOS 186758 HAS SOPS 186758 HAS SOUS 120892 HAS SOUPS 120892 WITH SCORE 121078.758
AT ITER 4842 NEW BEST:: SOT 1011553 SOS 185727 HAS SOPS 185727 HAS SOUS 119810 HAS SOUPS 119810 WITH SCORE 119995.727
AT ITER 4852 NEW BEST:: SOT 1011547 SOS 185705 HAS SOPS 185705 HAS SOUS 119804 HAS SOUPS 119804 WITH SCORE 119989.705
AT ITER 4884 NEW BEST:: SOT 1011844 SOS 183915 HAS SOPS 183915 HAS SOUS 119681 HAS SOUPS 119681 WITH SCORE 119864.915
AT ITER 4914 NEW BEST:: SOT 1011822 SOS 183849 HAS SOPS 183849 HAS SOUS 119637 HAS SOUPS 119637 WITH SCORE 119820.849
AT ITER 4930 NEW BEST:: SOT 1011087 SOS 188323 HAS SOPS 188323 HAS SOUS 119624 HAS SOUPS 119624 WITH SCORE 119812.323
AT ITER 4934 NEW BEST:: SOT 1011059 SOS 188267 HAS SOPS 188267 HAS SOUS 119568 HAS SOUPS 119568 WITH SCORE 119756.267
AT ITER 5022 NEW BEST:: SOT 1011057 SOS 188263 HAS SOPS 188263 HAS SOUS 119564 HAS SOUPS 119564 WITH SCORE 119752.263
AT ITER 5086 NEW BEST:: SOT 1011015 SOS 188179 HAS SOPS 188179 HAS SOUS 119522 HAS SOUPS 119522 WITH SCORE 119710.179
AT ITER 5087 NEW BEST:: SOT 1010890 SOS 187929 HAS SOPS 187929 HAS SOUS 119408 HAS SOUPS 119408 WITH SCORE 119595.929
AT ITER 5097 NEW BEST:: SOT 1010826 SOS 187801 HAS SOPS 187801 HAS SOUS 119280 HAS SOUPS 119280 WITH SCORE 119467.801
AT ITER 5101 NEW BEST:: SOT 1010825 SOS 187799 HAS SOPS 187799 HAS SOUS 119278 HAS SOUPS 119278 WITH SCORE 119465.799
AT ITER 5112 NEW BEST:: SOT 1010824 SOS 187797 HAS SOPS 187797 HAS SOUS 119276 HAS SOUPS 119276 WITH SCORE 119463.797
AT ITER 5216 NEW BEST:: SOT 1010707 SOS 187959 HAS SOPS 187959 HAS SOUS 119225 HAS SOUPS 119225 WITH SCORE 119412.959
AT ITER 5251 NEW BEST:: SOT 1010599 SOS 187743 HAS SOPS 187743 HAS SOUS 119009 HAS SOUPS 119009 WITH SCORE 119196.743
AT ITER 5304 NEW BEST:: SOT 1010509 SOS 187563 HAS SOPS 187563 HAS SOUS 118829 HAS SOUPS 118829 WITH SCORE 119016.563
AT ITER 5354 NEW BEST:: SOT 1010483 SOS 187444 HAS SOPS 187444 HAS SOUS 118777 HAS SOUPS 118777 WITH SCORE 118964.444
AT ITER 5399 NEW BEST:: SOT 1010445 SOS 187368 HAS SOPS 187368 HAS SOUS 118760 HAS SOUPS 118760 WITH SCORE 118947.368
AT ITER 5452 NEW BEST:: SOT 1010381 SOS 187240 HAS SOPS 187240 HAS SOUS 118756 HAS SOUPS 118756 WITH SCORE 118943.24
AT ITER 5454 NEW BEST:: SOT 1010375 SOS 187228 HAS SOPS 187228 HAS SOUS 118744 HAS SOUPS 118744 WITH SCORE 118931.228
AT ITER 5486 NEW BEST:: SOT 1010293 SOS 187064 HAS SOPS 187064 HAS SOUS 118720 HAS SOUPS 118720 WITH SCORE 118907.064
AT ITER 5557 NEW BEST:: SOT 1010292 SOS 186945 HAS SOPS 186945 HAS SOUS 118718 HAS SOUPS 118718 WITH SCORE 118904.945
AT ITER 5563 NEW BEST:: SOT 1010138 SOS 183514 HAS SOPS 183514 HAS SOUS 118517 HAS SOUPS 118517 WITH SCORE 118700.514
AT ITER 5600 NEW BEST:: SOT 1009909 SOS 183056 HAS SOPS 183056 HAS SOUS 118262 HAS SOUPS 118262 WITH SCORE 118445.056
AT ITER 5665 NEW BEST:: SOT 1009853 SOS 182944 HAS SOPS 182944 HAS SOUS 118150 HAS SOUPS 118150 WITH SCORE 118332.944
AT ITER 5677 NEW BEST:: SOT 1009679 SOS 182596 HAS SOPS 182596 HAS SOUS 117983 HAS SOUPS 117983 WITH SCORE 118165.596
AT ITER 5688 NEW BEST:: SOT 1009538 SOS 182314 HAS SOPS 182314 HAS SOUS 117896 HAS SOUPS 117896 WITH SCORE 118078.314
AT ITER 5716 NEW BEST:: SOT 1009528 SOS 182304 HAS SOPS 182304 HAS SOUS 117886 HAS SOUPS 117886 WITH SCORE 118068.304
AT ITER 5756 NEW BEST:: SOT 1009469 SOS 181983 HAS SOPS 181983 HAS SOUS 117768 HAS SOUPS 117768 WITH SCORE 117949.983
AT ITER 5779 NEW BEST:: SOT 1009464 SOS 181973 HAS SOPS 181973 HAS SOUS 117758 HAS SOUPS 117758 WITH SCORE 117939.973
AT ITER 5839 NEW BEST:: SOT 1009462 SOS 181971 HAS SOPS 181971 HAS SOUS 117756 HAS SOUPS 117756 WITH SCORE 117937.971
AT ITER 5841 NEW BEST:: SOT 1009434 SOS 181915 HAS SOPS 181915 HAS SOUS 117736 HAS SOUPS 117736 WITH SCORE 117917.915
AT ITER 5850 NEW BEST:: SOT 1009432 SOS 181911 HAS SOPS 181911 HAS SOUS 117732 HAS SOUPS 117732 WITH SCORE 117913.911
AT ITER 5872 NEW BEST:: SOT 1009432 SOS 181911 HAS SOPS 181911 HAS SOUS 117686 HAS SOUPS 117686 WITH SCORE 117867.911
AT ITER 5893 NEW BEST:: SOT 1009395 SOS 181837 HAS SOPS 181837 HAS SOUS 117649 HAS SOUPS 117649 WITH SCORE 117830.837
AT ITER 5899 NEW BEST:: SOT 1009391 SOS 181829 HAS SOPS 181829 HAS SOUS 117641 HAS SOUPS 117641 WITH SCORE 117822.829
AT ITER 5903 NEW BEST:: SOT 1009139 SOS 181325 HAS SOPS 181325 HAS SOUS 117372 HAS SOUPS 117372 WITH SCORE 117553.325
AT ITER 5930 NEW BEST:: SOT 1009139 SOS 181243 HAS SOPS 181243 HAS SOUS 117364 HAS SOUPS 117364 WITH SCORE 117545.243
AT ITER 5931 NEW BEST:: SOT 1009108 SOS 181181 HAS SOPS 181181 HAS SOUS 117302 HAS SOUPS 117302 WITH SCORE 117483.181
AT ITER 5944 NEW BEST:: SOT 1009068 SOS 181101 HAS SOPS 181101 HAS SOUS 117262 HAS SOUPS 117262 WITH SCORE 117443.101
AT ITER 6058 NEW BEST:: SOT 1009068 SOS 181101 HAS SOPS 181101 HAS SOUS 117237 HAS SOUPS 117237 WITH SCORE 117418.101
AT ITER 6079 NEW BEST:: SOT 1009047 SOS 181142 HAS SOPS 181142 HAS SOUS 117226 HAS SOUPS 117226 WITH SCORE 117407.142
AT ITER 6115 NEW BEST:: SOT 1009046 SOS 181140 HAS SOPS 181140 HAS SOUS 117224 HAS SOUPS 117224 WITH SCORE 117405.14
AT ITER 6158 NEW BEST:: SOT 1009045 SOS 181138 HAS SOPS 181138 HAS SOUS 117222 HAS SOUPS 117222 WITH SCORE 117403.138
AT ITER 6187 NEW BEST:: SOT 1008909 SOS 180866 HAS SOPS 180866 HAS SOUS 116950 HAS SOUPS 116950 WITH SCORE 117130.866
AT ITER 6209 NEW BEST:: SOT 1008900 SOS 180848 HAS SOPS 180848 HAS SOUS 116932 HAS SOUPS 116932 WITH SCORE 117112.848
AT ITER 6240 NEW BEST:: SOT 1008852 SOS 180800 HAS SOPS 180800 HAS SOUS 116817 HAS SOUPS 116817 WITH SCORE 116997.8
AT ITER 6245 NEW BEST:: SOT 1008809 SOS 180757 HAS SOPS 180757 HAS SOUS 116774 HAS SOUPS 116774 WITH SCORE 116954.757
AT ITER 6248 NEW BEST:: SOT 1008728 SOS 180527 HAS SOPS 180527 HAS SOUS 116612 HAS SOUPS 116612 WITH SCORE 116792.527
AT ITER 6294 NEW BEST:: SOT 1008687 SOS 180445 HAS SOPS 180445 HAS SOUS 116530 HAS SOUPS 116530 WITH SCORE 116710.445
AT ITER 6359 NEW BEST:: SOT 1008671 SOS 180397 HAS SOPS 180397 HAS SOUS 116498 HAS SOUPS 116498 WITH SCORE 116678.397
AT ITER 6389 NEW BEST:: SOT 1008671 SOS 180394 HAS SOPS 180394 HAS SOUS 116498 HAS SOUPS 116498 WITH SCORE 116678.394
AT ITER 6401 NEW BEST:: SOT 1008650 SOS 180352 HAS SOPS 180352 HAS SOUS 116492 HAS SOUPS 116492 WITH SCORE 116672.352
AT ITER 6421 NEW BEST:: SOT 1008488 SOS 180028 HAS SOPS 180028 HAS SOUS 116348 HAS SOUPS 116348 WITH SCORE 116528.028
AT ITER 6425 NEW BEST:: SOT 1008477 SOS 180017 HAS SOPS 180017 HAS SOUS 116337 HAS SOUPS 116337 WITH SCORE 116517.017
AT ITER 6542 NEW BEST:: SOT 1008392 SOS 179847 HAS SOPS 179847 HAS SOUS 116167 HAS SOUPS 116167 WITH SCORE 116346.847
AT ITER 6552 NEW BEST:: SOT 1008231 SOS 179525 HAS SOPS 179525 HAS SOUS 115978 HAS SOUPS 115978 WITH SCORE 116157.525
AT ITER 6606 NEW BEST:: SOT 1008202 SOS 179467 HAS SOPS 179467 HAS SOUS 115961 HAS SOUPS 115961 WITH SCORE 116140.467
AT ITER 6622 NEW BEST:: SOT 1008322 SOS 179707 HAS SOPS 179707 HAS SOUS 115863 HAS SOUPS 115863 WITH SCORE 116042.707
AT ITER 6627 NEW BEST:: SOT 1008313 SOS 179699 HAS SOPS 179699 HAS SOUS 115817 HAS SOUPS 115817 WITH SCORE 115996.699
AT ITER 6632 NEW BEST:: SOT 1008312 SOS 179697 HAS SOPS 179697 HAS SOUS 115815 HAS SOUPS 115815 WITH SCORE 115994.697
AT ITER 6696 NEW BEST:: SOT 1008134 SOS 179341 HAS SOPS 179341 HAS SOUS 115685 HAS SOUPS 115685 WITH SCORE 115864.341
AT ITER 6711 NEW BEST:: SOT 1008123 SOS 177499 HAS SOPS 177499 HAS SOUS 115593 HAS SOUPS 115593 WITH SCORE 115770.499
AT ITER 6764 NEW BEST:: SOT 1008087 SOS 178133 HAS SOPS 178133 HAS SOUS 115391 HAS SOUPS 115391 WITH SCORE 115569.133
AT ITER 6777 NEW BEST:: SOT 1008087 SOS 178123 HAS SOPS 178123 HAS SOUS 115386 HAS SOUPS 115386 WITH SCORE 115564.123
AT ITER 6781 NEW BEST:: SOT 1008070 SOS 177938 HAS SOPS 177938 HAS SOUS 115352 HAS SOUPS 115352 WITH SCORE 115529.938
AT ITER 6802 NEW BEST:: SOT 1008028 SOS 177854 HAS SOPS 177854 HAS SOUS 115268 HAS SOUPS 115268 WITH SCORE 115445.854
AT ITER 6814 NEW BEST:: SOT 1007914 SOS 177626 HAS SOPS 177626 HAS SOUS 115154 HAS SOUPS 115154 WITH SCORE 115331.626
AT ITER 6820 NEW BEST:: SOT 1007784 SOS 177366 HAS SOPS 177366 HAS SOUS 115081 HAS SOUPS 115081 WITH SCORE 115258.366
AT ITER 6821 NEW BEST:: SOT 1007783 SOS 177365 HAS SOPS 177365 HAS SOUS 115079 HAS SOUPS 115079 WITH SCORE 115256.365
AT ITER 6828 NEW BEST:: SOT 1007710 SOS 177219 HAS SOPS 177219 HAS SOUS 114933 HAS SOUPS 114933 WITH SCORE 115110.219
AT ITER 6859 NEW BEST:: SOT 1007468 SOS 177707 HAS SOPS 177707 HAS SOUS 114910 HAS SOUPS 114910 WITH SCORE 115087.707
AT ITER 6865 NEW BEST:: SOT 1007310 SOS 177391 HAS SOPS 177391 HAS SOUS 114881 HAS SOUPS 114881 WITH SCORE 115058.391
AT ITER 6877 NEW BEST:: SOT 1007227 SOS 177225 HAS SOPS 177225 HAS SOUS 114798 HAS SOUPS 114798 WITH SCORE 114975.225
AT ITER 6883 NEW BEST:: SOT 1007184 SOS 177035 HAS SOPS 177035 HAS SOUS 114676 HAS SOUPS 114676 WITH SCORE 114853.035
AT ITER 6900 NEW BEST:: SOT 1005243 SOS 177805 HAS SOPS 177805 HAS SOUS 113445 HAS SOUPS 113445 WITH SCORE 113622.805
AT ITER 6937 NEW BEST:: SOT 1005162 SOS 177643 HAS SOPS 177643 HAS SOUS 113283 HAS SOUPS 113283 WITH SCORE 113460.643
AT ITER 7005 NEW BEST:: SOT 1005172 SOS 177429 HAS SOPS 177429 HAS SOUS 113254 HAS SOUPS 113254 WITH SCORE 113431.429
AT ITER 7023 NEW BEST:: SOT 1005134 SOS 177558 HAS SOPS 177558 HAS SOUS 113234 HAS SOUPS 113234 WITH SCORE 113411.558
AT ITER 7027 NEW BEST:: SOT 1005128 SOS 177546 HAS SOPS 177546 HAS SOUS 113222 HAS SOUPS 113222 WITH SCORE 113399.546
AT ITER 7030 NEW BEST:: SOT 1005098 SOS 177456 HAS SOPS 177456 HAS SOUS 113162 HAS SOUPS 113162 WITH SCORE 113339.456
AT ITER 7038 NEW BEST:: SOT 1005097 SOS 177454 HAS SOPS 177454 HAS SOUS 113160 HAS SOUPS 113160 WITH SCORE 113337.454
AT ITER 7042 NEW BEST:: SOT 1004936 SOS 177301 HAS SOPS 177301 HAS SOUS 113128 HAS SOUPS 113128 WITH SCORE 113305.301
AT ITER 7162 NEW BEST:: SOT 1004924 SOS 177277 HAS SOPS 177277 HAS SOUS 113104 HAS SOUPS 113104 WITH SCORE 113281.277
AT ITER 7172 NEW BEST:: SOT 1004923 SOS 177275 HAS SOPS 177275 HAS SOUS 113102 HAS SOUPS 113102 WITH SCORE 113279.275
AT ITER 7229 NEW BEST:: SOT 1004850 SOS 177129 HAS SOPS 177129 HAS SOUS 112956 HAS SOUPS 112956 WITH SCORE 113133.129
AT ITER 7252 NEW BEST:: SOT 1004826 SOS 177081 HAS SOPS 177081 HAS SOUS 112908 HAS SOUPS 112908 WITH SCORE 113085.081
AT ITER 7259 NEW BEST:: SOT 1004825 SOS 177080 HAS SOPS 177080 HAS SOUS 112906 HAS SOUPS 112906 WITH SCORE 113083.08
AT ITER 7272 NEW BEST:: SOT 1004820 SOS 177070 HAS SOPS 177070 HAS SOUS 112896 HAS SOUPS 112896 WITH SCORE 113073.07
AT ITER 7279 NEW BEST:: SOT 1004799 SOS 177028 HAS SOPS 177028 HAS SOUS 112854 HAS SOUPS 112854 WITH SCORE 113031.028
AT ITER 7372 NEW BEST:: SOT 1004787 SOS 177004 HAS SOPS 177004 HAS SOUS 112830 HAS SOUPS 112830 WITH SCORE 113007.004
AT ITER 7386 NEW BEST:: SOT 1004766 SOS 176962 HAS SOPS 176962 HAS SOUS 112806 HAS SOUPS 112806 WITH SCORE 112982.962
AT ITER 7414 NEW BEST:: SOT 1004674 SOS 176695 HAS SOPS 176695 HAS SOUS 112539 HAS SOUPS 112539 WITH SCORE 112715.695
AT ITER 7480 NEW BEST:: SOT 1004649 SOS 176670 HAS SOPS 176670 HAS SOUS 112489 HAS SOUPS 112489 WITH SCORE 112665.67
AT ITER 7497 NEW BEST:: SOT 1004658 SOS 176522 HAS SOPS 176522 HAS SOUS 112384 HAS SOUPS 112384 WITH SCORE 112560.522
AT ITER 7505 NEW BEST:: SOT 1004654 SOS 176514 HAS SOPS 176514 HAS SOUS 112376 HAS SOUPS 112376 WITH SCORE 112552.514
AT ITER 7564 NEW BEST:: SOT 1004652 SOS 176512 HAS SOPS 176512 HAS SOUS 112374 HAS SOUPS 112374 WITH SCORE 112550.512
AT ITER 7623 NEW BEST:: SOT 1004559 SOS 176444 HAS SOPS 176444 HAS SOUS 112306 HAS SOUPS 112306 WITH SCORE 112482.444
AT ITER 7630 NEW BEST:: SOT 1004559 SOS 176444 HAS SOPS 176444 HAS SOUS 112303 HAS SOUPS 112303 WITH SCORE 112479.444
AT ITER 7665 NEW BEST:: SOT 1004543 SOS 176412 HAS SOPS 176412 HAS SOUS 112271 HAS SOUPS 112271 WITH SCORE 112447.412
AT ITER 7704 NEW BEST:: SOT 1004404 SOS 176134 HAS SOPS 176134 HAS SOUS 112192 HAS SOUPS 112192 WITH SCORE 112368.134
AT ITER 7853 NEW BEST:: SOT 1004404 SOS 176067 HAS SOPS 176067 HAS SOUS 112125 HAS SOUPS 112125 WITH SCORE 112301.067
AT ITER 7869 NEW BEST:: SOT 1004403 SOS 176064 HAS SOPS 176064 HAS SOUS 112122 HAS SOUPS 112122 WITH SCORE 112298.064
AT ITER 7881 NEW BEST:: SOT 1004309 SOS 176090 HAS SOPS 176090 HAS SOUS 112031 HAS SOUPS 112031 WITH SCORE 112207.09
AT ITER 7906 NEW BEST:: SOT 1004305 SOS 176082 HAS SOPS 176082 HAS SOUS 112023 HAS SOUPS 112023 WITH SCORE 112199.082
AT ITER 7907 NEW BEST:: SOT 1004284 SOS 176040 HAS SOPS 176040 HAS SOUS 111981 HAS SOUPS 111981 WITH SCORE 112157.04
AT ITER 7944 NEW BEST:: SOT 1004282 SOS 176036 HAS SOPS 176036 HAS SOUS 111977 HAS SOUPS 111977 WITH SCORE 112153.036
AT ITER 7969 NEW BEST:: SOT 1004088 SOS 173029 HAS SOPS 173029 HAS SOUS 111650 HAS SOUPS 111650 WITH SCORE 111823.029
AT ITER 7970 NEW BEST:: SOT 1004088 SOS 173029 HAS SOPS 173029 HAS SOUS 111631 HAS SOUPS 111631 WITH SCORE 111804.029
AT ITER 7982 NEW BEST:: SOT 1004088 SOS 173029 HAS SOPS 173029 HAS SOUS 111597 HAS SOUPS 111597 WITH SCORE 111770.029
AT ITER 7986 NEW BEST:: SOT 1004077 SOS 173007 HAS SOPS 173007 HAS SOUS 111586 HAS SOUPS 111586 WITH SCORE 111759.007
AT ITER 8036 NEW BEST:: SOT 1004058 SOS 172969 HAS SOPS 172969 HAS SOUS 111423 HAS SOUPS 111423 WITH SCORE 111595.969
AT ITER 8048 NEW BEST:: SOT 1004057 SOS 172967 HAS SOPS 172967 HAS SOUS 111421 HAS SOUPS 111421 WITH SCORE 111593.967
AT ITER 8055 NEW BEST:: SOT 1003997 SOS 172847 HAS SOPS 172847 HAS SOUS 111301 HAS SOUPS 111301 WITH SCORE 111473.847
AT ITER 8060 NEW BEST:: SOT 1003972 SOS 172797 HAS SOPS 172797 HAS SOUS 111251 HAS SOUPS 111251 WITH SCORE 111423.797
AT ITER 8074 NEW BEST:: SOT 1003927 SOS 172707 HAS SOPS 172707 HAS SOUS 111161 HAS SOUPS 111161 WITH SCORE 111333.707
AT ITER 8105 NEW BEST:: SOT 1003925 SOS 172703 HAS SOPS 172703 HAS SOUS 111157 HAS SOUPS 111157 WITH SCORE 111329.703
AT ITER 8118 NEW BEST:: SOT 1003893 SOS 172639 HAS SOPS 172639 HAS SOUS 111109 HAS SOUPS 111109 WITH SCORE 111281.639
AT ITER 8162 NEW BEST:: SOT 1003687 SOS 172227 HAS SOPS 172227 HAS SOUS 110786 HAS SOUPS 110786 WITH SCORE 110958.227
AT ITER 8263 NEW BEST:: SOT 1003660 SOS 172173 HAS SOPS 172173 HAS SOUS 110732 HAS SOUPS 110732 WITH SCORE 110904.173
AT ITER 8271 NEW BEST:: SOT 1003647 SOS 172147 HAS SOPS 172147 HAS SOUS 110706 HAS SOUPS 110706 WITH SCORE 110878.147
AT ITER 8288 NEW BEST:: SOT 1003647 SOS 172147 HAS SOPS 172147 HAS SOUS 110646 HAS SOUPS 110646 WITH SCORE 110818.147
AT ITER 8322 NEW BEST:: SOT 1003646 SOS 172145 HAS SOPS 172145 HAS SOUS 110644 HAS SOUPS 110644 WITH SCORE 110816.145
AT ITER 8326 NEW BEST:: SOT 1003630 SOS 172129 HAS SOPS 172129 HAS SOUS 110628 HAS SOUPS 110628 WITH SCORE 110800.129
AT ITER 8384 NEW BEST:: SOT 1003601 SOS 172100 HAS SOPS 172100 HAS SOUS 110599 HAS SOUPS 110599 WITH SCORE 110771.1
AT ITER 8607 NEW BEST:: SOT 1003573 SOS 172044 HAS SOPS 172044 HAS SOUS 110543 HAS SOUPS 110543 WITH SCORE 110715.044
AT ITER 8656 NEW BEST:: SOT 1003538 SOS 171974 HAS SOPS 171974 HAS SOUS 110473 HAS SOUPS 110473 WITH SCORE 110644.974
AT ITER 8736 NEW BEST:: SOT 1003499 SOS 171233 HAS SOPS 171233 HAS SOUS 110356 HAS SOUPS 110356 WITH SCORE 110527.233
AT ITER 8744 NEW BEST:: SOT 1003491 SOS 171217 HAS SOPS 171217 HAS SOUS 110348 HAS SOUPS 110348 WITH SCORE 110519.217
AT ITER 8746 NEW BEST:: SOT 1003456 SOS 171147 HAS SOPS 171147 HAS SOUS 110278 HAS SOUPS 110278 WITH SCORE 110449.147
AT ITER 8751 NEW BEST:: SOT 1003341 SOS 170917 HAS SOPS 170917 HAS SOUS 110276 HAS SOUPS 110276 WITH SCORE 110446.917
AT ITER 8789 NEW BEST:: SOT 1003341 SOS 170917 HAS SOPS 170917 HAS SOUS 110254 HAS SOUPS 110254 WITH SCORE 110424.917
AT ITER 8815 NEW BEST:: SOT 1003279 SOS 168713 HAS SOPS 168713 HAS SOUS 110130 HAS SOUPS 110130 WITH SCORE 110298.713
AT ITER 8865 NEW BEST:: SOT 1003252 SOS 168659 HAS SOPS 168659 HAS SOUS 110076 HAS SOUPS 110076 WITH SCORE 110244.659
AT ITER 8873 NEW BEST:: SOT 1003282 SOS 168719 HAS SOPS 168719 HAS SOUS 110026 HAS SOUPS 110026 WITH SCORE 110194.719
AT ITER 8884 NEW BEST:: SOT 1003246 SOS 168683 HAS SOPS 168683 HAS SOUS 109990 HAS SOUPS 109990 WITH SCORE 110158.683
AT ITER 8896 NEW BEST:: SOT 1003145 SOS 168481 HAS SOPS 168481 HAS SOUS 109788 HAS SOUPS 109788 WITH SCORE 109956.481
AT ITER 8928 NEW BEST:: SOT 1003110 SOS 168421 HAS SOPS 168421 HAS SOUS 109753 HAS SOUPS 109753 WITH SCORE 109921.421
AT ITER 8934 NEW BEST:: SOT 1003065 SOS 168376 HAS SOPS 168376 HAS SOUS 109708 HAS SOUPS 109708 WITH SCORE 109876.376
AT ITER 8990 NEW BEST:: SOT 1003008 SOS 168262 HAS SOPS 168262 HAS SOUS 109594 HAS SOUPS 109594 WITH SCORE 109762.262
AT ITER 9025 NEW BEST:: SOT 1002990 SOS 168206 HAS SOPS 168206 HAS SOUS 109586 HAS SOUPS 109586 WITH SCORE 109754.206
AT ITER 9101 NEW BEST:: SOT 1002968 SOS 168162 HAS SOPS 168162 HAS SOUS 109542 HAS SOUPS 109542 WITH SCORE 109710.162
AT ITER 9137 NEW BEST:: SOT 1002951 SOS 168128 HAS SOPS 168128 HAS SOUS 109508 HAS SOUPS 109508 WITH SCORE 109676.128
AT ITER 9173 NEW BEST:: SOT 1002951 SOS 168128 HAS SOPS 168128 HAS SOUS 109476 HAS SOUPS 109476 WITH SCORE 109644.128
AT ITER 9191 NEW BEST:: SOT 1002946 SOS 168118 HAS SOPS 168118 HAS SOUS 109466 HAS SOUPS 109466 WITH SCORE 109634.118
AT ITER 9201 NEW BEST:: SOT 1002920 SOS 168066 HAS SOPS 168066 HAS SOUS 109414 HAS SOUPS 109414 WITH SCORE 109582.066
AT ITER 9251 NEW BEST:: SOT 1002866 SOS 167958 HAS SOPS 167958 HAS SOUS 109364 HAS SOUPS 109364 WITH SCORE 109531.958
AT ITER 9279 NEW BEST:: SOT 1002866 SOS 167628 HAS SOPS 167628 HAS SOUS 109364 HAS SOUPS 109364 WITH SCORE 109531.628
AT ITER 9280 NEW BEST:: SOT 1002852 SOS 167600 HAS SOPS 167600 HAS SOUS 109336 HAS SOUPS 109336 WITH SCORE 109503.6
AT ITER 9289 NEW BEST:: SOT 1002845 SOS 167572 HAS SOPS 167572 HAS SOUS 109315 HAS SOUPS 109315 WITH SCORE 109482.572
AT ITER 9299 NEW BEST:: SOT 1002776 SOS 167434 HAS SOPS 167434 HAS SOUS 109177 HAS SOUPS 109177 WITH SCORE 109344.434
AT ITER 9317 NEW BEST:: SOT 1002769 SOS 167420 HAS SOPS 167420 HAS SOUS 109163 HAS SOUPS 109163 WITH SCORE 109330.42
AT ITER 9356 NEW BEST:: SOT 1002761 SOS 167404 HAS SOPS 167404 HAS SOUS 109155 HAS SOUPS 109155 WITH SCORE 109322.404
AT ITER 9381 NEW BEST:: SOT 1002737 SOS 167356 HAS SOPS 167356 HAS SOUS 109130 HAS SOUPS 109130 WITH SCORE 109297.356
AT ITER 9450 NEW BEST:: SOT 1002665 SOS 167212 HAS SOPS 167212 HAS SOUS 108986 HAS SOUPS 108986 WITH SCORE 109153.212
AT ITER 9468 NEW BEST:: SOT 1002664 SOS 167210 HAS SOPS 167210 HAS SOUS 108984 HAS SOUPS 108984 WITH SCORE 109151.21
AT ITER 9494 NEW BEST:: SOT 1002615 SOS 167112 HAS SOPS 167112 HAS SOUS 108886 HAS SOUPS 108886 WITH SCORE 109053.112
AT ITER 9509 NEW BEST:: SOT 1002611 SOS 167104 HAS SOPS 167104 HAS SOUS 108878 HAS SOUPS 108878 WITH SCORE 109045.104
AT ITER 9519 NEW BEST:: SOT 1002609 SOS 167115 HAS SOPS 167115 HAS SOUS 108874 HAS SOUPS 108874 WITH SCORE 109041.115
AT ITER 9621 NEW BEST:: SOT 1002609 SOS 167115 HAS SOPS 167115 HAS SOUS 108856 HAS SOUPS 108856 WITH SCORE 109023.115
AT ITER 9653 NEW BEST:: SOT 1002433 SOS 164468 HAS SOPS 164468 HAS SOUS 108583 HAS SOUPS 108583 WITH SCORE 108747.468
AT ITER 9695 NEW BEST:: SOT 1002341 SOS 164184 HAS SOPS 164184 HAS SOUS 108399 HAS SOUPS 108399 WITH SCORE 108563.184
AT ITER 9696 NEW BEST:: SOT 1002331 SOS 164164 HAS SOPS 164164 HAS SOUS 108379 HAS SOUPS 108379 WITH SCORE 108543.164
AT ITER 9735 NEW BEST:: SOT 1002311 SOS 164124 HAS SOPS 164124 HAS SOUS 108339 HAS SOUPS 108339 WITH SCORE 108503.124
AT ITER 9756 NEW BEST:: SOT 1002308 SOS 164118 HAS SOPS 164118 HAS SOUS 108333 HAS SOUPS 108333 WITH SCORE 108497.118
AT ITER 9785 NEW BEST:: SOT 1002206 SOS 163914 HAS SOPS 163914 HAS SOUS 108231 HAS SOUPS 108231 WITH SCORE 108394.914
AT ITER 9801 NEW BEST:: SOT 1002188 SOS 163804 HAS SOPS 163804 HAS SOUS 108195 HAS SOUPS 108195 WITH SCORE 108358.804
AT ITER 9811 NEW BEST:: SOT 1002187 SOS 163802 HAS SOPS 163802 HAS SOUS 108193 HAS SOUPS 108193 WITH SCORE 108356.802
AT ITER 9830 NEW BEST:: SOT 1002183 SOS 163794 HAS SOPS 163794 HAS SOUS 108185 HAS SOUPS 108185 WITH SCORE 108348.794
AT ITER 9880 NEW BEST:: SOT 1002169 SOS 163766 HAS SOPS 163766 HAS SOUS 108157 HAS SOUPS 108157 WITH SCORE 108320.766
AT ITER 9928 NEW BEST:: SOT 1002196 SOS 163820 HAS SOPS 163820 HAS SOUS 108155 HAS SOUPS 108155 WITH SCORE 108318.82
AT ITER 9955 NEW BEST:: SOT 1002107 SOS 163642 HAS SOPS 163642 HAS SOUS 108066 HAS SOUPS 108066 WITH SCORE 108229.642
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11986876 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120740 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyCommit-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is StigmergyCommit-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651200424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-03b.tgz
mv StigmergyCommit-PT-03b 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 ;