About the Execution of Smart+red for StigmergyCommit-PT-04b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4348.292 | 3600000.00 | 3622806.00 | 8397.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651200440.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is StigmergyCommit-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200440
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 26 10:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 10:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 10:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 26 10:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 10:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 627K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679355033125
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 23:30:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 23:30:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 23:30:36] [INFO ] Load time of PNML (sax parser for PT used): 370 ms
[2023-03-20 23:30:36] [INFO ] Transformed 1534 places.
[2023-03-20 23:30:36] [INFO ] Transformed 2136 transitions.
[2023-03-20 23:30:36] [INFO ] Found NUPN structural information;
[2023-03-20 23:30:36] [INFO ] Parsed PT model containing 1534 places and 2136 transitions and 8601 arcs in 798 ms.
[2023-03-20 23:30:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1534 places, 2136 transitions and 8601 arcs took 49 ms.
Total runtime 914 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 04b
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: 1534 places, 2136 transitions, 8601 arcs.
AT ITER 0 NEW BEST:: SOT 1976600 SOS 288941 HAS SOPS 288941 HAS SOUS 266192 HAS SOUPS 266192 WITH SCORE 266480.941
AT ITER 7 NEW BEST:: SOT 1975183 SOS 287603 HAS SOPS 287603 HAS SOUS 264775 HAS SOUPS 264775 WITH SCORE 265062.603
AT ITER 22 NEW BEST:: SOT 1975183 SOS 287559 HAS SOPS 287559 HAS SOUS 264774 HAS SOUPS 264774 WITH SCORE 265061.559
AT ITER 53 NEW BEST:: SOT 1975183 SOS 287485 HAS SOPS 287485 HAS SOUS 264774 HAS SOUPS 264774 WITH SCORE 265061.485
AT ITER 65 NEW BEST:: SOT 1975182 SOS 287483 HAS SOPS 287483 HAS SOUS 264772 HAS SOUPS 264772 WITH SCORE 265059.483
AT ITER 79 NEW BEST:: SOT 1972762 SOS 290151 HAS SOPS 290151 HAS SOUS 262660 HAS SOUPS 262660 WITH SCORE 262950.151
AT ITER 90 NEW BEST:: SOT 1971116 SOS 304444 HAS SOPS 304444 HAS SOUS 261691 HAS SOUPS 261691 WITH SCORE 261995.444
AT ITER 104 NEW BEST:: SOT 1970964 SOS 304292 HAS SOPS 304292 HAS SOUS 261539 HAS SOUPS 261539 WITH SCORE 261843.292
AT ITER 116 NEW BEST:: SOT 1970928 SOS 304256 HAS SOPS 304256 HAS SOUS 261503 HAS SOUPS 261503 WITH SCORE 261807.256
AT ITER 119 NEW BEST:: SOT 1970822 SOS 303916 HAS SOPS 303916 HAS SOUS 261291 HAS SOUPS 261291 WITH SCORE 261594.916
AT ITER 121 NEW BEST:: SOT 1970822 SOS 303860 HAS SOPS 303860 HAS SOUS 261290 HAS SOUPS 261290 WITH SCORE 261593.86
AT ITER 127 NEW BEST:: SOT 1970747 SOS 303710 HAS SOPS 303710 HAS SOUS 261140 HAS SOUPS 261140 WITH SCORE 261443.71
AT ITER 168 NEW BEST:: SOT 1970746 SOS 303708 HAS SOPS 303708 HAS SOUS 261138 HAS SOUPS 261138 WITH SCORE 261441.708
AT ITER 236 NEW BEST:: SOT 1967850 SOS 303159 HAS SOPS 303159 HAS SOUS 258507 HAS SOUPS 258507 WITH SCORE 258810.159
AT ITER 270 NEW BEST:: SOT 1967849 SOS 303157 HAS SOPS 303157 HAS SOUS 258505 HAS SOUPS 258505 WITH SCORE 258808.157
AT ITER 273 NEW BEST:: SOT 1964454 SOS 333707 HAS SOPS 333707 HAS SOUS 256496 HAS SOUPS 256496 WITH SCORE 256829.707
AT ITER 274 NEW BEST:: SOT 1963172 SOS 357592 HAS SOPS 357592 HAS SOUS 255967 HAS SOUPS 255967 WITH SCORE 256324.592
AT ITER 306 NEW BEST:: SOT 1963126 SOS 357337 HAS SOPS 357337 HAS SOUS 255712 HAS SOUPS 255712 WITH SCORE 256069.337
AT ITER 339 NEW BEST:: SOT 1956607 SOS 350954 HAS SOPS 350954 HAS SOUS 249426 HAS SOUPS 249426 WITH SCORE 249776.954
AT ITER 348 NEW BEST:: SOT 1956539 SOS 350818 HAS SOPS 350818 HAS SOUS 249290 HAS SOUPS 249290 WITH SCORE 249640.818
AT ITER 355 NEW BEST:: SOT 1956422 SOS 350584 HAS SOPS 350584 HAS SOUS 249056 HAS SOUPS 249056 WITH SCORE 249406.584
AT ITER 394 NEW BEST:: SOT 1956372 SOS 350468 HAS SOPS 350468 HAS SOUS 248956 HAS SOUPS 248956 WITH SCORE 249306.468
AT ITER 404 NEW BEST:: SOT 1956383 SOS 350417 HAS SOPS 350417 HAS SOUS 248905 HAS SOUPS 248905 WITH SCORE 249255.417
AT ITER 452 NEW BEST:: SOT 1956342 SOS 350335 HAS SOPS 350335 HAS SOUS 248823 HAS SOUPS 248823 WITH SCORE 249173.335
AT ITER 494 NEW BEST:: SOT 1956337 SOS 350325 HAS SOPS 350325 HAS SOUS 248813 HAS SOUPS 248813 WITH SCORE 249163.325
AT ITER 501 NEW BEST:: SOT 1956336 SOS 350323 HAS SOPS 350323 HAS SOUS 248811 HAS SOUPS 248811 WITH SCORE 249161.323
AT ITER 533 NEW BEST:: SOT 1954892 SOS 370371 HAS SOPS 370371 HAS SOUS 248583 HAS SOUPS 248583 WITH SCORE 248953.371
AT ITER 539 NEW BEST:: SOT 1954778 SOS 386475 HAS SOPS 386475 HAS SOUS 248419 HAS SOUPS 248419 WITH SCORE 248805.475
AT ITER 553 NEW BEST:: SOT 1954655 SOS 386229 HAS SOPS 386229 HAS SOUS 248173 HAS SOUPS 248173 WITH SCORE 248559.229
AT ITER 584 NEW BEST:: SOT 1954654 SOS 386227 HAS SOPS 386227 HAS SOUS 248171 HAS SOUPS 248171 WITH SCORE 248557.227
AT ITER 589 NEW BEST:: SOT 1954654 SOS 386209 HAS SOPS 386209 HAS SOUS 248165 HAS SOUPS 248165 WITH SCORE 248551.209
AT ITER 597 NEW BEST:: SOT 1951983 SOS 399361 HAS SOPS 399361 HAS SOUS 246940 HAS SOUPS 246940 WITH SCORE 247339.361
AT ITER 623 NEW BEST:: SOT 1951928 SOS 399251 HAS SOPS 399251 HAS SOUS 246830 HAS SOUPS 246830 WITH SCORE 247229.251
AT ITER 633 NEW BEST:: SOT 1951808 SOS 399011 HAS SOPS 399011 HAS SOUS 246799 HAS SOUPS 246799 WITH SCORE 247198.011
AT ITER 639 NEW BEST:: SOT 1951808 SOS 398977 HAS SOPS 398977 HAS SOUS 246799 HAS SOUPS 246799 WITH SCORE 247197.977
AT ITER 679 NEW BEST:: SOT 1951722 SOS 398805 HAS SOPS 398805 HAS SOUS 246627 HAS SOUPS 246627 WITH SCORE 247025.805
AT ITER 704 NEW BEST:: SOT 1951537 SOS 398435 HAS SOPS 398435 HAS SOUS 246257 HAS SOUPS 246257 WITH SCORE 246655.435
AT ITER 705 NEW BEST:: SOT 1951438 SOS 398144 HAS SOPS 398144 HAS SOUS 246059 HAS SOUPS 246059 WITH SCORE 246457.144
AT ITER 725 NEW BEST:: SOT 1951437 SOS 398142 HAS SOPS 398142 HAS SOUS 246057 HAS SOUPS 246057 WITH SCORE 246455.142
AT ITER 729 NEW BEST:: SOT 1951415 SOS 397438 HAS SOPS 397438 HAS SOUS 245991 HAS SOUPS 245991 WITH SCORE 246388.438
AT ITER 748 NEW BEST:: SOT 1945981 SOS 398896 HAS SOPS 398896 HAS SOUS 240849 HAS SOUPS 240849 WITH SCORE 241247.896
AT ITER 760 NEW BEST:: SOT 1945980 SOS 398894 HAS SOPS 398894 HAS SOUS 240847 HAS SOUPS 240847 WITH SCORE 241245.894
AT ITER 776 NEW BEST:: SOT 1945879 SOS 398692 HAS SOPS 398692 HAS SOUS 240824 HAS SOUPS 240824 WITH SCORE 241222.692
AT ITER 793 NEW BEST:: SOT 1945823 SOS 398623 HAS SOPS 398623 HAS SOUS 240712 HAS SOUPS 240712 WITH SCORE 241110.623
AT ITER 864 NEW BEST:: SOT 1945664 SOS 398146 HAS SOPS 398146 HAS SOUS 240394 HAS SOUPS 240394 WITH SCORE 240792.146
AT ITER 907 NEW BEST:: SOT 1945770 SOS 398099 HAS SOPS 398099 HAS SOUS 240347 HAS SOUPS 240347 WITH SCORE 240745.099
AT ITER 915 NEW BEST:: SOT 1943849 SOS 396178 HAS SOPS 396178 HAS SOUS 238496 HAS SOUPS 238496 WITH SCORE 238892.178
AT ITER 1032 NEW BEST:: SOT 1943803 SOS 396086 HAS SOPS 396086 HAS SOUS 238404 HAS SOUPS 238404 WITH SCORE 238800.086
AT ITER 1056 NEW BEST:: SOT 1943718 SOS 396028 HAS SOPS 396028 HAS SOUS 238346 HAS SOUPS 238346 WITH SCORE 238742.028
AT ITER 1059 NEW BEST:: SOT 1943717 SOS 396026 HAS SOPS 396026 HAS SOUS 238344 HAS SOUPS 238344 WITH SCORE 238740.026
AT ITER 1080 NEW BEST:: SOT 1938394 SOS 409896 HAS SOPS 409896 HAS SOUS 235806 HAS SOUPS 235806 WITH SCORE 236215.896
AT ITER 1102 NEW BEST:: SOT 1938210 SOS 409528 HAS SOPS 409528 HAS SOUS 235438 HAS SOUPS 235438 WITH SCORE 235847.528
AT ITER 1112 NEW BEST:: SOT 1938203 SOS 409514 HAS SOPS 409514 HAS SOUS 235424 HAS SOUPS 235424 WITH SCORE 235833.514
AT ITER 1113 NEW BEST:: SOT 1938162 SOS 409391 HAS SOPS 409391 HAS SOUS 235342 HAS SOUPS 235342 WITH SCORE 235751.391
AT ITER 1139 NEW BEST:: SOT 1938161 SOS 409389 HAS SOPS 409389 HAS SOUS 235340 HAS SOUPS 235340 WITH SCORE 235749.389
AT ITER 1146 NEW BEST:: SOT 1938161 SOS 409254 HAS SOPS 409254 HAS SOUS 235340 HAS SOUPS 235340 WITH SCORE 235749.254
AT ITER 1147 NEW BEST:: SOT 1938025 SOS 409155 HAS SOPS 409155 HAS SOUS 235241 HAS SOUPS 235241 WITH SCORE 235650.155
AT ITER 1186 NEW BEST:: SOT 1937969 SOS 409043 HAS SOPS 409043 HAS SOUS 235129 HAS SOUPS 235129 WITH SCORE 235538.043
AT ITER 1188 NEW BEST:: SOT 1937963 SOS 409031 HAS SOPS 409031 HAS SOUS 235117 HAS SOUPS 235117 WITH SCORE 235526.031
AT ITER 1194 NEW BEST:: SOT 1937857 SOS 408819 HAS SOPS 408819 HAS SOUS 234905 HAS SOUPS 234905 WITH SCORE 235313.819
AT ITER 1206 NEW BEST:: SOT 1937856 SOS 408817 HAS SOPS 408817 HAS SOUS 234903 HAS SOUPS 234903 WITH SCORE 235311.817
AT ITER 1219 NEW BEST:: SOT 1937839 SOS 408783 HAS SOPS 408783 HAS SOUS 234886 HAS SOUPS 234886 WITH SCORE 235294.783
AT ITER 1238 NEW BEST:: SOT 1937696 SOS 408497 HAS SOPS 408497 HAS SOUS 234600 HAS SOUPS 234600 WITH SCORE 235008.497
AT ITER 1240 NEW BEST:: SOT 1937659 SOS 408307 HAS SOPS 408307 HAS SOUS 234526 HAS SOUPS 234526 WITH SCORE 234934.307
AT ITER 1270 NEW BEST:: SOT 1937455 SOS 377119 HAS SOPS 377119 HAS SOUS 234181 HAS SOUPS 234181 WITH SCORE 234558.119
AT ITER 1356 NEW BEST:: SOT 1937402 SOS 377013 HAS SOPS 377013 HAS SOUS 234075 HAS SOUPS 234075 WITH SCORE 234452.013
AT ITER 1360 NEW BEST:: SOT 1937339 SOS 376887 HAS SOPS 376887 HAS SOUS 234012 HAS SOUPS 234012 WITH SCORE 234388.887
AT ITER 1406 NEW BEST:: SOT 1937322 SOS 376853 HAS SOPS 376853 HAS SOUS 233978 HAS SOUPS 233978 WITH SCORE 234354.853
AT ITER 1412 NEW BEST:: SOT 1937275 SOS 376759 HAS SOPS 376759 HAS SOUS 233884 HAS SOUPS 233884 WITH SCORE 234260.759
AT ITER 1413 NEW BEST:: SOT 1937274 SOS 376758 HAS SOPS 376758 HAS SOUS 233882 HAS SOUPS 233882 WITH SCORE 234258.758
AT ITER 1432 NEW BEST:: SOT 1937295 SOS 376728 HAS SOPS 376728 HAS SOUS 233852 HAS SOUPS 233852 WITH SCORE 234228.728
AT ITER 1433 NEW BEST:: SOT 1937279 SOS 376696 HAS SOPS 376696 HAS SOUS 233820 HAS SOUPS 233820 WITH SCORE 234196.696
AT ITER 1438 NEW BEST:: SOT 1937092 SOS 376322 HAS SOPS 376322 HAS SOUS 233446 HAS SOUPS 233446 WITH SCORE 233822.322
AT ITER 1456 NEW BEST:: SOT 1937084 SOS 376190 HAS SOPS 376190 HAS SOUS 233430 HAS SOUPS 233430 WITH SCORE 233806.19
AT ITER 1458 NEW BEST:: SOT 1936865 SOS 375752 HAS SOPS 375752 HAS SOUS 232992 HAS SOUPS 232992 WITH SCORE 233367.752
AT ITER 1491 NEW BEST:: SOT 1936698 SOS 369776 HAS SOPS 369776 HAS SOUS 232007 HAS SOUPS 232007 WITH SCORE 232376.776
AT ITER 1505 NEW BEST:: SOT 1936573 SOS 369526 HAS SOPS 369526 HAS SOUS 231848 HAS SOUPS 231848 WITH SCORE 232217.526
AT ITER 1518 NEW BEST:: SOT 1936444 SOS 369268 HAS SOPS 369268 HAS SOUS 231778 HAS SOUPS 231778 WITH SCORE 232147.268
AT ITER 1531 NEW BEST:: SOT 1936491 SOS 369362 HAS SOPS 369362 HAS SOUS 231774 HAS SOUPS 231774 WITH SCORE 232143.362
AT ITER 1581 NEW BEST:: SOT 1929629 SOS 364264 HAS SOPS 364264 HAS SOUS 225064 HAS SOUPS 225064 WITH SCORE 225428.264
AT ITER 1586 NEW BEST:: SOT 1929629 SOS 364264 HAS SOPS 364264 HAS SOUS 225031 HAS SOUPS 225031 WITH SCORE 225395.264
AT ITER 1599 NEW BEST:: SOT 1929683 SOS 350104 HAS SOPS 350104 HAS SOUS 224666 HAS SOUPS 224666 WITH SCORE 225016.104
AT ITER 1620 NEW BEST:: SOT 1929683 SOS 350086 HAS SOPS 350086 HAS SOUS 224666 HAS SOUPS 224666 WITH SCORE 225016.086
AT ITER 1628 NEW BEST:: SOT 1927478 SOS 386791 HAS SOPS 386791 HAS SOUS 224404 HAS SOUPS 224404 WITH SCORE 224790.791
AT ITER 1645 NEW BEST:: SOT 1927478 SOS 386739 HAS SOPS 386739 HAS SOUS 224404 HAS SOUPS 224404 WITH SCORE 224790.739
AT ITER 1663 NEW BEST:: SOT 1927477 SOS 386737 HAS SOPS 386737 HAS SOUS 224402 HAS SOUPS 224402 WITH SCORE 224788.737
AT ITER 1702 NEW BEST:: SOT 1927453 SOS 386689 HAS SOPS 386689 HAS SOUS 224354 HAS SOUPS 224354 WITH SCORE 224740.689
AT ITER 1719 NEW BEST:: SOT 1927405 SOS 386593 HAS SOPS 386593 HAS SOUS 224345 HAS SOUPS 224345 WITH SCORE 224731.593
AT ITER 1722 NEW BEST:: SOT 1927290 SOS 386363 HAS SOPS 386363 HAS SOUS 224230 HAS SOUPS 224230 WITH SCORE 224616.363
AT ITER 1728 NEW BEST:: SOT 1927186 SOS 386155 HAS SOPS 386155 HAS SOUS 224126 HAS SOUPS 224126 WITH SCORE 224512.155
AT ITER 1748 NEW BEST:: SOT 1927030 SOS 385843 HAS SOPS 385843 HAS SOUS 223970 HAS SOUPS 223970 WITH SCORE 224355.843
AT ITER 1761 NEW BEST:: SOT 1926970 SOS 385723 HAS SOPS 385723 HAS SOUS 223938 HAS SOUPS 223938 WITH SCORE 224323.723
AT ITER 1765 NEW BEST:: SOT 1926969 SOS 385695 HAS SOPS 385695 HAS SOUS 223936 HAS SOUPS 223936 WITH SCORE 224321.695
AT ITER 1766 NEW BEST:: SOT 1926882 SOS 385747 HAS SOPS 385747 HAS SOUS 223916 HAS SOUPS 223916 WITH SCORE 224301.747
AT ITER 1772 NEW BEST:: SOT 1926680 SOS 385343 HAS SOPS 385343 HAS SOUS 223585 HAS SOUPS 223585 WITH SCORE 223970.343
AT ITER 1788 NEW BEST:: SOT 1926590 SOS 385163 HAS SOPS 385163 HAS SOUS 223405 HAS SOUPS 223405 WITH SCORE 223790.163
AT ITER 1809 NEW BEST:: SOT 1926447 SOS 385175 HAS SOPS 385175 HAS SOUS 223377 HAS SOUPS 223377 WITH SCORE 223762.175
AT ITER 1814 NEW BEST:: SOT 1926399 SOS 385079 HAS SOPS 385079 HAS SOUS 223328 HAS SOUPS 223328 WITH SCORE 223713.079
AT ITER 1831 NEW BEST:: SOT 1926399 SOS 384973 HAS SOPS 384973 HAS SOUS 223328 HAS SOUPS 223328 WITH SCORE 223712.973
AT ITER 1854 NEW BEST:: SOT 1926299 SOS 384773 HAS SOPS 384773 HAS SOUS 223128 HAS SOUPS 223128 WITH SCORE 223512.773
AT ITER 1864 NEW BEST:: SOT 1926270 SOS 384715 HAS SOPS 384715 HAS SOUS 223099 HAS SOUPS 223099 WITH SCORE 223483.715
AT ITER 1897 NEW BEST:: SOT 1926234 SOS 383131 HAS SOPS 383131 HAS SOUS 222979 HAS SOUPS 222979 WITH SCORE 223362.131
AT ITER 1928 NEW BEST:: SOT 1926234 SOS 383003 HAS SOPS 383003 HAS SOUS 222851 HAS SOUPS 222851 WITH SCORE 223234.003
AT ITER 1969 NEW BEST:: SOT 1926174 SOS 382883 HAS SOPS 382883 HAS SOUS 222791 HAS SOUPS 222791 WITH SCORE 223173.883
AT ITER 1984 NEW BEST:: SOT 1926174 SOS 382883 HAS SOPS 382883 HAS SOUS 222787 HAS SOUPS 222787 WITH SCORE 223169.883
AT ITER 2040 NEW BEST:: SOT 1926173 SOS 382881 HAS SOPS 382881 HAS SOUS 222785 HAS SOUPS 222785 WITH SCORE 223167.881
AT ITER 2049 NEW BEST:: SOT 1926255 SOS 383045 HAS SOPS 383045 HAS SOUS 222758 HAS SOUPS 222758 WITH SCORE 223141.045
AT ITER 2050 NEW BEST:: SOT 1926135 SOS 382805 HAS SOPS 382805 HAS SOUS 222655 HAS SOUPS 222655 WITH SCORE 223037.805
AT ITER 2084 NEW BEST:: SOT 1925941 SOS 382417 HAS SOPS 382417 HAS SOUS 222461 HAS SOUPS 222461 WITH SCORE 222843.417
AT ITER 2174 NEW BEST:: SOT 1925878 SOS 382291 HAS SOPS 382291 HAS SOUS 222335 HAS SOUPS 222335 WITH SCORE 222717.291
AT ITER 2176 NEW BEST:: SOT 1925663 SOS 381861 HAS SOPS 381861 HAS SOUS 221905 HAS SOUPS 221905 WITH SCORE 222286.861
AT ITER 2188 NEW BEST:: SOT 1925517 SOS 381715 HAS SOPS 381715 HAS SOUS 221759 HAS SOUPS 221759 WITH SCORE 222140.715
AT ITER 2192 NEW BEST:: SOT 1925427 SOS 381709 HAS SOPS 381709 HAS SOUS 221698 HAS SOUPS 221698 WITH SCORE 222079.709
AT ITER 2232 NEW BEST:: SOT 1925397 SOS 381649 HAS SOPS 381649 HAS SOUS 221638 HAS SOUPS 221638 WITH SCORE 222019.649
AT ITER 2316 NEW BEST:: SOT 1925326 SOS 381507 HAS SOPS 381507 HAS SOUS 221496 HAS SOUPS 221496 WITH SCORE 221877.507
AT ITER 2365 NEW BEST:: SOT 1925276 SOS 381537 HAS SOPS 381537 HAS SOUS 221446 HAS SOUPS 221446 WITH SCORE 221827.537
AT ITER 2367 NEW BEST:: SOT 1925175 SOS 381335 HAS SOPS 381335 HAS SOUS 221244 HAS SOUPS 221244 WITH SCORE 221625.335
AT ITER 2371 NEW BEST:: SOT 1925129 SOS 381289 HAS SOPS 381289 HAS SOUS 221198 HAS SOUPS 221198 WITH SCORE 221579.289
AT ITER 2410 NEW BEST:: SOT 1925100 SOS 381231 HAS SOPS 381231 HAS SOUS 221140 HAS SOUPS 221140 WITH SCORE 221521.231
AT ITER 2421 NEW BEST:: SOT 1925058 SOS 381147 HAS SOPS 381147 HAS SOUS 221056 HAS SOUPS 221056 WITH SCORE 221437.147
AT ITER 2422 NEW BEST:: SOT 1924995 SOS 381021 HAS SOPS 381021 HAS SOUS 220930 HAS SOUPS 220930 WITH SCORE 221311.021
AT ITER 2451 NEW BEST:: SOT 1924813 SOS 373286 HAS SOPS 373286 HAS SOUS 220657 HAS SOUPS 220657 WITH SCORE 221030.286
AT ITER 2466 NEW BEST:: SOT 1924605 SOS 372870 HAS SOPS 372870 HAS SOUS 220467 HAS SOUPS 220467 WITH SCORE 220839.87
AT ITER 2495 NEW BEST:: SOT 1924591 SOS 372842 HAS SOPS 372842 HAS SOUS 220439 HAS SOUPS 220439 WITH SCORE 220811.842
AT ITER 2520 NEW BEST:: SOT 1924557 SOS 372774 HAS SOPS 372774 HAS SOUS 220371 HAS SOUPS 220371 WITH SCORE 220743.774
AT ITER 2538 NEW BEST:: SOT 1924546 SOS 372752 HAS SOPS 372752 HAS SOUS 220360 HAS SOUPS 220360 WITH SCORE 220732.752
AT ITER 2540 NEW BEST:: SOT 1924463 SOS 372586 HAS SOPS 372586 HAS SOUS 220277 HAS SOUPS 220277 WITH SCORE 220649.586
AT ITER 2544 NEW BEST:: SOT 1924450 SOS 372553 HAS SOPS 372553 HAS SOUS 220251 HAS SOUPS 220251 WITH SCORE 220623.553
AT ITER 2547 NEW BEST:: SOT 1924423 SOS 372499 HAS SOPS 372499 HAS SOUS 220197 HAS SOUPS 220197 WITH SCORE 220569.499
AT ITER 2596 NEW BEST:: SOT 1924018 SOS 340531 HAS SOPS 340531 HAS SOUS 219709 HAS SOUPS 219709 WITH SCORE 220049.531
AT ITER 2601 NEW BEST:: SOT 1924017 SOS 340431 HAS SOPS 340431 HAS SOUS 219707 HAS SOUPS 219707 WITH SCORE 220047.431
AT ITER 2709 NEW BEST:: SOT 1924048 SOS 340493 HAS SOPS 340493 HAS SOUS 219653 HAS SOUPS 219653 WITH SCORE 219993.493
AT ITER 2725 NEW BEST:: SOT 1924045 SOS 340487 HAS SOPS 340487 HAS SOUS 219649 HAS SOUPS 219649 WITH SCORE 219989.487
AT ITER 2736 NEW BEST:: SOT 1923970 SOS 340337 HAS SOPS 340337 HAS SOUS 219574 HAS SOUPS 219574 WITH SCORE 219914.337
AT ITER 2776 NEW BEST:: SOT 1923952 SOS 340321 HAS SOPS 340321 HAS SOUS 219556 HAS SOUPS 219556 WITH SCORE 219896.321
AT ITER 2814 NEW BEST:: SOT 1923922 SOS 340261 HAS SOPS 340261 HAS SOUS 219496 HAS SOUPS 219496 WITH SCORE 219836.261
AT ITER 2834 NEW BEST:: SOT 1923879 SOS 340175 HAS SOPS 340175 HAS SOUS 219457 HAS SOUPS 219457 WITH SCORE 219797.175
AT ITER 2837 NEW BEST:: SOT 1923878 SOS 340174 HAS SOPS 340174 HAS SOUS 219455 HAS SOUPS 219455 WITH SCORE 219795.174
AT ITER 2843 NEW BEST:: SOT 1923874 SOS 340166 HAS SOPS 340166 HAS SOUS 219447 HAS SOUPS 219447 WITH SCORE 219787.166
AT ITER 2857 NEW BEST:: SOT 1923874 SOS 340050 HAS SOPS 340050 HAS SOUS 219447 HAS SOUPS 219447 WITH SCORE 219787.05
AT ITER 2862 NEW BEST:: SOT 1923729 SOS 339760 HAS SOPS 339760 HAS SOUS 219302 HAS SOUPS 219302 WITH SCORE 219641.76
AT ITER 2893 NEW BEST:: SOT 1923691 SOS 339681 HAS SOPS 339681 HAS SOUS 219280 HAS SOUPS 219280 WITH SCORE 219619.681
AT ITER 2917 NEW BEST:: SOT 1923623 SOS 339545 HAS SOPS 339545 HAS SOUS 219144 HAS SOUPS 219144 WITH SCORE 219483.545
AT ITER 2918 NEW BEST:: SOT 1923455 SOS 339209 HAS SOPS 339209 HAS SOUS 218873 HAS SOUPS 218873 WITH SCORE 219212.209
AT ITER 2924 NEW BEST:: SOT 1923327 SOS 338953 HAS SOPS 338953 HAS SOUS 218745 HAS SOUPS 218745 WITH SCORE 219083.953
AT ITER 2937 NEW BEST:: SOT 1923311 SOS 338922 HAS SOPS 338922 HAS SOUS 218713 HAS SOUPS 218713 WITH SCORE 219051.922
AT ITER 2959 NEW BEST:: SOT 1923282 SOS 338864 HAS SOPS 338864 HAS SOUS 218655 HAS SOUPS 218655 WITH SCORE 218993.864
AT ITER 2975 NEW BEST:: SOT 1923281 SOS 338862 HAS SOPS 338862 HAS SOUS 218653 HAS SOUPS 218653 WITH SCORE 218991.862
AT ITER 2978 NEW BEST:: SOT 1923280 SOS 338860 HAS SOPS 338860 HAS SOUS 218651 HAS SOUPS 218651 WITH SCORE 218989.86
AT ITER 2994 NEW BEST:: SOT 1923336 SOS 338792 HAS SOPS 338792 HAS SOUS 218647 HAS SOUPS 218647 WITH SCORE 218985.792
AT ITER 3003 NEW BEST:: SOT 1923335 SOS 338790 HAS SOPS 338790 HAS SOUS 218645 HAS SOUPS 218645 WITH SCORE 218983.79
AT ITER 3014 NEW BEST:: SOT 1923335 SOS 338771 HAS SOPS 338771 HAS SOUS 218645 HAS SOUPS 218645 WITH SCORE 218983.771
AT ITER 3063 NEW BEST:: SOT 1919020 SOS 351281 HAS SOPS 351281 HAS SOUS 216442 HAS SOUPS 216442 WITH SCORE 216793.281
AT ITER 3066 NEW BEST:: SOT 1919020 SOS 351257 HAS SOPS 351257 HAS SOUS 216434 HAS SOUPS 216434 WITH SCORE 216785.257
AT ITER 3093 NEW BEST:: SOT 1919015 SOS 351247 HAS SOPS 351247 HAS SOUS 216424 HAS SOUPS 216424 WITH SCORE 216775.247
AT ITER 3108 NEW BEST:: SOT 1918925 SOS 351175 HAS SOPS 351175 HAS SOUS 216334 HAS SOUPS 216334 WITH SCORE 216685.175
AT ITER 3122 NEW BEST:: SOT 1918911 SOS 351147 HAS SOPS 351147 HAS SOUS 216306 HAS SOUPS 216306 WITH SCORE 216657.147
AT ITER 3158 NEW BEST:: SOT 1918810 SOS 350945 HAS SOPS 350945 HAS SOUS 216104 HAS SOUPS 216104 WITH SCORE 216454.945
AT ITER 3160 NEW BEST:: SOT 1918781 SOS 350887 HAS SOPS 350887 HAS SOUS 216075 HAS SOUPS 216075 WITH SCORE 216425.887
AT ITER 3172 NEW BEST:: SOT 1918648 SOS 350621 HAS SOPS 350621 HAS SOUS 215971 HAS SOUPS 215971 WITH SCORE 216321.621
AT ITER 3173 NEW BEST:: SOT 1918583 SOS 350491 HAS SOPS 350491 HAS SOUS 215841 HAS SOUPS 215841 WITH SCORE 216191.491
AT ITER 3182 NEW BEST:: SOT 1918527 SOS 350379 HAS SOPS 350379 HAS SOUS 215827 HAS SOUPS 215827 WITH SCORE 216177.379
AT ITER 3192 NEW BEST:: SOT 1918527 SOS 350352 HAS SOPS 350352 HAS SOUS 215827 HAS SOUPS 215827 WITH SCORE 216177.352
AT ITER 3204 NEW BEST:: SOT 1918476 SOS 350250 HAS SOPS 350250 HAS SOUS 215725 HAS SOUPS 215725 WITH SCORE 216075.25
AT ITER 3219 NEW BEST:: SOT 1918427 SOS 350152 HAS SOPS 350152 HAS SOUS 215627 HAS SOUPS 215627 WITH SCORE 215977.152
AT ITER 3232 NEW BEST:: SOT 1918416 SOS 350130 HAS SOPS 350130 HAS SOUS 215605 HAS SOUPS 215605 WITH SCORE 215955.13
AT ITER 3267 NEW BEST:: SOT 1918389 SOS 350076 HAS SOPS 350076 HAS SOUS 215551 HAS SOUPS 215551 WITH SCORE 215901.076
AT ITER 3289 NEW BEST:: SOT 1918275 SOS 349850 HAS SOPS 349850 HAS SOUS 215325 HAS SOUPS 215325 WITH SCORE 215674.85
AT ITER 3297 NEW BEST:: SOT 1918184 SOS 349668 HAS SOPS 349668 HAS SOUS 215234 HAS SOUPS 215234 WITH SCORE 215583.668
AT ITER 3309 NEW BEST:: SOT 1918111 SOS 349762 HAS SOPS 349762 HAS SOUS 215187 HAS SOUPS 215187 WITH SCORE 215536.762
AT ITER 3349 NEW BEST:: SOT 1917927 SOS 349394 HAS SOPS 349394 HAS SOUS 215003 HAS SOUPS 215003 WITH SCORE 215352.394
AT ITER 3364 NEW BEST:: SOT 1917893 SOS 349326 HAS SOPS 349326 HAS SOUS 214935 HAS SOUPS 214935 WITH SCORE 215284.326
AT ITER 3391 NEW BEST:: SOT 1917856 SOS 349252 HAS SOPS 349252 HAS SOUS 214861 HAS SOUPS 214861 WITH SCORE 215210.252
AT ITER 3404 NEW BEST:: SOT 1917856 SOS 349201 HAS SOPS 349201 HAS SOUS 214861 HAS SOUPS 214861 WITH SCORE 215210.201
AT ITER 3413 NEW BEST:: SOT 1910904 SOS 378402 HAS SOPS 378402 HAS SOUS 212624 HAS SOUPS 212624 WITH SCORE 213002.402
AT ITER 3459 NEW BEST:: SOT 1910732 SOS 378058 HAS SOPS 378058 HAS SOUS 212452 HAS SOUPS 212452 WITH SCORE 212830.058
AT ITER 3490 NEW BEST:: SOT 1910694 SOS 377982 HAS SOPS 377982 HAS SOUS 212445 HAS SOUPS 212445 WITH SCORE 212822.982
AT ITER 3501 NEW BEST:: SOT 1910694 SOS 377920 HAS SOPS 377920 HAS SOUS 212383 HAS SOUPS 212383 WITH SCORE 212760.92
AT ITER 3527 NEW BEST:: SOT 1910534 SOS 377600 HAS SOPS 377600 HAS SOUS 212223 HAS SOUPS 212223 WITH SCORE 212600.6
AT ITER 3548 NEW BEST:: SOT 1910534 SOS 377608 HAS SOPS 377608 HAS SOUS 212215 HAS SOUPS 212215 WITH SCORE 212592.608
AT ITER 3559 NEW BEST:: SOT 1910498 SOS 377536 HAS SOPS 377536 HAS SOUS 212143 HAS SOUPS 212143 WITH SCORE 212520.536
AT ITER 3570 NEW BEST:: SOT 1910472 SOS 377484 HAS SOPS 377484 HAS SOUS 212091 HAS SOUPS 212091 WITH SCORE 212468.484
AT ITER 3588 NEW BEST:: SOT 1910387 SOS 377314 HAS SOPS 377314 HAS SOUS 211992 HAS SOUPS 211992 WITH SCORE 212369.314
AT ITER 3617 NEW BEST:: SOT 1910287 SOS 377114 HAS SOPS 377114 HAS SOUS 211581 HAS SOUPS 211581 WITH SCORE 211958.114
AT ITER 3632 NEW BEST:: SOT 1910266 SOS 377093 HAS SOPS 377093 HAS SOUS 211560 HAS SOUPS 211560 WITH SCORE 211937.093
AT ITER 3634 NEW BEST:: SOT 1910266 SOS 377093 HAS SOPS 377093 HAS SOUS 211557 HAS SOUPS 211557 WITH SCORE 211934.093
AT ITER 3649 NEW BEST:: SOT 1910183 SOS 376855 HAS SOPS 376855 HAS SOUS 211325 HAS SOUPS 211325 WITH SCORE 211701.855
AT ITER 3668 NEW BEST:: SOT 1910161 SOS 376811 HAS SOPS 376811 HAS SOUS 211281 HAS SOUPS 211281 WITH SCORE 211657.811
AT ITER 3677 NEW BEST:: SOT 1910081 SOS 369633 HAS SOPS 369633 HAS SOUS 210407 HAS SOUPS 210407 WITH SCORE 210776.633
AT ITER 3711 NEW BEST:: SOT 1909966 SOS 369403 HAS SOPS 369403 HAS SOUS 210292 HAS SOUPS 210292 WITH SCORE 210661.403
AT ITER 3726 NEW BEST:: SOT 1905890 SOS 365931 HAS SOPS 365931 HAS SOUS 209584 HAS SOUPS 209584 WITH SCORE 209949.931
AT ITER 3734 NEW BEST:: SOT 1905878 SOS 365907 HAS SOPS 365907 HAS SOUS 209560 HAS SOUPS 209560 WITH SCORE 209925.907
AT ITER 3735 NEW BEST:: SOT 1905861 SOS 365873 HAS SOPS 365873 HAS SOUS 209526 HAS SOUPS 209526 WITH SCORE 209891.873
AT ITER 3765 NEW BEST:: SOT 1905853 SOS 365857 HAS SOPS 365857 HAS SOUS 209510 HAS SOUPS 209510 WITH SCORE 209875.857
AT ITER 3774 NEW BEST:: SOT 1905808 SOS 365812 HAS SOPS 365812 HAS SOUS 209465 HAS SOUPS 209465 WITH SCORE 209830.812
AT ITER 3783 NEW BEST:: SOT 1905722 SOS 365726 HAS SOPS 365726 HAS SOUS 209293 HAS SOUPS 209293 WITH SCORE 209658.726
AT ITER 3785 NEW BEST:: SOT 1905676 SOS 365634 HAS SOPS 365634 HAS SOUS 209247 HAS SOUPS 209247 WITH SCORE 209612.634
AT ITER 3794 NEW BEST:: SOT 1905675 SOS 365632 HAS SOPS 365632 HAS SOUS 209245 HAS SOUPS 209245 WITH SCORE 209610.632
AT ITER 3798 NEW BEST:: SOT 1905617 SOS 365364 HAS SOPS 365364 HAS SOUS 209129 HAS SOUPS 209129 WITH SCORE 209494.364
AT ITER 3802 NEW BEST:: SOT 1905061 SOS 364808 HAS SOPS 364808 HAS SOUS 208573 HAS SOUPS 208573 WITH SCORE 208937.808
AT ITER 3875 NEW BEST:: SOT 1905019 SOS 363758 HAS SOPS 363758 HAS SOUS 208195 HAS SOUPS 208195 WITH SCORE 208558.758
AT ITER 3880 NEW BEST:: SOT 1905007 SOS 363722 HAS SOPS 363722 HAS SOUS 208171 HAS SOUPS 208171 WITH SCORE 208534.722
AT ITER 3921 NEW BEST:: SOT 1905007 SOS 363828 HAS SOPS 363828 HAS SOUS 208065 HAS SOUPS 208065 WITH SCORE 208428.828
AT ITER 3946 NEW BEST:: SOT 1904954 SOS 363722 HAS SOPS 363722 HAS SOUS 208012 HAS SOUPS 208012 WITH SCORE 208375.722
AT ITER 3954 NEW BEST:: SOT 1904893 SOS 350640 HAS SOPS 350640 HAS SOUS 207890 HAS SOUPS 207890 WITH SCORE 208240.64
AT ITER 3986 NEW BEST:: SOT 1903695 SOS 349351 HAS SOPS 349351 HAS SOUS 206692 HAS SOUPS 206692 WITH SCORE 207041.351
AT ITER 3997 NEW BEST:: SOT 1903695 SOS 349342 HAS SOPS 349342 HAS SOUS 206683 HAS SOUPS 206683 WITH SCORE 207032.342
AT ITER 4071 NEW BEST:: SOT 1903481 SOS 348914 HAS SOPS 348914 HAS SOUS 206485 HAS SOUPS 206485 WITH SCORE 206833.914
AT ITER 4084 NEW BEST:: SOT 1903052 SOS 327077 HAS SOPS 327077 HAS SOUS 204497 HAS SOUPS 204497 WITH SCORE 204824.077
AT ITER 4112 NEW BEST:: SOT 1903051 SOS 327075 HAS SOPS 327075 HAS SOUS 204495 HAS SOUPS 204495 WITH SCORE 204822.075
AT ITER 4141 NEW BEST:: SOT 1903002 SOS 326977 HAS SOPS 326977 HAS SOUS 204332 HAS SOUPS 204332 WITH SCORE 204658.977
AT ITER 4146 NEW BEST:: SOT 1902939 SOS 326851 HAS SOPS 326851 HAS SOUS 204282 HAS SOUPS 204282 WITH SCORE 204608.851
AT ITER 4194 NEW BEST:: SOT 1902860 SOS 326693 HAS SOPS 326693 HAS SOUS 204124 HAS SOUPS 204124 WITH SCORE 204450.693
AT ITER 4198 NEW BEST:: SOT 1902856 SOS 324349 HAS SOPS 324349 HAS SOUS 203783 HAS SOUPS 203783 WITH SCORE 204107.349
AT ITER 4207 NEW BEST:: SOT 1902765 SOS 324167 HAS SOPS 324167 HAS SOUS 203715 HAS SOUPS 203715 WITH SCORE 204039.167
AT ITER 4242 NEW BEST:: SOT 1902734 SOS 324105 HAS SOPS 324105 HAS SOUS 203653 HAS SOUPS 203653 WITH SCORE 203977.105
AT ITER 4246 NEW BEST:: SOT 1902727 SOS 324116 HAS SOPS 324116 HAS SOUS 203639 HAS SOUPS 203639 WITH SCORE 203963.116
AT ITER 4250 NEW BEST:: SOT 1902631 SOS 323924 HAS SOPS 323924 HAS SOUS 203447 HAS SOUPS 203447 WITH SCORE 203770.924
AT ITER 4253 NEW BEST:: SOT 1902614 SOS 323890 HAS SOPS 323890 HAS SOUS 203413 HAS SOUPS 203413 WITH SCORE 203736.89
AT ITER 4288 NEW BEST:: SOT 1902053 SOS 323952 HAS SOPS 323952 HAS SOUS 202884 HAS SOUPS 202884 WITH SCORE 203207.952
AT ITER 4289 NEW BEST:: SOT 1902050 SOS 323810 HAS SOPS 323810 HAS SOUS 202878 HAS SOUPS 202878 WITH SCORE 203201.81
AT ITER 4354 NEW BEST:: SOT 1901853 SOS 323416 HAS SOPS 323416 HAS SOUS 202681 HAS SOUPS 202681 WITH SCORE 203004.416
AT ITER 4368 NEW BEST:: SOT 1901652 SOS 323014 HAS SOPS 323014 HAS SOUS 202413 HAS SOUPS 202413 WITH SCORE 202736.014
AT ITER 4370 NEW BEST:: SOT 1901451 SOS 322612 HAS SOPS 322612 HAS SOUS 202257 HAS SOUPS 202257 WITH SCORE 202579.612
AT ITER 4388 NEW BEST:: SOT 1901258 SOS 322226 HAS SOPS 322226 HAS SOUS 201871 HAS SOUPS 201871 WITH SCORE 202193.226
AT ITER 4399 NEW BEST:: SOT 1901124 SOS 321826 HAS SOPS 321826 HAS SOUS 201603 HAS SOUPS 201603 WITH SCORE 201924.826
AT ITER 4416 NEW BEST:: SOT 1901242 SOS 321771 HAS SOPS 321771 HAS SOUS 201533 HAS SOUPS 201533 WITH SCORE 201854.771
AT ITER 4441 NEW BEST:: SOT 1901192 SOS 321671 HAS SOPS 321671 HAS SOUS 201433 HAS SOUPS 201433 WITH SCORE 201754.671
AT ITER 4475 NEW BEST:: SOT 1901191 SOS 321669 HAS SOPS 321669 HAS SOUS 201431 HAS SOUPS 201431 WITH SCORE 201752.669
AT ITER 4480 NEW BEST:: SOT 1901145 SOS 321577 HAS SOPS 321577 HAS SOUS 201369 HAS SOUPS 201369 WITH SCORE 201690.577
AT ITER 4483 NEW BEST:: SOT 1901144 SOS 321534 HAS SOPS 321534 HAS SOUS 201367 HAS SOUPS 201367 WITH SCORE 201688.534
AT ITER 4498 NEW BEST:: SOT 1901053 SOS 321220 HAS SOPS 321220 HAS SOUS 201185 HAS SOUPS 201185 WITH SCORE 201506.22
AT ITER 4513 NEW BEST:: SOT 1901132 SOS 321378 HAS SOPS 321378 HAS SOUS 201136 HAS SOUPS 201136 WITH SCORE 201457.378
AT ITER 4514 NEW BEST:: SOT 1901130 SOS 321284 HAS SOPS 321284 HAS SOUS 201099 HAS SOUPS 201099 WITH SCORE 201420.284
AT ITER 4518 NEW BEST:: SOT 1901130 SOS 321191 HAS SOPS 321191 HAS SOUS 201006 HAS SOUPS 201006 WITH SCORE 201327.191
AT ITER 4535 NEW BEST:: SOT 1901066 SOS 321063 HAS SOPS 321063 HAS SOUS 200878 HAS SOUPS 200878 WITH SCORE 201199.063
AT ITER 4606 NEW BEST:: SOT 1901066 SOS 321030 HAS SOPS 321030 HAS SOUS 200845 HAS SOUPS 200845 WITH SCORE 201166.03
AT ITER 4621 NEW BEST:: SOT 1900730 SOS 312582 HAS SOPS 312582 HAS SOUS 199949 HAS SOUPS 199949 WITH SCORE 200261.582
AT ITER 4622 NEW BEST:: SOT 1900620 SOS 312278 HAS SOPS 312278 HAS SOUS 199729 HAS SOUPS 199729 WITH SCORE 200041.278
AT ITER 4656 NEW BEST:: SOT 1900566 SOS 312170 HAS SOPS 312170 HAS SOUS 199567 HAS SOUPS 199567 WITH SCORE 199879.17
AT ITER 4703 NEW BEST:: SOT 1900566 SOS 312136 HAS SOPS 312136 HAS SOUS 199567 HAS SOUPS 199567 WITH SCORE 199879.136
AT ITER 4765 NEW BEST:: SOT 1900480 SOS 311964 HAS SOPS 311964 HAS SOUS 199395 HAS SOUPS 199395 WITH SCORE 199706.964
AT ITER 4799 NEW BEST:: SOT 1900524 SOS 311954 HAS SOPS 311954 HAS SOUS 199385 HAS SOUPS 199385 WITH SCORE 199696.954
AT ITER 4853 NEW BEST:: SOT 1900360 SOS 323288 HAS SOPS 323288 HAS SOUS 199126 HAS SOUPS 199126 WITH SCORE 199449.288
AT ITER 4856 NEW BEST:: SOT 1900256 SOS 323080 HAS SOPS 323080 HAS SOUS 199122 HAS SOUPS 199122 WITH SCORE 199445.08
AT ITER 4857 NEW BEST:: SOT 1900163 SOS 322894 HAS SOPS 322894 HAS SOUS 198936 HAS SOUPS 198936 WITH SCORE 199258.894
AT ITER 4867 NEW BEST:: SOT 1900039 SOS 322646 HAS SOPS 322646 HAS SOUS 198779 HAS SOUPS 198779 WITH SCORE 199101.646
AT ITER 4903 NEW BEST:: SOT 1900001 SOS 322562 HAS SOPS 322562 HAS SOUS 198703 HAS SOUPS 198703 WITH SCORE 199025.562
AT ITER 4921 NEW BEST:: SOT 1899987 SOS 322450 HAS SOPS 322450 HAS SOUS 198591 HAS SOUPS 198591 WITH SCORE 198913.45
AT ITER 4963 NEW BEST:: SOT 1899931 SOS 322338 HAS SOPS 322338 HAS SOUS 198479 HAS SOUPS 198479 WITH SCORE 198801.338
AT ITER 5006 NEW BEST:: SOT 1899930 SOS 322198 HAS SOPS 322198 HAS SOUS 198477 HAS SOUPS 198477 WITH SCORE 198799.198
AT ITER 5015 NEW BEST:: SOT 1899916 SOS 322170 HAS SOPS 322170 HAS SOUS 198449 HAS SOUPS 198449 WITH SCORE 198771.17
AT ITER 5030 NEW BEST:: SOT 1899893 SOS 322124 HAS SOPS 322124 HAS SOUS 198426 HAS SOUPS 198426 WITH SCORE 198748.124
AT ITER 5052 NEW BEST:: SOT 1899876 SOS 322090 HAS SOPS 322090 HAS SOUS 198392 HAS SOUPS 198392 WITH SCORE 198714.09
AT ITER 5074 NEW BEST:: SOT 1899772 SOS 321986 HAS SOPS 321986 HAS SOUS 198288 HAS SOUPS 198288 WITH SCORE 198609.986
AT ITER 5094 NEW BEST:: SOT 1899689 SOS 321820 HAS SOPS 321820 HAS SOUS 198122 HAS SOUPS 198122 WITH SCORE 198443.82
AT ITER 5173 NEW BEST:: SOT 1899704 SOS 321851 HAS SOPS 321851 HAS SOUS 197069 HAS SOUPS 197069 WITH SCORE 197390.851
AT ITER 5195 NEW BEST:: SOT 1899652 SOS 321832 HAS SOPS 321832 HAS SOUS 197034 HAS SOUPS 197034 WITH SCORE 197355.832
AT ITER 5240 NEW BEST:: SOT 1899651 SOS 321830 HAS SOPS 321830 HAS SOUS 197032 HAS SOUPS 197032 WITH SCORE 197353.83
AT ITER 5249 NEW BEST:: SOT 1899452 SOS 321432 HAS SOPS 321432 HAS SOUS 196650 HAS SOUPS 196650 WITH SCORE 196971.432
AT ITER 5271 NEW BEST:: SOT 1899438 SOS 321404 HAS SOPS 321404 HAS SOUS 196622 HAS SOUPS 196622 WITH SCORE 196943.404
AT ITER 5322 NEW BEST:: SOT 1899399 SOS 321242 HAS SOPS 321242 HAS SOUS 196544 HAS SOUPS 196544 WITH SCORE 196865.242
AT ITER 5333 NEW BEST:: SOT 1899357 SOS 318830 HAS SOPS 318830 HAS SOUS 196180 HAS SOUPS 196180 WITH SCORE 196498.83
AT ITER 5403 NEW BEST:: SOT 1899357 SOS 318789 HAS SOPS 318789 HAS SOUS 196139 HAS SOUPS 196139 WITH SCORE 196457.789
AT ITER 5405 NEW BEST:: SOT 1899267 SOS 318609 HAS SOPS 318609 HAS SOUS 195959 HAS SOUPS 195959 WITH SCORE 196277.609
AT ITER 5425 NEW BEST:: SOT 1899220 SOS 318646 HAS SOPS 318646 HAS SOUS 195934 HAS SOUPS 195934 WITH SCORE 196252.646
AT ITER 5445 NEW BEST:: SOT 1899200 SOS 318616 HAS SOPS 318616 HAS SOUS 195914 HAS SOUPS 195914 WITH SCORE 196232.616
AT ITER 5481 NEW BEST:: SOT 1899173 SOS 318562 HAS SOPS 318562 HAS SOUS 195860 HAS SOUPS 195860 WITH SCORE 196178.562
AT ITER 5535 NEW BEST:: SOT 1899016 SOS 318248 HAS SOPS 318248 HAS SOUS 195546 HAS SOUPS 195546 WITH SCORE 195864.248
AT ITER 5544 NEW BEST:: SOT 1898895 SOS 318006 HAS SOPS 318006 HAS SOUS 195304 HAS SOUPS 195304 WITH SCORE 195622.006
AT ITER 5564 NEW BEST:: SOT 1898745 SOS 317706 HAS SOPS 317706 HAS SOUS 195026 HAS SOUPS 195026 WITH SCORE 195343.706
AT ITER 5570 NEW BEST:: SOT 1898735 SOS 317596 HAS SOPS 317596 HAS SOUS 194943 HAS SOUPS 194943 WITH SCORE 195260.596
AT ITER 5596 NEW BEST:: SOT 1898715 SOS 317556 HAS SOPS 317556 HAS SOUS 194903 HAS SOUPS 194903 WITH SCORE 195220.556
AT ITER 5614 NEW BEST:: SOT 1898687 SOS 317525 HAS SOPS 317525 HAS SOUS 194875 HAS SOUPS 194875 WITH SCORE 195192.525
AT ITER 5617 NEW BEST:: SOT 1898629 SOS 317409 HAS SOPS 317409 HAS SOUS 194759 HAS SOUPS 194759 WITH SCORE 195076.409
AT ITER 5643 NEW BEST:: SOT 1898623 SOS 317397 HAS SOPS 317397 HAS SOUS 194747 HAS SOUPS 194747 WITH SCORE 195064.397
AT ITER 5672 NEW BEST:: SOT 1898566 SOS 317283 HAS SOPS 317283 HAS SOUS 194633 HAS SOUPS 194633 WITH SCORE 194950.283
AT ITER 5688 NEW BEST:: SOT 1898543 SOS 317237 HAS SOPS 317237 HAS SOUS 194587 HAS SOUPS 194587 WITH SCORE 194904.237
AT ITER 5763 NEW BEST:: SOT 1898429 SOS 317009 HAS SOPS 317009 HAS SOUS 194359 HAS SOUPS 194359 WITH SCORE 194676.009
AT ITER 5783 NEW BEST:: SOT 1898388 SOS 316927 HAS SOPS 316927 HAS SOUS 194318 HAS SOUPS 194318 WITH SCORE 194634.927
AT ITER 5861 NEW BEST:: SOT 1898387 SOS 316925 HAS SOPS 316925 HAS SOUS 194316 HAS SOUPS 194316 WITH SCORE 194632.925
AT ITER 5867 NEW BEST:: SOT 1898418 SOS 316987 HAS SOPS 316987 HAS SOUS 194282 HAS SOUPS 194282 WITH SCORE 194598.987
AT ITER 5897 NEW BEST:: SOT 1898347 SOS 316845 HAS SOPS 316845 HAS SOUS 194211 HAS SOUPS 194211 WITH SCORE 194527.845
AT ITER 5929 NEW BEST:: SOT 1898355 SOS 316861 HAS SOPS 316861 HAS SOUS 193984 HAS SOUPS 193984 WITH SCORE 194300.861
AT ITER 5937 NEW BEST:: SOT 1898326 SOS 316803 HAS SOPS 316803 HAS SOUS 193926 HAS SOUPS 193926 WITH SCORE 194242.803
AT ITER 5958 NEW BEST:: SOT 1898309 SOS 316769 HAS SOPS 316769 HAS SOUS 193892 HAS SOUPS 193892 WITH SCORE 194208.769
AT ITER 5996 NEW BEST:: SOT 1898284 SOS 316719 HAS SOPS 316719 HAS SOUS 193842 HAS SOUPS 193842 WITH SCORE 194158.719
AT ITER 6000 NEW BEST:: SOT 1898274 SOS 316699 HAS SOPS 316699 HAS SOUS 193822 HAS SOUPS 193822 WITH SCORE 194138.699
AT ITER 6116 NEW BEST:: SOT 1898255 SOS 316661 HAS SOPS 316661 HAS SOUS 193784 HAS SOUPS 193784 WITH SCORE 194100.661
AT ITER 6130 NEW BEST:: SOT 1898161 SOS 311799 HAS SOPS 311799 HAS SOUS 193586 HAS SOUPS 193586 WITH SCORE 193897.799
AT ITER 6138 NEW BEST:: SOT 1898226 SOS 311720 HAS SOPS 311720 HAS SOUS 193507 HAS SOUPS 193507 WITH SCORE 193818.72
AT ITER 6149 NEW BEST:: SOT 1898225 SOS 311718 HAS SOPS 311718 HAS SOUS 193505 HAS SOUPS 193505 WITH SCORE 193816.718
AT ITER 6150 NEW BEST:: SOT 1898142 SOS 311642 HAS SOPS 311642 HAS SOUS 193426 HAS SOUPS 193426 WITH SCORE 193737.642
AT ITER 6161 NEW BEST:: SOT 1898141 SOS 311640 HAS SOPS 311640 HAS SOUS 193424 HAS SOUPS 193424 WITH SCORE 193735.64
AT ITER 6196 NEW BEST:: SOT 1897927 SOS 304252 HAS SOPS 304252 HAS SOUS 192238 HAS SOUPS 192238 WITH SCORE 192542.252
AT ITER 6212 NEW BEST:: SOT 1897927 SOS 304252 HAS SOPS 304252 HAS SOUS 192233 HAS SOUPS 192233 WITH SCORE 192537.252
AT ITER 6234 NEW BEST:: SOT 1897957 SOS 304479 HAS SOPS 304479 HAS SOUS 192126 HAS SOUPS 192126 WITH SCORE 192430.479
AT ITER 6288 NEW BEST:: SOT 1897898 SOS 304301 HAS SOPS 304301 HAS SOUS 192008 HAS SOUPS 192008 WITH SCORE 192312.301
AT ITER 6310 NEW BEST:: SOT 1897082 SOS 309147 HAS SOPS 309147 HAS SOUS 191986 HAS SOUPS 191986 WITH SCORE 192295.147
AT ITER 6315 NEW BEST:: SOT 1897068 SOS 309119 HAS SOPS 309119 HAS SOUS 191958 HAS SOUPS 191958 WITH SCORE 192267.119
AT ITER 6331 NEW BEST:: SOT 1897068 SOS 309119 HAS SOPS 309119 HAS SOUS 191945 HAS SOUPS 191945 WITH SCORE 192254.119
AT ITER 6367 NEW BEST:: SOT 1897060 SOS 309103 HAS SOPS 309103 HAS SOUS 191911 HAS SOUPS 191911 WITH SCORE 192220.103
AT ITER 6401 NEW BEST:: SOT 1896987 SOS 308957 HAS SOPS 308957 HAS SOUS 191908 HAS SOUPS 191908 WITH SCORE 192216.957
AT ITER 6402 NEW BEST:: SOT 1896947 SOS 308877 HAS SOPS 308877 HAS SOUS 191868 HAS SOUPS 191868 WITH SCORE 192176.877
AT ITER 6416 NEW BEST:: SOT 1896947 SOS 306993 HAS SOPS 306993 HAS SOUS 191840 HAS SOUPS 191840 WITH SCORE 192146.993
AT ITER 6435 NEW BEST:: SOT 1896931 SOS 306961 HAS SOPS 306961 HAS SOUS 191824 HAS SOUPS 191824 WITH SCORE 192130.961
AT ITER 6441 NEW BEST:: SOT 1896858 SOS 307399 HAS SOPS 307399 HAS SOUS 191783 HAS SOUPS 191783 WITH SCORE 192090.399
AT ITER 6479 NEW BEST:: SOT 1896841 SOS 307365 HAS SOPS 307365 HAS SOUS 191763 HAS SOUPS 191763 WITH SCORE 192070.365
AT ITER 6484 NEW BEST:: SOT 1896805 SOS 307293 HAS SOPS 307293 HAS SOUS 191727 HAS SOUPS 191727 WITH SCORE 192034.293
AT ITER 6526 NEW BEST:: SOT 1896717 SOS 307117 HAS SOPS 307117 HAS SOUS 191551 HAS SOUPS 191551 WITH SCORE 191858.117
AT ITER 6554 NEW BEST:: SOT 1896716 SOS 307115 HAS SOPS 307115 HAS SOUS 191549 HAS SOUPS 191549 WITH SCORE 191856.115
AT ITER 6559 NEW BEST:: SOT 1896697 SOS 307077 HAS SOPS 307077 HAS SOUS 191511 HAS SOUPS 191511 WITH SCORE 191818.077
AT ITER 6598 NEW BEST:: SOT 1896615 SOS 306913 HAS SOPS 306913 HAS SOUS 191347 HAS SOUPS 191347 WITH SCORE 191653.913
AT ITER 6667 NEW BEST:: SOT 1896660 SOS 307003 HAS SOPS 307003 HAS SOUS 191305 HAS SOUPS 191305 WITH SCORE 191612.003
AT ITER 6679 NEW BEST:: SOT 1896653 SOS 306989 HAS SOPS 306989 HAS SOUS 191291 HAS SOUPS 191291 WITH SCORE 191597.989
AT ITER 6712 NEW BEST:: SOT 1896615 SOS 306913 HAS SOPS 306913 HAS SOUS 191259 HAS SOUPS 191259 WITH SCORE 191565.913
AT ITER 6747 NEW BEST:: SOT 1896615 SOS 306832 HAS SOPS 306832 HAS SOUS 191178 HAS SOUPS 191178 WITH SCORE 191484.832
AT ITER 6766 NEW BEST:: SOT 1896504 SOS 306610 HAS SOPS 306610 HAS SOUS 190981 HAS SOUPS 190981 WITH SCORE 191287.61
AT ITER 6811 NEW BEST:: SOT 1896497 SOS 306596 HAS SOPS 306596 HAS SOUS 190967 HAS SOUPS 190967 WITH SCORE 191273.596
AT ITER 6869 NEW BEST:: SOT 1896356 SOS 306314 HAS SOPS 306314 HAS SOUS 190685 HAS SOUPS 190685 WITH SCORE 190991.314
AT ITER 6884 NEW BEST:: SOT 1896249 SOS 306308 HAS SOPS 306308 HAS SOUS 190661 HAS SOUPS 190661 WITH SCORE 190967.308
AT ITER 6904 NEW BEST:: SOT 1896136 SOS 306082 HAS SOPS 306082 HAS SOUS 190435 HAS SOUPS 190435 WITH SCORE 190741.082
AT ITER 6917 NEW BEST:: SOT 1895989 SOS 306142 HAS SOPS 306142 HAS SOUS 190347 HAS SOUPS 190347 WITH SCORE 190653.142
AT ITER 6918 NEW BEST:: SOT 1895988 SOS 306140 HAS SOPS 306140 HAS SOUS 190345 HAS SOUPS 190345 WITH SCORE 190651.14
AT ITER 6942 NEW BEST:: SOT 1895888 SOS 306064 HAS SOPS 306064 HAS SOUS 190295 HAS SOUPS 190295 WITH SCORE 190601.064
AT ITER 6967 NEW BEST:: SOT 1895772 SOS 305752 HAS SOPS 305752 HAS SOUS 189983 HAS SOUPS 189983 WITH SCORE 190288.752
AT ITER 6975 NEW BEST:: SOT 1895644 SOS 305496 HAS SOPS 305496 HAS SOUS 189803 HAS SOUPS 189803 WITH SCORE 190108.496
AT ITER 6997 NEW BEST:: SOT 1895632 SOS 305414 HAS SOPS 305414 HAS SOUS 189779 HAS SOUPS 189779 WITH SCORE 190084.414
AT ITER 7027 NEW BEST:: SOT 1895601 SOS 305298 HAS SOPS 305298 HAS SOUS 189706 HAS SOUPS 189706 WITH SCORE 190011.298
AT ITER 7075 NEW BEST:: SOT 1895601 SOS 297778 HAS SOPS 297778 HAS SOUS 189706 HAS SOUPS 189706 WITH SCORE 190003.778
AT ITER 7089 NEW BEST:: SOT 1895601 SOS 297681 HAS SOPS 297681 HAS SOUS 189706 HAS SOUPS 189706 WITH SCORE 190003.681
AT ITER 7140 NEW BEST:: SOT 1895621 SOS 297561 HAS SOPS 297561 HAS SOUS 189706 HAS SOUPS 189706 WITH SCORE 190003.561
AT ITER 7171 NEW BEST:: SOT 1895479 SOS 297277 HAS SOPS 297277 HAS SOUS 189530 HAS SOUPS 189530 WITH SCORE 189827.277
AT ITER 7187 NEW BEST:: SOT 1895477 SOS 297275 HAS SOPS 297275 HAS SOUS 189528 HAS SOUPS 189528 WITH SCORE 189825.275
AT ITER 7193 NEW BEST:: SOT 1895475 SOS 297271 HAS SOPS 297271 HAS SOUS 189526 HAS SOUPS 189526 WITH SCORE 189823.271
AT ITER 7217 NEW BEST:: SOT 1895441 SOS 297271 HAS SOPS 297271 HAS SOUS 189492 HAS SOUPS 189492 WITH SCORE 189789.271
AT ITER 7265 NEW BEST:: SOT 1895440 SOS 297177 HAS SOPS 297177 HAS SOUS 189490 HAS SOUPS 189490 WITH SCORE 189787.177
AT ITER 7288 NEW BEST:: SOT 1895283 SOS 296863 HAS SOPS 296863 HAS SOUS 189333 HAS SOUPS 189333 WITH SCORE 189629.863
AT ITER 7290 NEW BEST:: SOT 1895283 SOS 296863 HAS SOPS 296863 HAS SOUS 189210 HAS SOUPS 189210 WITH SCORE 189506.863
AT ITER 7295 NEW BEST:: SOT 1895204 SOS 296784 HAS SOPS 296784 HAS SOUS 189131 HAS SOUPS 189131 WITH SCORE 189427.784
AT ITER 7325 NEW BEST:: SOT 1895139 SOS 296654 HAS SOPS 296654 HAS SOUS 189001 HAS SOUPS 189001 WITH SCORE 189297.654
AT ITER 7348 NEW BEST:: SOT 1895087 SOS 296587 HAS SOPS 296587 HAS SOUS 188934 HAS SOUPS 188934 WITH SCORE 189230.587
AT ITER 7402 NEW BEST:: SOT 1894933 SOS 296125 HAS SOPS 296125 HAS SOUS 188780 HAS SOUPS 188780 WITH SCORE 189076.125
AT ITER 7410 NEW BEST:: SOT 1894808 SOS 296071 HAS SOPS 296071 HAS SOUS 188665 HAS SOUPS 188665 WITH SCORE 188961.071
AT ITER 7555 NEW BEST:: SOT 1894695 SOS 295845 HAS SOPS 295845 HAS SOUS 188439 HAS SOUPS 188439 WITH SCORE 188734.845
AT ITER 7556 NEW BEST:: SOT 1894681 SOS 295817 HAS SOPS 295817 HAS SOUS 188411 HAS SOUPS 188411 WITH SCORE 188706.817
AT ITER 7584 NEW BEST:: SOT 1894666 SOS 295787 HAS SOPS 295787 HAS SOUS 188381 HAS SOUPS 188381 WITH SCORE 188676.787
AT ITER 7638 NEW BEST:: SOT 1894589 SOS 295633 HAS SOPS 295633 HAS SOUS 188306 HAS SOUPS 188306 WITH SCORE 188601.633
AT ITER 7710 NEW BEST:: SOT 1894578 SOS 295657 HAS SOPS 295657 HAS SOUS 188295 HAS SOUPS 188295 WITH SCORE 188590.657
AT ITER 7850 NEW BEST:: SOT 1894577 SOS 295579 HAS SOPS 295579 HAS SOUS 188293 HAS SOUPS 188293 WITH SCORE 188588.579
AT ITER 7881 NEW BEST:: SOT 1894544 SOS 295513 HAS SOPS 295513 HAS SOUS 188270 HAS SOUPS 188270 WITH SCORE 188565.513
AT ITER 7969 NEW BEST:: SOT 1894543 SOS 295481 HAS SOPS 295481 HAS SOUS 188268 HAS SOUPS 188268 WITH SCORE 188563.481
AT ITER 8000 NEW BEST:: SOT 1894536 SOS 295467 HAS SOPS 295467 HAS SOUS 188254 HAS SOUPS 188254 WITH SCORE 188549.467
AT ITER 8029 NEW BEST:: SOT 1894536 SOS 295445 HAS SOPS 295445 HAS SOUS 188254 HAS SOUPS 188254 WITH SCORE 188549.445
AT ITER 8082 NEW BEST:: SOT 1894450 SOS 295273 HAS SOPS 295273 HAS SOUS 188073 HAS SOUPS 188073 WITH SCORE 188368.273
AT ITER 8083 NEW BEST:: SOT 1894450 SOS 295248 HAS SOPS 295248 HAS SOUS 188048 HAS SOUPS 188048 WITH SCORE 188343.248
AT ITER 8097 NEW BEST:: SOT 1894445 SOS 295238 HAS SOPS 295238 HAS SOUS 188038 HAS SOUPS 188038 WITH SCORE 188333.238
AT ITER 8098 NEW BEST:: SOT 1894445 SOS 295231 HAS SOPS 295231 HAS SOUS 188031 HAS SOUPS 188031 WITH SCORE 188326.231
AT ITER 8107 NEW BEST:: SOT 1894444 SOS 295229 HAS SOPS 295229 HAS SOUS 188029 HAS SOUPS 188029 WITH SCORE 188324.229
AT ITER 8143 NEW BEST:: SOT 1894307 SOS 294955 HAS SOPS 294955 HAS SOUS 187890 HAS SOUPS 187890 WITH SCORE 188184.955
AT ITER 8147 NEW BEST:: SOT 1894310 SOS 294916 HAS SOPS 294916 HAS SOUS 187851 HAS SOUPS 187851 WITH SCORE 188145.916
AT ITER 8163 NEW BEST:: SOT 1894310 SOS 295015 HAS SOPS 295015 HAS SOUS 187752 HAS SOUPS 187752 WITH SCORE 188047.015
AT ITER 8241 NEW BEST:: SOT 1894243 SOS 294881 HAS SOPS 294881 HAS SOUS 187618 HAS SOUPS 187618 WITH SCORE 187912.881
AT ITER 8270 NEW BEST:: SOT 1894234 SOS 294863 HAS SOPS 294863 HAS SOUS 187600 HAS SOUPS 187600 WITH SCORE 187894.863
AT ITER 8294 NEW BEST:: SOT 1894203 SOS 294801 HAS SOPS 294801 HAS SOUS 187589 HAS SOUPS 187589 WITH SCORE 187883.801
AT ITER 8331 NEW BEST:: SOT 1894161 SOS 294801 HAS SOPS 294801 HAS SOUS 187561 HAS SOUPS 187561 WITH SCORE 187855.801
AT ITER 8436 NEW BEST:: SOT 1894094 SOS 294667 HAS SOPS 294667 HAS SOUS 187427 HAS SOUPS 187427 WITH SCORE 187721.667
AT ITER 8438 NEW BEST:: SOT 1894025 SOS 294529 HAS SOPS 294529 HAS SOUS 187289 HAS SOUPS 187289 WITH SCORE 187583.529
AT ITER 8457 NEW BEST:: SOT 1893942 SOS 294236 HAS SOPS 294236 HAS SOUS 187123 HAS SOUPS 187123 WITH SCORE 187417.236
AT ITER 8484 NEW BEST:: SOT 1893897 SOS 294146 HAS SOPS 294146 HAS SOUS 187033 HAS SOUPS 187033 WITH SCORE 187327.146
AT ITER 8498 NEW BEST:: SOT 1893885 SOS 294122 HAS SOPS 294122 HAS SOUS 187009 HAS SOUPS 187009 WITH SCORE 187303.122
AT ITER 8499 NEW BEST:: SOT 1893846 SOS 294044 HAS SOPS 294044 HAS SOUS 186931 HAS SOUPS 186931 WITH SCORE 187225.044
AT ITER 8678 NEW BEST:: SOT 1893825 SOS 294002 HAS SOPS 294002 HAS SOUS 186889 HAS SOUPS 186889 WITH SCORE 187183.002
AT ITER 8732 NEW BEST:: SOT 1893767 SOS 293886 HAS SOPS 293886 HAS SOUS 186773 HAS SOUPS 186773 WITH SCORE 187066.886
AT ITER 8798 NEW BEST:: SOT 1893766 SOS 293773 HAS SOPS 293773 HAS SOUS 186771 HAS SOUPS 186771 WITH SCORE 187064.773
AT ITER 8818 NEW BEST:: SOT 1893766 SOS 293119 HAS SOPS 293119 HAS SOUS 186373 HAS SOUPS 186373 WITH SCORE 186666.119
AT ITER 8837 NEW BEST:: SOT 1893757 SOS 293101 HAS SOPS 293101 HAS SOUS 186355 HAS SOUPS 186355 WITH SCORE 186648.101
AT ITER 8890 NEW BEST:: SOT 1893648 SOS 292992 HAS SOPS 292992 HAS SOUS 186246 HAS SOUPS 186246 WITH SCORE 186538.992
AT ITER 8944 NEW BEST:: SOT 1893306 SOS 292308 HAS SOPS 292308 HAS SOUS 185562 HAS SOUPS 185562 WITH SCORE 185854.308
AT ITER 9097 NEW BEST:: SOT 1893306 SOS 292255 HAS SOPS 292255 HAS SOUS 185562 HAS SOUPS 185562 WITH SCORE 185854.255
AT ITER 9121 NEW BEST:: SOT 1893299 SOS 292241 HAS SOPS 292241 HAS SOUS 185548 HAS SOUPS 185548 WITH SCORE 185840.241
AT ITER 9160 NEW BEST:: SOT 1893288 SOS 292222 HAS SOPS 292222 HAS SOUS 185477 HAS SOUPS 185477 WITH SCORE 185769.222
AT ITER 9168 NEW BEST:: SOT 1893121 SOS 292284 HAS SOPS 292284 HAS SOUS 185376 HAS SOUPS 185376 WITH SCORE 185668.284
AT ITER 9278 NEW BEST:: SOT 1893103 SOS 292248 HAS SOPS 292248 HAS SOUS 185340 HAS SOUPS 185340 WITH SCORE 185632.248
AT ITER 9289 NEW BEST:: SOT 1893062 SOS 292166 HAS SOPS 292166 HAS SOUS 185258 HAS SOUPS 185258 WITH SCORE 185550.166
AT ITER 9312 NEW BEST:: SOT 1893057 SOS 292156 HAS SOPS 292156 HAS SOUS 185248 HAS SOUPS 185248 WITH SCORE 185540.156
AT ITER 9330 NEW BEST:: SOT 1893043 SOS 292143 HAS SOPS 292143 HAS SOUS 185220 HAS SOUPS 185220 WITH SCORE 185512.143
AT ITER 9353 NEW BEST:: SOT 1893027 SOS 292111 HAS SOPS 292111 HAS SOUS 185196 HAS SOUPS 185196 WITH SCORE 185488.111
AT ITER 9368 NEW BEST:: SOT 1892944 SOS 291780 HAS SOPS 291780 HAS SOUS 185059 HAS SOUPS 185059 WITH SCORE 185350.78
AT ITER 9455 NEW BEST:: SOT 1893005 SOS 291701 HAS SOPS 291701 HAS SOUS 184980 HAS SOUPS 184980 WITH SCORE 185271.701
AT ITER 9470 NEW BEST:: SOT 1892887 SOS 291465 HAS SOPS 291465 HAS SOUS 184744 HAS SOUPS 184744 WITH SCORE 185035.465
AT ITER 9483 NEW BEST:: SOT 1892848 SOS 291387 HAS SOPS 291387 HAS SOUS 184666 HAS SOUPS 184666 WITH SCORE 184957.387
AT ITER 9521 NEW BEST:: SOT 1892848 SOS 290613 HAS SOPS 290613 HAS SOUS 184599 HAS SOUPS 184599 WITH SCORE 184889.613
AT ITER 9598 NEW BEST:: SOT 1892749 SOS 290360 HAS SOPS 290360 HAS SOUS 184391 HAS SOUPS 184391 WITH SCORE 184681.36
AT ITER 9612 NEW BEST:: SOT 1892747 SOS 290356 HAS SOPS 290356 HAS SOUS 184387 HAS SOUPS 184387 WITH SCORE 184677.356
AT ITER 9636 NEW BEST:: SOT 1892747 SOS 290258 HAS SOPS 290258 HAS SOUS 184387 HAS SOUPS 184387 WITH SCORE 184677.258
AT ITER 9637 NEW BEST:: SOT 1892745 SOS 290254 HAS SOPS 290254 HAS SOUS 184385 HAS SOUPS 184385 WITH SCORE 184675.254
AT ITER 9686 NEW BEST:: SOT 1892740 SOS 290244 HAS SOPS 290244 HAS SOUS 184375 HAS SOUPS 184375 WITH SCORE 184665.244
AT ITER 9803 NEW BEST:: SOT 1892711 SOS 290186 HAS SOPS 290186 HAS SOUS 184317 HAS SOUPS 184317 WITH SCORE 184607.186
AT ITER 9824 NEW BEST:: SOT 1892710 SOS 290184 HAS SOPS 290184 HAS SOUS 184315 HAS SOUPS 184315 WITH SCORE 184605.184
AT ITER 9829 NEW BEST:: SOT 1892709 SOS 290183 HAS SOPS 290183 HAS SOUS 184313 HAS SOUPS 184313 WITH SCORE 184603.183
AT ITER 9846 NEW BEST:: SOT 1892709 SOS 290183 HAS SOPS 290183 HAS SOUS 184211 HAS SOUPS 184211 WITH SCORE 184501.183
AT ITER 9867 NEW BEST:: SOT 1892626 SOS 290017 HAS SOPS 290017 HAS SOUS 184145 HAS SOUPS 184145 WITH SCORE 184435.017
AT ITER 9882 NEW BEST:: SOT 1892625 SOS 289966 HAS SOPS 289966 HAS SOUS 184143 HAS SOUPS 184143 WITH SCORE 184432.966
AT ITER 9982 NEW BEST:: SOT 1892608 SOS 289932 HAS SOPS 289932 HAS SOUS 184109 HAS SOUPS 184109 WITH SCORE 184398.932
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11819892 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122632 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyCommit-PT-04b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is StigmergyCommit-PT-04b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651200440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-04b.tgz
mv StigmergyCommit-PT-04b 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 ;