About the Execution of Smart+red for TokenRing-COL-050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1755.111 | 3600000.00 | 3856344.00 | 17584.90 | [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.r491-tall-167912710700624.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 TokenRing-COL-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710700624
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 396K
-rw-r--r-- 1 mcc users 5.5K Feb 26 14:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 14:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 07:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 07:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 28 13:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 28 13:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 28 06:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 28 06:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 33K 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 1679272805431
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=TokenRing-COL-050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 00:40:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 00:40:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:40:07] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-20 00:40:07] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 00:40:08] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 594 ms
[2023-03-20 00:40:08] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 2601 PT places and 132702.0 transition bindings in 24 ms.
[2023-03-20 00:40:08] [INFO ] Unfolded HLPN to a Petri net with 2601 places and 127551 transitions 510204 arcs in 672 ms.
[2023-03-20 00:40:08] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 00:40:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2601 places, 127551 transitions and 510204 arcs took 331 ms.
Total runtime 1726 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), instance 050
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: 2601 places, 127551 transitions, 510204 arcs.
AT ITER 0 NEW BEST:: SOT 170050066 SOS 14374356 HAS SOPS 8449859 HAS SOUS 6826069 HAS SOUPS 6695291 WITH SCORE 6709665.356
AT ITER 222 NEW BEST:: SOT 170051660 SOS 14385258 HAS SOPS 8460469 HAS SOUS 6825903 HAS SOUPS 6695117 WITH SCORE 6709502.258
AT ITER 256 NEW BEST:: SOT 170054967 SOS 14395829 HAS SOPS 8471040 HAS SOUS 6824496 HAS SOUPS 6693710 WITH SCORE 6708105.829
AT ITER 258 NEW BEST:: SOT 170055965 SOS 14399886 HAS SOPS 8476078 HAS SOUS 6823470 HAS SOUPS 6692702 WITH SCORE 6707101.886
AT ITER 269 NEW BEST:: SOT 170055645 SOS 14405819 HAS SOPS 8479666 HAS SOUS 6818645 HAS SOUPS 6687878 WITH SCORE 6702283.819
AT ITER 365 NEW BEST:: SOT 170056032 SOS 14414102 HAS SOPS 8487949 HAS SOUS 6818480 HAS SOUPS 6687713 WITH SCORE 6702127.102
AT ITER 388 NEW BEST:: SOT 170057200 SOS 14417604 HAS SOPS 8492619 HAS SOUS 6818118 HAS SOUPS 6687365 WITH SCORE 6701782.604
AT ITER 456 NEW BEST:: SOT 170057464 SOS 14424684 HAS SOPS 8499699 HAS SOUS 6816972 HAS SOUPS 6686219 WITH SCORE 6700643.684
AT ITER 460 NEW BEST:: SOT 170057612 SOS 14430860 HAS SOPS 8505875 HAS SOUS 6816804 HAS SOUPS 6686051 WITH SCORE 6700481.86
AT ITER 512 NEW BEST:: SOT 170057883 SOS 14438134 HAS SOPS 8513152 HAS SOUS 6815682 HAS SOUPS 6684929 WITH SCORE 6699367.134
AT ITER 514 NEW BEST:: SOT 170058417 SOS 14440906 HAS SOPS 8516454 HAS SOUS 6814031 HAS SOUPS 6683272 WITH SCORE 6697712.906
AT ITER 531 NEW BEST:: SOT 170059594 SOS 14443991 HAS SOPS 8520673 HAS SOUS 6813257 HAS SOUPS 6682498 WITH SCORE 6696941.991
AT ITER 597 NEW BEST:: SOT 170060069 SOS 14444952 HAS SOPS 8522098 HAS SOUS 6813235 HAS SOUPS 6682476 WITH SCORE 6696920.952
AT ITER 663 NEW BEST:: SOT 170060725 SOS 14453651 HAS SOPS 8530812 HAS SOUS 6807786 HAS SOUPS 6677027 WITH SCORE 6691480.651
AT ITER 667 NEW BEST:: SOT 170060955 SOS 14459133 HAS SOPS 8536294 HAS SOUS 6802764 HAS SOUPS 6672005 WITH SCORE 6686464.133
AT ITER 755 NEW BEST:: SOT 170061372 SOS 14466978 HAS SOPS 8544139 HAS SOUS 6801465 HAS SOUPS 6670706 WITH SCORE 6685172.978
AT ITER 832 NEW BEST:: SOT 170062056 SOS 14476086 HAS SOPS 8553247 HAS SOUS 6800355 HAS SOUPS 6669596 WITH SCORE 6684072.086
AT ITER 857 NEW BEST:: SOT 170064156 SOS 14479108 HAS SOPS 8554169 HAS SOUS 6800269 HAS SOUPS 6669468 WITH SCORE 6683947.108
AT ITER 923 NEW BEST:: SOT 170065034 SOS 14481959 HAS SOPS 8557893 HAS SOUS 6799570 HAS SOUPS 6668775 WITH SCORE 6683256.959
AT ITER 1320 NEW BEST:: SOT 170066012 SOS 14484797 HAS SOPS 8561625 HAS SOUS 6798646 HAS SOUPS 6667851 WITH SCORE 6682335.797
AT ITER 1329 NEW BEST:: SOT 170067416 SOS 14494608 HAS SOPS 8571353 HAS SOUS 6793224 HAS SOUPS 6662418 WITH SCORE 6676912.608
AT ITER 1530 NEW BEST:: SOT 170068146 SOS 14502752 HAS SOPS 8579497 HAS SOUS 6786642 HAS SOUPS 6655836 WITH SCORE 6670338.752
AT ITER 1658 NEW BEST:: SOT 170069634 SOS 14506748 HAS SOPS 8584981 HAS SOUS 6786255 HAS SOUPS 6655445 WITH SCORE 6669951.748
AT ITER 1672 NEW BEST:: SOT 170072565 SOS 14519409 HAS SOPS 8596870 HAS SOUS 6782414 HAS SOUPS 6651582 WITH SCORE 6666101.409
AT ITER 1683 NEW BEST:: SOT 170074774 SOS 14530151 HAS SOPS 8607477 HAS SOUS 6780323 HAS SOUPS 6649482 WITH SCORE 6664012.151
AT ITER 1743 NEW BEST:: SOT 170075087 SOS 14532622 HAS SOPS 8610216 HAS SOUS 6778433 HAS SOUPS 6647592 WITH SCORE 6662124.622
AT ITER 1751 NEW BEST:: SOT 170076681 SOS 14536066 HAS SOPS 8615214 HAS SOUS 6778130 HAS SOUPS 6647289 WITH SCORE 6661825.066
AT ITER 1821 NEW BEST:: SOT 170077617 SOS 14544174 HAS SOPS 8623050 HAS SOUS 6777963 HAS SOUPS 6647105 WITH SCORE 6661649.174
AT ITER 1876 NEW BEST:: SOT 170078330 SOS 14552941 HAS SOPS 8631811 HAS SOUS 6773580 HAS SOUPS 6642722 WITH SCORE 6657274.941
AT ITER 2025 NEW BEST:: SOT 170079301 SOS 14561558 HAS SOPS 8640428 HAS SOUS 6768537 HAS SOUPS 6637679 WITH SCORE 6652240.558
AT ITER 2112 NEW BEST:: SOT 170081885 SOS 14573189 HAS SOPS 8651698 HAS SOUS 6763502 HAS SOUPS 6632616 WITH SCORE 6647189.189
AT ITER 2128 NEW BEST:: SOT 170083164 SOS 14577418 HAS SOPS 8657187 HAS SOUS 6763019 HAS SOUPS 6632154 WITH SCORE 6646731.418
AT ITER 2370 NEW BEST:: SOT 170084354 SOS 14586887 HAS SOPS 8666613 HAS SOUS 6762101 HAS SOUPS 6631235 WITH SCORE 6645821.887
AT ITER 2384 NEW BEST:: SOT 170085453 SOS 14590280 HAS SOPS 8670934 HAS SOUS 6760845 HAS SOUPS 6629979 WITH SCORE 6644569.28
AT ITER 2470 NEW BEST:: SOT 170086564 SOS 14592865 HAS SOPS 8674597 HAS SOUS 6760449 HAS SOUPS 6629583 WITH SCORE 6644175.865
AT ITER 2486 NEW BEST:: SOT 170080813 SOS 14588726 HAS SOPS 8677993 HAS SOUS 6760277 HAS SOUPS 6629499 WITH SCORE 6644087.726
AT ITER 2493 NEW BEST:: SOT 170084405 SOS 14601170 HAS SOPS 8690179 HAS SOUS 6759709 HAS SOUPS 6628893 WITH SCORE 6643494.17
AT ITER 2511 NEW BEST:: SOT 170085869 SOS 14609591 HAS SOPS 8698591 HAS SOUS 6754777 HAS SOUPS 6623952 WITH SCORE 6638561.591
AT ITER 2543 NEW BEST:: SOT 170086525 SOS 14618421 HAS SOPS 8707421 HAS SOUS 6753787 HAS SOUPS 6622962 WITH SCORE 6637580.421
AT ITER 2594 NEW BEST:: SOT 170087871 SOS 14627136 HAS SOPS 8716099 HAS SOUS 6747764 HAS SOUPS 6616939 WITH SCORE 6631566.136
AT ITER 2637 NEW BEST:: SOT 170089210 SOS 14631263 HAS SOPS 8721454 HAS SOUS 6746249 HAS SOUPS 6615424 WITH SCORE 6630055.263
AT ITER 2695 NEW BEST:: SOT 170091915 SOS 14641387 HAS SOPS 8729083 HAS SOUS 6744187 HAS SOUPS 6613310 WITH SCORE 6627951.387
AT ITER 2740 NEW BEST:: SOT 170092735 SOS 14650053 HAS SOPS 8737749 HAS SOUS 6737977 HAS SOUPS 6607100 WITH SCORE 6621750.053
AT ITER 2833 NEW BEST:: SOT 170092811 SOS 14655995 HAS SOPS 8743691 HAS SOUS 6737899 HAS SOUPS 6607022 WITH SCORE 6621677.995
AT ITER 2876 NEW BEST:: SOT 170094350 SOS 14659644 HAS SOPS 8748844 HAS SOUS 6737276 HAS SOUPS 6606399 WITH SCORE 6621058.644
AT ITER 2941 NEW BEST:: SOT 170094501 SOS 14660411 HAS SOPS 8749611 HAS SOUS 6736811 HAS SOUPS 6605934 WITH SCORE 6620594.411
AT ITER 2955 NEW BEST:: SOT 170096052 SOS 14670875 HAS SOPS 8759928 HAS SOUS 6731489 HAS SOUPS 6600606 WITH SCORE 6615276.875
AT ITER 2969 NEW BEST:: SOT 170099820 SOS 14679445 HAS SOPS 8757984 HAS SOUS 6730687 HAS SOUPS 6599640 WITH SCORE 6614319.445
AT ITER 2976 NEW BEST:: SOT 170100944 SOS 14682575 HAS SOPS 8762140 HAS SOUS 6729756 HAS SOUPS 6598709 WITH SCORE 6613391.575
AT ITER 3087 NEW BEST:: SOT 170099135 SOS 14681237 HAS SOPS 8759007 HAS SOUS 6727507 HAS SOUPS 6596460 WITH SCORE 6611141.237
AT ITER 3186 NEW BEST:: SOT 170099815 SOS 14684395 HAS SOPS 8762721 HAS SOUS 6725647 HAS SOUPS 6594600 WITH SCORE 6609284.395
AT ITER 3239 NEW BEST:: SOT 170102744 SOS 14696354 HAS SOPS 8774120 HAS SOUS 6721288 HAS SOUPS 6590203 WITH SCORE 6604899.354
AT ITER 3304 NEW BEST:: SOT 170103955 SOS 14700084 HAS SOPS 8778961 HAS SOUS 6719919 HAS SOUPS 6588834 WITH SCORE 6603534.084
AT ITER 3340 NEW BEST:: SOT 170104629 SOS 14701690 HAS SOPS 8781241 HAS SOUS 6719855 HAS SOUPS 6588772 WITH SCORE 6603473.69
AT ITER 3386 NEW BEST:: SOT 170105595 SOS 14703778 HAS SOPS 8784269 HAS SOUS 6719673 HAS SOUPS 6588590 WITH SCORE 6603293.778
AT ITER 3400 NEW BEST:: SOT 170108835 SOS 14715603 HAS SOPS 8795393 HAS SOUS 6716164 HAS SOUPS 6585045 WITH SCORE 6599760.603
AT ITER 3414 NEW BEST:: SOT 170109676 SOS 14724138 HAS SOPS 8803928 HAS SOUS 6710127 HAS SOUPS 6579008 WITH SCORE 6593732.138
AT ITER 3434 NEW BEST:: SOT 170110601 SOS 14732461 HAS SOPS 8811955 HAS SOUS 6709672 HAS SOUPS 6578537 WITH SCORE 6593269.461
AT ITER 3467 NEW BEST:: SOT 170110460 SOS 14732314 HAS SOPS 8811814 HAS SOUS 6709384 HAS SOUPS 6578252 WITH SCORE 6592984.314
AT ITER 3506 NEW BEST:: SOT 170115356 SOS 14746871 HAS SOPS 8825786 HAS SOUS 6709311 HAS SOUPS 6578139 WITH SCORE 6592885.871
AT ITER 3547 NEW BEST:: SOT 170116302 SOS 14749271 HAS SOPS 8829018 HAS SOUS 6709038 HAS SOUPS 6577869 WITH SCORE 6592618.271
AT ITER 3561 NEW BEST:: SOT 170117050 SOS 14751405 HAS SOPS 8831900 HAS SOUS 6708580 HAS SOUPS 6577413 WITH SCORE 6592164.405
AT ITER 3586 NEW BEST:: SOT 170120428 SOS 14762269 HAS SOPS 8842492 HAS SOUS 6706132 HAS SOUPS 6574919 WITH SCORE 6589681.269
AT ITER 3673 NEW BEST:: SOT 170122369 SOS 14771010 HAS SOPS 8851213 HAS SOUS 6702650 HAS SOUPS 6571436 WITH SCORE 6586207.01
AT ITER 3743 NEW BEST:: SOT 170122269 SOS 14770618 HAS SOPS 8851113 HAS SOUS 6702434 HAS SOUPS 6571228 WITH SCORE 6585998.618
AT ITER 3750 NEW BEST:: SOT 170123276 SOS 14772859 HAS SOPS 8854282 HAS SOUS 6702178 HAS SOUPS 6570972 WITH SCORE 6585744.859
AT ITER 3752 NEW BEST:: SOT 170124182 SOS 14780206 HAS SOPS 8861620 HAS SOUS 6696643 HAS SOUPS 6565437 WITH SCORE 6580217.206
AT ITER 3885 NEW BEST:: SOT 170125054 SOS 14784689 HAS SOPS 8866092 HAS SOUS 6693904 HAS SOUPS 6562698 WITH SCORE 6577482.689
AT ITER 3929 NEW BEST:: SOT 170123806 SOS 14784056 HAS SOPS 8867360 HAS SOUS 6693775 HAS SOUPS 6562607 WITH SCORE 6577391.056
AT ITER 4016 NEW BEST:: SOT 170125546 SOS 14787794 HAS SOPS 8872688 HAS SOUS 6693458 HAS SOUPS 6562290 WITH SCORE 6577077.794
AT ITER 4071 NEW BEST:: SOT 170127442 SOS 14791679 HAS SOPS 8878270 HAS SOUS 6693289 HAS SOUPS 6562121 WITH SCORE 6576912.679
AT ITER 4074 NEW BEST:: SOT 170128314 SOS 14794035 HAS SOPS 8881492 HAS SOUS 6692712 HAS SOUPS 6561542 WITH SCORE 6576336.035
AT ITER 4104 NEW BEST:: SOT 170128612 SOS 14801489 HAS SOPS 8888946 HAS SOUS 6691974 HAS SOUPS 6560804 WITH SCORE 6575605.489
AT ITER 4169 NEW BEST:: SOT 170126988 SOS 14800911 HAS SOPS 8890894 HAS SOUS 6686856 HAS SOUPS 6555734 WITH SCORE 6570534.911
AT ITER 4182 NEW BEST:: SOT 170128386 SOS 14810619 HAS SOPS 8900484 HAS SOUS 6680556 HAS SOUPS 6549430 WITH SCORE 6564240.619
AT ITER 4188 NEW BEST:: SOT 170130166 SOS 14819983 HAS SOPS 8909720 HAS SOUS 6675254 HAS SOUPS 6544122 WITH SCORE 6558941.983
AT ITER 4194 NEW BEST:: SOT 170130852 SOS 14822195 HAS SOPS 8912492 HAS SOUS 6674372 HAS SOUPS 6543240 WITH SCORE 6558062.195
AT ITER 4200 NEW BEST:: SOT 170131678 SOS 14823925 HAS SOPS 8915032 HAS SOUS 6674273 HAS SOUPS 6543141 WITH SCORE 6557964.925
AT ITER 4255 NEW BEST:: SOT 170132908 SOS 14832545 HAS SOPS 8923652 HAS SOUS 6668113 HAS SOUPS 6536981 WITH SCORE 6551813.545
AT ITER 4328 NEW BEST:: SOT 170134328 SOS 14836988 HAS SOPS 8929536 HAS SOUS 6667854 HAS SOUPS 6536746 WITH SCORE 6551582.988
AT ITER 4386 NEW BEST:: SOT 170135202 SOS 14839700 HAS SOPS 8932786 HAS SOUS 6666841 HAS SOUPS 6535733 WITH SCORE 6550572.7
AT ITER 4436 NEW BEST:: SOT 170136702 SOS 14841943 HAS SOPS 8933529 HAS SOUS 6666186 HAS SOUPS 6535048 WITH SCORE 6549889.943
AT ITER 4499 NEW BEST:: SOT 170137614 SOS 14845415 HAS SOPS 8937325 HAS SOUS 6665400 HAS SOUPS 6534263 WITH SCORE 6549108.415
AT ITER 4635 NEW BEST:: SOT 170138708 SOS 14848296 HAS SOPS 8941291 HAS SOUS 6665254 HAS SOUPS 6534126 WITH SCORE 6548974.296
AT ITER 4671 NEW BEST:: SOT 170139827 SOS 14850951 HAS SOPS 8944996 HAS SOUS 6664798 HAS SOUPS 6533670 WITH SCORE 6548520.951
AT ITER 4695 NEW BEST:: SOT 170140346 SOS 14852420 HAS SOPS 8949989 HAS SOUS 6664316 HAS SOUPS 6533215 WITH SCORE 6548067.42
AT ITER 4771 NEW BEST:: SOT 170141138 SOS 14854545 HAS SOPS 8952903 HAS SOUS 6663808 HAS SOUPS 6532702 WITH SCORE 6547556.545
AT ITER 4783 NEW BEST:: SOT 170142394 SOS 14863253 HAS SOPS 8961611 HAS SOUS 6658020 HAS SOUPS 6526914 WITH SCORE 6541777.253
AT ITER 4811 NEW BEST:: SOT 170143736 SOS 14867293 HAS SOPS 8966939 HAS SOUS 6657884 HAS SOUPS 6526800 WITH SCORE 6541667.293
AT ITER 4843 NEW BEST:: SOT 170143536 SOS 14866941 HAS SOPS 8966391 HAS SOUS 6657628 HAS SOUPS 6526540 WITH SCORE 6541406.941
AT ITER 4880 NEW BEST:: SOT 170145570 SOS 14871006 HAS SOPS 8972349 HAS SOUS 6657599 HAS SOUPS 6526511 WITH SCORE 6541382.006
AT ITER 4893 NEW BEST:: SOT 170147493 SOS 14881926 HAS SOPS 8983026 HAS SOUS 6653024 HAS SOUPS 6521927 WITH SCORE 6536808.926
AT ITER 4895 NEW BEST:: SOT 170149558 SOS 14892059 HAS SOPS 8992901 HAS SOUS 6648398 HAS SOUPS 6517294 WITH SCORE 6532186.059
AT ITER 5023 NEW BEST:: SOT 170151554 SOS 14901540 HAS SOPS 9002263 HAS SOUS 6643317 HAS SOUPS 6512205 WITH SCORE 6527106.54
AT ITER 5036 NEW BEST:: SOT 170152336 SOS 14911060 HAS SOPS 9011783 HAS SOUS 6642807 HAS SOUPS 6511695 WITH SCORE 6526606.06
AT ITER 5062 NEW BEST:: SOT 170154184 SOS 14915149 HAS SOPS 9017533 HAS SOUS 6642336 HAS SOUPS 6511224 WITH SCORE 6526139.149
AT ITER 5183 NEW BEST:: SOT 170156469 SOS 14925002 HAS SOPS 9027332 HAS SOUS 6639858 HAS SOUPS 6508731 WITH SCORE 6523656.002
AT ITER 5209 NEW BEST:: SOT 170148656 SOS 14914538 HAS SOPS 9030238 HAS SOUS 6636934 HAS SOUPS 6506033 WITH SCORE 6520947.538
AT ITER 5218 NEW BEST:: SOT 170151103 SOS 14926424 HAS SOPS 9041607 HAS SOUS 6631574 HAS SOUPS 6500641 WITH SCORE 6515567.424
AT ITER 5229 NEW BEST:: SOT 170151447 SOS 14933289 HAS SOPS 9048469 HAS SOUS 6625907 HAS SOUPS 6494974 WITH SCORE 6509907.289
AT ITER 5241 NEW BEST:: SOT 170153166 SOS 14937346 HAS SOPS 9054000 HAS SOUS 6625227 HAS SOUPS 6494294 WITH SCORE 6509231.346
AT ITER 5302 NEW BEST:: SOT 170157325 SOS 14949248 HAS SOPS 9065545 HAS SOUS 6625176 HAS SOUPS 6494167 WITH SCORE 6509116.248
AT ITER 5323 NEW BEST:: SOT 170157941 SOS 14950928 HAS SOPS 9067757 HAS SOUS 6624700 HAS SOUPS 6493691 WITH SCORE 6508641.928
AT ITER 5422 NEW BEST:: SOT 170159484 SOS 14957908 HAS SOPS 9074692 HAS SOUS 6620806 HAS SOUPS 6489797 WITH SCORE 6504754.908
AT ITER 5460 NEW BEST:: SOT 170161596 SOS 14967199 HAS SOPS 9083802 HAS SOUS 6616147 HAS SOUPS 6485130 WITH SCORE 6500097.199
AT ITER 5473 NEW BEST:: SOT 170162967 SOS 14976522 HAS SOPS 9093117 HAS SOUS 6611963 HAS SOUPS 6480945 WITH SCORE 6495921.522
AT ITER 5498 NEW BEST:: SOT 170163220 SOS 14979329 HAS SOPS 9095924 HAS SOUS 6609662 HAS SOUPS 6478644 WITH SCORE 6493623.329
AT ITER 5547 NEW BEST:: SOT 170164364 SOS 14981850 HAS SOPS 9099274 HAS SOUS 6609477 HAS SOUPS 6478452 WITH SCORE 6493433.85
AT ITER 5587 NEW BEST:: SOT 170165616 SOS 14985193 HAS SOPS 9103476 HAS SOUS 6608575 HAS SOUPS 6477550 WITH SCORE 6492535.193
AT ITER 5687 NEW BEST:: SOT 170166352 SOS 14986769 HAS SOPS 9105696 HAS SOUS 6608451 HAS SOUPS 6477426 WITH SCORE 6492412.769
AT ITER 5689 NEW BEST:: SOT 170167314 SOS 14995553 HAS SOPS 9114464 HAS SOUS 6602305 HAS SOUPS 6471280 WITH SCORE 6486275.553
AT ITER 5699 NEW BEST:: SOT 170166352 SOS 14994573 HAS SOPS 9113502 HAS SOUS 6601129 HAS SOUPS 6470122 WITH SCORE 6485116.573
AT ITER 5808 NEW BEST:: SOT 170171378 SOS 15011845 HAS SOPS 9126980 HAS SOUS 6598652 HAS SOUPS 6467564 WITH SCORE 6482575.845
AT ITER 5817 NEW BEST:: SOT 170170056 SOS 15008040 HAS SOPS 9124654 HAS SOUS 6597263 HAS SOUPS 6466224 WITH SCORE 6481232.04
AT ITER 5835 NEW BEST:: SOT 170171354 SOS 15016419 HAS SOPS 9133020 HAS SOUS 6591480 HAS SOUPS 6460441 WITH SCORE 6475457.419
AT ITER 5856 NEW BEST:: SOT 170171830 SOS 15025054 HAS SOPS 9142190 HAS SOUS 6591090 HAS SOUPS 6460068 WITH SCORE 6475093.054
AT ITER 5905 NEW BEST:: SOT 170173527 SOS 15034388 HAS SOPS 9151573 HAS SOUS 6587649 HAS SOUPS 6456624 WITH SCORE 6471658.388
AT ITER 5931 NEW BEST:: SOT 170174476 SOS 15042052 HAS SOPS 9159216 HAS SOUS 6581883 HAS SOUPS 6450858 WITH SCORE 6465900.052
AT ITER 5954 NEW BEST:: SOT 170176900 SOS 15046882 HAS SOPS 9166380 HAS SOUS 6581817 HAS SOUPS 6450792 WITH SCORE 6465838.882
AT ITER 6038 NEW BEST:: SOT 170178173 SOS 15054757 HAS SOPS 9174255 HAS SOUS 6578324 HAS SOUPS 6447299 WITH SCORE 6462353.757
AT ITER 6112 NEW BEST:: SOT 170178485 SOS 15056167 HAS SOPS 9175655 HAS SOUS 6577538 HAS SOUPS 6446513 WITH SCORE 6461569.167
AT ITER 6157 NEW BEST:: SOT 170178218 SOS 15055824 HAS SOPS 9175388 HAS SOUS 6576990 HAS SOUPS 6445972 WITH SCORE 6461027.824
AT ITER 6160 NEW BEST:: SOT 170183287 SOS 15072929 HAS SOPS 9189219 HAS SOUS 6574154 HAS SOUPS 6443055 WITH SCORE 6458127.929
AT ITER 6184 NEW BEST:: SOT 170185190 SOS 15077065 HAS SOPS 9194926 HAS SOUS 6573745 HAS SOUPS 6442646 WITH SCORE 6457723.065
AT ITER 6285 NEW BEST:: SOT 170186059 SOS 15080020 HAS SOPS 9198619 HAS SOUS 6572482 HAS SOUPS 6441383 WITH SCORE 6456463.02
AT ITER 6307 NEW BEST:: SOT 170186936 SOS 15083083 HAS SOPS 9202254 HAS SOUS 6571111 HAS SOUPS 6440013 WITH SCORE 6455096.083
AT ITER 6406 NEW BEST:: SOT 170190339 SOS 15095473 HAS SOPS 9214655 HAS SOUS 6569454 HAS SOUPS 6438353 WITH SCORE 6453448.473
AT ITER 6455 NEW BEST:: SOT 170191019 SOS 15098703 HAS SOPS 9218565 HAS SOUS 6568140 HAS SOUPS 6437048 WITH SCORE 6452146.703
AT ITER 6666 NEW BEST:: SOT 170192372 SOS 15106196 HAS SOPS 9226052 HAS SOUS 6563353 HAS SOUPS 6432261 WITH SCORE 6447367.196
AT ITER 6725 NEW BEST:: SOT 170192989 SOS 15114453 HAS SOPS 9234309 HAS SOUS 6562654 HAS SOUPS 6431562 WITH SCORE 6446676.453
AT ITER 6738 NEW BEST:: SOT 170194563 SOS 15122736 HAS SOPS 9242579 HAS SOUS 6557519 HAS SOUPS 6426427 WITH SCORE 6441549.736
AT ITER 6818 NEW BEST:: SOT 170194892 SOS 15123433 HAS SOPS 9243594 HAS SOUS 6557472 HAS SOUPS 6426380 WITH SCORE 6441503.433
AT ITER 6821 NEW BEST:: SOT 170195443 SOS 15131900 HAS SOPS 9252061 HAS SOUS 6556533 HAS SOUPS 6425441 WITH SCORE 6440572.9
AT ITER 6874 NEW BEST:: SOT 170195107 SOS 15131557 HAS SOPS 9251725 HAS SOUS 6556190 HAS SOUPS 6425105 WITH SCORE 6440236.557
AT ITER 6947 NEW BEST:: SOT 170197082 SOS 15139575 HAS SOPS 9259740 HAS SOUS 6553856 HAS SOUPS 6422771 WITH SCORE 6437910.575
AT ITER 6963 NEW BEST:: SOT 170198382 SOS 15143702 HAS SOPS 9265046 HAS SOUS 6552572 HAS SOUPS 6421473 WITH SCORE 6436616.702
AT ITER 6980 NEW BEST:: SOT 170199797 SOS 15151409 HAS SOPS 9272805 HAS SOUS 6547695 HAS SOUPS 6416596 WITH SCORE 6431747.409
AT ITER 6985 NEW BEST:: SOT 170198517 SOS 15150997 HAS SOPS 9275031 HAS SOUS 6543354 HAS SOUPS 6412298 WITH SCORE 6427448.997
AT ITER 6996 NEW BEST:: SOT 170198558 SOS 15152094 HAS SOPS 9276082 HAS SOUS 6542310 HAS SOUPS 6411254 WITH SCORE 6426406.094
AT ITER 7007 NEW BEST:: SOT 170199194 SOS 15154860 HAS SOPS 9279476 HAS SOUS 6540867 HAS SOUPS 6409809 WITH SCORE 6424963.86
AT ITER 7047 NEW BEST:: SOT 170199526 SOS 15157148 HAS SOPS 9281922 HAS SOUS 6539185 HAS SOUPS 6408127 WITH SCORE 6423284.148
AT ITER 7086 NEW BEST:: SOT 170200401 SOS 15159614 HAS SOPS 9286427 HAS SOUS 6538411 HAS SOUPS 6407353 WITH SCORE 6422512.614
AT ITER 7165 NEW BEST:: SOT 170206187 SOS 15178502 HAS SOPS 9300817 HAS SOUS 6536654 HAS SOUPS 6405501 WITH SCORE 6420679.502
AT ITER 7169 NEW BEST:: SOT 170206962 SOS 15181165 HAS SOPS 9304054 HAS SOUS 6535489 HAS SOUPS 6404336 WITH SCORE 6419517.165
AT ITER 7264 NEW BEST:: SOT 170208442 SOS 15184540 HAS SOPS 9309828 HAS SOUS 6534450 HAS SOUPS 6403294 WITH SCORE 6418478.54
AT ITER 7326 NEW BEST:: SOT 170209228 SOS 15192417 HAS SOPS 9317704 HAS SOUS 6528145 HAS SOUPS 6396989 WITH SCORE 6412181.417
AT ITER 7401 NEW BEST:: SOT 170202749 SOS 15187047 HAS SOPS 9321250 HAS SOUS 6525961 HAS SOUPS 6394935 WITH SCORE 6410122.047
AT ITER 7422 NEW BEST:: SOT 170204186 SOS 15192515 HAS SOPS 9325959 HAS SOUS 6525407 HAS SOUPS 6394359 WITH SCORE 6409551.515
AT ITER 7454 NEW BEST:: SOT 170204788 SOS 15193944 HAS SOPS 9329531 HAS SOUS 6525182 HAS SOUPS 6394134 WITH SCORE 6409327.944
AT ITER 7461 NEW BEST:: SOT 170205618 SOS 15197243 HAS SOPS 9333433 HAS SOUS 6523482 HAS SOUPS 6392434 WITH SCORE 6407631.243
AT ITER 7495 NEW BEST:: SOT 170207102 SOS 15200853 HAS SOPS 9338399 HAS SOUS 6522786 HAS SOUPS 6391738 WITH SCORE 6406938.853
AT ITER 7546 NEW BEST:: SOT 170207711 SOS 15201369 HAS SOPS 9340178 HAS SOUS 6522742 HAS SOUPS 6391705 WITH SCORE 6406906.369
AT ITER 7586 NEW BEST:: SOT 170209084 SOS 15204236 HAS SOPS 9344205 HAS SOUS 6522577 HAS SOUPS 6391540 WITH SCORE 6406744.236
AT ITER 7591 NEW BEST:: SOT 170209750 SOS 15206518 HAS SOPS 9347077 HAS SOUS 6521589 HAS SOUPS 6390552 WITH SCORE 6405758.518
AT ITER 7610 NEW BEST:: SOT 170211208 SOS 15214379 HAS SOPS 9354969 HAS SOUS 6516644 HAS SOUPS 6385607 WITH SCORE 6400821.379
AT ITER 7622 NEW BEST:: SOT 170212361 SOS 15222890 HAS SOPS 9363476 HAS SOUS 6510439 HAS SOUPS 6379402 WITH SCORE 6394624.89
AT ITER 7629 NEW BEST:: SOT 170213367 SOS 15225397 HAS SOPS 9366686 HAS SOUS 6509994 HAS SOUPS 6378952 WITH SCORE 6394177.397
AT ITER 7665 NEW BEST:: SOT 170220124 SOS 15245809 HAS SOPS 9381805 HAS SOUS 6509981 HAS SOUPS 6378818 WITH SCORE 6394063.809
AT ITER 7677 NEW BEST:: SOT 170222274 SOS 15254221 HAS SOPS 9390185 HAS SOUS 6505971 HAS SOUPS 6374806 WITH SCORE 6390060.221
AT ITER 7714 NEW BEST:: SOT 170226129 SOS 15267718 HAS SOPS 9400972 HAS SOUS 6503142 HAS SOUPS 6371919 WITH SCORE 6387186.718
AT ITER 7829 NEW BEST:: SOT 170226953 SOS 15275354 HAS SOPS 9408602 HAS SOUS 6497766 HAS SOUPS 6366537 WITH SCORE 6381812.354
AT ITER 7878 NEW BEST:: SOT 170230502 SOS 15286799 HAS SOPS 9420047 HAS SOUS 6493419 HAS SOUPS 6362190 WITH SCORE 6377476.799
AT ITER 7908 NEW BEST:: SOT 170231407 SOS 15289457 HAS SOPS 9423442 HAS SOUS 6492526 HAS SOUPS 6361297 WITH SCORE 6376586.457
AT ITER 7985 NEW BEST:: SOT 170231935 SOS 15294531 HAS SOPS 9428516 HAS SOUS 6491058 HAS SOUPS 6359829 WITH SCORE 6375123.531
AT ITER 7993 NEW BEST:: SOT 170233131 SOS 15303353 HAS SOPS 9437410 HAS SOUS 6488096 HAS SOUPS 6356867 WITH SCORE 6372170.353
AT ITER 8030 NEW BEST:: SOT 170234304 SOS 15311632 HAS SOPS 9445683 HAS SOUS 6482367 HAS SOUPS 6351138 WITH SCORE 6366449.632
AT ITER 8075 NEW BEST:: SOT 170235761 SOS 15315566 HAS SOPS 9450846 HAS SOUS 6481273 HAS SOUPS 6350044 WITH SCORE 6365359.566
AT ITER 8146 NEW BEST:: SOT 170236857 SOS 15317931 HAS SOPS 9454038 HAS SOUS 6481142 HAS SOUPS 6349911 WITH SCORE 6365228.931
AT ITER 8195 NEW BEST:: SOT 170243543 SOS 15340192 HAS SOPS 9470890 HAS SOUS 6481127 HAS SOUPS 6349776 WITH SCORE 6365116.192
AT ITER 8297 NEW BEST:: SOT 170245774 SOS 15347934 HAS SOPS 9478609 HAS SOUS 6477847 HAS SOUPS 6346496 WITH SCORE 6361843.934
AT ITER 8308 NEW BEST:: SOT 170247052 SOS 15355104 HAS SOPS 9485779 HAS SOUS 6473233 HAS SOUPS 6341882 WITH SCORE 6357237.104
AT ITER 8335 NEW BEST:: SOT 170248798 SOS 15359847 HAS SOPS 9492157 HAS SOUS 6471902 HAS SOUPS 6340552 WITH SCORE 6355911.847
AT ITER 8446 NEW BEST:: SOT 170248090 SOS 15359723 HAS SOPS 9494807 HAS SOUS 6468835 HAS SOUPS 6337515 WITH SCORE 6352874.723
AT ITER 8467 NEW BEST:: SOT 170247478 SOS 15359440 HAS SOPS 9495346 HAS SOUS 6468504 HAS SOUPS 6337196 WITH SCORE 6352555.44
AT ITER 8505 NEW BEST:: SOT 170248287 SOS 15362100 HAS SOPS 9498591 HAS SOUS 6467419 HAS SOUPS 6336111 WITH SCORE 6351473.1
AT ITER 8514 NEW BEST:: SOT 170248372 SOS 15362621 HAS SOPS 9499118 HAS SOUS 6467068 HAS SOUPS 6335760 WITH SCORE 6351122.621
AT ITER 8560 NEW BEST:: SOT 170248820 SOS 15368619 HAS SOPS 9505180 HAS SOUS 6461966 HAS SOUPS 6330658 WITH SCORE 6346026.619
AT ITER 8602 NEW BEST:: SOT 170248792 SOS 15368570 HAS SOPS 9505152 HAS SOUS 6461908 HAS SOUPS 6330601 WITH SCORE 6345969.57
AT ITER 8679 NEW BEST:: SOT 170249224 SOS 15369500 HAS SOPS 9506512 HAS SOUS 6461854 HAS SOUPS 6330547 WITH SCORE 6345916.5
AT ITER 8684 NEW BEST:: SOT 170250175 SOS 15371427 HAS SOPS 9509241 HAS SOUS 6461800 HAS SOUPS 6330493 WITH SCORE 6345864.427
AT ITER 8711 NEW BEST:: SOT 170250617 SOS 15379642 HAS SOPS 9517469 HAS SOUS 6461609 HAS SOUPS 6330302 WITH SCORE 6345681.642
AT ITER 8864 NEW BEST:: SOT 170252292 SOS 15386960 HAS SOPS 9524750 HAS SOUS 6457641 HAS SOUPS 6326334 WITH SCORE 6341720.96
AT ITER 8892 NEW BEST:: SOT 170254136 SOS 15394083 HAS SOPS 9531868 HAS SOUS 6454206 HAS SOUPS 6322899 WITH SCORE 6338293.083
AT ITER 8926 NEW BEST:: SOT 170252281 SOS 15392312 HAS SOPS 9532170 HAS SOUS 6453848 HAS SOUPS 6322571 WITH SCORE 6337963.312
AT ITER 8966 NEW BEST:: SOT 170253843 SOS 15402133 HAS SOPS 9542086 HAS SOUS 6447151 HAS SOUPS 6315874 WITH SCORE 6331276.133
AT ITER 9014 NEW BEST:: SOT 170255146 SOS 15405338 HAS SOPS 9546355 HAS SOUS 6447050 HAS SOUPS 6315781 WITH SCORE 6331186.338
AT ITER 9047 NEW BEST:: SOT 170255978 SOS 15407240 HAS SOPS 9549087 HAS SOUS 6446836 HAS SOUPS 6315567 WITH SCORE 6330974.24
AT ITER 9048 NEW BEST:: SOT 170261847 SOS 15425172 HAS SOPS 9562714 HAS SOUS 6445895 HAS SOUPS 6314523 WITH SCORE 6329948.172
AT ITER 9158 NEW BEST:: SOT 170263034 SOS 15432451 HAS SOPS 9569993 HAS SOUS 6440990 HAS SOUPS 6309618 WITH SCORE 6325050.451
AT ITER 9411 NEW BEST:: SOT 170262924 SOS 15433965 HAS SOPS 9571193 HAS SOUS 6439205 HAS SOUPS 6307833 WITH SCORE 6323266.965
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14335132 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16044000 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="TokenRing-COL-050"
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 TokenRing-COL-050, 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 r491-tall-167912710700624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-050.tgz
mv TokenRing-COL-050 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 ;