About the Execution of Smart+red for LeafsetExtension-PT-S32C4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12552.800 | 3600000.00 | 3634070.00 | 8438.80 | [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.r235-tall-167856421900520.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 LeafsetExtension-PT-S32C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900520
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 11K Feb 25 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678666281894
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=LeafsetExtension-PT-S32C4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 00:11:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 00:11:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 00:11:23] [INFO ] Load time of PNML (sax parser for PT used): 205 ms
[2023-03-13 00:11:23] [INFO ] Transformed 5622 places.
[2023-03-13 00:11:23] [INFO ] Transformed 5449 transitions.
[2023-03-13 00:11:23] [INFO ] Parsed PT model containing 5622 places and 5449 transitions and 17500 arcs in 300 ms.
[2023-03-13 00:11:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5622 places, 5449 transitions and 17500 arcs took 63 ms.
Total runtime 394 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S32C4
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: 5622 places, 5449 transitions, 17500 arcs.
AT ITER 0 NEW BEST:: SOT 17081734 SOS 3627019 HAS SOPS 3606442 HAS SOUS 3197195 HAS SOUPS 3191954 WITH SCORE 3195581.019
AT ITER 122 NEW BEST:: SOT 17081630 SOS 3623323 HAS SOPS 3602746 HAS SOUS 3196987 HAS SOUPS 3191746 WITH SCORE 3195369.323
AT ITER 127 NEW BEST:: SOT 17081533 SOS 3623226 HAS SOPS 3602649 HAS SOUS 3196890 HAS SOUPS 3191649 WITH SCORE 3195272.226
AT ITER 167 NEW BEST:: SOT 17081167 SOS 3622770 HAS SOPS 3602193 HAS SOUS 3196800 HAS SOUPS 3191559 WITH SCORE 3195181.77
AT ITER 190 NEW BEST:: SOT 17081142 SOS 3622745 HAS SOPS 3602168 HAS SOUS 3196775 HAS SOUPS 3191534 WITH SCORE 3195156.745
AT ITER 199 NEW BEST:: SOT 17081062 SOS 3619639 HAS SOPS 3599062 HAS SOUS 3196615 HAS SOUPS 3191374 WITH SCORE 3194993.639
AT ITER 220 NEW BEST:: SOT 17080765 SOS 3619342 HAS SOPS 3598765 HAS SOUS 3196318 HAS SOUPS 3191077 WITH SCORE 3194696.342
AT ITER 265 NEW BEST:: SOT 17080514 SOS 3619091 HAS SOPS 3598514 HAS SOUS 3196067 HAS SOUPS 3190826 WITH SCORE 3194445.091
AT ITER 274 NEW BEST:: SOT 17067862 SOS 3646522 HAS SOPS 3625945 HAS SOUS 3186264 HAS SOUPS 3181023 WITH SCORE 3184669.522
AT ITER 318 NEW BEST:: SOT 17067616 SOS 3646276 HAS SOPS 3625699 HAS SOUS 3186018 HAS SOUPS 3180777 WITH SCORE 3184423.276
AT ITER 321 NEW BEST:: SOT 17067332 SOS 3646084 HAS SOPS 3625507 HAS SOUS 3185886 HAS SOUPS 3180645 WITH SCORE 3184291.084
AT ITER 371 NEW BEST:: SOT 17067332 SOS 3646029 HAS SOPS 3625452 HAS SOUS 3185886 HAS SOUPS 3180645 WITH SCORE 3184291.029
AT ITER 406 NEW BEST:: SOT 17066938 SOS 3646029 HAS SOPS 3625452 HAS SOUS 3185492 HAS SOUPS 3180251 WITH SCORE 3183897.029
AT ITER 424 NEW BEST:: SOT 17066762 SOS 3645859 HAS SOPS 3625282 HAS SOUS 3185316 HAS SOUPS 3180075 WITH SCORE 3183720.859
AT ITER 433 NEW BEST:: SOT 17066581 SOS 3645684 HAS SOPS 3625107 HAS SOUS 3185135 HAS SOUPS 3179894 WITH SCORE 3183539.684
AT ITER 491 NEW BEST:: SOT 17066581 SOS 3645666 HAS SOPS 3625089 HAS SOUS 3185135 HAS SOUPS 3179894 WITH SCORE 3183539.666
AT ITER 493 NEW BEST:: SOT 17066481 SOS 3645566 HAS SOPS 3624989 HAS SOUS 3185035 HAS SOUPS 3179794 WITH SCORE 3183439.566
AT ITER 509 NEW BEST:: SOT 17066364 SOS 3645449 HAS SOPS 3624872 HAS SOUS 3184918 HAS SOUPS 3179677 WITH SCORE 3183322.449
AT ITER 521 NEW BEST:: SOT 17066364 SOS 3645445 HAS SOPS 3624868 HAS SOUS 3184918 HAS SOUPS 3179677 WITH SCORE 3183322.445
AT ITER 550 NEW BEST:: SOT 17065942 SOS 3645023 HAS SOPS 3624446 HAS SOUS 3184496 HAS SOUPS 3179255 WITH SCORE 3182900.023
AT ITER 552 NEW BEST:: SOT 17065779 SOS 3644865 HAS SOPS 3624288 HAS SOUS 3184333 HAS SOUPS 3179092 WITH SCORE 3182736.865
AT ITER 573 NEW BEST:: SOT 17065779 SOS 3644744 HAS SOPS 3624167 HAS SOUS 3184333 HAS SOUPS 3179092 WITH SCORE 3182736.744
AT ITER 593 NEW BEST:: SOT 17065708 SOS 3643466 HAS SOPS 3622889 HAS SOUS 3184191 HAS SOUPS 3178950 WITH SCORE 3182593.466
AT ITER 609 NEW BEST:: SOT 17065457 SOS 3643225 HAS SOPS 3622648 HAS SOUS 3183940 HAS SOUPS 3178699 WITH SCORE 3182342.225
AT ITER 645 NEW BEST:: SOT 17065457 SOS 3643207 HAS SOPS 3622630 HAS SOUS 3183940 HAS SOUPS 3178699 WITH SCORE 3182342.207
AT ITER 660 NEW BEST:: SOT 17065401 SOS 3643151 HAS SOPS 3622574 HAS SOUS 3183884 HAS SOUPS 3178643 WITH SCORE 3182286.151
AT ITER 679 NEW BEST:: SOT 17065401 SOS 3643150 HAS SOPS 3622573 HAS SOUS 3183884 HAS SOUPS 3178643 WITH SCORE 3182286.15
AT ITER 697 NEW BEST:: SOT 17065160 SOS 3642919 HAS SOPS 3622342 HAS SOUS 3183643 HAS SOUPS 3178402 WITH SCORE 3182044.919
AT ITER 715 NEW BEST:: SOT 17065160 SOS 3642834 HAS SOPS 3622257 HAS SOUS 3183643 HAS SOUPS 3178402 WITH SCORE 3182044.834
AT ITER 762 NEW BEST:: SOT 17065117 SOS 3642748 HAS SOPS 3622171 HAS SOUS 3183600 HAS SOUPS 3178359 WITH SCORE 3182001.748
AT ITER 766 NEW BEST:: SOT 17064874 SOS 3642748 HAS SOPS 3622171 HAS SOUS 3183357 HAS SOUPS 3178116 WITH SCORE 3181758.748
AT ITER 907 NEW BEST:: SOT 17064464 SOS 3642850 HAS SOPS 3622273 HAS SOUS 3183049 HAS SOUPS 3177808 WITH SCORE 3181450.85
AT ITER 916 NEW BEST:: SOT 17057072 SOS 3636462 HAS SOPS 3615885 HAS SOUS 3176116 HAS SOUPS 3170875 WITH SCORE 3174511.462
AT ITER 964 NEW BEST:: SOT 17056980 SOS 3636370 HAS SOPS 3615793 HAS SOUS 3176024 HAS SOUPS 3170783 WITH SCORE 3174419.37
AT ITER 1013 NEW BEST:: SOT 17056815 SOS 3636210 HAS SOPS 3615633 HAS SOUS 3175859 HAS SOUPS 3170618 WITH SCORE 3174254.21
AT ITER 1102 NEW BEST:: SOT 17056815 SOS 3635796 HAS SOPS 3615219 HAS SOUS 3175832 HAS SOUPS 3170591 WITH SCORE 3174226.796
AT ITER 1111 NEW BEST:: SOT 17044683 SOS 3693059 HAS SOPS 3672482 HAS SOUS 3168297 HAS SOUPS 3163056 WITH SCORE 3166749.059
AT ITER 1131 NEW BEST:: SOT 17044413 SOS 3692862 HAS SOPS 3672285 HAS SOUS 3168143 HAS SOUPS 3162902 WITH SCORE 3166594.862
AT ITER 1147 NEW BEST:: SOT 17044195 SOS 3692653 HAS SOPS 3672076 HAS SOUS 3167925 HAS SOUPS 3162684 WITH SCORE 3166376.653
AT ITER 1252 NEW BEST:: SOT 17043903 SOS 3692373 HAS SOPS 3671796 HAS SOUS 3167633 HAS SOUPS 3162392 WITH SCORE 3166084.373
AT ITER 1279 NEW BEST:: SOT 17043903 SOS 3692323 HAS SOPS 3671746 HAS SOUS 3167633 HAS SOUPS 3162392 WITH SCORE 3166084.323
AT ITER 1293 NEW BEST:: SOT 17028066 SOS 3688766 HAS SOPS 3668189 HAS SOUS 3152689 HAS SOUPS 3147448 WITH SCORE 3151136.766
AT ITER 1307 NEW BEST:: SOT 17027864 SOS 3688572 HAS SOPS 3667995 HAS SOUS 3152487 HAS SOUPS 3147246 WITH SCORE 3150934.572
AT ITER 1329 NEW BEST:: SOT 17027864 SOS 3688531 HAS SOPS 3667995 HAS SOUS 3152487 HAS SOUPS 3147246 WITH SCORE 3150934.531
AT ITER 1420 NEW BEST:: SOT 17027706 SOS 3688382 HAS SOPS 3667846 HAS SOUS 3152485 HAS SOUPS 3147244 WITH SCORE 3150932.382
AT ITER 1454 NEW BEST:: SOT 17012100 SOS 3728963 HAS SOPS 3708427 HAS SOUS 3140806 HAS SOUPS 3135565 WITH SCORE 3139293.963
AT ITER 1486 NEW BEST:: SOT 17011561 SOS 3727885 HAS SOPS 3707349 HAS SOUS 3140267 HAS SOUPS 3135026 WITH SCORE 3138753.885
AT ITER 1543 NEW BEST:: SOT 17011319 SOS 3727643 HAS SOPS 3707107 HAS SOUS 3140025 HAS SOUPS 3134784 WITH SCORE 3138511.643
AT ITER 1673 NEW BEST:: SOT 17017240 SOS 3733439 HAS SOPS 3700382 HAS SOUS 3142411 HAS SOUPS 3128642 WITH SCORE 3132375.439
AT ITER 1706 NEW BEST:: SOT 17017029 SOS 3733316 HAS SOPS 3700259 HAS SOUS 3142352 HAS SOUPS 3128583 WITH SCORE 3132316.316
AT ITER 1708 NEW BEST:: SOT 17016683 SOS 3733614 HAS SOPS 3700557 HAS SOUS 3142304 HAS SOUPS 3128535 WITH SCORE 3132268.614
AT ITER 1731 NEW BEST:: SOT 17016625 SOS 3731076 HAS SOPS 3698019 HAS SOUS 3142188 HAS SOUPS 3128419 WITH SCORE 3132150.076
AT ITER 1741 NEW BEST:: SOT 17016465 SOS 3730916 HAS SOPS 3697859 HAS SOUS 3142028 HAS SOUPS 3128259 WITH SCORE 3131989.916
AT ITER 1767 NEW BEST:: SOT 17017070 SOS 3731143 HAS SOPS 3698520 HAS SOUS 3141783 HAS SOUPS 3128088 WITH SCORE 3131819.143
AT ITER 1802 NEW BEST:: SOT 17016668 SOS 3731396 HAS SOPS 3698773 HAS SOUS 3141634 HAS SOUPS 3127939 WITH SCORE 3131670.396
AT ITER 1870 NEW BEST:: SOT 17016662 SOS 3731390 HAS SOPS 3698767 HAS SOUS 3141628 HAS SOUPS 3127933 WITH SCORE 3131664.39
AT ITER 1876 NEW BEST:: SOT 17016662 SOS 3731368 HAS SOPS 3698745 HAS SOUS 3141628 HAS SOUPS 3127933 WITH SCORE 3131664.368
AT ITER 1888 NEW BEST:: SOT 17016579 SOS 3731286 HAS SOPS 3698663 HAS SOUS 3141545 HAS SOUPS 3127850 WITH SCORE 3131581.286
AT ITER 1919 NEW BEST:: SOT 17016356 SOS 3731103 HAS SOPS 3698480 HAS SOUS 3141381 HAS SOUPS 3127686 WITH SCORE 3131417.103
AT ITER 1940 NEW BEST:: SOT 17016356 SOS 3730650 HAS SOPS 3698027 HAS SOUS 3140928 HAS SOUPS 3127233 WITH SCORE 3130963.65
AT ITER 1955 NEW BEST:: SOT 17016356 SOS 3730555 HAS SOPS 3697932 HAS SOUS 3140928 HAS SOUPS 3127233 WITH SCORE 3130963.555
AT ITER 1967 NEW BEST:: SOT 17016011 SOS 3730210 HAS SOPS 3697242 HAS SOUS 3140565 HAS SOUPS 3126525 WITH SCORE 3130255.21
AT ITER 1982 NEW BEST:: SOT 17016011 SOS 3730197 HAS SOPS 3697229 HAS SOUS 3140565 HAS SOUPS 3126525 WITH SCORE 3130255.197
AT ITER 2040 NEW BEST:: SOT 17016011 SOS 3730196 HAS SOPS 3697228 HAS SOUS 3140216 HAS SOUPS 3126176 WITH SCORE 3129906.196
AT ITER 2091 NEW BEST:: SOT 17016011 SOS 3729953 HAS SOPS 3696985 HAS SOUS 3140216 HAS SOUPS 3126176 WITH SCORE 3129905.953
AT ITER 2217 NEW BEST:: SOT 17015728 SOS 3729855 HAS SOPS 3696887 HAS SOUS 3139933 HAS SOUPS 3125893 WITH SCORE 3129622.855
AT ITER 2223 NEW BEST:: SOT 17015331 SOS 3729855 HAS SOPS 3696887 HAS SOUS 3139536 HAS SOUPS 3125496 WITH SCORE 3129225.855
AT ITER 2244 NEW BEST:: SOT 17015191 SOS 3729719 HAS SOPS 3696751 HAS SOUS 3139396 HAS SOUPS 3125356 WITH SCORE 3129085.719
AT ITER 2260 NEW BEST:: SOT 16881284 SOS 4831344 HAS SOPS 4798333 HAS SOUS 3010433 HAS SOUPS 2996393 WITH SCORE 3001224.344
AT ITER 2281 NEW BEST:: SOT 16881284 SOS 4831344 HAS SOPS 4798333 HAS SOUS 3010062 HAS SOUPS 2996022 WITH SCORE 3000853.344
AT ITER 2297 NEW BEST:: SOT 16881206 SOS 4831266 HAS SOPS 4798255 HAS SOUS 3009984 HAS SOUPS 2995944 WITH SCORE 3000775.266
AT ITER 2300 NEW BEST:: SOT 16891155 SOS 4841766 HAS SOPS 4795523 HAS SOUS 3008472 HAS SOUPS 2993459 WITH SCORE 2998300.766
AT ITER 2325 NEW BEST:: SOT 16891155 SOS 4841427 HAS SOPS 4795184 HAS SOUS 3008472 HAS SOUPS 2993459 WITH SCORE 2998300.427
AT ITER 2355 NEW BEST:: SOT 16891155 SOS 4841328 HAS SOPS 4795085 HAS SOUS 3008472 HAS SOUPS 2993459 WITH SCORE 2998300.328
AT ITER 2375 NEW BEST:: SOT 16884363 SOS 4898884 HAS SOPS 4852641 HAS SOUS 3005711 HAS SOUPS 2990698 WITH SCORE 2995596.884
AT ITER 2383 NEW BEST:: SOT 16884363 SOS 4898884 HAS SOPS 4852641 HAS SOUS 3005204 HAS SOUPS 2990191 WITH SCORE 2995089.884
AT ITER 2399 NEW BEST:: SOT 16884644 SOS 4899165 HAS SOPS 4852922 HAS SOUS 3005096 HAS SOUPS 2990083 WITH SCORE 2994982.165
AT ITER 2426 NEW BEST:: SOT 16884644 SOS 4899165 HAS SOPS 4852922 HAS SOUS 3004897 HAS SOUPS 2989884 WITH SCORE 2994783.165
AT ITER 2460 NEW BEST:: SOT 16870257 SOS 4889396 HAS SOPS 4843097 HAS SOUS 2991027 HAS SOUPS 2976014 WITH SCORE 2980903.396
AT ITER 2466 NEW BEST:: SOT 16870257 SOS 4889107 HAS SOPS 4842808 HAS SOUS 2991027 HAS SOUPS 2976014 WITH SCORE 2980903.107
AT ITER 2510 NEW BEST:: SOT 16870160 SOS 4888913 HAS SOPS 4842614 HAS SOUS 2990930 HAS SOUPS 2975917 WITH SCORE 2980805.913
AT ITER 2520 NEW BEST:: SOT 16870039 SOS 4888795 HAS SOPS 4842496 HAS SOUS 2990809 HAS SOUPS 2975796 WITH SCORE 2980684.795
AT ITER 2574 NEW BEST:: SOT 16869949 SOS 4888705 HAS SOPS 4842406 HAS SOUS 2990719 HAS SOUPS 2975706 WITH SCORE 2980594.705
AT ITER 2581 NEW BEST:: SOT 16869922 SOS 4888219 HAS SOPS 4841920 HAS SOUS 2990665 HAS SOUPS 2975652 WITH SCORE 2980540.219
AT ITER 2606 NEW BEST:: SOT 16869966 SOS 4888263 HAS SOPS 4841964 HAS SOUS 2990202 HAS SOUPS 2975189 WITH SCORE 2980077.263
AT ITER 2607 NEW BEST:: SOT 16869966 SOS 4888135 HAS SOPS 4841836 HAS SOUS 2990202 HAS SOUPS 2975189 WITH SCORE 2980077.135
AT ITER 2627 NEW BEST:: SOT 16869966 SOS 4888135 HAS SOPS 4841836 HAS SOUS 2989941 HAS SOUPS 2974928 WITH SCORE 2979816.135
AT ITER 2658 NEW BEST:: SOT 16869966 SOS 4887929 HAS SOPS 4841630 HAS SOUS 2989941 HAS SOUPS 2974928 WITH SCORE 2979815.929
AT ITER 2659 NEW BEST:: SOT 16869996 SOS 4887959 HAS SOPS 4841660 HAS SOUS 2989457 HAS SOUPS 2974444 WITH SCORE 2979331.959
AT ITER 2690 NEW BEST:: SOT 16869753 SOS 4887716 HAS SOPS 4841417 HAS SOUS 2989350 HAS SOUPS 2974337 WITH SCORE 2979224.716
AT ITER 2693 NEW BEST:: SOT 16869753 SOS 4887698 HAS SOPS 4841399 HAS SOUS 2989349 HAS SOUPS 2974336 WITH SCORE 2979223.698
AT ITER 2698 NEW BEST:: SOT 16869540 SOS 4887493 HAS SOPS 4841194 HAS SOUS 2989136 HAS SOUPS 2974123 WITH SCORE 2979010.493
AT ITER 2718 NEW BEST:: SOT 16868810 SOS 4886417 HAS SOPS 4840099 HAS SOUS 2988041 HAS SOUPS 2973028 WITH SCORE 2977914.417
AT ITER 2788 NEW BEST:: SOT 16869094 SOS 4886701 HAS SOPS 4840383 HAS SOUS 2987938 HAS SOUPS 2972925 WITH SCORE 2977811.701
AT ITER 2806 NEW BEST:: SOT 16869094 SOS 4886701 HAS SOPS 4840383 HAS SOUS 2987771 HAS SOUPS 2972758 WITH SCORE 2977644.701
AT ITER 2834 NEW BEST:: SOT 16869094 SOS 4886701 HAS SOPS 4840383 HAS SOUS 2987243 HAS SOUPS 2972230 WITH SCORE 2977116.701
AT ITER 2848 NEW BEST:: SOT 16869036 SOS 4884545 HAS SOPS 4838227 HAS SOUS 2987127 HAS SOUPS 2972114 WITH SCORE 2976998.545
AT ITER 2937 NEW BEST:: SOT 16868908 SOS 4884417 HAS SOPS 4838099 HAS SOUS 2986999 HAS SOUPS 2971986 WITH SCORE 2976870.417
AT ITER 3004 NEW BEST:: SOT 16868908 SOS 4884405 HAS SOPS 4838087 HAS SOUS 2986999 HAS SOUPS 2971986 WITH SCORE 2976870.405
AT ITER 3009 NEW BEST:: SOT 16868737 SOS 4884270 HAS SOPS 4837904 HAS SOUS 2986840 HAS SOUPS 2971827 WITH SCORE 2976711.27
AT ITER 3082 NEW BEST:: SOT 16868955 SOS 4884488 HAS SOPS 4838122 HAS SOUS 2986638 HAS SOUPS 2971625 WITH SCORE 2976509.488
AT ITER 3083 NEW BEST:: SOT 16868955 SOS 4884488 HAS SOPS 4838122 HAS SOUS 2986337 HAS SOUPS 2971324 WITH SCORE 2976208.488
AT ITER 3091 NEW BEST:: SOT 16868955 SOS 4884485 HAS SOPS 4838119 HAS SOUS 2986337 HAS SOUPS 2971324 WITH SCORE 2976208.485
AT ITER 3108 NEW BEST:: SOT 16869239 SOS 4884769 HAS SOPS 4838403 HAS SOUS 2986234 HAS SOUPS 2971221 WITH SCORE 2976105.769
AT ITER 3116 NEW BEST:: SOT 16869239 SOS 4884525 HAS SOPS 4838159 HAS SOUS 2986234 HAS SOUPS 2971221 WITH SCORE 2976105.525
AT ITER 3122 NEW BEST:: SOT 16868622 SOS 4883973 HAS SOPS 4837535 HAS SOUS 2985630 HAS SOUPS 2970617 WITH SCORE 2975500.973
AT ITER 3133 NEW BEST:: SOT 16868622 SOS 4883827 HAS SOPS 4837389 HAS SOUS 2985630 HAS SOUPS 2970617 WITH SCORE 2975500.827
AT ITER 3134 NEW BEST:: SOT 16854846 SOS 4936815 HAS SOPS 4890377 HAS SOUS 2976353 HAS SOUPS 2961340 WITH SCORE 2966276.815
AT ITER 3177 NEW BEST:: SOT 16854846 SOS 4936815 HAS SOPS 4890377 HAS SOUS 2976254 HAS SOUPS 2961241 WITH SCORE 2966177.815
AT ITER 3222 NEW BEST:: SOT 16854523 SOS 4936562 HAS SOPS 4890124 HAS SOUS 2976037 HAS SOUPS 2961024 WITH SCORE 2965960.562
AT ITER 3229 NEW BEST:: SOT 16854501 SOS 4936149 HAS SOPS 4890079 HAS SOUS 2975969 HAS SOUPS 2960979 WITH SCORE 2965915.149
AT ITER 3237 NEW BEST:: SOT 16855479 SOS 3704861 HAS SOPS 3658791 HAS SOUS 2976921 HAS SOUPS 2961931 WITH SCORE 2965635.861
AT ITER 3244 NEW BEST:: SOT 16855025 SOS 3704861 HAS SOPS 3658791 HAS SOUS 2976467 HAS SOUPS 2961477 WITH SCORE 2965181.861
AT ITER 3245 NEW BEST:: SOT 16854959 SOS 3704794 HAS SOPS 3658724 HAS SOUS 2976400 HAS SOUPS 2961410 WITH SCORE 2965114.794
AT ITER 3247 NEW BEST:: SOT 16854911 SOS 3705238 HAS SOPS 3658713 HAS SOUS 2976444 HAS SOUPS 2961006 WITH SCORE 2964711.238
AT ITER 3263 NEW BEST:: SOT 16854474 SOS 3670206 HAS SOPS 3623681 HAS SOUS 2975419 HAS SOUPS 2959981 WITH SCORE 2963651.206
AT ITER 3279 NEW BEST:: SOT 16854028 SOS 3670300 HAS SOPS 3623775 HAS SOUS 2975352 HAS SOUPS 2959914 WITH SCORE 2963584.3
AT ITER 3287 NEW BEST:: SOT 16854028 SOS 3670282 HAS SOPS 3623757 HAS SOUS 2975352 HAS SOUPS 2959914 WITH SCORE 2963584.282
AT ITER 3301 NEW BEST:: SOT 16853854 SOS 3670114 HAS SOPS 3623589 HAS SOUS 2975178 HAS SOUPS 2959740 WITH SCORE 2963410.114
AT ITER 3336 NEW BEST:: SOT 16853816 SOS 3670114 HAS SOPS 3623589 HAS SOUS 2975140 HAS SOUPS 2959702 WITH SCORE 2963372.114
AT ITER 3346 NEW BEST:: SOT 16838461 SOS 3680201 HAS SOPS 3633676 HAS SOUS 2962373 HAS SOUPS 2946935 WITH SCORE 2950615.201
AT ITER 3355 NEW BEST:: SOT 16838461 SOS 3672084 HAS SOPS 3625559 HAS SOUS 2962373 HAS SOUPS 2946935 WITH SCORE 2950607.084
AT ITER 3360 NEW BEST:: SOT 16838461 SOS 3672067 HAS SOPS 3625542 HAS SOUS 2962373 HAS SOUPS 2946935 WITH SCORE 2950607.067
AT ITER 3371 NEW BEST:: SOT 16838384 SOS 3671989 HAS SOPS 3625464 HAS SOUS 2962295 HAS SOUPS 2946857 WITH SCORE 2950528.989
AT ITER 3373 NEW BEST:: SOT 16838384 SOS 3671627 HAS SOPS 3625102 HAS SOUS 2962295 HAS SOUPS 2946857 WITH SCORE 2950528.627
AT ITER 3387 NEW BEST:: SOT 16838281 SOS 3671526 HAS SOPS 3625001 HAS SOUS 2962192 HAS SOUPS 2946754 WITH SCORE 2950425.526
AT ITER 3410 NEW BEST:: SOT 16838403 SOS 3671526 HAS SOPS 3625001 HAS SOUS 2961847 HAS SOUPS 2946409 WITH SCORE 2950080.526
AT ITER 3423 NEW BEST:: SOT 16838201 SOS 3671324 HAS SOPS 3624799 HAS SOUS 2961645 HAS SOUPS 2946207 WITH SCORE 2949878.324
AT ITER 3455 NEW BEST:: SOT 16838238 SOS 3671324 HAS SOPS 3624799 HAS SOUS 2961215 HAS SOUPS 2945777 WITH SCORE 2949448.324
AT ITER 3469 NEW BEST:: SOT 16838238 SOS 3671276 HAS SOPS 3624751 HAS SOUS 2961215 HAS SOUPS 2945777 WITH SCORE 2949448.276
AT ITER 3508 NEW BEST:: SOT 16838071 SOS 3671342 HAS SOPS 3624650 HAS SOUS 2961071 HAS SOUPS 2945472 WITH SCORE 2949143.342
AT ITER 3566 NEW BEST:: SOT 16838071 SOS 3671131 HAS SOPS 3624439 HAS SOUS 2961071 HAS SOUPS 2945472 WITH SCORE 2949143.131
AT ITER 3578 NEW BEST:: SOT 16837546 SOS 3661687 HAS SOPS 3614995 HAS SOUS 2960569 HAS SOUPS 2944970 WITH SCORE 2948631.687
AT ITER 3597 NEW BEST:: SOT 16837546 SOS 3617897 HAS SOPS 3571205 HAS SOUS 2960567 HAS SOUPS 2944968 WITH SCORE 2948585.897
AT ITER 3600 NEW BEST:: SOT 16837767 SOS 3617897 HAS SOPS 3571205 HAS SOUS 2960540 HAS SOUPS 2944941 WITH SCORE 2948558.897
AT ITER 3613 NEW BEST:: SOT 16837887 SOS 3617897 HAS SOPS 3571205 HAS SOUS 2960255 HAS SOUPS 2944656 WITH SCORE 2948273.897
AT ITER 3640 NEW BEST:: SOT 16837560 SOS 3617243 HAS SOPS 3570551 HAS SOUS 2959928 HAS SOUPS 2944329 WITH SCORE 2947946.243
AT ITER 3643 NEW BEST:: SOT 16837560 SOS 3617152 HAS SOPS 3570460 HAS SOUS 2959928 HAS SOUPS 2944329 WITH SCORE 2947946.152
AT ITER 3644 NEW BEST:: SOT 16837462 SOS 3614588 HAS SOPS 3567896 HAS SOUS 2959732 HAS SOUPS 2944133 WITH SCORE 2947747.588
AT ITER 3653 NEW BEST:: SOT 16837661 SOS 3614588 HAS SOPS 3567896 HAS SOUS 2959474 HAS SOUPS 2943875 WITH SCORE 2947489.588
AT ITER 3661 NEW BEST:: SOT 16837200 SOS 3614034 HAS SOPS 3567342 HAS SOUS 2959382 HAS SOUPS 2943783 WITH SCORE 2947397.034
AT ITER 3687 NEW BEST:: SOT 16836887 SOS 3613196 HAS SOPS 3566504 HAS SOUS 2959281 HAS SOUPS 2943682 WITH SCORE 2947295.196
AT ITER 3696 NEW BEST:: SOT 16836887 SOS 3608984 HAS SOPS 3562292 HAS SOUS 2959281 HAS SOUPS 2943682 WITH SCORE 2947290.984
AT ITER 3699 NEW BEST:: SOT 16837276 SOS 3608984 HAS SOPS 3562292 HAS SOUS 2959231 HAS SOUPS 2943632 WITH SCORE 2947240.984
AT ITER 3737 NEW BEST:: SOT 16837276 SOS 3608761 HAS SOPS 3562069 HAS SOUS 2959155 HAS SOUPS 2943556 WITH SCORE 2947164.761
AT ITER 3766 NEW BEST:: SOT 16837276 SOS 3608599 HAS SOPS 3561907 HAS SOUS 2959155 HAS SOUPS 2943556 WITH SCORE 2947164.599
AT ITER 3861 NEW BEST:: SOT 16837559 SOS 3608599 HAS SOPS 3561907 HAS SOUS 2958967 HAS SOUPS 2943368 WITH SCORE 2946976.599
AT ITER 3869 NEW BEST:: SOT 16837397 SOS 3608442 HAS SOPS 3561750 HAS SOUS 2958805 HAS SOUPS 2943206 WITH SCORE 2946814.442
AT ITER 3872 NEW BEST:: SOT 16837397 SOS 3608389 HAS SOPS 3561697 HAS SOUS 2958752 HAS SOUPS 2943153 WITH SCORE 2946761.389
AT ITER 3885 NEW BEST:: SOT 16837397 SOS 3608329 HAS SOPS 3561637 HAS SOUS 2958752 HAS SOUPS 2943153 WITH SCORE 2946761.329
AT ITER 3905 NEW BEST:: SOT 16836649 SOS 3607581 HAS SOPS 3560889 HAS SOUS 2958004 HAS SOUPS 2942405 WITH SCORE 2946012.581
AT ITER 3972 NEW BEST:: SOT 16836649 SOS 3607411 HAS SOPS 3560719 HAS SOUS 2958004 HAS SOUPS 2942405 WITH SCORE 2946012.411
AT ITER 3976 NEW BEST:: SOT 16836300 SOS 3607078 HAS SOPS 3560386 HAS SOUS 2957655 HAS SOUPS 2942056 WITH SCORE 2945663.078
AT ITER 4014 NEW BEST:: SOT 16836091 SOS 3606877 HAS SOPS 3560185 HAS SOUS 2957446 HAS SOUPS 2941847 WITH SCORE 2945453.877
AT ITER 4017 NEW BEST:: SOT 16836091 SOS 3606856 HAS SOPS 3560164 HAS SOUS 2957446 HAS SOUPS 2941847 WITH SCORE 2945453.856
AT ITER 4034 NEW BEST:: SOT 16835769 SOS 3607127 HAS SOPS 3560435 HAS SOUS 2957395 HAS SOUPS 2941796 WITH SCORE 2945403.127
AT ITER 4048 NEW BEST:: SOT 16835769 SOS 3607127 HAS SOPS 3560421 HAS SOUS 2957381 HAS SOUPS 2941782 WITH SCORE 2945389.127
AT ITER 4054 NEW BEST:: SOT 16835353 SOS 3606295 HAS SOPS 3559589 HAS SOUS 2956965 HAS SOUPS 2941366 WITH SCORE 2944972.295
AT ITER 4055 NEW BEST:: SOT 16835353 SOS 3605976 HAS SOPS 3559270 HAS SOUS 2956965 HAS SOUPS 2941366 WITH SCORE 2944971.976
AT ITER 4087 NEW BEST:: SOT 16821187 SOS 3619851 HAS SOPS 3573145 HAS SOUS 2945520 HAS SOUPS 2929921 WITH SCORE 2933540.851
AT ITER 4091 NEW BEST:: SOT 16821187 SOS 3619841 HAS SOPS 3573135 HAS SOUS 2945520 HAS SOUPS 2929921 WITH SCORE 2933540.841
AT ITER 4092 NEW BEST:: SOT 16820900 SOS 3619267 HAS SOPS 3572561 HAS SOUS 2945233 HAS SOUPS 2929634 WITH SCORE 2933253.267
AT ITER 4095 NEW BEST:: SOT 16820808 SOS 3619267 HAS SOPS 3572561 HAS SOUS 2945141 HAS SOUPS 2929542 WITH SCORE 2933161.267
AT ITER 4101 NEW BEST:: SOT 16821122 SOS 3619267 HAS SOPS 3572561 HAS SOUS 2945134 HAS SOUPS 2929535 WITH SCORE 2933154.267
AT ITER 4108 NEW BEST:: SOT 16821122 SOS 3619267 HAS SOPS 3572561 HAS SOUS 2944861 HAS SOUPS 2929262 WITH SCORE 2932881.267
AT ITER 4126 NEW BEST:: SOT 16821122 SOS 3618828 HAS SOPS 3572122 HAS SOUS 2944861 HAS SOUPS 2929262 WITH SCORE 2932880.828
AT ITER 4127 NEW BEST:: SOT 16820875 SOS 3618608 HAS SOPS 3571902 HAS SOUS 2944684 HAS SOUPS 2929085 WITH SCORE 2932703.608
AT ITER 4138 NEW BEST:: SOT 16820598 SOS 3618238 HAS SOPS 3571532 HAS SOUS 2944591 HAS SOUPS 2928992 WITH SCORE 2932610.238
AT ITER 4146 NEW BEST:: SOT 16820723 SOS 3618238 HAS SOPS 3571532 HAS SOUS 2944343 HAS SOUPS 2928744 WITH SCORE 2932362.238
AT ITER 4190 NEW BEST:: SOT 16820723 SOS 3618159 HAS SOPS 3571453 HAS SOUS 2944343 HAS SOUPS 2928744 WITH SCORE 2932362.159
AT ITER 4195 NEW BEST:: SOT 16820723 SOS 3618007 HAS SOPS 3571301 HAS SOUS 2944343 HAS SOUPS 2928744 WITH SCORE 2932362.007
AT ITER 4201 NEW BEST:: SOT 16820360 SOS 3617661 HAS SOPS 3570955 HAS SOUS 2943980 HAS SOUPS 2928381 WITH SCORE 2931998.661
AT ITER 4225 NEW BEST:: SOT 16820085 SOS 3617661 HAS SOPS 3570955 HAS SOUS 2943705 HAS SOUPS 2928106 WITH SCORE 2931723.661
AT ITER 4248 NEW BEST:: SOT 16819663 SOS 3617853 HAS SOPS 3571147 HAS SOUS 2943475 HAS SOUPS 2927876 WITH SCORE 2931493.853
AT ITER 4255 NEW BEST:: SOT 16819663 SOS 3617493 HAS SOPS 3570787 HAS SOUS 2943473 HAS SOUPS 2927874 WITH SCORE 2931491.493
AT ITER 4265 NEW BEST:: SOT 16819663 SOS 3617493 HAS SOPS 3570787 HAS SOUS 2943325 HAS SOUPS 2927726 WITH SCORE 2931343.493
AT ITER 4295 NEW BEST:: SOT 16819663 SOS 3614959 HAS SOPS 3568253 HAS SOUS 2943325 HAS SOUPS 2927726 WITH SCORE 2931340.959
AT ITER 4314 NEW BEST:: SOT 16819663 SOS 3614806 HAS SOPS 3568100 HAS SOUS 2943325 HAS SOUPS 2927726 WITH SCORE 2931340.806
AT ITER 4327 NEW BEST:: SOT 16819663 SOS 3614791 HAS SOPS 3568085 HAS SOUS 2943325 HAS SOUPS 2927726 WITH SCORE 2931340.791
AT ITER 4333 NEW BEST:: SOT 16819599 SOS 3627110 HAS SOPS 3580404 HAS SOUS 2943059 HAS SOUPS 2927460 WITH SCORE 2931087.11
AT ITER 4360 NEW BEST:: SOT 16819620 SOS 3627110 HAS SOPS 3580404 HAS SOUS 2942889 HAS SOUPS 2927290 WITH SCORE 2930917.11
AT ITER 4367 NEW BEST:: SOT 16819279 SOS 3626769 HAS SOPS 3580063 HAS SOUS 2942548 HAS SOUPS 2926949 WITH SCORE 2930575.769
AT ITER 4380 NEW BEST:: SOT 16819279 SOS 3626598 HAS SOPS 3579892 HAS SOUS 2942548 HAS SOUPS 2926949 WITH SCORE 2930575.598
AT ITER 4391 NEW BEST:: SOT 16819550 SOS 3626674 HAS SOPS 3579968 HAS SOUS 2942328 HAS SOUPS 2926729 WITH SCORE 2930355.674
AT ITER 4418 NEW BEST:: SOT 16819705 SOS 3626674 HAS SOPS 3579968 HAS SOUS 2942247 HAS SOUPS 2926648 WITH SCORE 2930274.674
AT ITER 4491 NEW BEST:: SOT 16819565 SOS 3626534 HAS SOPS 3579828 HAS SOUS 2942220 HAS SOUPS 2926621 WITH SCORE 2930247.534
AT ITER 4503 NEW BEST:: SOT 16819695 SOS 3626534 HAS SOPS 3579828 HAS SOUS 2942094 HAS SOUPS 2926495 WITH SCORE 2930121.534
AT ITER 4510 NEW BEST:: SOT 16819417 SOS 3626441 HAS SOPS 3579735 HAS SOUS 2941816 HAS SOUPS 2926217 WITH SCORE 2929843.441
AT ITER 4516 NEW BEST:: SOT 16819231 SOS 3623093 HAS SOPS 3576387 HAS SOUS 2941444 HAS SOUPS 2925845 WITH SCORE 2929468.093
AT ITER 4529 NEW BEST:: SOT 16819540 SOS 3623105 HAS SOPS 3576399 HAS SOUS 2941230 HAS SOUPS 2925631 WITH SCORE 2929254.105
AT ITER 4544 NEW BEST:: SOT 16819540 SOS 3623042 HAS SOPS 3576336 HAS SOUS 2941230 HAS SOUPS 2925631 WITH SCORE 2929254.042
AT ITER 4566 NEW BEST:: SOT 16819436 SOS 3622940 HAS SOPS 3576234 HAS SOUS 2941126 HAS SOUPS 2925527 WITH SCORE 2929149.94
AT ITER 4575 NEW BEST:: SOT 16819436 SOS 3622578 HAS SOPS 3575872 HAS SOUS 2941126 HAS SOUPS 2925527 WITH SCORE 2929149.578
AT ITER 4589 NEW BEST:: SOT 16819379 SOS 3622522 HAS SOPS 3575816 HAS SOUS 2941012 HAS SOUPS 2925413 WITH SCORE 2929035.522
AT ITER 4603 NEW BEST:: SOT 16808125 SOS 3663531 HAS SOPS 3616825 HAS SOUS 2933844 HAS SOUPS 2918245 WITH SCORE 2921908.531
AT ITER 4616 NEW BEST:: SOT 16808125 SOS 3663361 HAS SOPS 3616655 HAS SOUS 2933844 HAS SOUPS 2918245 WITH SCORE 2921908.361
AT ITER 4621 NEW BEST:: SOT 16806236 SOS 3661464 HAS SOPS 3614753 HAS SOUS 2931942 HAS SOUPS 2916343 WITH SCORE 2920004.464
AT ITER 4626 NEW BEST:: SOT 16806236 SOS 3661461 HAS SOPS 3614750 HAS SOUS 2931942 HAS SOUPS 2916343 WITH SCORE 2920004.461
AT ITER 4638 NEW BEST:: SOT 16806236 SOS 3661423 HAS SOPS 3614712 HAS SOUS 2931904 HAS SOUPS 2916305 WITH SCORE 2919966.423
AT ITER 4643 NEW BEST:: SOT 16806236 SOS 3661423 HAS SOPS 3614712 HAS SOUS 2931717 HAS SOUPS 2916118 WITH SCORE 2919779.423
AT ITER 4654 NEW BEST:: SOT 16806236 SOS 3661119 HAS SOPS 3614408 HAS SOUS 2931717 HAS SOUPS 2916118 WITH SCORE 2919779.119
AT ITER 4658 NEW BEST:: SOT 16806061 SOS 3661160 HAS SOPS 3613928 HAS SOUS 2931882 HAS SOUPS 2915768 WITH SCORE 2919429.16
AT ITER 4680 NEW BEST:: SOT 16805611 SOS 3669711 HAS SOPS 3622479 HAS SOUS 2931873 HAS SOUPS 2915759 WITH SCORE 2919428.711
AT ITER 4706 NEW BEST:: SOT 16806067 SOS 3669842 HAS SOPS 3622610 HAS SOUS 2931865 HAS SOUPS 2915751 WITH SCORE 2919420.842
AT ITER 4717 NEW BEST:: SOT 16806067 SOS 3669823 HAS SOPS 3622591 HAS SOUS 2931865 HAS SOUPS 2915751 WITH SCORE 2919420.823
AT ITER 4722 NEW BEST:: SOT 16806086 SOS 3669823 HAS SOPS 3622591 HAS SOUS 2931556 HAS SOUPS 2915442 WITH SCORE 2919111.823
AT ITER 4733 NEW BEST:: SOT 16806086 SOS 3669823 HAS SOPS 3622591 HAS SOUS 2931446 HAS SOUPS 2915332 WITH SCORE 2919001.823
AT ITER 4822 NEW BEST:: SOT 16806086 SOS 3669816 HAS SOPS 3622584 HAS SOUS 2931446 HAS SOUPS 2915332 WITH SCORE 2919001.816
AT ITER 4938 NEW BEST:: SOT 16805973 SOS 3669705 HAS SOPS 3622473 HAS SOUS 2931333 HAS SOUPS 2915219 WITH SCORE 2918888.705
AT ITER 4939 NEW BEST:: SOT 16805556 SOS 3676488 HAS SOPS 3629334 HAS SOUS 2931106 HAS SOUPS 2914992 WITH SCORE 2918668.488
AT ITER 4997 NEW BEST:: SOT 16805968 SOS 3676646 HAS SOPS 3629492 HAS SOUS 2931069 HAS SOUPS 2914955 WITH SCORE 2918631.646
AT ITER 5076 NEW BEST:: SOT 16805968 SOS 3676574 HAS SOPS 3629420 HAS SOUS 2931069 HAS SOUPS 2914955 WITH SCORE 2918631.574
AT ITER 5085 NEW BEST:: SOT 16805968 SOS 3676361 HAS SOPS 3629207 HAS SOUS 2931069 HAS SOUPS 2914955 WITH SCORE 2918631.361
AT ITER 5115 NEW BEST:: SOT 16806192 SOS 3676437 HAS SOPS 3629283 HAS SOUS 2930802 HAS SOUPS 2914688 WITH SCORE 2918364.437
AT ITER 5121 NEW BEST:: SOT 16805965 SOS 3675983 HAS SOPS 3628829 HAS SOUS 2930575 HAS SOUPS 2914461 WITH SCORE 2918136.983
AT ITER 5194 NEW BEST:: SOT 16805965 SOS 3675983 HAS SOPS 3628829 HAS SOUS 2930245 HAS SOUPS 2914131 WITH SCORE 2917806.983
AT ITER 5223 NEW BEST:: SOT 16806199 SOS 3676111 HAS SOPS 3628957 HAS SOUS 2930014 HAS SOUPS 2913900 WITH SCORE 2917576.111
AT ITER 5235 NEW BEST:: SOT 16806199 SOS 3676007 HAS SOPS 3628853 HAS SOUS 2930014 HAS SOUPS 2913900 WITH SCORE 2917576.007
AT ITER 5262 NEW BEST:: SOT 16806204 SOS 3676007 HAS SOPS 3628853 HAS SOUS 2929787 HAS SOUPS 2913673 WITH SCORE 2917349.007
AT ITER 5269 NEW BEST:: SOT 16805641 SOS 3694287 HAS SOPS 3628290 HAS SOUS 2930262 HAS SOUPS 2913284 WITH SCORE 2916978.287
AT ITER 5274 NEW BEST:: SOT 16812203 SOS 3700653 HAS SOPS 3621512 HAS SOUS 2924231 HAS SOUPS 2907253 WITH SCORE 2910953.653
AT ITER 5282 NEW BEST:: SOT 16812203 SOS 3700628 HAS SOPS 3621487 HAS SOUS 2924231 HAS SOUPS 2907253 WITH SCORE 2910953.628
AT ITER 5308 NEW BEST:: SOT 16812074 SOS 3700499 HAS SOPS 3621358 HAS SOUS 2923973 HAS SOUPS 2906995 WITH SCORE 2910695.499
AT ITER 5322 NEW BEST:: SOT 16812074 SOS 3700498 HAS SOPS 3621357 HAS SOUS 2923972 HAS SOUPS 2906994 WITH SCORE 2910694.498
AT ITER 5323 NEW BEST:: SOT 16812445 SOS 3700650 HAS SOPS 3621509 HAS SOUS 2923890 HAS SOUPS 2906912 WITH SCORE 2910612.65
AT ITER 5360 NEW BEST:: SOT 16812862 SOS 3700650 HAS SOPS 3621509 HAS SOUS 2923786 HAS SOUPS 2906808 WITH SCORE 2910508.65
AT ITER 5366 NEW BEST:: SOT 16812839 SOS 3700355 HAS SOPS 3621214 HAS SOUS 2923740 HAS SOUPS 2906762 WITH SCORE 2910462.355
AT ITER 5382 NEW BEST:: SOT 16812828 SOS 3700351 HAS SOPS 3621210 HAS SOUS 2923729 HAS SOUPS 2906751 WITH SCORE 2910451.351
AT ITER 5408 NEW BEST:: SOT 16812828 SOS 3700348 HAS SOPS 3621207 HAS SOUS 2923729 HAS SOUPS 2906751 WITH SCORE 2910451.348
AT ITER 5420 NEW BEST:: SOT 16812828 SOS 3700348 HAS SOPS 3621207 HAS SOUS 2923456 HAS SOUPS 2906478 WITH SCORE 2910178.348
AT ITER 5517 NEW BEST:: SOT 16812518 SOS 3700529 HAS SOPS 3621078 HAS SOUS 2922933 HAS SOUPS 2905955 WITH SCORE 2909655.529
AT ITER 5556 NEW BEST:: SOT 16812518 SOS 3700381 HAS SOPS 3620930 HAS SOUS 2922933 HAS SOUPS 2905955 WITH SCORE 2909655.381
AT ITER 5587 NEW BEST:: SOT 16812468 SOS 3700281 HAS SOPS 3620830 HAS SOUS 2922883 HAS SOUPS 2905905 WITH SCORE 2909605.281
AT ITER 5603 NEW BEST:: SOT 16812762 SOS 3700281 HAS SOPS 3620830 HAS SOUS 2922783 HAS SOUPS 2905805 WITH SCORE 2909505.281
AT ITER 5652 NEW BEST:: SOT 16813173 SOS 3700425 HAS SOPS 3620974 HAS SOUS 2922737 HAS SOUPS 2905759 WITH SCORE 2909459.425
AT ITER 5656 NEW BEST:: SOT 16813173 SOS 3700293 HAS SOPS 3620842 HAS SOUS 2922675 HAS SOUPS 2905697 WITH SCORE 2909397.293
AT ITER 5673 NEW BEST:: SOT 16813173 SOS 3700217 HAS SOPS 3620766 HAS SOUS 2922599 HAS SOUPS 2905621 WITH SCORE 2909321.217
AT ITER 5677 NEW BEST:: SOT 16812110 SOS 3716071 HAS SOPS 3636953 HAS SOUS 2921876 HAS SOUPS 2904898 WITH SCORE 2908614.071
AT ITER 5700 NEW BEST:: SOT 16812110 SOS 3715997 HAS SOPS 3636879 HAS SOUS 2921876 HAS SOUPS 2904898 WITH SCORE 2908613.997
AT ITER 5716 NEW BEST:: SOT 16812018 SOS 3713253 HAS SOPS 3634135 HAS SOUS 2921692 HAS SOUPS 2904714 WITH SCORE 2908427.253
AT ITER 5720 NEW BEST:: SOT 16811720 SOS 3713253 HAS SOPS 3634135 HAS SOUS 2921394 HAS SOUPS 2904416 WITH SCORE 2908129.253
AT ITER 5728 NEW BEST:: SOT 16811137 SOS 3713321 HAS SOPS 3634203 HAS SOUS 2921029 HAS SOUPS 2904051 WITH SCORE 2907764.321
AT ITER 5740 NEW BEST:: SOT 16810375 SOS 3711797 HAS SOPS 3632679 HAS SOUS 2920267 HAS SOUPS 2903289 WITH SCORE 2907000.797
AT ITER 5769 NEW BEST:: SOT 16798636 SOS 3724983 HAS SOPS 3645865 HAS SOUS 2910935 HAS SOUPS 2893957 WITH SCORE 2897681.983
AT ITER 5770 NEW BEST:: SOT 16798478 SOS 3724830 HAS SOPS 3645712 HAS SOUS 2910777 HAS SOUPS 2893799 WITH SCORE 2897523.83
AT ITER 5771 NEW BEST:: SOT 16798655 SOS 3724830 HAS SOPS 3645712 HAS SOUS 2910681 HAS SOUPS 2893703 WITH SCORE 2897427.83
AT ITER 5818 NEW BEST:: SOT 16798442 SOS 3724637 HAS SOPS 3645519 HAS SOUS 2910468 HAS SOUPS 2893490 WITH SCORE 2897214.637
AT ITER 5820 NEW BEST:: SOT 16798646 SOS 3724637 HAS SOPS 3645519 HAS SOUS 2910256 HAS SOUPS 2893278 WITH SCORE 2897002.637
AT ITER 5821 NEW BEST:: SOT 16798264 SOS 3724255 HAS SOPS 3644755 HAS SOUS 2909874 HAS SOUPS 2892896 WITH SCORE 2896620.255
AT ITER 5826 NEW BEST:: SOT 16798264 SOS 3724158 HAS SOPS 3644658 HAS SOUS 2909874 HAS SOUPS 2892896 WITH SCORE 2896620.158
AT ITER 5831 NEW BEST:: SOT 16797887 SOS 3724474 HAS SOPS 3644974 HAS SOUS 2909813 HAS SOUPS 2892835 WITH SCORE 2896559.474
AT ITER 5845 NEW BEST:: SOT 16797811 SOS 3724398 HAS SOPS 3644898 HAS SOUS 2909661 HAS SOUPS 2892683 WITH SCORE 2896407.398
AT ITER 5855 NEW BEST:: SOT 16797656 SOS 3724610 HAS SOPS 3644872 HAS SOUS 2909809 HAS SOUPS 2892600 WITH SCORE 2896324.61
AT ITER 5880 NEW BEST:: SOT 16797656 SOS 3724325 HAS SOPS 3644587 HAS SOUS 2909807 HAS SOUPS 2892598 WITH SCORE 2896322.325
AT ITER 5909 NEW BEST:: SOT 16797525 SOS 3724197 HAS SOPS 3644459 HAS SOUS 2909676 HAS SOUPS 2892467 WITH SCORE 2896191.197
AT ITER 5913 NEW BEST:: SOT 16797525 SOS 3724080 HAS SOPS 3644342 HAS SOUS 2909559 HAS SOUPS 2892350 WITH SCORE 2896074.08
AT ITER 5917 NEW BEST:: SOT 16797525 SOS 3724080 HAS SOPS 3644342 HAS SOUS 2909368 HAS SOUPS 2892159 WITH SCORE 2895883.08
AT ITER 5972 NEW BEST:: SOT 16797431 SOS 3723987 HAS SOPS 3644249 HAS SOUS 2909274 HAS SOUPS 2892065 WITH SCORE 2895788.987
AT ITER 6046 NEW BEST:: SOT 16797403 SOS 3723987 HAS SOPS 3644221 HAS SOUS 2909239 HAS SOUPS 2892009 WITH SCORE 2895732.987
AT ITER 6048 NEW BEST:: SOT 16796824 SOS 3722641 HAS SOPS 3642875 HAS SOUS 2908151 HAS SOUPS 2890921 WITH SCORE 2894643.641
AT ITER 6052 NEW BEST:: SOT 16796824 SOS 3722641 HAS SOPS 3642875 HAS SOUS 2907873 HAS SOUPS 2890643 WITH SCORE 2894365.641
AT ITER 6060 NEW BEST:: SOT 16797260 SOS 3722713 HAS SOPS 3642947 HAS SOUS 2907816 HAS SOUPS 2890586 WITH SCORE 2894308.713
AT ITER 6065 NEW BEST:: SOT 16796806 SOS 3722259 HAS SOPS 3642493 HAS SOUS 2907380 HAS SOUPS 2890150 WITH SCORE 2893872.259
AT ITER 6070 NEW BEST:: SOT 16803561 SOS 3728687 HAS SOPS 3635772 HAS SOUS 2901547 HAS SOUPS 2884313 WITH SCORE 2888041.687
AT ITER 6081 NEW BEST:: SOT 16803561 SOS 3728687 HAS SOPS 3635772 HAS SOUS 2901058 HAS SOUPS 2883824 WITH SCORE 2887552.687
AT ITER 6086 NEW BEST:: SOT 16803428 SOS 3729037 HAS SOPS 3635989 HAS SOUS 2901094 HAS SOUPS 2883727 WITH SCORE 2887456.037
AT ITER 6124 NEW BEST:: SOT 16803135 SOS 3728845 HAS SOPS 3635504 HAS SOUS 2900508 HAS SOUPS 2883141 WITH SCORE 2886869.845
AT ITER 6132 NEW BEST:: SOT 16803135 SOS 3728845 HAS SOPS 3635504 HAS SOUS 2900507 HAS SOUPS 2883140 WITH SCORE 2886868.845
AT ITER 6138 NEW BEST:: SOT 16800623 SOS 3732355 HAS SOPS 3639014 HAS SOUS 2898060 HAS SOUPS 2880693 WITH SCORE 2884425.355
AT ITER 6166 NEW BEST:: SOT 16800623 SOS 3732340 HAS SOPS 3638999 HAS SOUS 2898045 HAS SOUPS 2880678 WITH SCORE 2884410.34
AT ITER 6173 NEW BEST:: SOT 16800582 SOS 3732239 HAS SOPS 3638898 HAS SOUS 2897944 HAS SOUPS 2880577 WITH SCORE 2884309.239
AT ITER 6196 NEW BEST:: SOT 16800463 SOS 3732239 HAS SOPS 3638898 HAS SOUS 2897825 HAS SOUPS 2880458 WITH SCORE 2884190.239
AT ITER 6207 NEW BEST:: SOT 16800542 SOS 3732239 HAS SOPS 3638898 HAS SOUS 2897551 HAS SOUPS 2880184 WITH SCORE 2883916.239
AT ITER 6223 NEW BEST:: SOT 16800349 SOS 3731995 HAS SOPS 3638654 HAS SOUS 2897165 HAS SOUPS 2879798 WITH SCORE 2883529.995
AT ITER 6228 NEW BEST:: SOT 16799179 SOS 3744185 HAS SOPS 3637484 HAS SOUS 2896913 HAS SOUPS 2878850 WITH SCORE 2882594.185
AT ITER 6244 NEW BEST:: SOT 16798777 SOS 3744344 HAS SOPS 3637643 HAS SOUS 2896670 HAS SOUPS 2878607 WITH SCORE 2882351.344
AT ITER 6299 NEW BEST:: SOT 16799067 SOS 3744344 HAS SOPS 3637643 HAS SOUS 2896552 HAS SOUPS 2878489 WITH SCORE 2882233.344
AT ITER 6314 NEW BEST:: SOT 16798998 SOS 3744344 HAS SOPS 3637643 HAS SOUS 2896483 HAS SOUPS 2878420 WITH SCORE 2882164.344
AT ITER 6321 NEW BEST:: SOT 16798705 SOS 3744204 HAS SOPS 3637503 HAS SOUS 2896337 HAS SOUPS 2878274 WITH SCORE 2882018.204
AT ITER 6347 NEW BEST:: SOT 16799135 SOS 3744347 HAS SOPS 3637646 HAS SOUS 2896309 HAS SOUPS 2878246 WITH SCORE 2881990.347
AT ITER 6372 NEW BEST:: SOT 16798763 SOS 3744699 HAS SOPS 3637998 HAS SOUS 2896289 HAS SOUPS 2878226 WITH SCORE 2881970.699
AT ITER 6383 NEW BEST:: SOT 16798697 SOS 3744567 HAS SOPS 3637866 HAS SOUS 2896157 HAS SOUPS 2878094 WITH SCORE 2881838.567
AT ITER 6395 NEW BEST:: SOT 16798509 SOS 3744474 HAS SOPS 3637773 HAS SOUS 2896014 HAS SOUPS 2877951 WITH SCORE 2881695.474
AT ITER 6396 NEW BEST:: SOT 16798490 SOS 3744702 HAS SOPS 3638001 HAS SOUS 2895976 HAS SOUPS 2877913 WITH SCORE 2881657.702
AT ITER 6400 NEW BEST:: SOT 16798490 SOS 3744652 HAS SOPS 3637951 HAS SOUS 2895976 HAS SOUPS 2877913 WITH SCORE 2881657.652
AT ITER 6419 NEW BEST:: SOT 16798490 SOS 3744225 HAS SOPS 3637524 HAS SOUS 2895976 HAS SOUPS 2877913 WITH SCORE 2881657.225
AT ITER 6439 NEW BEST:: SOT 16798490 SOS 3744163 HAS SOPS 3637462 HAS SOUS 2895976 HAS SOUPS 2877913 WITH SCORE 2881657.163
AT ITER 6447 NEW BEST:: SOT 16796601 SOS 3749131 HAS SOPS 3642532 HAS SOUS 2894776 HAS SOUPS 2876713 WITH SCORE 2880462.131
AT ITER 6448 NEW BEST:: SOT 16796488 SOS 3749131 HAS SOPS 3642532 HAS SOUS 2894663 HAS SOUPS 2876600 WITH SCORE 2880349.131
AT ITER 6455 NEW BEST:: SOT 16796488 SOS 3748996 HAS SOPS 3642397 HAS SOUS 2894663 HAS SOUPS 2876600 WITH SCORE 2880348.996
AT ITER 6491 NEW BEST:: SOT 16796003 SOS 3753108 HAS SOPS 3641651 HAS SOUS 2894178 HAS SOUPS 2875854 WITH SCORE 2879607.108
AT ITER 6520 NEW BEST:: SOT 16795902 SOS 3753105 HAS SOPS 3641648 HAS SOUS 2894105 HAS SOUPS 2875781 WITH SCORE 2879534.105
AT ITER 6523 NEW BEST:: SOT 16795902 SOS 3753074 HAS SOPS 3641617 HAS SOUS 2894105 HAS SOUPS 2875781 WITH SCORE 2879534.074
AT ITER 6551 NEW BEST:: SOT 16795627 SOS 3752799 HAS SOPS 3641342 HAS SOUS 2893830 HAS SOUPS 2875506 WITH SCORE 2879258.799
AT ITER 6577 NEW BEST:: SOT 16795627 SOS 3752782 HAS SOPS 3641325 HAS SOUS 2893830 HAS SOUPS 2875506 WITH SCORE 2879258.782
AT ITER 6584 NEW BEST:: SOT 16795627 SOS 3752771 HAS SOPS 3641314 HAS SOUS 2893830 HAS SOUPS 2875506 WITH SCORE 2879258.771
AT ITER 6595 NEW BEST:: SOT 16795476 SOS 3752469 HAS SOPS 3641012 HAS SOUS 2893679 HAS SOUPS 2875355 WITH SCORE 2879107.469
AT ITER 6612 NEW BEST:: SOT 16795476 SOS 3752391 HAS SOPS 3640934 HAS SOUS 2893601 HAS SOUPS 2875277 WITH SCORE 2879029.391
AT ITER 6613 NEW BEST:: SOT 16794949 SOS 3752391 HAS SOPS 3640934 HAS SOUS 2893074 HAS SOUPS 2874750 WITH SCORE 2878502.391
AT ITER 6643 NEW BEST:: SOT 16794646 SOS 3752163 HAS SOPS 3640706 HAS SOUS 2892771 HAS SOUPS 2874447 WITH SCORE 2878199.163
AT ITER 6701 NEW BEST:: SOT 16794646 SOS 3752077 HAS SOPS 3640620 HAS SOUS 2892771 HAS SOUPS 2874447 WITH SCORE 2878199.077
AT ITER 6709 NEW BEST:: SOT 16794815 SOS 3752077 HAS SOPS 3640620 HAS SOUS 2892612 HAS SOUPS 2874288 WITH SCORE 2878040.077
AT ITER 6733 NEW BEST:: SOT 16794815 SOS 3751935 HAS SOPS 3640478 HAS SOUS 2892470 HAS SOUPS 2874146 WITH SCORE 2877897.935
AT ITER 6753 NEW BEST:: SOT 16794512 SOS 3751632 HAS SOPS 3640175 HAS SOUS 2892167 HAS SOUPS 2873843 WITH SCORE 2877594.632
AT ITER 6784 NEW BEST:: SOT 16780803 SOS 3797703 HAS SOPS 3686246 HAS SOUS 2882625 HAS SOUPS 2864301 WITH SCORE 2868098.703
AT ITER 6785 NEW BEST:: SOT 16780772 SOS 3797176 HAS SOPS 3685719 HAS SOUS 2882563 HAS SOUPS 2864239 WITH SCORE 2868036.176
AT ITER 6853 NEW BEST:: SOT 16780530 SOS 3796977 HAS SOPS 3685520 HAS SOUS 2882321 HAS SOUPS 2863997 WITH SCORE 2867793.977
AT ITER 6875 NEW BEST:: SOT 16780054 SOS 3796986 HAS SOPS 3685529 HAS SOUS 2882100 HAS SOUPS 2863776 WITH SCORE 2867572.986
AT ITER 6908 NEW BEST:: SOT 16779500 SOS 3795878 HAS SOPS 3684421 HAS SOUS 2881546 HAS SOUPS 2863222 WITH SCORE 2867017.878
AT ITER 6918 NEW BEST:: SOT 16779500 SOS 3795683 HAS SOPS 3684226 HAS SOUS 2881546 HAS SOUPS 2863222 WITH SCORE 2867017.683
AT ITER 6950 NEW BEST:: SOT 16779639 SOS 3781060 HAS SOPS 3669603 HAS SOUS 2881197 HAS SOUPS 2862873 WITH SCORE 2866654.06
AT ITER 6952 NEW BEST:: SOT 16767149 SOS 3775847 HAS SOPS 3664390 HAS SOUS 2869344 HAS SOUPS 2851020 WITH SCORE 2854795.847
AT ITER 6959 NEW BEST:: SOT 16767149 SOS 3775801 HAS SOPS 3664344 HAS SOUS 2869344 HAS SOUPS 2851020 WITH SCORE 2854795.801
AT ITER 6964 NEW BEST:: SOT 16767149 SOS 3775793 HAS SOPS 3664336 HAS SOUS 2869344 HAS SOUPS 2851020 WITH SCORE 2854795.793
AT ITER 6972 NEW BEST:: SOT 16767149 SOS 3775660 HAS SOPS 3664203 HAS SOUS 2869344 HAS SOUPS 2851020 WITH SCORE 2854795.66
AT ITER 6988 NEW BEST:: SOT 16767377 SOS 3775888 HAS SOPS 3664431 HAS SOUS 2869157 HAS SOUPS 2850833 WITH SCORE 2854608.888
AT ITER 7020 NEW BEST:: SOT 16767377 SOS 3775835 HAS SOPS 3664378 HAS SOUS 2869157 HAS SOUPS 2850833 WITH SCORE 2854608.835
AT ITER 7071 NEW BEST:: SOT 16767377 SOS 3775712 HAS SOPS 3664255 HAS SOUS 2869157 HAS SOUPS 2850833 WITH SCORE 2854608.712
AT ITER 7072 NEW BEST:: SOT 16767377 SOS 3775701 HAS SOPS 3664244 HAS SOUS 2869157 HAS SOUPS 2850833 WITH SCORE 2854608.701
AT ITER 7106 NEW BEST:: SOT 16766925 SOS 3775753 HAS SOPS 3664296 HAS SOUS 2868757 HAS SOUPS 2850433 WITH SCORE 2854208.753
AT ITER 7151 NEW BEST:: SOT 16766925 SOS 3775687 HAS SOPS 3664230 HAS SOUS 2868757 HAS SOUPS 2850433 WITH SCORE 2854208.687
AT ITER 7153 NEW BEST:: SOT 16766925 SOS 3775263 HAS SOPS 3663806 HAS SOUS 2868622 HAS SOUPS 2850298 WITH SCORE 2854073.263
AT ITER 7200 NEW BEST:: SOT 16766925 SOS 3775263 HAS SOPS 3663806 HAS SOUS 2868620 HAS SOUPS 2850296 WITH SCORE 2854071.263
AT ITER 7217 NEW BEST:: SOT 16766925 SOS 3774975 HAS SOPS 3663518 HAS SOUS 2868620 HAS SOUPS 2850296 WITH SCORE 2854070.975
AT ITER 7229 NEW BEST:: SOT 16766848 SOS 3766731 HAS SOPS 3655274 HAS SOUS 2868494 HAS SOUPS 2850170 WITH SCORE 2853936.731
AT ITER 7240 NEW BEST:: SOT 16767038 SOS 3766731 HAS SOPS 3655274 HAS SOUS 2868249 HAS SOUPS 2849925 WITH SCORE 2853691.731
AT ITER 7253 NEW BEST:: SOT 16767038 SOS 3766649 HAS SOPS 3655192 HAS SOUS 2868218 HAS SOUPS 2849894 WITH SCORE 2853660.649
AT ITER 7258 NEW BEST:: SOT 16766953 SOS 3764383 HAS SOPS 3652926 HAS SOUS 2868048 HAS SOUPS 2849724 WITH SCORE 2853488.383
AT ITER 7269 NEW BEST:: SOT 16766774 SOS 3764253 HAS SOPS 3652796 HAS SOUS 2867869 HAS SOUPS 2849545 WITH SCORE 2853309.253
AT ITER 7320 NEW BEST:: SOT 16767179 SOS 3764253 HAS SOPS 3652796 HAS SOUS 2867771 HAS SOUPS 2849447 WITH SCORE 2853211.253
AT ITER 7339 NEW BEST:: SOT 16766822 SOS 3763539 HAS SOPS 3652082 HAS SOUS 2867414 HAS SOUPS 2849090 WITH SCORE 2852853.539
AT ITER 7342 NEW BEST:: SOT 16766387 SOS 3763759 HAS SOPS 3652302 HAS SOUS 2867199 HAS SOUPS 2848875 WITH SCORE 2852638.759
AT ITER 7368 NEW BEST:: SOT 16766387 SOS 3761871 HAS SOPS 3650414 HAS SOUS 2867199 HAS SOUPS 2848875 WITH SCORE 2852636.871
AT ITER 7374 NEW BEST:: SOT 16765553 SOS 3761535 HAS SOPS 3650078 HAS SOUS 2866882 HAS SOUPS 2848558 WITH SCORE 2852319.535
AT ITER 7456 NEW BEST:: SOT 16765772 SOS 3761037 HAS SOPS 3649536 HAS SOUS 2866340 HAS SOUPS 2848016 WITH SCORE 2851777.037
AT ITER 7485 NEW BEST:: SOT 16766041 SOS 3761037 HAS SOPS 3649536 HAS SOUS 2866219 HAS SOUPS 2847895 WITH SCORE 2851656.037
AT ITER 7511 NEW BEST:: SOT 16764697 SOS 3760904 HAS SOPS 3649403 HAS SOUS 2865150 HAS SOUPS 2846826 WITH SCORE 2850586.904
AT ITER 7548 NEW BEST:: SOT 16764697 SOS 3760897 HAS SOPS 3649396 HAS SOUS 2865150 HAS SOUPS 2846826 WITH SCORE 2850586.897
AT ITER 7563 NEW BEST:: SOT 16764649 SOS 3760973 HAS SOPS 3649220 HAS SOUS 2865071 HAS SOUPS 2846526 WITH SCORE 2850286.973
AT ITER 7570 NEW BEST:: SOT 16764403 SOS 3760727 HAS SOPS 3648728 HAS SOUS 2864819 HAS SOUPS 2846034 WITH SCORE 2849794.727
AT ITER 7589 NEW BEST:: SOT 16764403 SOS 3757797 HAS SOPS 3645798 HAS SOUS 2864819 HAS SOUPS 2846034 WITH SCORE 2849791.797
AT ITER 7591 NEW BEST:: SOT 16763819 SOS 3715755 HAS SOPS 3603756 HAS SOUS 2863651 HAS SOUPS 2844866 WITH SCORE 2848581.755
AT ITER 7635 NEW BEST:: SOT 16763819 SOS 3715392 HAS SOPS 3603393 HAS SOUS 2863651 HAS SOUPS 2844866 WITH SCORE 2848581.392
AT ITER 7639 NEW BEST:: SOT 16763542 SOS 3714775 HAS SOPS 3602776 HAS SOUS 2863380 HAS SOUPS 2844595 WITH SCORE 2848309.775
AT ITER 7645 NEW BEST:: SOT 16763623 SOS 3714775 HAS SOPS 3602776 HAS SOUS 2862940 HAS SOUPS 2844155 WITH SCORE 2847869.775
AT ITER 7669 NEW BEST:: SOT 16763521 SOS 3714673 HAS SOPS 3602674 HAS SOUS 2862736 HAS SOUPS 2843951 WITH SCORE 2847665.673
AT ITER 7677 NEW BEST:: SOT 16763520 SOS 3714672 HAS SOPS 3602673 HAS SOUS 2862735 HAS SOUPS 2843950 WITH SCORE 2847664.672
AT ITER 7687 NEW BEST:: SOT 16763520 SOS 3714644 HAS SOPS 3602645 HAS SOUS 2862734 HAS SOUPS 2843949 WITH SCORE 2847663.644
AT ITER 7706 NEW BEST:: SOT 16763412 SOS 3701759 HAS SOPS 3589760 HAS SOUS 2862518 HAS SOUPS 2843733 WITH SCORE 2847434.759
AT ITER 7723 NEW BEST:: SOT 16763412 SOS 3701328 HAS SOPS 3589329 HAS SOUS 2862518 HAS SOUPS 2843733 WITH SCORE 2847434.328
AT ITER 7740 NEW BEST:: SOT 16763141 SOS 3701057 HAS SOPS 3588787 HAS SOUS 2862247 HAS SOUPS 2843191 WITH SCORE 2846892.057
AT ITER 7748 NEW BEST:: SOT 16763187 SOS 3700836 HAS SOPS 3588566 HAS SOUS 2862072 HAS SOUPS 2843016 WITH SCORE 2846716.836
AT ITER 7771 NEW BEST:: SOT 16762634 SOS 3699730 HAS SOPS 3587460 HAS SOUS 2861519 HAS SOUPS 2842463 WITH SCORE 2846162.73
AT ITER 7815 NEW BEST:: SOT 16762634 SOS 3699254 HAS SOPS 3586984 HAS SOUS 2861519 HAS SOUPS 2842463 WITH SCORE 2846162.254
AT ITER 7828 NEW BEST:: SOT 16762634 SOS 3698756 HAS SOPS 3586486 HAS SOUS 2861519 HAS SOUPS 2842463 WITH SCORE 2846161.756
AT ITER 7939 NEW BEST:: SOT 16762634 SOS 3698756 HAS SOPS 3586486 HAS SOUS 2861513 HAS SOUPS 2842457 WITH SCORE 2846155.756
AT ITER 7954 NEW BEST:: SOT 16762579 SOS 3698401 HAS SOPS 3586131 HAS SOUS 2861403 HAS SOUPS 2842347 WITH SCORE 2846045.401
AT ITER 7971 NEW BEST:: SOT 16753031 SOS 3733030 HAS SOPS 3620760 HAS SOUS 2855253 HAS SOUPS 2836197 WITH SCORE 2839930.03
AT ITER 7991 NEW BEST:: SOT 16753031 SOS 3733030 HAS SOPS 3620760 HAS SOUS 2855197 HAS SOUPS 2836141 WITH SCORE 2839874.03
AT ITER 8026 NEW BEST:: SOT 16753088 SOS 3731419 HAS SOPS 3619149 HAS SOUS 2855196 HAS SOUPS 2836140 WITH SCORE 2839871.419
AT ITER 8047 NEW BEST:: SOT 16753032 SOS 3731223 HAS SOPS 3618958 HAS SOUS 2855084 HAS SOUPS 2836028 WITH SCORE 2839759.223
AT ITER 8139 NEW BEST:: SOT 16753032 SOS 3731210 HAS SOPS 3618945 HAS SOUS 2855084 HAS SOUPS 2836028 WITH SCORE 2839759.21
AT ITER 8142 NEW BEST:: SOT 16745848 SOS 3724026 HAS SOPS 3617816 HAS SOUS 2852428 HAS SOUPS 2834526 WITH SCORE 2838250.026
AT ITER 8160 NEW BEST:: SOT 16745848 SOS 3723988 HAS SOPS 3617778 HAS SOUS 2852390 HAS SOUPS 2834488 WITH SCORE 2838211.988
AT ITER 8290 NEW BEST:: SOT 16745864 SOS 3723988 HAS SOPS 3617778 HAS SOUS 2852097 HAS SOUPS 2834195 WITH SCORE 2837918.988
AT ITER 8300 NEW BEST:: SOT 16746058 SOS 3723988 HAS SOPS 3617778 HAS SOUS 2851921 HAS SOUPS 2834019 WITH SCORE 2837742.988
AT ITER 8303 NEW BEST:: SOT 16746058 SOS 3723694 HAS SOPS 3617484 HAS SOUS 2851921 HAS SOUPS 2834019 WITH SCORE 2837742.694
AT ITER 8304 NEW BEST:: SOT 16745658 SOS 3722603 HAS SOPS 3616393 HAS SOUS 2850830 HAS SOUPS 2832928 WITH SCORE 2836650.603
AT ITER 8310 NEW BEST:: SOT 16745677 SOS 3722622 HAS SOPS 3616412 HAS SOUS 2850629 HAS SOUPS 2832727 WITH SCORE 2836449.622
AT ITER 8319 NEW BEST:: SOT 16745425 SOS 3722442 HAS SOPS 3616232 HAS SOUS 2850377 HAS SOUPS 2832475 WITH SCORE 2836197.442
AT ITER 8358 NEW BEST:: SOT 16745425 SOS 3722376 HAS SOPS 3616166 HAS SOUS 2850377 HAS SOUPS 2832475 WITH SCORE 2836197.376
AT ITER 8373 NEW BEST:: SOT 16745139 SOS 3722376 HAS SOPS 3616166 HAS SOUS 2850091 HAS SOUPS 2832189 WITH SCORE 2835911.376
AT ITER 8422 NEW BEST:: SOT 16745139 SOS 3718658 HAS SOPS 3612448 HAS SOUS 2850091 HAS SOUPS 2832189 WITH SCORE 2835907.658
AT ITER 8429 NEW BEST:: SOT 16745058 SOS 3715904 HAS SOPS 3609694 HAS SOUS 2849929 HAS SOUPS 2832027 WITH SCORE 2835742.904
AT ITER 8449 NEW BEST:: SOT 16745058 SOS 3715904 HAS SOPS 3609694 HAS SOUS 2849446 HAS SOUPS 2831544 WITH SCORE 2835259.904
AT ITER 8456 NEW BEST:: SOT 16744964 SOS 3715904 HAS SOPS 3609694 HAS SOUS 2849352 HAS SOUPS 2831450 WITH SCORE 2835165.904
AT ITER 8461 NEW BEST:: SOT 16744964 SOS 3715845 HAS SOPS 3609635 HAS SOUS 2849352 HAS SOUPS 2831450 WITH SCORE 2835165.845
AT ITER 8498 NEW BEST:: SOT 16744964 SOS 3715832 HAS SOPS 3609622 HAS SOUS 2849352 HAS SOUPS 2831450 WITH SCORE 2835165.832
AT ITER 8537 NEW BEST:: SOT 16744909 SOS 3715803 HAS SOPS 3609593 HAS SOUS 2849297 HAS SOUPS 2831395 WITH SCORE 2835110.803
AT ITER 8549 NEW BEST:: SOT 16744844 SOS 3715738 HAS SOPS 3609528 HAS SOUS 2849240 HAS SOUPS 2831338 WITH SCORE 2835053.738
AT ITER 8554 NEW BEST:: SOT 16744844 SOS 3715666 HAS SOPS 3609456 HAS SOUS 2849240 HAS SOUPS 2831338 WITH SCORE 2835053.666
AT ITER 8588 NEW BEST:: SOT 16744893 SOS 3715666 HAS SOPS 3609456 HAS SOUS 2849211 HAS SOUPS 2831309 WITH SCORE 2835024.666
AT ITER 8589 NEW BEST:: SOT 16744893 SOS 3715624 HAS SOPS 3609414 HAS SOUS 2849211 HAS SOUPS 2831309 WITH SCORE 2835024.624
AT ITER 8593 NEW BEST:: SOT 16744893 SOS 3715433 HAS SOPS 3609223 HAS SOUS 2849210 HAS SOUPS 2831308 WITH SCORE 2835023.433
AT ITER 8599 NEW BEST:: SOT 16744709 SOS 3715395 HAS SOPS 3609185 HAS SOUS 2849175 HAS SOUPS 2831273 WITH SCORE 2834988.395
AT ITER 8607 NEW BEST:: SOT 16744693 SOS 3715446 HAS SOPS 3609110 HAS SOUS 2849263 HAS SOUPS 2831241 WITH SCORE 2834956.446
AT ITER 8627 NEW BEST:: SOT 16744693 SOS 3715445 HAS SOPS 3609109 HAS SOUS 2849263 HAS SOUPS 2831241 WITH SCORE 2834956.445
AT ITER 8650 NEW BEST:: SOT 16744611 SOS 3734531 HAS SOPS 3608243 HAS SOUS 2849973 HAS SOUPS 2831167 WITH SCORE 2834901.531
AT ITER 8670 NEW BEST:: SOT 16744611 SOS 3734330 HAS SOPS 3608042 HAS SOUS 2849942 HAS SOUPS 2831136 WITH SCORE 2834870.33
AT ITER 8688 NEW BEST:: SOT 16744873 SOS 3734330 HAS SOPS 3608042 HAS SOUS 2849678 HAS SOUPS 2830872 WITH SCORE 2834606.33
AT ITER 8712 NEW BEST:: SOT 16745182 SOS 3734330 HAS SOPS 3608042 HAS SOUS 2849506 HAS SOUPS 2830700 WITH SCORE 2834434.33
AT ITER 8725 NEW BEST:: SOT 16745182 SOS 3734317 HAS SOPS 3608029 HAS SOUS 2849506 HAS SOUPS 2830700 WITH SCORE 2834434.317
AT ITER 8739 NEW BEST:: SOT 16745105 SOS 3734364 HAS SOPS 3608076 HAS SOUS 2849469 HAS SOUPS 2830663 WITH SCORE 2834397.364
AT ITER 8763 NEW BEST:: SOT 16745113 SOS 3734364 HAS SOPS 3608076 HAS SOUS 2849245 HAS SOUPS 2830439 WITH SCORE 2834173.364
AT ITER 8764 NEW BEST:: SOT 16744802 SOS 3734128 HAS SOPS 3607840 HAS SOUS 2848934 HAS SOUPS 2830128 WITH SCORE 2833862.128
AT ITER 8826 NEW BEST:: SOT 16744802 SOS 3734030 HAS SOPS 3607742 HAS SOUS 2848053 HAS SOUPS 2829247 WITH SCORE 2832981.03
AT ITER 8841 NEW BEST:: SOT 16744802 SOS 3734025 HAS SOPS 3607737 HAS SOUS 2848053 HAS SOUPS 2829247 WITH SCORE 2832981.025
AT ITER 8846 NEW BEST:: SOT 16744724 SOS 3733947 HAS SOPS 3607581 HAS SOUS 2847970 HAS SOUPS 2829091 WITH SCORE 2832824.947
AT ITER 8856 NEW BEST:: SOT 16732563 SOS 3728355 HAS SOPS 3601989 HAS SOUS 2836758 HAS SOUPS 2817879 WITH SCORE 2821607.355
AT ITER 8874 NEW BEST:: SOT 16732506 SOS 3728298 HAS SOPS 3601932 HAS SOUS 2836701 HAS SOUPS 2817822 WITH SCORE 2821550.298
AT ITER 8877 NEW BEST:: SOT 16731885 SOS 3728295 HAS SOPS 3601929 HAS SOUS 2836352 HAS SOUPS 2817473 WITH SCORE 2821201.295
AT ITER 8885 NEW BEST:: SOT 16731885 SOS 3727654 HAS SOPS 3601288 HAS SOUS 2836352 HAS SOUPS 2817473 WITH SCORE 2821200.654
AT ITER 8892 NEW BEST:: SOT 16731885 SOS 3727551 HAS SOPS 3601185 HAS SOUS 2836352 HAS SOUPS 2817473 WITH SCORE 2821200.551
AT ITER 8925 NEW BEST:: SOT 16731727 SOS 3727235 HAS SOPS 3600869 HAS SOUS 2836036 HAS SOUPS 2817157 WITH SCORE 2820884.235
AT ITER 8941 NEW BEST:: SOT 16731727 SOS 3727158 HAS SOPS 3600792 HAS SOUS 2836036 HAS SOUPS 2817157 WITH SCORE 2820884.158
AT ITER 8971 NEW BEST:: SOT 16731871 SOS 3727158 HAS SOPS 3600792 HAS SOUS 2835676 HAS SOUPS 2816797 WITH SCORE 2820524.158
AT ITER 8987 NEW BEST:: SOT 16731856 SOS 3727143 HAS SOPS 3600777 HAS SOUS 2835646 HAS SOUPS 2816767 WITH SCORE 2820494.143
AT ITER 8999 NEW BEST:: SOT 16731870 SOS 3727143 HAS SOPS 3600777 HAS SOUS 2835279 HAS SOUPS 2816400 WITH SCORE 2820127.143
AT ITER 9000 NEW BEST:: SOT 16731920 SOS 3727143 HAS SOPS 3600777 HAS SOUS 2835144 HAS SOUPS 2816265 WITH SCORE 2819992.143
AT ITER 9008 NEW BEST:: SOT 16731920 SOS 3727139 HAS SOPS 3600773 HAS SOUS 2835144 HAS SOUPS 2816265 WITH SCORE 2819992.139
AT ITER 9016 NEW BEST:: SOT 16731920 SOS 3726353 HAS SOPS 3599987 HAS SOUS 2835144 HAS SOUPS 2816265 WITH SCORE 2819991.353
AT ITER 9041 NEW BEST:: SOT 16731920 SOS 3726278 HAS SOPS 3599912 HAS SOUS 2835144 HAS SOUPS 2816265 WITH SCORE 2819991.278
AT ITER 9052 NEW BEST:: SOT 16731805 SOS 3725746 HAS SOPS 3599380 HAS SOUS 2834914 HAS SOUPS 2816035 WITH SCORE 2819760.746
AT ITER 9126 NEW BEST:: SOT 16731861 SOS 3725746 HAS SOPS 3599380 HAS SOUS 2834471 HAS SOUPS 2815592 WITH SCORE 2819317.746
AT ITER 9134 NEW BEST:: SOT 16731861 SOS 3725463 HAS SOPS 3599380 HAS SOUS 2834471 HAS SOUPS 2815592 WITH SCORE 2819317.463
AT ITER 9145 NEW BEST:: SOT 16731644 SOS 3725246 HAS SOPS 3598946 HAS SOUS 2834037 HAS SOUPS 2815158 WITH SCORE 2818883.246
AT ITER 9146 NEW BEST:: SOT 16731644 SOS 3725228 HAS SOPS 3598928 HAS SOUS 2834036 HAS SOUPS 2815157 WITH SCORE 2818882.228
AT ITER 9147 NEW BEST:: SOT 16731625 SOS 3725209 HAS SOPS 3598890 HAS SOUS 2833998 HAS SOUPS 2815119 WITH SCORE 2818844.209
AT ITER 9163 NEW BEST:: SOT 16731739 SOS 3725209 HAS SOPS 3598890 HAS SOUS 2833921 HAS SOUPS 2815042 WITH SCORE 2818767.209
AT ITER 9174 NEW BEST:: SOT 16731873 SOS 3725209 HAS SOPS 3598890 HAS SOUS 2833530 HAS SOUPS 2814651 WITH SCORE 2818376.209
AT ITER 9194 NEW BEST:: SOT 16732141 SOS 3725209 HAS SOPS 3598890 HAS SOUS 2833367 HAS SOUPS 2814488 WITH SCORE 2818213.209
AT ITER 9208 NEW BEST:: SOT 16732059 SOS 3725173 HAS SOPS 3598854 HAS SOUS 2833331 HAS SOUPS 2814452 WITH SCORE 2818177.173
AT ITER 9239 NEW BEST:: SOT 16731862 SOS 3725070 HAS SOPS 3598751 HAS SOUS 2833182 HAS SOUPS 2814303 WITH SCORE 2818028.07
AT ITER 9247 NEW BEST:: SOT 16731557 SOS 3725289 HAS SOPS 3598970 HAS SOUS 2833096 HAS SOUPS 2814217 WITH SCORE 2817942.289
AT ITER 9249 NEW BEST:: SOT 16731657 SOS 3725289 HAS SOPS 3598970 HAS SOUS 2832840 HAS SOUPS 2813961 WITH SCORE 2817686.289
AT ITER 9259 NEW BEST:: SOT 16731497 SOS 3725129 HAS SOPS 3598810 HAS SOUS 2832520 HAS SOUPS 2813641 WITH SCORE 2817366.129
AT ITER 9305 NEW BEST:: SOT 16731247 SOS 3724895 HAS SOPS 3598576 HAS SOUS 2832195 HAS SOUPS 2813316 WITH SCORE 2817040.895
AT ITER 9315 NEW BEST:: SOT 16731468 SOS 3725057 HAS SOPS 3598738 HAS SOUS 2831968 HAS SOUPS 2813089 WITH SCORE 2816814.057
AT ITER 9317 NEW BEST:: SOT 16731194 SOS 3724818 HAS SOPS 3598499 HAS SOUS 2831694 HAS SOUPS 2812815 WITH SCORE 2816539.818
AT ITER 9331 NEW BEST:: SOT 16731290 SOS 3724818 HAS SOPS 3598499 HAS SOUS 2831278 HAS SOUPS 2812399 WITH SCORE 2816123.818
AT ITER 9373 NEW BEST:: SOT 16731522 SOS 3724818 HAS SOPS 3598499 HAS SOUS 2831188 HAS SOUPS 2812309 WITH SCORE 2816033.818
AT ITER 9374 NEW BEST:: SOT 16731129 SOS 3724504 HAS SOPS 3598185 HAS SOUS 2830793 HAS SOUPS 2811914 WITH SCORE 2815638.504
AT ITER 9381 NEW BEST:: SOT 16730547 SOS 3724722 HAS SOPS 3598403 HAS SOUS 2830456 HAS SOUPS 2811577 WITH SCORE 2815301.722
AT ITER 9385 NEW BEST:: SOT 16729704 SOS 3723755 HAS SOPS 3597436 HAS SOUS 2829065 HAS SOUPS 2810186 WITH SCORE 2813909.755
AT ITER 9388 NEW BEST:: SOT 16729704 SOS 3723755 HAS SOPS 3597436 HAS SOUS 2829050 HAS SOUPS 2810171 WITH SCORE 2813894.755
AT ITER 9420 NEW BEST:: SOT 16729410 SOS 3722864 HAS SOPS 3596545 HAS SOUS 2828159 HAS SOUPS 2809280 WITH SCORE 2813002.864
AT ITER 9472 NEW BEST:: SOT 16729186 SOS 3722958 HAS SOPS 3596415 HAS SOUS 2827980 HAS SOUPS 2808884 WITH SCORE 2812606.958
AT ITER 9488 NEW BEST:: SOT 16728878 SOS 3706820 HAS SOPS 3580277 HAS SOUS 2827141 HAS SOUPS 2808045 WITH SCORE 2811751.82
AT ITER 9513 NEW BEST:: SOT 16728878 SOS 3706175 HAS SOPS 3579632 HAS SOUS 2827141 HAS SOUPS 2808045 WITH SCORE 2811751.175
AT ITER 9538 NEW BEST:: SOT 16728669 SOS 3706035 HAS SOPS 3579492 HAS SOUS 2826932 HAS SOUPS 2807836 WITH SCORE 2811542.035
AT ITER 9582 NEW BEST:: SOT 16728669 SOS 3705929 HAS SOPS 3579386 HAS SOUS 2826932 HAS SOUPS 2807836 WITH SCORE 2811541.929
AT ITER 9770 NEW BEST:: SOT 16728558 SOS 3705866 HAS SOPS 3579323 HAS SOUS 2826821 HAS SOUPS 2807725 WITH SCORE 2811430.866
AT ITER 9806 NEW BEST:: SOT 16727842 SOS 3705789 HAS SOPS 3579246 HAS SOUS 2826255 HAS SOUPS 2807159 WITH SCORE 2810864.789
AT ITER 9813 NEW BEST:: SOT 16727842 SOS 3705673 HAS SOPS 3579130 HAS SOUS 2826255 HAS SOUPS 2807159 WITH SCORE 2810864.673
AT ITER 9817 NEW BEST:: SOT 16727606 SOS 3698207 HAS SOPS 3578894 HAS SOUS 2825697 HAS SOUPS 2806837 WITH SCORE 2810535.207
AT ITER 9831 NEW BEST:: SOT 16727511 SOS 3698207 HAS SOPS 3578894 HAS SOUS 2825602 HAS SOUPS 2806742 WITH SCORE 2810440.207
AT ITER 9845 NEW BEST:: SOT 16727511 SOS 3689742 HAS SOPS 3578624 HAS SOUS 2825157 HAS SOUPS 2806567 WITH SCORE 2810256.742
AT ITER 9856 NEW BEST:: SOT 16727457 SOS 3689742 HAS SOPS 3578624 HAS SOUS 2825103 HAS SOUPS 2806513 WITH SCORE 2810202.742
AT ITER 9862 NEW BEST:: SOT 16727606 SOS 3689742 HAS SOPS 3578624 HAS SOUS 2824825 HAS SOUPS 2806235 WITH SCORE 2809924.742
AT ITER 9926 NEW BEST:: SOT 16727533 SOS 3689596 HAS SOPS 3578405 HAS SOUS 2824746 HAS SOUPS 2806089 WITH SCORE 2809778.596
AT ITER 9939 NEW BEST:: SOT 16726493 SOS 3706623 HAS SOPS 3577365 HAS SOUS 2825273 HAS SOUPS 2805723 WITH SCORE 2809429.623
AT ITER 9953 NEW BEST:: SOT 16726493 SOS 3706616 HAS SOPS 3577358 HAS SOUS 2825273 HAS SOUPS 2805723 WITH SCORE 2809429.616
AT ITER 9968 NEW BEST:: SOT 16726840 SOS 3706616 HAS SOPS 3577358 HAS SOUS 2825239 HAS SOUPS 2805689 WITH SCORE 2809395.616
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3607804 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114716 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S32C4"
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 LeafsetExtension-PT-S32C4, 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 r235-tall-167856421900520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S32C4.tgz
mv LeafsetExtension-PT-S32C4 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 ;