About the Execution of Smart+red for StigmergyElection-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2154.932 | 3600000.00 | 3863588.00 | 7704.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651600680.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 StigmergyElection-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651600680
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 38M
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 16:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 16:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 16:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 16:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 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 37M 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 1679469911674
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=StigmergyElection-PT-09b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 07:25:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 07:25:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 07:25:17] [INFO ] Load time of PNML (sax parser for PT used): 2128 ms
[2023-03-22 07:25:17] [INFO ] Transformed 1243 places.
[2023-03-22 07:25:17] [INFO ] Transformed 41210 transitions.
[2023-03-22 07:25:17] [INFO ] Found NUPN structural information;
[2023-03-22 07:25:17] [INFO ] Parsed PT model containing 1243 places and 41210 transitions and 720585 arcs in 2550 ms.
[2023-03-22 07:25:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1243 places, 41210 transitions and 720585 arcs took 433 ms.
Total runtime 3112 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 09b
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: 1243 places, 41210 transitions, 720585 arcs.
AT ITER 0 NEW BEST:: SOT 45438643 SOS 7390399 HAS SOPS 7390399 HAS SOUS 4646101 HAS SOUPS 4646101 WITH SCORE 4653491.399
AT ITER 5 NEW BEST:: SOT 45409064 SOS 12108921 HAS SOPS 12108921 HAS SOUS 4622572 HAS SOUPS 4622572 WITH SCORE 4634680.921
AT ITER 15 NEW BEST:: SOT 45409061 SOS 12108915 HAS SOPS 12108915 HAS SOUS 4622566 HAS SOUPS 4622566 WITH SCORE 4634674.915
AT ITER 17 NEW BEST:: SOT 45374273 SOS 16233017 HAS SOPS 16233017 HAS SOUS 4600664 HAS SOUPS 4600664 WITH SCORE 4616897.017
AT ITER 19 NEW BEST:: SOT 45324509 SOS 16230101 HAS SOPS 16230101 HAS SOUS 4555285 HAS SOUPS 4555285 WITH SCORE 4571515.101
AT ITER 60 NEW BEST:: SOT 45321666 SOS 16293692 HAS SOPS 16293692 HAS SOUS 4553882 HAS SOUPS 4553882 WITH SCORE 4570175.692
AT ITER 75 NEW BEST:: SOT 45321588 SOS 16293536 HAS SOPS 16293536 HAS SOUS 4553726 HAS SOUPS 4553726 WITH SCORE 4570019.536
AT ITER 77 NEW BEST:: SOT 45321482 SOS 16293324 HAS SOPS 16293324 HAS SOUS 4553460 HAS SOUPS 4553460 WITH SCORE 4569753.324
AT ITER 82 NEW BEST:: SOT 45317947 SOS 16350886 HAS SOPS 16350886 HAS SOUS 4551171 HAS SOUPS 4551171 WITH SCORE 4567521.886
AT ITER 84 NEW BEST:: SOT 45317713 SOS 16350418 HAS SOPS 16350418 HAS SOUS 4550703 HAS SOUPS 4550703 WITH SCORE 4567053.418
AT ITER 101 NEW BEST:: SOT 45317788 SOS 16350568 HAS SOPS 16350568 HAS SOUS 4550522 HAS SOUPS 4550522 WITH SCORE 4566872.568
AT ITER 127 NEW BEST:: SOT 45317661 SOS 16350314 HAS SOPS 16350314 HAS SOUS 4550268 HAS SOUPS 4550268 WITH SCORE 4566618.314
AT ITER 128 NEW BEST:: SOT 45317458 SOS 16349481 HAS SOPS 16349481 HAS SOUS 4549788 HAS SOUPS 4549788 WITH SCORE 4566137.481
AT ITER 131 NEW BEST:: SOT 45317352 SOS 16349375 HAS SOPS 16349375 HAS SOUS 4549682 HAS SOUPS 4549682 WITH SCORE 4566031.375
AT ITER 134 NEW BEST:: SOT 45281900 SOS 16313923 HAS SOPS 16313923 HAS SOUS 4514274 HAS SOUPS 4514274 WITH SCORE 4530587.923
AT ITER 146 NEW BEST:: SOT 45282043 SOS 16313911 HAS SOPS 16313911 HAS SOUS 4514262 HAS SOUPS 4514262 WITH SCORE 4530575.911
AT ITER 159 NEW BEST:: SOT 45281991 SOS 16313807 HAS SOPS 16313807 HAS SOUS 4514158 HAS SOUPS 4514158 WITH SCORE 4530471.807
AT ITER 210 NEW BEST:: SOT 45281990 SOS 16313805 HAS SOPS 16313805 HAS SOUS 4514156 HAS SOUPS 4514156 WITH SCORE 4530469.805
AT ITER 219 NEW BEST:: SOT 45281990 SOS 16313805 HAS SOPS 16313805 HAS SOUS 4513983 HAS SOUPS 4513983 WITH SCORE 4530296.805
AT ITER 235 NEW BEST:: SOT 45281841 SOS 16313596 HAS SOPS 16313596 HAS SOUS 4513923 HAS SOUPS 4513923 WITH SCORE 4530236.596
AT ITER 240 NEW BEST:: SOT 45281840 SOS 16313594 HAS SOPS 16313594 HAS SOUS 4513921 HAS SOUPS 4513921 WITH SCORE 4530234.594
AT ITER 241 NEW BEST:: SOT 45281787 SOS 16313541 HAS SOPS 16313541 HAS SOUS 4513868 HAS SOUPS 4513868 WITH SCORE 4530181.541
AT ITER 242 NEW BEST:: SOT 45279116 SOS 16402345 HAS SOPS 16402345 HAS SOUS 4513606 HAS SOUPS 4513606 WITH SCORE 4530008.345
AT ITER 252 NEW BEST:: SOT 45280331 SOS 16403715 HAS SOPS 16403715 HAS SOUS 4512640 HAS SOUPS 4512640 WITH SCORE 4529043.715
AT ITER 319 NEW BEST:: SOT 45247555 SOS 20757602 HAS SOPS 20757602 HAS SOUS 4482715 HAS SOUPS 4482715 WITH SCORE 4503472.602
AT ITER 324 NEW BEST:: SOT 45248517 SOS 20758806 HAS SOPS 20758806 HAS SOUS 4481295 HAS SOUPS 4481295 WITH SCORE 4502053.806
AT ITER 329 NEW BEST:: SOT 45248496 SOS 20758804 HAS SOPS 20758804 HAS SOUS 4481293 HAS SOUPS 4481293 WITH SCORE 4502051.804
AT ITER 331 NEW BEST:: SOT 45186820 SOS 25018593 HAS SOPS 25018593 HAS SOUS 4422269 HAS SOUPS 4422269 WITH SCORE 4447287.593
AT ITER 336 NEW BEST:: SOT 45186819 SOS 25018591 HAS SOPS 25018591 HAS SOUS 4422267 HAS SOUPS 4422267 WITH SCORE 4447285.591
AT ITER 337 NEW BEST:: SOT 45186803 SOS 25018559 HAS SOPS 25018559 HAS SOUS 4422235 HAS SOUPS 4422235 WITH SCORE 4447253.559
AT ITER 355 NEW BEST:: SOT 45141789 SOS 26540285 HAS SOPS 26540285 HAS SOUS 4387370 HAS SOUPS 4387370 WITH SCORE 4413910.285
AT ITER 358 NEW BEST:: SOT 45141789 SOS 26540196 HAS SOPS 26540196 HAS SOUS 4387281 HAS SOUPS 4387281 WITH SCORE 4413821.196
AT ITER 359 NEW BEST:: SOT 45059945 SOS 28884576 HAS SOPS 28884576 HAS SOUS 4350369 HAS SOUPS 4350369 WITH SCORE 4379253.576
AT ITER 360 NEW BEST:: SOT 45059945 SOS 28884576 HAS SOPS 28884576 HAS SOUS 4350155 HAS SOUPS 4350155 WITH SCORE 4379039.576
AT ITER 364 NEW BEST:: SOT 45060768 SOS 28795646 HAS SOPS 28795646 HAS SOUS 4350134 HAS SOUPS 4350134 WITH SCORE 4378929.646
AT ITER 373 NEW BEST:: SOT 45060749 SOS 28795608 HAS SOPS 28795608 HAS SOUS 4350096 HAS SOUPS 4350096 WITH SCORE 4378891.608
AT ITER 382 NEW BEST:: SOT 45060395 SOS 28794900 HAS SOPS 28794900 HAS SOUS 4349565 HAS SOUPS 4349565 WITH SCORE 4378359.9
AT ITER 389 NEW BEST:: SOT 45060201 SOS 28794512 HAS SOPS 28794512 HAS SOUS 4349043 HAS SOUPS 4349043 WITH SCORE 4377837.512
AT ITER 398 NEW BEST:: SOT 44970135 SOS 29092523 HAS SOPS 29092523 HAS SOUS 4266355 HAS SOUPS 4266355 WITH SCORE 4295447.523
AT ITER 406 NEW BEST:: SOT 44967283 SOS 29144339 HAS SOPS 29144339 HAS SOUS 4265528 HAS SOUPS 4265528 WITH SCORE 4294672.339
AT ITER 409 NEW BEST:: SOT 44967172 SOS 29091733 HAS SOPS 29091733 HAS SOUS 4264288 HAS SOUPS 4264288 WITH SCORE 4293379.733
AT ITER 423 NEW BEST:: SOT 44967091 SOS 29091571 HAS SOPS 29091571 HAS SOUS 4264126 HAS SOUPS 4264126 WITH SCORE 4293217.571
AT ITER 471 NEW BEST:: SOT 44967091 SOS 29085523 HAS SOPS 29085523 HAS SOUS 4264117 HAS SOUPS 4264117 WITH SCORE 4293202.523
AT ITER 477 NEW BEST:: SOT 44966993 SOS 29085425 HAS SOPS 29085425 HAS SOUS 4263763 HAS SOUPS 4263763 WITH SCORE 4292848.425
AT ITER 484 NEW BEST:: SOT 44966900 SOS 29071847 HAS SOPS 29071847 HAS SOUS 4263484 HAS SOUPS 4263484 WITH SCORE 4292555.847
AT ITER 486 NEW BEST:: SOT 44966899 SOS 29071845 HAS SOPS 29071845 HAS SOUS 4263482 HAS SOUPS 4263482 WITH SCORE 4292553.845
AT ITER 491 NEW BEST:: SOT 44961074 SOS 29069347 HAS SOPS 29069347 HAS SOUS 4261057 HAS SOUPS 4261057 WITH SCORE 4290126.347
AT ITER 507 NEW BEST:: SOT 44960905 SOS 29069009 HAS SOPS 29069009 HAS SOUS 4260881 HAS SOUPS 4260881 WITH SCORE 4289950.009
AT ITER 513 NEW BEST:: SOT 44960896 SOS 29068991 HAS SOPS 29068991 HAS SOUS 4260863 HAS SOUPS 4260863 WITH SCORE 4289931.991
AT ITER 514 NEW BEST:: SOT 44961050 SOS 29069083 HAS SOPS 29069083 HAS SOUS 4260764 HAS SOUPS 4260764 WITH SCORE 4289833.083
AT ITER 530 NEW BEST:: SOT 44804277 SOS 29529325 HAS SOPS 29529325 HAS SOUS 4150242 HAS SOUPS 4150242 WITH SCORE 4179771.325
AT ITER 550 NEW BEST:: SOT 44680724 SOS 29960381 HAS SOPS 29960381 HAS SOUS 4030479 HAS SOUPS 4030479 WITH SCORE 4060439.381
AT ITER 558 NEW BEST:: SOT 44672864 SOS 29963725 HAS SOPS 29963725 HAS SOUS 4023885 HAS SOUPS 4023885 WITH SCORE 4053848.725
AT ITER 560 NEW BEST:: SOT 44671490 SOS 29982089 HAS SOPS 29982089 HAS SOUS 4023726 HAS SOUPS 4023726 WITH SCORE 4053708.089
AT ITER 569 NEW BEST:: SOT 44671395 SOS 29981994 HAS SOPS 29981994 HAS SOUS 4023631 HAS SOUPS 4023631 WITH SCORE 4053612.994
AT ITER 582 NEW BEST:: SOT 44671395 SOS 29981987 HAS SOPS 29981987 HAS SOUS 4023631 HAS SOUPS 4023631 WITH SCORE 4053612.987
AT ITER 602 NEW BEST:: SOT 44671091 SOS 28528393 HAS SOPS 28528393 HAS SOUS 4022769 HAS SOUPS 4022769 WITH SCORE 4051297.393
AT ITER 611 NEW BEST:: SOT 44670811 SOS 28528067 HAS SOPS 28528067 HAS SOUS 4022393 HAS SOUPS 4022393 WITH SCORE 4050921.067
AT ITER 623 NEW BEST:: SOT 44491974 SOS 28798769 HAS SOPS 28798769 HAS SOUS 3854120 HAS SOUPS 3854120 WITH SCORE 3882918.769
AT ITER 624 NEW BEST:: SOT 44491908 SOS 28798637 HAS SOPS 28798637 HAS SOUS 3853988 HAS SOUPS 3853988 WITH SCORE 3882786.637
AT ITER 628 NEW BEST:: SOT 44491844 SOS 28798509 HAS SOPS 28798509 HAS SOUS 3853860 HAS SOUPS 3853860 WITH SCORE 3882658.509
AT ITER 667 NEW BEST:: SOT 44491492 SOS 28797805 HAS SOPS 28797805 HAS SOUS 3853332 HAS SOUPS 3853332 WITH SCORE 3882129.805
AT ITER 675 NEW BEST:: SOT 44491492 SOS 28797805 HAS SOPS 28797805 HAS SOUS 3853293 HAS SOUPS 3853293 WITH SCORE 3882090.805
AT ITER 702 NEW BEST:: SOT 44491429 SOS 28522117 HAS SOPS 28522117 HAS SOUS 3853104 HAS SOUPS 3853104 WITH SCORE 3881626.117
AT ITER 711 NEW BEST:: SOT 44491377 SOS 28522068 HAS SOPS 28522068 HAS SOUS 3853054 HAS SOUPS 3853054 WITH SCORE 3881576.068
AT ITER 729 NEW BEST:: SOT 44491376 SOS 28522066 HAS SOPS 28522066 HAS SOUS 3853052 HAS SOUPS 3853052 WITH SCORE 3881574.066
AT ITER 746 NEW BEST:: SOT 44491210 SOS 28521734 HAS SOPS 28521734 HAS SOUS 3852886 HAS SOUPS 3852886 WITH SCORE 3881407.734
AT ITER 749 NEW BEST:: SOT 44268875 SOS 28723699 HAS SOPS 28723699 HAS SOUS 3695922 HAS SOUPS 3695922 WITH SCORE 3724645.699
AT ITER 750 NEW BEST:: SOT 44268810 SOS 28723569 HAS SOPS 28723569 HAS SOUS 3695792 HAS SOUPS 3695792 WITH SCORE 3724515.569
AT ITER 756 NEW BEST:: SOT 44268772 SOS 28723539 HAS SOPS 28723539 HAS SOUS 3695758 HAS SOUPS 3695758 WITH SCORE 3724481.539
AT ITER 793 NEW BEST:: SOT 43924517 SOS 28491664 HAS SOPS 28491664 HAS SOUS 3546217 HAS SOUPS 3546217 WITH SCORE 3574708.664
AT ITER 815 NEW BEST:: SOT 43924362 SOS 27851778 HAS SOPS 27851778 HAS SOUS 3544580 HAS SOUPS 3544580 WITH SCORE 3572431.778
AT ITER 819 NEW BEST:: SOT 43908014 SOS 27900122 HAS SOPS 27900122 HAS SOUS 3530524 HAS SOUPS 3530524 WITH SCORE 3558424.122
AT ITER 827 NEW BEST:: SOT 43908014 SOS 26610332 HAS SOPS 26610332 HAS SOUS 3525790 HAS SOUPS 3525790 WITH SCORE 3552400.332
AT ITER 849 NEW BEST:: SOT 43908013 SOS 26610330 HAS SOPS 26610330 HAS SOUS 3525788 HAS SOUPS 3525788 WITH SCORE 3552398.33
AT ITER 871 NEW BEST:: SOT 43907894 SOS 25687178 HAS SOPS 25687178 HAS SOUS 3525339 HAS SOUPS 3525339 WITH SCORE 3551026.178
AT ITER 874 NEW BEST:: SOT 43907877 SOS 25687144 HAS SOPS 25687144 HAS SOUS 3525305 HAS SOUPS 3525305 WITH SCORE 3550992.144
AT ITER 883 NEW BEST:: SOT 43907877 SOS 25687144 HAS SOPS 25687144 HAS SOUS 3525256 HAS SOUPS 3525256 WITH SCORE 3550943.144
AT ITER 913 NEW BEST:: SOT 43908067 SOS 25687524 HAS SOPS 25687524 HAS SOUS 3524708 HAS SOUPS 3524708 WITH SCORE 3550395.524
AT ITER 923 NEW BEST:: SOT 43907848 SOS 25352610 HAS SOPS 25352610 HAS SOUS 3521277 HAS SOUPS 3521277 WITH SCORE 3546629.61
AT ITER 928 NEW BEST:: SOT 43907806 SOS 25214766 HAS SOPS 25214766 HAS SOUS 3521214 HAS SOUPS 3521214 WITH SCORE 3546428.766
AT ITER 929 NEW BEST:: SOT 43907777 SOS 25214708 HAS SOPS 25214708 HAS SOUS 3521156 HAS SOUPS 3521156 WITH SCORE 3546370.708
AT ITER 943 NEW BEST:: SOT 43907690 SOS 25214620 HAS SOPS 25214620 HAS SOUS 3521068 HAS SOUPS 3521068 WITH SCORE 3546282.62
AT ITER 946 NEW BEST:: SOT 43907569 SOS 25214378 HAS SOPS 25214378 HAS SOUS 3520826 HAS SOUPS 3520826 WITH SCORE 3546040.378
AT ITER 948 NEW BEST:: SOT 43907569 SOS 25214378 HAS SOPS 25214378 HAS SOUS 3520824 HAS SOUPS 3520824 WITH SCORE 3546038.378
AT ITER 953 NEW BEST:: SOT 43906962 SOS 25213557 HAS SOPS 25213557 HAS SOUS 3520003 HAS SOUPS 3520003 WITH SCORE 3545216.557
AT ITER 991 NEW BEST:: SOT 43906942 SOS 25213517 HAS SOPS 25213517 HAS SOUS 3519963 HAS SOUPS 3519963 WITH SCORE 3545176.517
AT ITER 1002 NEW BEST:: SOT 43627382 SOS 25313676 HAS SOPS 25313676 HAS SOUS 3263936 HAS SOUPS 3263936 WITH SCORE 3289249.676
AT ITER 1051 NEW BEST:: SOT 43627319 SOS 24986634 HAS SOPS 24986634 HAS SOUS 3256035 HAS SOUPS 3256035 WITH SCORE 3281021.634
AT ITER 1056 NEW BEST:: SOT 43627319 SOS 24986450 HAS SOPS 24986450 HAS SOUS 3255851 HAS SOUPS 3255851 WITH SCORE 3280837.45
AT ITER 1073 NEW BEST:: SOT 43627294 SOS 25169444 HAS SOPS 25169444 HAS SOUS 3254479 HAS SOUPS 3254479 WITH SCORE 3279648.444
AT ITER 1075 NEW BEST:: SOT 43627012 SOS 25168880 HAS SOPS 25168880 HAS SOUS 3254188 HAS SOUPS 3254188 WITH SCORE 3279356.88
AT ITER 1080 NEW BEST:: SOT 43626981 SOS 25168818 HAS SOPS 25168818 HAS SOUS 3254126 HAS SOUPS 3254126 WITH SCORE 3279294.818
AT ITER 1093 NEW BEST:: SOT 43626895 SOS 25168646 HAS SOPS 25168646 HAS SOUS 3254040 HAS SOUPS 3254040 WITH SCORE 3279208.646
AT ITER 1116 NEW BEST:: SOT 43626895 SOS 25168646 HAS SOPS 25168646 HAS SOUS 3253978 HAS SOUPS 3253978 WITH SCORE 3279146.646
AT ITER 1128 NEW BEST:: SOT 43626762 SOS 23862940 HAS SOPS 23862940 HAS SOUS 3253712 HAS SOUPS 3253712 WITH SCORE 3277574.94
AT ITER 1158 NEW BEST:: SOT 43626694 SOS 23724080 HAS SOPS 23724080 HAS SOUS 3253418 HAS SOUPS 3253418 WITH SCORE 3277142.08
AT ITER 1162 NEW BEST:: SOT 43626676 SOS 23724044 HAS SOPS 23724044 HAS SOUS 3253382 HAS SOUPS 3253382 WITH SCORE 3277106.044
AT ITER 1170 NEW BEST:: SOT 43626675 SOS 23724042 HAS SOPS 23724042 HAS SOUS 3253380 HAS SOUPS 3253380 WITH SCORE 3277104.042
AT ITER 1176 NEW BEST:: SOT 43188302 SOS 24579908 HAS SOPS 24579908 HAS SOUS 2847710 HAS SOUPS 2847710 WITH SCORE 2872289.908
AT ITER 1177 NEW BEST:: SOT 43188233 SOS 24579770 HAS SOPS 24579770 HAS SOUS 2847641 HAS SOUPS 2847641 WITH SCORE 2872220.77
AT ITER 1182 NEW BEST:: SOT 43188171 SOS 24579646 HAS SOPS 24579646 HAS SOUS 2847517 HAS SOUPS 2847517 WITH SCORE 2872096.646
AT ITER 1239 NEW BEST:: SOT 43187987 SOS 24579576 HAS SOPS 24579576 HAS SOUS 2847383 HAS SOUPS 2847383 WITH SCORE 2871962.576
AT ITER 1260 NEW BEST:: SOT 43187909 SOS 24579420 HAS SOPS 24579420 HAS SOUS 2847305 HAS SOUPS 2847305 WITH SCORE 2871884.42
AT ITER 1283 NEW BEST:: SOT 43187861 SOS 24579371 HAS SOPS 24579371 HAS SOUS 2847256 HAS SOUPS 2847256 WITH SCORE 2871835.371
AT ITER 1294 NEW BEST:: SOT 43187860 SOS 24579369 HAS SOPS 24579369 HAS SOUS 2847254 HAS SOUPS 2847254 WITH SCORE 2871833.369
AT ITER 1301 NEW BEST:: SOT 43173958 SOS 24568301 HAS SOPS 24568301 HAS SOUS 2834110 HAS SOUPS 2834110 WITH SCORE 2858678.301
AT ITER 1304 NEW BEST:: SOT 43168179 SOS 24609456 HAS SOPS 24609456 HAS SOUS 2833236 HAS SOUPS 2833236 WITH SCORE 2857845.456
AT ITER 1356 NEW BEST:: SOT 43168088 SOS 23871634 HAS SOPS 23871634 HAS SOUS 2830850 HAS SOUPS 2830850 WITH SCORE 2854721.634
AT ITER 1363 NEW BEST:: SOT 43168056 SOS 23871570 HAS SOPS 23871570 HAS SOUS 2830786 HAS SOUPS 2830786 WITH SCORE 2854657.57
AT ITER 1371 NEW BEST:: SOT 43168016 SOS 23871490 HAS SOPS 23871490 HAS SOUS 2830573 HAS SOUPS 2830573 WITH SCORE 2854444.49
AT ITER 1377 NEW BEST:: SOT 43167940 SOS 23871338 HAS SOPS 23871338 HAS SOUS 2830421 HAS SOUPS 2830421 WITH SCORE 2854292.338
AT ITER 1407 NEW BEST:: SOT 43167825 SOS 23871108 HAS SOPS 23871108 HAS SOUS 2830306 HAS SOUPS 2830306 WITH SCORE 2854177.108
AT ITER 1408 NEW BEST:: SOT 43167812 SOS 23871110 HAS SOPS 23871110 HAS SOUS 2830302 HAS SOUPS 2830302 WITH SCORE 2854173.11
AT ITER 1432 NEW BEST:: SOT 43167697 SOS 23870880 HAS SOPS 23870880 HAS SOUS 2830072 HAS SOUPS 2830072 WITH SCORE 2853942.88
AT ITER 1434 NEW BEST:: SOT 43167566 SOS 23100980 HAS SOPS 23100980 HAS SOUS 2829504 HAS SOUPS 2829504 WITH SCORE 2852604.98
AT ITER 1435 NEW BEST:: SOT 43167566 SOS 23100980 HAS SOPS 23100980 HAS SOUS 2829216 HAS SOUPS 2829216 WITH SCORE 2852316.98
AT ITER 1448 NEW BEST:: SOT 43167509 SOS 23100866 HAS SOPS 23100866 HAS SOUS 2829102 HAS SOUPS 2829102 WITH SCORE 2852202.866
AT ITER 1488 NEW BEST:: SOT 43167445 SOS 23100738 HAS SOPS 23100738 HAS SOUS 2828923 HAS SOUPS 2828923 WITH SCORE 2852023.738
AT ITER 1515 NEW BEST:: SOT 43167405 SOS 23100658 HAS SOPS 23100658 HAS SOUS 2828882 HAS SOUPS 2828882 WITH SCORE 2851982.658
AT ITER 1520 NEW BEST:: SOT 43167355 SOS 23100558 HAS SOPS 23100558 HAS SOUS 2828782 HAS SOUPS 2828782 WITH SCORE 2851882.558
AT ITER 1522 NEW BEST:: SOT 43167290 SOS 23063053 HAS SOPS 23063053 HAS SOUS 2824557 HAS SOUPS 2824557 WITH SCORE 2847620.053
AT ITER 1525 NEW BEST:: SOT 43167289 SOS 23063051 HAS SOPS 23063051 HAS SOUS 2824555 HAS SOUPS 2824555 WITH SCORE 2847618.051
AT ITER 1540 NEW BEST:: SOT 43167288 SOS 23063049 HAS SOPS 23063049 HAS SOUS 2824553 HAS SOUPS 2824553 WITH SCORE 2847616.049
AT ITER 1561 NEW BEST:: SOT 43167436 SOS 23063345 HAS SOPS 23063345 HAS SOUS 2824391 HAS SOUPS 2824391 WITH SCORE 2847454.345
AT ITER 1570 NEW BEST:: SOT 43167422 SOS 23063317 HAS SOPS 23063317 HAS SOUS 2824377 HAS SOUPS 2824377 WITH SCORE 2847440.317
AT ITER 1573 NEW BEST:: SOT 43167356 SOS 23063185 HAS SOPS 23063185 HAS SOUS 2824311 HAS SOUPS 2824311 WITH SCORE 2847374.185
AT ITER 1586 NEW BEST:: SOT 43167190 SOS 23062853 HAS SOPS 23062853 HAS SOUS 2824145 HAS SOUPS 2824145 WITH SCORE 2847207.853
AT ITER 1591 NEW BEST:: SOT 43167190 SOS 22829573 HAS SOPS 22829573 HAS SOUS 2823295 HAS SOUPS 2823295 WITH SCORE 2846124.573
AT ITER 1599 NEW BEST:: SOT 43167129 SOS 22829525 HAS SOPS 22829525 HAS SOUS 2823240 HAS SOUPS 2823240 WITH SCORE 2846069.525
AT ITER 1613 NEW BEST:: SOT 43167123 SOS 22829511 HAS SOPS 22829511 HAS SOUS 2823226 HAS SOUPS 2823226 WITH SCORE 2846055.511
AT ITER 1621 NEW BEST:: SOT 43167090 SOS 22829478 HAS SOPS 22829478 HAS SOUS 2823193 HAS SOUPS 2823193 WITH SCORE 2846022.478
AT ITER 1640 NEW BEST:: SOT 43167011 SOS 22829320 HAS SOPS 22829320 HAS SOUS 2823035 HAS SOUPS 2823035 WITH SCORE 2845864.32
AT ITER 1649 NEW BEST:: SOT 43166851 SOS 22829080 HAS SOPS 22829080 HAS SOUS 2822875 HAS SOUPS 2822875 WITH SCORE 2845704.08
AT ITER 1657 NEW BEST:: SOT 42687417 SOS 24433950 HAS SOPS 24433950 HAS SOUS 2579781 HAS SOUPS 2579781 WITH SCORE 2604214.95
AT ITER 1668 NEW BEST:: SOT 42687410 SOS 24433943 HAS SOPS 24433943 HAS SOUS 2579774 HAS SOUPS 2579774 WITH SCORE 2604207.943
AT ITER 1671 NEW BEST:: SOT 42687330 SOS 24433783 HAS SOPS 24433783 HAS SOUS 2579614 HAS SOUPS 2579614 WITH SCORE 2604047.783
AT ITER 1687 NEW BEST:: SOT 42683217 SOS 24455625 HAS SOPS 24455625 HAS SOUS 2579165 HAS SOUPS 2579165 WITH SCORE 2603620.625
AT ITER 1688 NEW BEST:: SOT 42683178 SOS 24199668 HAS SOPS 24199668 HAS SOUS 2579087 HAS SOUPS 2579087 WITH SCORE 2603286.668
AT ITER 1691 NEW BEST:: SOT 42683175 SOS 24199662 HAS SOPS 24199662 HAS SOUS 2579081 HAS SOUPS 2579081 WITH SCORE 2603280.662
AT ITER 1694 NEW BEST:: SOT 42683052 SOS 24199416 HAS SOPS 24199416 HAS SOUS 2578778 HAS SOUPS 2578778 WITH SCORE 2602977.416
AT ITER 1715 NEW BEST:: SOT 42683052 SOS 24199278 HAS SOPS 24199278 HAS SOUS 2578640 HAS SOUPS 2578640 WITH SCORE 2602839.278
AT ITER 1731 NEW BEST:: SOT 42682933 SOS 24199100 HAS SOPS 24199100 HAS SOUS 2578462 HAS SOUPS 2578462 WITH SCORE 2602661.1
AT ITER 1745 NEW BEST:: SOT 42682913 SOS 24199060 HAS SOPS 24199060 HAS SOUS 2578423 HAS SOUPS 2578423 WITH SCORE 2602622.06
AT ITER 1755 NEW BEST:: SOT 42682996 SOS 24199226 HAS SOPS 24199226 HAS SOUS 2578362 HAS SOUPS 2578362 WITH SCORE 2602561.226
AT ITER 1759 NEW BEST:: SOT 42682893 SOS 24199020 HAS SOPS 24199020 HAS SOUS 2578153 HAS SOUPS 2578153 WITH SCORE 2602352.02
AT ITER 1760 NEW BEST:: SOT 42682789 SOS 24198812 HAS SOPS 24198812 HAS SOUS 2578103 HAS SOUPS 2578103 WITH SCORE 2602301.812
AT ITER 1769 NEW BEST:: SOT 42047255 SOS 25285461 HAS SOPS 25285461 HAS SOUS 1962383 HAS SOUPS 1962383 WITH SCORE 1987668.461
AT ITER 1782 NEW BEST:: SOT 42030943 SOS 25332826 HAS SOPS 25332826 HAS SOUS 1947028 HAS SOUPS 1947028 WITH SCORE 1972360.826
AT ITER 1783 NEW BEST:: SOT 42030906 SOS 25332885 HAS SOPS 25332885 HAS SOUS 1946991 HAS SOUPS 1946991 WITH SCORE 1972323.885
AT ITER 1791 NEW BEST:: SOT 41986559 SOS 25288540 HAS SOPS 25288540 HAS SOUS 1902646 HAS SOUPS 1902646 WITH SCORE 1927934.54
AT ITER 1792 NEW BEST:: SOT 41986558 SOS 25288538 HAS SOPS 25288538 HAS SOUS 1902644 HAS SOUPS 1902644 WITH SCORE 1927932.538
AT ITER 1794 NEW BEST:: SOT 41986379 SOS 25288180 HAS SOPS 25288180 HAS SOUS 1902286 HAS SOUPS 1902286 WITH SCORE 1927574.18
AT ITER 1801 NEW BEST:: SOT 41986336 SOS 25288094 HAS SOPS 25288094 HAS SOUS 1902200 HAS SOUPS 1902200 WITH SCORE 1927488.094
AT ITER 1802 NEW BEST:: SOT 41986282 SOS 25288037 HAS SOPS 25288037 HAS SOUS 1902143 HAS SOUPS 1902143 WITH SCORE 1927431.037
AT ITER 1805 NEW BEST:: SOT 41986118 SOS 24986389 HAS SOPS 24986389 HAS SOUS 1900387 HAS SOUPS 1900387 WITH SCORE 1925373.389
AT ITER 1806 NEW BEST:: SOT 41986002 SOS 24986215 HAS SOPS 24986215 HAS SOUS 1900213 HAS SOUPS 1900213 WITH SCORE 1925199.215
AT ITER 1809 NEW BEST:: SOT 41986092 SOS 24986395 HAS SOPS 24986395 HAS SOUS 1900151 HAS SOUPS 1900151 WITH SCORE 1925137.395
AT ITER 1811 NEW BEST:: SOT 41986092 SOS 24919099 HAS SOPS 24919099 HAS SOUS 1889367 HAS SOUPS 1889367 WITH SCORE 1914286.099
AT ITER 1814 NEW BEST:: SOT 41986031 SOS 24919080 HAS SOPS 24919080 HAS SOUS 1889306 HAS SOUPS 1889306 WITH SCORE 1914225.08
AT ITER 1815 NEW BEST:: SOT 41986031 SOS 24918940 HAS SOPS 24918940 HAS SOUS 1889166 HAS SOUPS 1889166 WITH SCORE 1914084.94
AT ITER 1838 NEW BEST:: SOT 41985323 SOS 24918310 HAS SOPS 24918310 HAS SOUS 1888536 HAS SOUPS 1888536 WITH SCORE 1913454.31
AT ITER 1847 NEW BEST:: SOT 41985171 SOS 24918006 HAS SOPS 24918006 HAS SOUS 1888019 HAS SOUPS 1888019 WITH SCORE 1912937.006
AT ITER 1851 NEW BEST:: SOT 41984398 SOS 24916460 HAS SOPS 24916460 HAS SOUS 1886186 HAS SOUPS 1886186 WITH SCORE 1911102.46
AT ITER 1862 NEW BEST:: SOT 41984296 SOS 24916256 HAS SOPS 24916256 HAS SOUS 1886084 HAS SOUPS 1886084 WITH SCORE 1911000.256
AT ITER 1870 NEW BEST:: SOT 41984233 SOS 24916130 HAS SOPS 24916130 HAS SOUS 1885958 HAS SOUPS 1885958 WITH SCORE 1910874.13
AT ITER 1875 NEW BEST:: SOT 41984233 SOS 24916122 HAS SOPS 24916122 HAS SOUS 1885957 HAS SOUPS 1885957 WITH SCORE 1910873.122
AT ITER 1884 NEW BEST:: SOT 41984233 SOS 24916122 HAS SOPS 24916122 HAS SOUS 1885813 HAS SOUPS 1885813 WITH SCORE 1910729.122
AT ITER 1891 NEW BEST:: SOT 41983670 SOS 24915358 HAS SOPS 24915358 HAS SOUS 1884929 HAS SOUPS 1884929 WITH SCORE 1909844.358
AT ITER 1895 NEW BEST:: SOT 41983602 SOS 24915256 HAS SOPS 24915256 HAS SOUS 1884861 HAS SOUPS 1884861 WITH SCORE 1909776.256
AT ITER 1907 NEW BEST:: SOT 41983602 SOS 24915083 HAS SOPS 24915083 HAS SOUS 1884861 HAS SOUPS 1884861 WITH SCORE 1909776.083
AT ITER 1913 NEW BEST:: SOT 41983081 SOS 24914041 HAS SOPS 24914041 HAS SOUS 1884206 HAS SOUPS 1884206 WITH SCORE 1909120.041
AT ITER 1920 NEW BEST:: SOT 41983147 SOS 24914173 HAS SOPS 24914173 HAS SOUS 1884205 HAS SOUPS 1884205 WITH SCORE 1909119.173
AT ITER 1930 NEW BEST:: SOT 41985264 SOS 24906999 HAS SOPS 24906999 HAS SOUS 1884014 HAS SOUPS 1884014 WITH SCORE 1908920.999
AT ITER 1942 NEW BEST:: SOT 41985160 SOS 23037635 HAS SOPS 23037635 HAS SOUS 1883325 HAS SOUPS 1883325 WITH SCORE 1906362.635
AT ITER 1950 NEW BEST:: SOT 41984930 SOS 23037175 HAS SOPS 23037175 HAS SOUS 1883092 HAS SOUPS 1883092 WITH SCORE 1906129.175
AT ITER 1960 NEW BEST:: SOT 41984929 SOS 23037173 HAS SOPS 23037173 HAS SOUS 1883090 HAS SOUPS 1883090 WITH SCORE 1906127.173
AT ITER 1962 NEW BEST:: SOT 41984750 SOS 23036636 HAS SOPS 23036636 HAS SOUS 1882909 HAS SOUPS 1882909 WITH SCORE 1905945.636
AT ITER 1968 NEW BEST:: SOT 41984594 SOS 23036324 HAS SOPS 23036324 HAS SOUS 1882597 HAS SOUPS 1882597 WITH SCORE 1905633.324
AT ITER 1983 NEW BEST:: SOT 41984555 SOS 23036246 HAS SOPS 23036246 HAS SOUS 1882553 HAS SOUPS 1882553 WITH SCORE 1905589.246
AT ITER 1992 NEW BEST:: SOT 41984542 SOS 23036220 HAS SOPS 23036220 HAS SOUS 1882408 HAS SOUPS 1882408 WITH SCORE 1905444.22
AT ITER 2005 NEW BEST:: SOT 41984481 SOS 23036098 HAS SOPS 23036098 HAS SOUS 1882355 HAS SOUPS 1882355 WITH SCORE 1905391.098
AT ITER 2019 NEW BEST:: SOT 41984280 SOS 23035874 HAS SOPS 23035874 HAS SOUS 1862108 HAS SOUPS 1862108 WITH SCORE 1885143.874
AT ITER 2037 NEW BEST:: SOT 41956880 SOS 23009042 HAS SOPS 23009042 HAS SOUS 1834500 HAS SOUPS 1834500 WITH SCORE 1857509.042
AT ITER 2038 NEW BEST:: SOT 41956880 SOS 23009042 HAS SOPS 23009042 HAS SOUS 1834317 HAS SOUPS 1834317 WITH SCORE 1857326.042
AT ITER 2046 NEW BEST:: SOT 41956813 SOS 22981759 HAS SOPS 22981759 HAS SOUS 1833213 HAS SOUPS 1833213 WITH SCORE 1856194.759
AT ITER 2082 NEW BEST:: SOT 41956801 SOS 22981735 HAS SOPS 22981735 HAS SOUS 1833201 HAS SOUPS 1833201 WITH SCORE 1856182.735
AT ITER 2084 NEW BEST:: SOT 41956708 SOS 22981549 HAS SOPS 22981549 HAS SOUS 1832464 HAS SOUPS 1832464 WITH SCORE 1855445.549
AT ITER 2096 NEW BEST:: SOT 41956659 SOS 22981451 HAS SOPS 22981451 HAS SOUS 1832320 HAS SOUPS 1832320 WITH SCORE 1855301.451
AT ITER 2105 NEW BEST:: SOT 41951475 SOS 22976267 HAS SOPS 22976267 HAS SOUS 1827019 HAS SOUPS 1827019 WITH SCORE 1849995.267
AT ITER 2125 NEW BEST:: SOT 41951462 SOS 22976241 HAS SOPS 22976241 HAS SOUS 1826993 HAS SOUPS 1826993 WITH SCORE 1849969.241
AT ITER 2130 NEW BEST:: SOT 41951278 SOS 22975873 HAS SOPS 22975873 HAS SOUS 1826721 HAS SOUPS 1826721 WITH SCORE 1849696.873
AT ITER 2132 NEW BEST:: SOT 41951122 SOS 22159567 HAS SOPS 22159567 HAS SOUS 1825228 HAS SOUPS 1825228 WITH SCORE 1847387.567
AT ITER 2137 NEW BEST:: SOT 41951085 SOS 22159540 HAS SOPS 22159540 HAS SOUS 1825177 HAS SOUPS 1825177 WITH SCORE 1847336.54
AT ITER 2138 NEW BEST:: SOT 41951131 SOS 22159387 HAS SOPS 22159387 HAS SOUS 1825024 HAS SOUPS 1825024 WITH SCORE 1847183.387
AT ITER 2141 NEW BEST:: SOT 41951614 SOS 22158369 HAS SOPS 22158369 HAS SOUS 1824905 HAS SOUPS 1824905 WITH SCORE 1847063.369
AT ITER 2150 NEW BEST:: SOT 41951452 SOS 22158207 HAS SOPS 22158207 HAS SOUS 1822799 HAS SOUPS 1822799 WITH SCORE 1844957.207
AT ITER 2168 NEW BEST:: SOT 41951450 SOS 22158203 HAS SOPS 22158203 HAS SOUS 1822795 HAS SOUPS 1822795 WITH SCORE 1844953.203
AT ITER 2174 NEW BEST:: SOT 41951333 SOS 21673796 HAS SOPS 21673796 HAS SOUS 1822468 HAS SOUPS 1822468 WITH SCORE 1844141.796
AT ITER 2177 NEW BEST:: SOT 41951147 SOS 21673943 HAS SOPS 21673943 HAS SOUS 1822448 HAS SOUPS 1822448 WITH SCORE 1844121.943
AT ITER 2190 NEW BEST:: SOT 41951142 SOS 21673938 HAS SOPS 21673938 HAS SOUS 1822448 HAS SOUPS 1822448 WITH SCORE 1844121.938
AT ITER 2197 NEW BEST:: SOT 41950894 SOS 21673442 HAS SOPS 21673442 HAS SOUS 1821952 HAS SOUPS 1821952 WITH SCORE 1843625.442
AT ITER 2199 NEW BEST:: SOT 41950793 SOS 21673341 HAS SOPS 21673341 HAS SOUS 1821851 HAS SOUPS 1821851 WITH SCORE 1843524.341
AT ITER 2207 NEW BEST:: SOT 41950599 SOS 21672953 HAS SOPS 21672953 HAS SOUS 1821742 HAS SOUPS 1821742 WITH SCORE 1843414.953
AT ITER 2212 NEW BEST:: SOT 41950578 SOS 21672905 HAS SOPS 21672905 HAS SOUS 1821657 HAS SOUPS 1821657 WITH SCORE 1843329.905
AT ITER 2238 NEW BEST:: SOT 41950552 SOS 21672853 HAS SOPS 21672853 HAS SOUS 1821605 HAS SOUPS 1821605 WITH SCORE 1843277.853
AT ITER 2239 NEW BEST:: SOT 41950552 SOS 21672801 HAS SOPS 21672801 HAS SOUS 1821605 HAS SOUPS 1821605 WITH SCORE 1843277.801
AT ITER 2255 NEW BEST:: SOT 41905397 SOS 21704187 HAS SOPS 21704187 HAS SOUS 1801495 HAS SOUPS 1801495 WITH SCORE 1823199.187
AT ITER 2266 NEW BEST:: SOT 41905216 SOS 21703825 HAS SOPS 21703825 HAS SOUS 1801455 HAS SOUPS 1801455 WITH SCORE 1823158.825
AT ITER 2269 NEW BEST:: SOT 41904987 SOS 21703367 HAS SOPS 21703367 HAS SOUS 1800997 HAS SOUPS 1800997 WITH SCORE 1822700.367
AT ITER 2277 NEW BEST:: SOT 41904901 SOS 21703195 HAS SOPS 21703195 HAS SOUS 1800824 HAS SOUPS 1800824 WITH SCORE 1822527.195
AT ITER 2279 NEW BEST:: SOT 41904901 SOS 21703202 HAS SOPS 21703202 HAS SOUS 1800814 HAS SOUPS 1800814 WITH SCORE 1822517.202
AT ITER 2299 NEW BEST:: SOT 41904856 SOS 21703112 HAS SOPS 21703112 HAS SOUS 1800724 HAS SOUPS 1800724 WITH SCORE 1822427.112
AT ITER 2306 NEW BEST:: SOT 41904768 SOS 21703024 HAS SOPS 21703024 HAS SOUS 1800636 HAS SOUPS 1800636 WITH SCORE 1822339.024
AT ITER 2309 NEW BEST:: SOT 41903591 SOS 21702871 HAS SOPS 21702871 HAS SOUS 1799546 HAS SOUPS 1799546 WITH SCORE 1821248.871
AT ITER 2312 NEW BEST:: SOT 41903385 SOS 21702659 HAS SOPS 21702659 HAS SOUS 1799334 HAS SOUPS 1799334 WITH SCORE 1821036.659
AT ITER 2321 NEW BEST:: SOT 41903370 SOS 21702629 HAS SOPS 21702629 HAS SOUS 1799304 HAS SOUPS 1799304 WITH SCORE 1821006.629
AT ITER 2332 NEW BEST:: SOT 41903370 SOS 21702629 HAS SOPS 21702629 HAS SOUS 1799014 HAS SOUPS 1799014 WITH SCORE 1820716.629
AT ITER 2334 NEW BEST:: SOT 41903370 SOS 20456039 HAS SOPS 20456039 HAS SOUS 1799014 HAS SOUPS 1799014 WITH SCORE 1819470.039
AT ITER 2338 NEW BEST:: SOT 41903386 SOS 20456178 HAS SOPS 20456178 HAS SOUS 1798984 HAS SOUPS 1798984 WITH SCORE 1819440.178
AT ITER 2343 NEW BEST:: SOT 41903345 SOS 20456096 HAS SOPS 20456096 HAS SOUS 1798902 HAS SOUPS 1798902 WITH SCORE 1819358.096
AT ITER 2367 NEW BEST:: SOT 41903328 SOS 20456062 HAS SOPS 20456062 HAS SOUS 1798868 HAS SOUPS 1798868 WITH SCORE 1819324.062
AT ITER 2380 NEW BEST:: SOT 41903318 SOS 20456042 HAS SOPS 20456042 HAS SOUS 1798848 HAS SOUPS 1798848 WITH SCORE 1819304.042
AT ITER 2398 NEW BEST:: SOT 41903219 SOS 20455844 HAS SOPS 20455844 HAS SOUS 1798650 HAS SOUPS 1798650 WITH SCORE 1819105.844
AT ITER 2402 NEW BEST:: SOT 41903123 SOS 20455889 HAS SOPS 20455889 HAS SOUS 1798646 HAS SOUPS 1798646 WITH SCORE 1819101.889
AT ITER 2407 NEW BEST:: SOT 41902954 SOS 20455551 HAS SOPS 20455551 HAS SOUS 1798446 HAS SOUPS 1798446 WITH SCORE 1818901.551
AT ITER 2419 NEW BEST:: SOT 41902839 SOS 20332561 HAS SOPS 20332561 HAS SOUS 1794819 HAS SOUPS 1794819 WITH SCORE 1815151.561
AT ITER 2431 NEW BEST:: SOT 41902619 SOS 20332121 HAS SOPS 20332121 HAS SOUS 1794599 HAS SOUPS 1794599 WITH SCORE 1814931.121
AT ITER 2442 NEW BEST:: SOT 41902516 SOS 20331915 HAS SOPS 20331915 HAS SOUS 1794393 HAS SOUPS 1794393 WITH SCORE 1814724.915
AT ITER 2474 NEW BEST:: SOT 41902390 SOS 20331663 HAS SOPS 20331663 HAS SOUS 1794267 HAS SOUPS 1794267 WITH SCORE 1814598.663
AT ITER 2479 NEW BEST:: SOT 41902341 SOS 20331661 HAS SOPS 20331661 HAS SOUS 1794265 HAS SOUPS 1794265 WITH SCORE 1814596.661
AT ITER 2485 NEW BEST:: SOT 41902181 SOS 20166618 HAS SOPS 20166618 HAS SOUS 1786582 HAS SOUPS 1786582 WITH SCORE 1806748.618
AT ITER 2488 NEW BEST:: SOT 41902128 SOS 20166512 HAS SOPS 20166512 HAS SOUS 1786476 HAS SOUPS 1786476 WITH SCORE 1806642.512
AT ITER 2518 NEW BEST:: SOT 41902094 SOS 20173898 HAS SOPS 20173898 HAS SOUS 1786399 HAS SOUPS 1786399 WITH SCORE 1806572.898
AT ITER 2525 NEW BEST:: SOT 41902050 SOS 20173810 HAS SOPS 20173810 HAS SOUS 1786311 HAS SOUPS 1786311 WITH SCORE 1806484.81
AT ITER 2565 NEW BEST:: SOT 41901541 SOS 20173192 HAS SOPS 20173192 HAS SOUS 1785693 HAS SOUPS 1785693 WITH SCORE 1805866.192
AT ITER 2567 NEW BEST:: SOT 41901405 SOS 18841037 HAS SOPS 18841037 HAS SOUS 1785373 HAS SOUPS 1785373 WITH SCORE 1804214.037
AT ITER 2576 NEW BEST:: SOT 41901404 SOS 18841035 HAS SOPS 18841035 HAS SOUS 1785371 HAS SOUPS 1785371 WITH SCORE 1804212.035
AT ITER 2590 NEW BEST:: SOT 41901346 SOS 18460381 HAS SOPS 18460381 HAS SOUS 1785255 HAS SOUPS 1785255 WITH SCORE 1803715.381
AT ITER 2619 NEW BEST:: SOT 41901321 SOS 18460331 HAS SOPS 18460331 HAS SOUS 1785219 HAS SOUPS 1785219 WITH SCORE 1803679.331
AT ITER 2632 NEW BEST:: SOT 41901295 SOS 18460279 HAS SOPS 18460279 HAS SOUS 1785167 HAS SOUPS 1785167 WITH SCORE 1803627.279
AT ITER 2675 NEW BEST:: SOT 41901215 SOS 18460119 HAS SOPS 18460119 HAS SOUS 1785087 HAS SOUPS 1785087 WITH SCORE 1803547.119
AT ITER 2677 NEW BEST:: SOT 41901249 SOS 18459890 HAS SOPS 18459890 HAS SOUS 1784858 HAS SOUPS 1784858 WITH SCORE 1803317.89
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13898028 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15995464 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyElection-PT-09b"
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 StigmergyElection-PT-09b, 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-167912651600680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-09b.tgz
mv StigmergyElection-PT-09b 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 ;