About the Execution of Smart+red for TokenRing-COL-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1600.819 | 3600000.00 | 3699304.00 | 9583.20 | [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-167912710700616.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-040, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710700616
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 400K
-rw-r--r-- 1 mcc users 6.4K Feb 25 21:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 21:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:59 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.6K Feb 25 17:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 16:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 16:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:40 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 28K 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 1679271477351
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-040
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 00:17:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 00:17:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:17:59] [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:17:59] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 00:17:59] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 508 ms
[2023-03-20 00:17:59] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 1681 PT places and 68962.0 transition bindings in 20 ms.
[2023-03-20 00:18:00] [INFO ] Unfolded HLPN to a Petri net with 1681 places and 65641 transitions 262564 arcs in 429 ms.
[2023-03-20 00:18:00] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 00:18:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1681 places, 65641 transitions and 262564 arcs took 227 ms.
Total runtime 1280 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), instance 040
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: 1681 places, 65641 transitions, 262564 arcs.
AT ITER 0 NEW BEST:: SOT 56959710 SOS 5999993 HAS SOPS 3558145 HAS SOUS 2883581 HAS SOUPS 2815652 WITH SCORE 2821651.993
AT ITER 105 NEW BEST:: SOT 56955898 SOS 5996313 HAS SOPS 3560342 HAS SOUS 2882505 HAS SOUPS 2814678 WITH SCORE 2820674.313
AT ITER 121 NEW BEST:: SOT 56956075 SOS 6001220 HAS SOPS 3565249 HAS SOUS 2882052 HAS SOUPS 2814225 WITH SCORE 2820226.22
AT ITER 130 NEW BEST:: SOT 56955268 SOS 6000736 HAS SOPS 3566360 HAS SOUS 2879774 HAS SOUPS 2811987 WITH SCORE 2817987.736
AT ITER 133 NEW BEST:: SOT 56955745 SOS 6006819 HAS SOPS 3572443 HAS SOUS 2879319 HAS SOUPS 2811532 WITH SCORE 2817538.819
AT ITER 340 NEW BEST:: SOT 56955345 SOS 6006709 HAS SOPS 3571933 HAS SOUS 2878639 HAS SOUPS 2810852 WITH SCORE 2816858.709
AT ITER 345 NEW BEST:: SOT 56955755 SOS 6008701 HAS SOPS 3574331 HAS SOUS 2877752 HAS SOUPS 2809970 WITH SCORE 2815978.701
AT ITER 379 NEW BEST:: SOT 56956000 SOS 6012392 HAS SOPS 3578022 HAS SOUS 2876929 HAS SOUPS 2809147 WITH SCORE 2815159.392
AT ITER 388 NEW BEST:: SOT 56956366 SOS 6017848 HAS SOPS 3583478 HAS SOUS 2876387 HAS SOUPS 2808605 WITH SCORE 2814622.848
AT ITER 389 NEW BEST:: SOT 56957040 SOS 6020431 HAS SOPS 3586722 HAS SOUS 2875818 HAS SOUPS 2808050 WITH SCORE 2814070.431
AT ITER 570 NEW BEST:: SOT 56957700 SOS 6022888 HAS SOPS 3589828 HAS SOUS 2875261 HAS SOUPS 2807505 WITH SCORE 2813527.888
AT ITER 576 NEW BEST:: SOT 56958006 SOS 6028322 HAS SOPS 3595262 HAS SOUS 2874621 HAS SOUPS 2806865 WITH SCORE 2812893.322
AT ITER 583 NEW BEST:: SOT 56958185 SOS 6031341 HAS SOPS 3598281 HAS SOUS 2874420 HAS SOUPS 2806664 WITH SCORE 2812695.341
AT ITER 607 NEW BEST:: SOT 56959402 SOS 6037682 HAS SOPS 3604084 HAS SOUS 2871579 HAS SOUPS 2803797 WITH SCORE 2809834.682
AT ITER 656 NEW BEST:: SOT 56961250 SOS 6042361 HAS SOPS 3609272 HAS SOUS 2870963 HAS SOUPS 2803172 WITH SCORE 2809214.361
AT ITER 666 NEW BEST:: SOT 56961466 SOS 6046881 HAS SOPS 3613776 HAS SOUS 2870278 HAS SOUPS 2802486 WITH SCORE 2808532.881
AT ITER 685 NEW BEST:: SOT 56960847 SOS 6047027 HAS SOPS 3615723 HAS SOUS 2869017 HAS SOUPS 2801262 WITH SCORE 2807309.027
AT ITER 737 NEW BEST:: SOT 56961305 SOS 6048122 HAS SOPS 3617275 HAS SOUS 2868976 HAS SOUPS 2801223 WITH SCORE 2807271.122
AT ITER 786 NEW BEST:: SOT 56963161 SOS 6056064 HAS SOPS 3624959 HAS SOUS 2866550 HAS SOUPS 2798783 WITH SCORE 2804839.064
AT ITER 792 NEW BEST:: SOT 56962181 SOS 6055548 HAS SOPS 3625989 HAS SOUS 2863630 HAS SOUPS 2795899 WITH SCORE 2801954.548
AT ITER 803 NEW BEST:: SOT 56962581 SOS 6059740 HAS SOPS 3630181 HAS SOUS 2860976 HAS SOUPS 2793245 WITH SCORE 2799304.74
AT ITER 835 NEW BEST:: SOT 56963122 SOS 6062363 HAS SOPS 3632650 HAS SOUS 2860788 HAS SOUPS 2793046 WITH SCORE 2799108.363
AT ITER 864 NEW BEST:: SOT 56963701 SOS 6068016 HAS SOPS 3638303 HAS SOUS 2859983 HAS SOUPS 2792241 WITH SCORE 2798309.016
AT ITER 905 NEW BEST:: SOT 56966225 SOS 6076546 HAS SOPS 3646403 HAS SOUS 2858292 HAS SOUPS 2790499 WITH SCORE 2796575.546
AT ITER 967 NEW BEST:: SOT 56966524 SOS 6082133 HAS SOPS 3651990 HAS SOUS 2858141 HAS SOUPS 2790348 WITH SCORE 2796430.133
AT ITER 976 NEW BEST:: SOT 56967328 SOS 6083937 HAS SOPS 3654502 HAS SOUS 2857913 HAS SOUPS 2790120 WITH SCORE 2796203.937
AT ITER 983 NEW BEST:: SOT 56967584 SOS 6084701 HAS SOPS 3657248 HAS SOUS 2857472 HAS SOUPS 2789690 WITH SCORE 2795774.701
AT ITER 993 NEW BEST:: SOT 56969166 SOS 6089526 HAS SOPS 3662044 HAS SOUS 2857164 HAS SOUPS 2789353 WITH SCORE 2795442.526
AT ITER 1036 NEW BEST:: SOT 56969732 SOS 6095026 HAS SOPS 3667544 HAS SOUS 2854026 HAS SOUPS 2786215 WITH SCORE 2792310.026
AT ITER 1056 NEW BEST:: SOT 56970378 SOS 6100776 HAS SOPS 3673294 HAS SOUS 2853258 HAS SOUPS 2785447 WITH SCORE 2791547.776
AT ITER 1082 NEW BEST:: SOT 56971275 SOS 6106790 HAS SOPS 3679271 HAS SOUS 2852769 HAS SOUPS 2784957 WITH SCORE 2791063.79
AT ITER 1100 NEW BEST:: SOT 56971885 SOS 6108632 HAS SOPS 3681685 HAS SOUS 2852270 HAS SOUPS 2784454 WITH SCORE 2790562.632
AT ITER 1203 NEW BEST:: SOT 56972281 SOS 6110677 HAS SOPS 3684079 HAS SOUS 2851347 HAS SOUPS 2783537 WITH SCORE 2789647.677
AT ITER 1283 NEW BEST:: SOT 56972006 SOS 6110248 HAS SOPS 3683804 HAS SOUS 2850775 HAS SOUPS 2782976 WITH SCORE 2789086.248
AT ITER 1294 NEW BEST:: SOT 56975178 SOS 6119536 HAS SOPS 3692716 HAS SOUS 2850578 HAS SOUPS 2782742 WITH SCORE 2788861.536
AT ITER 1308 NEW BEST:: SOT 56977052 SOS 6127791 HAS SOPS 3700610 HAS SOUS 2848941 HAS SOUPS 2781089 WITH SCORE 2787216.791
AT ITER 1311 NEW BEST:: SOT 56973738 SOS 6123017 HAS SOPS 3703277 HAS SOUS 2847864 HAS SOUPS 2780153 WITH SCORE 2786276.017
AT ITER 1315 NEW BEST:: SOT 56977292 SOS 6135947 HAS SOPS 3713073 HAS SOUS 2847249 HAS SOUPS 2779461 WITH SCORE 2785596.947
AT ITER 1347 NEW BEST:: SOT 56973273 SOS 6132662 HAS SOPS 3715599 HAS SOUS 2845979 HAS SOUPS 2778294 WITH SCORE 2784426.662
AT ITER 1351 NEW BEST:: SOT 56972501 SOS 6132148 HAS SOPS 3716381 HAS SOUS 2843596 HAS SOUPS 2775944 WITH SCORE 2782076.148
AT ITER 1401 NEW BEST:: SOT 56974952 SOS 6140657 HAS SOPS 3724604 HAS SOUS 2843515 HAS SOUPS 2775843 WITH SCORE 2781983.657
AT ITER 1407 NEW BEST:: SOT 56975525 SOS 6145718 HAS SOPS 3729735 HAS SOUS 2841158 HAS SOUPS 2773486 WITH SCORE 2779631.718
AT ITER 1464 NEW BEST:: SOT 56976339 SOS 6147610 HAS SOPS 3732375 HAS SOUS 2840861 HAS SOUPS 2773189 WITH SCORE 2779336.61
AT ITER 1488 NEW BEST:: SOT 56977758 SOS 6150531 HAS SOPS 3736722 HAS SOUS 2840716 HAS SOUPS 2773044 WITH SCORE 2779194.531
AT ITER 1500 NEW BEST:: SOT 56976945 SOS 6149871 HAS SOPS 3737731 HAS SOUS 2838266 HAS SOUPS 2770634 WITH SCORE 2776783.871
AT ITER 1590 NEW BEST:: SOT 56977174 SOS 6151026 HAS SOPS 3738896 HAS SOUS 2838225 HAS SOUPS 2770593 WITH SCORE 2776744.026
AT ITER 1593 NEW BEST:: SOT 56978195 SOS 6153491 HAS SOPS 3742335 HAS SOUS 2837755 HAS SOUPS 2770123 WITH SCORE 2776276.491
AT ITER 1599 NEW BEST:: SOT 56979161 SOS 6156241 HAS SOPS 3746033 HAS SOUS 2837690 HAS SOUPS 2770072 WITH SCORE 2776228.241
AT ITER 1608 NEW BEST:: SOT 56981388 SOS 6164885 HAS SOPS 3753806 HAS SOUS 2835306 HAS SOUPS 2767643 WITH SCORE 2773807.885
AT ITER 1663 NEW BEST:: SOT 56981357 SOS 6164854 HAS SOPS 3753775 HAS SOUS 2835275 HAS SOUPS 2767612 WITH SCORE 2773776.854
AT ITER 1816 NEW BEST:: SOT 56982135 SOS 6170436 HAS SOPS 3759357 HAS SOUS 2831331 HAS SOUPS 2763668 WITH SCORE 2769838.436
AT ITER 1820 NEW BEST:: SOT 56982680 SOS 6171779 HAS SOPS 3761222 HAS SOUS 2831055 HAS SOUPS 2763392 WITH SCORE 2769563.779
AT ITER 1847 NEW BEST:: SOT 56983122 SOS 6177405 HAS SOPS 3766848 HAS SOUS 2830495 HAS SOUPS 2762832 WITH SCORE 2769009.405
AT ITER 1862 NEW BEST:: SOT 56983554 SOS 6183287 HAS SOPS 3772730 HAS SOUS 2829987 HAS SOUPS 2762324 WITH SCORE 2768507.287
AT ITER 1866 NEW BEST:: SOT 56984144 SOS 6185673 HAS SOPS 3775602 HAS SOUS 2829239 HAS SOUPS 2761585 WITH SCORE 2767770.673
AT ITER 1916 NEW BEST:: SOT 56984924 SOS 6188266 HAS SOPS 3778106 HAS SOUS 2828985 HAS SOUPS 2761318 WITH SCORE 2767506.266
AT ITER 1951 NEW BEST:: SOT 56985485 SOS 6191942 HAS SOPS 3781755 HAS SOUS 2826431 HAS SOUPS 2758764 WITH SCORE 2764955.942
AT ITER 2045 NEW BEST:: SOT 56985979 SOS 6196227 HAS SOPS 3786099 HAS SOUS 2823134 HAS SOUPS 2755467 WITH SCORE 2761663.227
AT ITER 2067 NEW BEST:: SOT 56986998 SOS 6198958 HAS SOPS 3789700 HAS SOUS 2822381 HAS SOUPS 2754714 WITH SCORE 2760912.958
AT ITER 2116 NEW BEST:: SOT 56987460 SOS 6200256 HAS SOPS 3791458 HAS SOUS 2822031 HAS SOUPS 2754363 WITH SCORE 2760563.256
AT ITER 2196 NEW BEST:: SOT 56987754 SOS 6205068 HAS SOPS 3796270 HAS SOUS 2821169 HAS SOUPS 2753501 WITH SCORE 2759706.068
AT ITER 2237 NEW BEST:: SOT 56988005 SOS 6205874 HAS SOPS 3797821 HAS SOUS 2821029 HAS SOUPS 2753357 WITH SCORE 2759562.874
AT ITER 2310 NEW BEST:: SOT 56988788 SOS 6208017 HAS SOPS 3799988 HAS SOUS 2820903 HAS SOUPS 2753228 WITH SCORE 2759436.017
AT ITER 2331 NEW BEST:: SOT 56989058 SOS 6209640 HAS SOPS 3801598 HAS SOUS 2820353 HAS SOUPS 2752665 WITH SCORE 2758874.64
AT ITER 2389 NEW BEST:: SOT 56989625 SOS 6215223 HAS SOPS 3807181 HAS SOUS 2816970 HAS SOUPS 2749282 WITH SCORE 2755497.223
AT ITER 2425 NEW BEST:: SOT 56989907 SOS 6215807 HAS SOPS 3808035 HAS SOUS 2816942 HAS SOUPS 2749254 WITH SCORE 2755469.807
AT ITER 2460 NEW BEST:: SOT 56990323 SOS 6217073 HAS SOPS 3809645 HAS SOUS 2816483 HAS SOUPS 2748795 WITH SCORE 2755012.073
AT ITER 2525 NEW BEST:: SOT 56989466 SOS 6215669 HAS SOPS 3808788 HAS SOUS 2814697 HAS SOUPS 2747045 WITH SCORE 2753260.669
AT ITER 2527 NEW BEST:: SOT 56990295 SOS 6217792 HAS SOPS 3811599 HAS SOUS 2814681 HAS SOUPS 2747038 WITH SCORE 2753255.792
AT ITER 2538 NEW BEST:: SOT 56991113 SOS 6219646 HAS SOPS 3814241 HAS SOUS 2814506 HAS SOUPS 2746851 WITH SCORE 2753070.646
AT ITER 2562 NEW BEST:: SOT 56987364 SOS 6214923 HAS SOPS 3816507 HAS SOUS 2813000 HAS SOUPS 2745486 WITH SCORE 2751700.923
AT ITER 2635 NEW BEST:: SOT 56987916 SOS 6216597 HAS SOPS 3818571 HAS SOUS 2812587 HAS SOUPS 2745075 WITH SCORE 2751291.597
AT ITER 2706 NEW BEST:: SOT 56988554 SOS 6222495 HAS SOPS 3824469 HAS SOUS 2812065 HAS SOUPS 2744553 WITH SCORE 2750775.495
AT ITER 2707 NEW BEST:: SOT 56988994 SOS 6227221 HAS SOPS 3829195 HAS SOUS 2808219 HAS SOUPS 2740707 WITH SCORE 2746934.221
AT ITER 2750 NEW BEST:: SOT 56988830 SOS 6226909 HAS SOPS 3829031 HAS SOUS 2807875 HAS SOUPS 2740371 WITH SCORE 2746597.909
AT ITER 2775 NEW BEST:: SOT 56990335 SOS 6230174 HAS SOPS 3833584 HAS SOUS 2807571 HAS SOUPS 2740068 WITH SCORE 2746298.174
AT ITER 2793 NEW BEST:: SOT 56990837 SOS 6234674 HAS SOPS 3838084 HAS SOUS 2804977 HAS SOUPS 2737474 WITH SCORE 2743708.674
AT ITER 2815 NEW BEST:: SOT 56991375 SOS 6236209 HAS SOPS 3840154 HAS SOUS 2804707 HAS SOUPS 2737207 WITH SCORE 2743443.209
AT ITER 2907 NEW BEST:: SOT 56992080 SOS 6237619 HAS SOPS 3842211 HAS SOUS 2804682 HAS SOUPS 2737182 WITH SCORE 2743419.619
AT ITER 2921 NEW BEST:: SOT 56992041 SOS 6237578 HAS SOPS 3842132 HAS SOUS 2804646 HAS SOUPS 2737146 WITH SCORE 2743383.578
AT ITER 2940 NEW BEST:: SOT 56993277 SOS 6242605 HAS SOPS 3847142 HAS SOUS 2803731 HAS SOUPS 2736227 WITH SCORE 2742469.605
AT ITER 2962 NEW BEST:: SOT 56994548 SOS 6248471 HAS SOPS 3852953 HAS SOUS 2800780 HAS SOUPS 2733265 WITH SCORE 2739513.471
AT ITER 3006 NEW BEST:: SOT 56995138 SOS 6249689 HAS SOPS 3854715 HAS SOUS 2800767 HAS SOUPS 2733246 WITH SCORE 2739495.689
AT ITER 3087 NEW BEST:: SOT 56997711 SOS 6258808 HAS SOPS 3863362 HAS SOUS 2799459 HAS SOUPS 2731911 WITH SCORE 2738169.808
AT ITER 3105 NEW BEST:: SOT 56998097 SOS 6259692 HAS SOPS 3864618 HAS SOUS 2799333 HAS SOUPS 2731785 WITH SCORE 2738044.692
AT ITER 3122 NEW BEST:: SOT 56999513 SOS 6266822 HAS SOPS 3871396 HAS SOUS 2795937 HAS SOUPS 2728367 WITH SCORE 2734633.822
AT ITER 3130 NEW BEST:: SOT 56999420 SOS 6267769 HAS SOPS 3872141 HAS SOUS 2794760 HAS SOUPS 2727190 WITH SCORE 2733457.769
AT ITER 3235 NEW BEST:: SOT 56999480 SOS 6268363 HAS SOPS 3872733 HAS SOUS 2794286 HAS SOUPS 2726716 WITH SCORE 2732984.363
AT ITER 3258 NEW BEST:: SOT 57002363 SOS 6277623 HAS SOPS 3881420 HAS SOUS 2793088 HAS SOUPS 2725470 WITH SCORE 2731747.623
AT ITER 3301 NEW BEST:: SOT 57002696 SOS 6280217 HAS SOPS 3883989 HAS SOUS 2791160 HAS SOUPS 2723542 WITH SCORE 2729822.217
AT ITER 3393 NEW BEST:: SOT 57002801 SOS 6280250 HAS SOPS 3883962 HAS SOUS 2791091 HAS SOUPS 2723473 WITH SCORE 2729753.25
AT ITER 3407 NEW BEST:: SOT 57003245 SOS 6281201 HAS SOPS 3885326 HAS SOUS 2791046 HAS SOUPS 2723425 WITH SCORE 2729706.201
AT ITER 3441 NEW BEST:: SOT 57003656 SOS 6284726 HAS SOPS 3888851 HAS SOUS 2788343 HAS SOUPS 2720722 WITH SCORE 2727006.726
AT ITER 3516 NEW BEST:: SOT 57004558 SOS 6287369 HAS SOPS 3892325 HAS SOUS 2787788 HAS SOUPS 2720156 WITH SCORE 2726443.369
AT ITER 3527 NEW BEST:: SOT 56999451 SOS 6280837 HAS SOPS 3893334 HAS SOUS 2785320 HAS SOUPS 2717731 WITH SCORE 2724011.837
AT ITER 3542 NEW BEST:: SOT 56999833 SOS 6281760 HAS SOPS 3896282 HAS SOUS 2785221 HAS SOUPS 2717632 WITH SCORE 2723913.76
AT ITER 3559 NEW BEST:: SOT 57000859 SOS 6284274 HAS SOPS 3899786 HAS SOUS 2784702 HAS SOUPS 2717113 WITH SCORE 2723397.274
AT ITER 3704 NEW BEST:: SOT 57001829 SOS 6286797 HAS SOPS 3903208 HAS SOUS 2784354 HAS SOUPS 2716764 WITH SCORE 2723050.797
AT ITER 3716 NEW BEST:: SOT 57001449 SOS 6286631 HAS SOPS 3902654 HAS SOUS 2783762 HAS SOUPS 2716172 WITH SCORE 2722458.631
AT ITER 3770 NEW BEST:: SOT 57002483 SOS 6292099 HAS SOPS 3908098 HAS SOUS 2780362 HAS SOUPS 2712772 WITH SCORE 2719064.099
AT ITER 3805 NEW BEST:: SOT 57004007 SOS 6295153 HAS SOPS 3912526 HAS SOUS 2780299 HAS SOUPS 2712709 WITH SCORE 2719004.153
AT ITER 3825 NEW BEST:: SOT 57004855 SOS 6300701 HAS SOPS 3918074 HAS SOUS 2776447 HAS SOUPS 2708857 WITH SCORE 2715157.701
AT ITER 3831 NEW BEST:: SOT 57005668 SOS 6303953 HAS SOPS 3921639 HAS SOUS 2775778 HAS SOUPS 2708202 WITH SCORE 2714505.953
AT ITER 3971 NEW BEST:: SOT 57005262 SOS 6303524 HAS SOPS 3921233 HAS SOUS 2775100 HAS SOUPS 2707535 WITH SCORE 2713838.524
AT ITER 4105 NEW BEST:: SOT 57005109 SOS 6303417 HAS SOPS 3920966 HAS SOUS 2774905 HAS SOUPS 2707340 WITH SCORE 2713643.417
AT ITER 4118 NEW BEST:: SOT 57004962 SOS 6303494 HAS SOPS 3920861 HAS SOUS 2774541 HAS SOUPS 2706976 WITH SCORE 2713279.494
AT ITER 4137 NEW BEST:: SOT 57006129 SOS 6306129 HAS SOPS 3924470 HAS SOUS 2774185 HAS SOUPS 2706620 WITH SCORE 2712926.129
AT ITER 4248 NEW BEST:: SOT 57007266 SOS 6308710 HAS SOPS 3928077 HAS SOUS 2773833 HAS SOUPS 2706268 WITH SCORE 2712576.71
AT ITER 4251 NEW BEST:: SOT 57007865 SOS 6313593 HAS SOPS 3932948 HAS SOUS 2770148 HAS SOUPS 2702583 WITH SCORE 2708896.593
AT ITER 4311 NEW BEST:: SOT 57008161 SOS 6316167 HAS SOPS 3935522 HAS SOUS 2768166 HAS SOUPS 2700601 WITH SCORE 2706917.167
AT ITER 4423 NEW BEST:: SOT 57008032 SOS 6315975 HAS SOPS 3935213 HAS SOUS 2767974 HAS SOUPS 2700406 WITH SCORE 2706721.975
AT ITER 4463 NEW BEST:: SOT 57008663 SOS 6317432 HAS SOPS 3937170 HAS SOUS 2767751 HAS SOUPS 2700183 WITH SCORE 2706500.432
AT ITER 4491 NEW BEST:: SOT 57009503 SOS 6322291 HAS SOPS 3942006 HAS SOUS 2764859 HAS SOUPS 2697288 WITH SCORE 2703610.291
AT ITER 4563 NEW BEST:: SOT 57010192 SOS 6324083 HAS SOPS 3944305 HAS SOUS 2764407 HAS SOUPS 2696836 WITH SCORE 2703160.083
AT ITER 4577 NEW BEST:: SOT 57010159 SOS 6324034 HAS SOPS 3944334 HAS SOUS 2764308 HAS SOUPS 2696739 WITH SCORE 2703063.034
AT ITER 4585 NEW BEST:: SOT 57009230 SOS 6322013 HAS SOPS 3943023 HAS SOUS 2763528 HAS SOUPS 2695982 WITH SCORE 2702304.013
AT ITER 4632 NEW BEST:: SOT 57010139 SOS 6327156 HAS SOPS 3948166 HAS SOUS 2762007 HAS SOUPS 2694461 WITH SCORE 2700788.156
AT ITER 4748 NEW BEST:: SOT 57011835 SOS 6335319 HAS SOPS 3955962 HAS SOUS 2761131 HAS SOUPS 2693562 WITH SCORE 2699897.319
AT ITER 4779 NEW BEST:: SOT 57012059 SOS 6336353 HAS SOPS 3956996 HAS SOUS 2760545 HAS SOUPS 2692976 WITH SCORE 2699312.353
AT ITER 4812 NEW BEST:: SOT 57012253 SOS 6337625 HAS SOPS 3958258 HAS SOUS 2759661 HAS SOUPS 2692092 WITH SCORE 2698429.625
AT ITER 4819 NEW BEST:: SOT 57012445 SOS 6339073 HAS SOPS 3959860 HAS SOUS 2758559 HAS SOUPS 2690990 WITH SCORE 2697329.073
AT ITER 4932 NEW BEST:: SOT 57014128 SOS 6346066 HAS SOPS 3966105 HAS SOUS 2755711 HAS SOUPS 2688123 WITH SCORE 2694469.066
AT ITER 4934 NEW BEST:: SOT 57014355 SOS 6347807 HAS SOPS 3968026 HAS SOUS 2754372 HAS SOUPS 2686785 WITH SCORE 2693132.807
AT ITER 4970 NEW BEST:: SOT 57015109 SOS 6349794 HAS SOPS 3970686 HAS SOUS 2753935 HAS SOUPS 2686347 WITH SCORE 2692696.794
AT ITER 4979 NEW BEST:: SOT 57015698 SOS 6351820 HAS SOPS 3973145 HAS SOUS 2753344 HAS SOUPS 2685759 WITH SCORE 2692110.82
AT ITER 5131 NEW BEST:: SOT 57016348 SOS 6355430 HAS SOPS 3976751 HAS SOUS 2751034 HAS SOUPS 2683449 WITH SCORE 2689804.43
AT ITER 5134 NEW BEST:: SOT 57017508 SOS 6361503 HAS SOPS 3982691 HAS SOUS 2747527 HAS SOUPS 2679936 WITH SCORE 2686297.503
AT ITER 5158 NEW BEST:: SOT 57017274 SOS 6359553 HAS SOPS 3982457 HAS SOUS 2746959 HAS SOUPS 2679418 WITH SCORE 2685777.553
AT ITER 5173 NEW BEST:: SOT 57017669 SOS 6360922 HAS SOPS 3984186 HAS SOUS 2746344 HAS SOUPS 2678803 WITH SCORE 2685163.922
AT ITER 5192 NEW BEST:: SOT 57017125 SOS 6359938 HAS SOPS 3983182 HAS SOUS 2745789 HAS SOUPS 2678251 WITH SCORE 2684610.938
AT ITER 5204 NEW BEST:: SOT 57018236 SOS 6362271 HAS SOPS 3986417 HAS SOUS 2745636 HAS SOUPS 2678098 WITH SCORE 2684460.271
AT ITER 5247 NEW BEST:: SOT 57017758 SOS 6361836 HAS SOPS 3986901 HAS SOUS 2744172 HAS SOUPS 2676657 WITH SCORE 2683018.836
AT ITER 5264 NEW BEST:: SOT 57021801 SOS 6374697 HAS SOPS 3996624 HAS SOUS 2743169 HAS SOUPS 2675562 WITH SCORE 2681936.697
AT ITER 5372 NEW BEST:: SOT 57022609 SOS 6378631 HAS SOPS 4000554 HAS SOUS 2740851 HAS SOUPS 2673244 WITH SCORE 2679622.631
AT ITER 5450 NEW BEST:: SOT 57024212 SOS 6383948 HAS SOPS 4005829 HAS SOUS 2739066 HAS SOUPS 2671452 WITH SCORE 2677835.948
AT ITER 5501 NEW BEST:: SOT 57024686 SOS 6385158 HAS SOPS 4007447 HAS SOUS 2738781 HAS SOUPS 2671167 WITH SCORE 2677552.158
AT ITER 5541 NEW BEST:: SOT 57025307 SOS 6387054 HAS SOPS 4009744 HAS SOUS 2738086 HAS SOUPS 2670472 WITH SCORE 2676859.054
AT ITER 5629 NEW BEST:: SOT 57025565 SOS 6388338 HAS SOPS 4011190 HAS SOUS 2737286 HAS SOUPS 2669672 WITH SCORE 2676060.338
AT ITER 5757 NEW BEST:: SOT 57026095 SOS 6390992 HAS SOPS 4014088 HAS SOUS 2735622 HAS SOUPS 2668009 WITH SCORE 2674399.992
AT ITER 5819 NEW BEST:: SOT 57028160 SOS 6398761 HAS SOPS 4020479 HAS SOUS 2733131 HAS SOUPS 2665490 WITH SCORE 2671888.761
AT ITER 5847 NEW BEST:: SOT 57029063 SOS 6400664 HAS SOPS 4023164 HAS SOUS 2732995 HAS SOUPS 2665354 WITH SCORE 2671754.664
AT ITER 5859 NEW BEST:: SOT 57028080 SOS 6399650 HAS SOPS 4022181 HAS SOUS 2731141 HAS SOUPS 2663522 WITH SCORE 2669921.65
AT ITER 6008 NEW BEST:: SOT 57029952 SOS 6406477 HAS SOPS 4028641 HAS SOUS 2728878 HAS SOUPS 2661239 WITH SCORE 2667645.477
AT ITER 6033 NEW BEST:: SOT 57029976 SOS 6406697 HAS SOPS 4028863 HAS SOUS 2728713 HAS SOUPS 2661074 WITH SCORE 2667480.697
AT ITER 6071 NEW BEST:: SOT 57032819 SOS 6415854 HAS SOPS 4037536 HAS SOUS 2728276 HAS SOUPS 2660611 WITH SCORE 2667026.854
AT ITER 6093 NEW BEST:: SOT 57033117 SOS 6417474 HAS SOPS 4039178 HAS SOUS 2727744 HAS SOUPS 2660079 WITH SCORE 2666496.474
AT ITER 6101 NEW BEST:: SOT 57035609 SOS 6425707 HAS SOPS 4047004 HAS SOUS 2726463 HAS SOUPS 2658778 WITH SCORE 2665203.707
AT ITER 6122 NEW BEST:: SOT 57035376 SOS 6425503 HAS SOPS 4047241 HAS SOUS 2725750 HAS SOUPS 2658076 WITH SCORE 2664501.503
AT ITER 6188 NEW BEST:: SOT 57035339 SOS 6425464 HAS SOPS 4047204 HAS SOUS 2725674 HAS SOUPS 2658001 WITH SCORE 2664426.464
AT ITER 6191 NEW BEST:: SOT 57036343 SOS 6427768 HAS SOPS 4050374 HAS SOUS 2725329 HAS SOUPS 2657656 WITH SCORE 2664083.768
AT ITER 6227 NEW BEST:: SOT 57029911 SOS 6419836 HAS SOPS 4050403 HAS SOUS 2720682 HAS SOUPS 2653224 WITH SCORE 2659643.836
AT ITER 6300 NEW BEST:: SOT 57032932 SOS 6428653 HAS SOPS 4057982 HAS SOUS 2719916 HAS SOUPS 2652409 WITH SCORE 2658837.653
AT ITER 6305 NEW BEST:: SOT 57033553 SOS 6430637 HAS SOPS 4060335 HAS SOUS 2719126 HAS SOUPS 2651619 WITH SCORE 2658049.637
AT ITER 6317 NEW BEST:: SOT 57034314 SOS 6435100 HAS SOPS 4064808 HAS SOUS 2716185 HAS SOUPS 2648678 WITH SCORE 2655113.1
AT ITER 6369 NEW BEST:: SOT 57035790 SOS 6441099 HAS SOPS 4070800 HAS SOUS 2713343 HAS SOUPS 2645831 WITH SCORE 2652272.099
AT ITER 6379 NEW BEST:: SOT 57036479 SOS 6442982 HAS SOPS 4073185 HAS SOUS 2712797 HAS SOUPS 2645285 WITH SCORE 2651727.982
AT ITER 6381 NEW BEST:: SOT 57037091 SOS 6444450 HAS SOPS 4075119 HAS SOUS 2712522 HAS SOUPS 2645010 WITH SCORE 2651454.45
AT ITER 6424 NEW BEST:: SOT 57036199 SOS 6443438 HAS SOPS 4074123 HAS SOUS 2711133 HAS SOUPS 2643631 WITH SCORE 2650074.438
AT ITER 6458 NEW BEST:: SOT 57037467 SOS 6449655 HAS SOPS 4080235 HAS SOUS 2708239 HAS SOUPS 2640714 WITH SCORE 2647163.655
AT ITER 6465 NEW BEST:: SOT 57037697 SOS 6451033 HAS SOPS 4081729 HAS SOUS 2707285 HAS SOUPS 2639760 WITH SCORE 2646211.033
AT ITER 6693 NEW BEST:: SOT 57038335 SOS 6454658 HAS SOPS 4085353 HAS SOUS 2704936 HAS SOUPS 2637411 WITH SCORE 2643865.658
AT ITER 6702 NEW BEST:: SOT 57038180 SOS 6454819 HAS SOPS 4086946 HAS SOUS 2704516 HAS SOUPS 2636991 WITH SCORE 2643445.819
AT ITER 6706 NEW BEST:: SOT 57038017 SOS 6454661 HAS SOPS 4087123 HAS SOUS 2704020 HAS SOUPS 2636503 WITH SCORE 2642957.661
AT ITER 6736 NEW BEST:: SOT 57038051 SOS 6454930 HAS SOPS 4087677 HAS SOUS 2703450 HAS SOUPS 2635942 WITH SCORE 2642396.93
AT ITER 6739 NEW BEST:: SOT 57038492 SOS 6457119 HAS SOPS 4090124 HAS SOUS 2702073 HAS SOUPS 2634571 WITH SCORE 2641028.119
AT ITER 6812 NEW BEST:: SOT 57039429 SOS 6459202 HAS SOPS 4092925 HAS SOUS 2701817 HAS SOUPS 2634315 WITH SCORE 2640774.202
AT ITER 6838 NEW BEST:: SOT 57040167 SOS 6463524 HAS SOPS 4097243 HAS SOUS 2698971 HAS SOUPS 2631469 WITH SCORE 2637932.524
AT ITER 6888 NEW BEST:: SOT 57040820 SOS 6465075 HAS SOPS 4099356 HAS SOUS 2698689 HAS SOUPS 2631187 WITH SCORE 2637652.075
AT ITER 7044 NEW BEST:: SOT 57041407 SOS 6468258 HAS SOPS 4102537 HAS SOUS 2696680 HAS SOUPS 2629178 WITH SCORE 2635646.258
AT ITER 7082 NEW BEST:: SOT 57042775 SOS 6473778 HAS SOPS 4107973 HAS SOUS 2693978 HAS SOUPS 2626474 WITH SCORE 2632947.778
AT ITER 7089 NEW BEST:: SOT 57047765 SOS 6486679 HAS SOPS 4120001 HAS SOUS 2693230 HAS SOUPS 2625691 WITH SCORE 2632177.679
AT ITER 7126 NEW BEST:: SOT 57048971 SOS 6490804 HAS SOPS 4124097 HAS SOUS 2691517 HAS SOUPS 2623978 WITH SCORE 2630468.804
AT ITER 7156 NEW BEST:: SOT 57049061 SOS 6491124 HAS SOPS 4124417 HAS SOUS 2691377 HAS SOUPS 2623838 WITH SCORE 2630329.124
AT ITER 7165 NEW BEST:: SOT 57048165 SOS 6488858 HAS SOPS 4122541 HAS SOUS 2690908 HAS SOUPS 2623392 WITH SCORE 2629880.858
AT ITER 7198 NEW BEST:: SOT 57046114 SOS 6489308 HAS SOPS 4124037 HAS SOUS 2690782 HAS SOUPS 2623266 WITH SCORE 2629755.308
AT ITER 7249 NEW BEST:: SOT 57046000 SOS 6489619 HAS SOPS 4124187 HAS SOUS 2690260 HAS SOUPS 2622744 WITH SCORE 2629233.619
AT ITER 7332 NEW BEST:: SOT 57046538 SOS 6489957 HAS SOPS 4124055 HAS SOUS 2690219 HAS SOUPS 2622696 WITH SCORE 2629185.957
AT ITER 7367 NEW BEST:: SOT 57046778 SOS 6490476 HAS SOPS 4125587 HAS SOUS 2689998 HAS SOUPS 2622492 WITH SCORE 2628982.476
AT ITER 7535 NEW BEST:: SOT 57047530 SOS 6492442 HAS SOPS 4128183 HAS SOUS 2689466 HAS SOUPS 2621961 WITH SCORE 2628453.442
AT ITER 7581 NEW BEST:: SOT 57047807 SOS 6494707 HAS SOPS 4130448 HAS SOUS 2687755 HAS SOUPS 2620250 WITH SCORE 2626744.707
AT ITER 7597 NEW BEST:: SOT 57049719 SOS 6500012 HAS SOPS 4135606 HAS SOUS 2687012 HAS SOUPS 2619489 WITH SCORE 2625989.012
AT ITER 7732 NEW BEST:: SOT 57049245 SOS 6497633 HAS SOPS 4135132 HAS SOUS 2685942 HAS SOUPS 2618480 WITH SCORE 2624977.633
AT ITER 7766 NEW BEST:: SOT 57049214 SOS 6497463 HAS SOPS 4135126 HAS SOUS 2685845 HAS SOUPS 2618413 WITH SCORE 2624910.463
AT ITER 7773 NEW BEST:: SOT 57051212 SOS 6504431 HAS SOPS 4142030 HAS SOUS 2683529 HAS SOUPS 2616083 WITH SCORE 2622587.431
AT ITER 7788 NEW BEST:: SOT 57053506 SOS 6512038 HAS SOPS 4148916 HAS SOUS 2681576 HAS SOUPS 2614104 WITH SCORE 2620616.038
AT ITER 7846 NEW BEST:: SOT 57054450 SOS 6517170 HAS SOPS 4154074 HAS SOUS 2679234 HAS SOUPS 2611762 WITH SCORE 2618279.17
AT ITER 7855 NEW BEST:: SOT 57054022 SOS 6516162 HAS SOPS 4153352 HAS SOUS 2678935 HAS SOUPS 2611474 WITH SCORE 2617990.162
AT ITER 7868 NEW BEST:: SOT 57053518 SOS 6516332 HAS SOPS 4153024 HAS SOUS 2677802 HAS SOUPS 2610341 WITH SCORE 2616857.332
AT ITER 7984 NEW BEST:: SOT 57056313 SOS 6524447 HAS SOPS 4160809 HAS SOUS 2677040 HAS SOUPS 2609542 WITH SCORE 2616066.447
AT ITER 8132 NEW BEST:: SOT 57058808 SOS 6530067 HAS SOPS 4166386 HAS SOUS 2676904 HAS SOUPS 2609399 WITH SCORE 2615929.067
AT ITER 8219 NEW BEST:: SOT 57061246 SOS 6537736 HAS SOPS 4172260 HAS SOUS 2676284 HAS SOUPS 2608726 WITH SCORE 2615263.736
AT ITER 8225 NEW BEST:: SOT 57061209 SOS 6537697 HAS SOPS 4172223 HAS SOUS 2676208 HAS SOUPS 2608651 WITH SCORE 2615188.697
AT ITER 8227 NEW BEST:: SOT 57061472 SOS 6538334 HAS SOPS 4173926 HAS SOUS 2676128 HAS SOUPS 2608571 WITH SCORE 2615109.334
AT ITER 8326 NEW BEST:: SOT 57062222 SOS 6541365 HAS SOPS 4177090 HAS SOUS 2675435 HAS SOUPS 2607896 WITH SCORE 2614437.365
AT ITER 8384 NEW BEST:: SOT 57062816 SOS 6544113 HAS SOPS 4179836 HAS SOUS 2673875 HAS SOUPS 2606336 WITH SCORE 2612880.113
AT ITER 8463 NEW BEST:: SOT 57063405 SOS 6545460 HAS SOPS 4181703 HAS SOUS 2673678 HAS SOUPS 2606139 WITH SCORE 2612684.46
AT ITER 8482 NEW BEST:: SOT 57063044 SOS 6544758 HAS SOPS 4181342 HAS SOUS 2672920 HAS SOUPS 2605399 WITH SCORE 2611943.758
AT ITER 8535 NEW BEST:: SOT 57063127 SOS 6546771 HAS SOPS 4182751 HAS SOUS 2672921 HAS SOUPS 2605356 WITH SCORE 2611902.771
AT ITER 8561 NEW BEST:: SOT 57065864 SOS 6554082 HAS SOPS 4190110 HAS SOUS 2672683 HAS SOUPS 2605093 WITH SCORE 2611647.082
AT ITER 8569 NEW BEST:: SOT 57066774 SOS 6556340 HAS SOPS 4193076 HAS SOUS 2672229 HAS SOUPS 2604627 WITH SCORE 2611183.34
AT ITER 8610 NEW BEST:: SOT 57066813 SOS 6556547 HAS SOPS 4193283 HAS SOUS 2672100 HAS SOUPS 2604498 WITH SCORE 2611054.547
AT ITER 8647 NEW BEST:: SOT 57066143 SOS 6554597 HAS SOPS 4192613 HAS SOUS 2670660 HAS SOUPS 2603108 WITH SCORE 2609662.597
AT ITER 8649 NEW BEST:: SOT 57066457 SOS 6560403 HAS SOPS 4198419 HAS SOUS 2670156 HAS SOUPS 2602604 WITH SCORE 2609164.403
AT ITER 8699 NEW BEST:: SOT 57067226 SOS 6562436 HAS SOPS 4201082 HAS SOUS 2669613 HAS SOUPS 2602061 WITH SCORE 2608623.436
AT ITER 8728 NEW BEST:: SOT 57068467 SOS 6567698 HAS SOPS 4206315 HAS SOUS 2666833 HAS SOUPS 2599281 WITH SCORE 2605848.698
AT ITER 8742 NEW BEST:: SOT 57069252 SOS 6569335 HAS SOPS 4208666 HAS SOUS 2666710 HAS SOUPS 2599158 WITH SCORE 2605727.335
AT ITER 8769 NEW BEST:: SOT 57069999 SOS 6571284 HAS SOPS 4211089 HAS SOUS 2666206 HAS SOUPS 2598654 WITH SCORE 2605225.284
AT ITER 8810 NEW BEST:: SOT 57071333 SOS 6578153 HAS SOPS 4217905 HAS SOUS 2663932 HAS SOUPS 2596373 WITH SCORE 2602951.153
AT ITER 8859 NEW BEST:: SOT 57071374 SOS 6578266 HAS SOPS 4218018 HAS SOUS 2663901 HAS SOUPS 2596342 WITH SCORE 2602920.266
AT ITER 8877 NEW BEST:: SOT 57071020 SOS 6577921 HAS SOPS 4218067 HAS SOUS 2663743 HAS SOUPS 2596192 WITH SCORE 2602769.921
AT ITER 8907 NEW BEST:: SOT 57072982 SOS 6584100 HAS SOPS 4224031 HAS SOUS 2662144 HAS SOUPS 2594577 WITH SCORE 2601161.1
AT ITER 8917 NEW BEST:: SOT 57072129 SOS 6583019 HAS SOPS 4223834 HAS SOUS 2661519 HAS SOUPS 2593978 WITH SCORE 2600561.019
AT ITER 8951 NEW BEST:: SOT 57071990 SOS 6582707 HAS SOPS 4223695 HAS SOUS 2661225 HAS SOUPS 2593692 WITH SCORE 2600274.707
AT ITER 8984 NEW BEST:: SOT 57072884 SOS 6587035 HAS SOPS 4230731 HAS SOUS 2661041 HAS SOUPS 2593583 WITH SCORE 2600170.035
AT ITER 9050 NEW BEST:: SOT 57073183 SOS 6588328 HAS SOPS 4231950 HAS SOUS 2660223 HAS SOUPS 2592768 WITH SCORE 2599356.328
AT ITER 9079 NEW BEST:: SOT 57073150 SOS 6588211 HAS SOPS 4231917 HAS SOUS 2660151 HAS SOUPS 2592699 WITH SCORE 2599287.211
AT ITER 9090 NEW BEST:: SOT 57076725 SOS 6599112 HAS SOPS 4241008 HAS SOUS 2659229 HAS SOUPS 2591708 WITH SCORE 2598307.112
AT ITER 9097 NEW BEST:: SOT 57076223 SOS 6598514 HAS SOPS 4240286 HAS SOUS 2658413 HAS SOUPS 2590902 WITH SCORE 2597500.514
AT ITER 9168 NEW BEST:: SOT 57076901 SOS 6601932 HAS SOPS 4243708 HAS SOUS 2656351 HAS SOUPS 2588840 WITH SCORE 2595441.932
AT ITER 9211 NEW BEST:: SOT 57078153 SOS 6607142 HAS SOPS 4248904 HAS SOUS 2653973 HAS SOUPS 2586454 WITH SCORE 2593061.142
AT ITER 9221 NEW BEST:: SOT 57076465 SOS 6605167 HAS SOPS 4248273 HAS SOUS 2652777 HAS SOUPS 2585302 WITH SCORE 2591907.167
AT ITER 9279 NEW BEST:: SOT 57076823 SOS 6605997 HAS SOPS 4249461 HAS SOUS 2652682 HAS SOUPS 2585207 WITH SCORE 2591812.997
AT ITER 9302 NEW BEST:: SOT 57073256 SOS 6600559 HAS SOPS 4247817 HAS SOUS 2650839 HAS SOUPS 2583502 WITH SCORE 2590102.559
AT ITER 9309 NEW BEST:: SOT 57073686 SOS 6604209 HAS SOPS 4250297 HAS SOUS 2648539 HAS SOUPS 2581189 WITH SCORE 2587793.209
AT ITER 9310 NEW BEST:: SOT 57074013 SOS 6606037 HAS SOPS 4252152 HAS SOUS 2647365 HAS SOUPS 2580015 WITH SCORE 2586621.037
AT ITER 9323 NEW BEST:: SOT 57075746 SOS 6613452 HAS SOPS 4259537 HAS SOUS 2644168 HAS SOUPS 2576795 WITH SCORE 2583408.452
AT ITER 9327 NEW BEST:: SOT 57075542 SOS 6613374 HAS SOPS 4259219 HAS SOUS 2643844 HAS SOUPS 2576471 WITH SCORE 2583084.374
AT ITER 9429 NEW BEST:: SOT 57078377 SOS 6622212 HAS SOPS 4265794 HAS SOUS 2643054 HAS SOUPS 2575623 WITH SCORE 2582245.212
AT ITER 9450 NEW BEST:: SOT 57079830 SOS 6628551 HAS SOPS 4272143 HAS SOUS 2640113 HAS SOUPS 2572670 WITH SCORE 2579298.551
AT ITER 9547 NEW BEST:: SOT 57079765 SOS 6628554 HAS SOPS 4272070 HAS SOUS 2639976 HAS SOUPS 2572535 WITH SCORE 2579163.554
AT ITER 9724 NEW BEST:: SOT 57079398 SOS 6627642 HAS SOPS 4271163 HAS SOUS 2639744 HAS SOUPS 2572307 WITH SCORE 2578934.642
AT ITER 9813 NEW BEST:: SOT 57080616 SOS 6630425 HAS SOPS 4275041 HAS SOUS 2639343 HAS SOUPS 2571906 WITH SCORE 2578536.425
AT ITER 9898 NEW BEST:: SOT 57084096 SOS 6640317 HAS SOPS 4282935 HAS SOUS 2638871 HAS SOUPS 2571374 WITH SCORE 2578014.317
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14501112 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16055184 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
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-COL-040"
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-040, 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-167912710700616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-040.tgz
mv TokenRing-COL-040 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 ;