About the Execution of Smart+red for HirschbergSinclair-PT-35
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5419.535 | 3600000.00 | 3631738.00 | 11447.30 | [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.r203-smll-167840349600480.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 HirschbergSinclair-PT-35, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600480
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 12K Feb 26 02:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 02:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 02:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 02:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 26 02:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 02:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 02:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 02:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 544K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678635584069
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=HirschbergSinclair-PT-35
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 15:39:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 15:39:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 15:39:47] [INFO ] Load time of PNML (sax parser for PT used): 213 ms
[2023-03-12 15:39:47] [INFO ] Transformed 998 places.
[2023-03-12 15:39:47] [INFO ] Transformed 922 transitions.
[2023-03-12 15:39:47] [INFO ] Parsed PT model containing 998 places and 922 transitions and 2806 arcs in 367 ms.
[2023-03-12 15:39:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 998 places, 922 transitions and 2806 arcs took 29 ms.
Total runtime 462 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 35
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: 998 places, 922 transitions, 2806 arcs.
AT ITER 0 NEW BEST:: SOT 796677 SOS 383098 HAS SOPS 383098 HAS SOUS 381397 HAS SOUPS 381397 WITH SCORE 381780.098
AT ITER 8 NEW BEST:: SOT 785867 SOS 384889 HAS SOPS 384889 HAS SOUS 371847 HAS SOUPS 371847 WITH SCORE 372231.889
AT ITER 24 NEW BEST:: SOT 785867 SOS 384888 HAS SOPS 384888 HAS SOUS 371846 HAS SOUPS 371846 WITH SCORE 372230.888
AT ITER 27 NEW BEST:: SOT 785867 SOS 384833 HAS SOPS 384833 HAS SOUS 371791 HAS SOUPS 371791 WITH SCORE 372175.833
AT ITER 29 NEW BEST:: SOT 785863 SOS 384829 HAS SOPS 384829 HAS SOUS 371787 HAS SOUPS 371787 WITH SCORE 372171.829
AT ITER 36 NEW BEST:: SOT 783923 SOS 387841 HAS SOPS 387841 HAS SOUS 370530 HAS SOUPS 370530 WITH SCORE 370917.841
AT ITER 44 NEW BEST:: SOT 783923 SOS 388087 HAS SOPS 388087 HAS SOUS 370475 HAS SOUPS 370475 WITH SCORE 370863.087
AT ITER 48 NEW BEST:: SOT 774621 SOS 381748 HAS SOPS 381748 HAS SOUS 361862 HAS SOUPS 361862 WITH SCORE 362243.748
AT ITER 50 NEW BEST:: SOT 773637 SOS 387635 HAS SOPS 387635 HAS SOUS 361533 HAS SOUPS 361533 WITH SCORE 361920.635
AT ITER 77 NEW BEST:: SOT 772690 SOS 386731 HAS SOPS 386731 HAS SOUS 360629 HAS SOUPS 360629 WITH SCORE 361015.731
AT ITER 85 NEW BEST:: SOT 772690 SOS 386670 HAS SOPS 386670 HAS SOUS 360568 HAS SOUPS 360568 WITH SCORE 360954.67
AT ITER 106 NEW BEST:: SOT 760721 SOS 381269 HAS SOPS 381269 HAS SOUS 349629 HAS SOUPS 349629 WITH SCORE 350010.269
AT ITER 111 NEW BEST:: SOT 755330 SOS 377511 HAS SOPS 377511 HAS SOUS 344743 HAS SOUPS 344743 WITH SCORE 345120.511
AT ITER 113 NEW BEST:: SOT 755206 SOS 377386 HAS SOPS 377386 HAS SOUS 344742 HAS SOUPS 344742 WITH SCORE 345119.386
AT ITER 114 NEW BEST:: SOT 754920 SOS 377204 HAS SOPS 377204 HAS SOUS 344741 HAS SOUPS 344741 WITH SCORE 345118.204
AT ITER 129 NEW BEST:: SOT 746158 SOS 375009 HAS SOPS 375009 HAS SOUS 337199 HAS SOUPS 337199 WITH SCORE 337574.009
AT ITER 133 NEW BEST:: SOT 746157 SOS 374616 HAS SOPS 374616 HAS SOUS 337190 HAS SOUPS 337190 WITH SCORE 337564.616
AT ITER 189 NEW BEST:: SOT 738011 SOS 369422 HAS SOPS 369422 HAS SOUS 329860 HAS SOUPS 329860 WITH SCORE 330229.422
AT ITER 194 NEW BEST:: SOT 737986 SOS 369397 HAS SOPS 369397 HAS SOUS 329835 HAS SOUPS 329835 WITH SCORE 330204.397
AT ITER 196 NEW BEST:: SOT 727645 SOS 364102 HAS SOPS 364102 HAS SOUS 319973 HAS SOUPS 319973 WITH SCORE 320337.102
AT ITER 205 NEW BEST:: SOT 724345 SOS 360911 HAS SOPS 360911 HAS SOUS 316672 HAS SOUPS 316672 WITH SCORE 317032.911
AT ITER 208 NEW BEST:: SOT 724345 SOS 360910 HAS SOPS 360910 HAS SOUS 316671 HAS SOUPS 316671 WITH SCORE 317031.91
AT ITER 257 NEW BEST:: SOT 719590 SOS 356350 HAS SOPS 356350 HAS SOUS 312107 HAS SOUPS 312107 WITH SCORE 312463.35
AT ITER 258 NEW BEST:: SOT 719096 SOS 355855 HAS SOPS 355855 HAS SOUS 311612 HAS SOUPS 311612 WITH SCORE 311967.855
AT ITER 261 NEW BEST:: SOT 717348 SOS 355052 HAS SOPS 355052 HAS SOUS 310093 HAS SOUPS 310093 WITH SCORE 310448.052
AT ITER 271 NEW BEST:: SOT 717348 SOS 354976 HAS SOPS 354976 HAS SOUS 310017 HAS SOUPS 310017 WITH SCORE 310371.976
AT ITER 274 NEW BEST:: SOT 717348 SOS 354975 HAS SOPS 354975 HAS SOUS 310016 HAS SOUPS 310016 WITH SCORE 310370.975
AT ITER 276 NEW BEST:: SOT 713604 SOS 351806 HAS SOPS 351806 HAS SOUS 306385 HAS SOUPS 306385 WITH SCORE 306736.806
AT ITER 300 NEW BEST:: SOT 707382 SOS 347375 HAS SOPS 347375 HAS SOUS 300742 HAS SOUPS 300742 WITH SCORE 301089.375
AT ITER 304 NEW BEST:: SOT 705144 SOS 351861 HAS SOPS 351861 HAS SOUS 299251 HAS SOUPS 299251 WITH SCORE 299602.861
AT ITER 310 NEW BEST:: SOT 698255 SOS 347486 HAS SOPS 347486 HAS SOUS 293161 HAS SOUPS 293161 WITH SCORE 293508.486
AT ITER 314 NEW BEST:: SOT 698189 SOS 347420 HAS SOPS 347420 HAS SOUS 293095 HAS SOUPS 293095 WITH SCORE 293442.42
AT ITER 319 NEW BEST:: SOT 697789 SOS 347194 HAS SOPS 347194 HAS SOUS 293094 HAS SOUPS 293094 WITH SCORE 293441.194
AT ITER 322 NEW BEST:: SOT 694415 SOS 345372 HAS SOPS 345372 HAS SOUS 290161 HAS SOUPS 290161 WITH SCORE 290506.372
AT ITER 323 NEW BEST:: SOT 694391 SOS 345347 HAS SOPS 345347 HAS SOUS 290158 HAS SOUPS 290158 WITH SCORE 290503.347
AT ITER 334 NEW BEST:: SOT 694385 SOS 345334 HAS SOPS 345334 HAS SOUS 290153 HAS SOUPS 290153 WITH SCORE 290498.334
AT ITER 342 NEW BEST:: SOT 693729 SOS 344654 HAS SOPS 344654 HAS SOUS 289605 HAS SOUPS 289605 WITH SCORE 289949.654
AT ITER 347 NEW BEST:: SOT 693342 SOS 344266 HAS SOPS 344266 HAS SOUS 289602 HAS SOUPS 289602 WITH SCORE 289946.266
AT ITER 368 NEW BEST:: SOT 693313 SOS 344236 HAS SOPS 344236 HAS SOUS 289599 HAS SOUPS 289599 WITH SCORE 289943.236
AT ITER 375 NEW BEST:: SOT 687177 SOS 338666 HAS SOPS 338666 HAS SOUS 283771 HAS SOUPS 283771 WITH SCORE 284109.666
AT ITER 383 NEW BEST:: SOT 685293 SOS 339200 HAS SOPS 339200 HAS SOUS 282101 HAS SOUPS 282101 WITH SCORE 282440.2
AT ITER 438 NEW BEST:: SOT 676582 SOS 337334 HAS SOPS 337334 HAS SOUS 274622 HAS SOUPS 274622 WITH SCORE 274959.334
AT ITER 456 NEW BEST:: SOT 675752 SOS 336528 HAS SOPS 336528 HAS SOUS 274294 HAS SOUPS 274294 WITH SCORE 274630.528
AT ITER 471 NEW BEST:: SOT 675752 SOS 336520 HAS SOPS 336520 HAS SOUS 274286 HAS SOUPS 274286 WITH SCORE 274622.52
AT ITER 477 NEW BEST:: SOT 675719 SOS 336450 HAS SOPS 336450 HAS SOUS 274216 HAS SOUPS 274216 WITH SCORE 274552.45
AT ITER 490 NEW BEST:: SOT 675710 SOS 336441 HAS SOPS 336441 HAS SOUS 274216 HAS SOUPS 274216 WITH SCORE 274552.441
AT ITER 517 NEW BEST:: SOT 673403 SOS 334334 HAS SOPS 334334 HAS SOUS 272109 HAS SOUPS 272109 WITH SCORE 272443.334
AT ITER 528 NEW BEST:: SOT 673403 SOS 334026 HAS SOPS 334026 HAS SOUS 271801 HAS SOUPS 271801 WITH SCORE 272135.026
AT ITER 540 NEW BEST:: SOT 673361 SOS 333984 HAS SOPS 333984 HAS SOUS 271801 HAS SOUPS 271801 WITH SCORE 272134.984
AT ITER 544 NEW BEST:: SOT 666072 SOS 329329 HAS SOPS 329329 HAS SOUS 265391 HAS SOUPS 265391 WITH SCORE 265720.329
AT ITER 557 NEW BEST:: SOT 658754 SOS 325085 HAS SOPS 325085 HAS SOUS 258880 HAS SOUPS 258880 WITH SCORE 259205.085
AT ITER 582 NEW BEST:: SOT 658807 SOS 325464 HAS SOPS 325464 HAS SOUS 258863 HAS SOUPS 258863 WITH SCORE 259188.464
AT ITER 627 NEW BEST:: SOT 649157 SOS 321385 HAS SOPS 321385 HAS SOUS 250385 HAS SOUPS 250385 WITH SCORE 250706.385
AT ITER 637 NEW BEST:: SOT 649154 SOS 321382 HAS SOPS 321382 HAS SOUS 250382 HAS SOUPS 250382 WITH SCORE 250703.382
AT ITER 639 NEW BEST:: SOT 649116 SOS 321344 HAS SOPS 321344 HAS SOUS 250344 HAS SOUPS 250344 WITH SCORE 250665.344
AT ITER 643 NEW BEST:: SOT 649116 SOS 321299 HAS SOPS 321299 HAS SOUS 250299 HAS SOUPS 250299 WITH SCORE 250620.299
AT ITER 669 NEW BEST:: SOT 648929 SOS 321164 HAS SOPS 321164 HAS SOUS 250208 HAS SOUPS 250208 WITH SCORE 250529.164
AT ITER 673 NEW BEST:: SOT 648900 SOS 321135 HAS SOPS 321135 HAS SOUS 250208 HAS SOUPS 250208 WITH SCORE 250529.135
AT ITER 727 NEW BEST:: SOT 645130 SOS 324002 HAS SOPS 324002 HAS SOUS 247191 HAS SOUPS 247191 WITH SCORE 247515.002
AT ITER 734 NEW BEST:: SOT 644803 SOS 323681 HAS SOPS 323681 HAS SOUS 246875 HAS SOUPS 246875 WITH SCORE 247198.681
AT ITER 741 NEW BEST:: SOT 644483 SOS 323223 HAS SOPS 323223 HAS SOUS 246417 HAS SOUPS 246417 WITH SCORE 246740.223
AT ITER 768 NEW BEST:: SOT 644316 SOS 323055 HAS SOPS 323055 HAS SOUS 246391 HAS SOUPS 246391 WITH SCORE 246714.055
AT ITER 793 NEW BEST:: SOT 635561 SOS 321453 HAS SOPS 321453 HAS SOUS 238625 HAS SOUPS 238625 WITH SCORE 238946.453
AT ITER 808 NEW BEST:: SOT 634678 SOS 321815 HAS SOPS 321815 HAS SOUS 238133 HAS SOUPS 238133 WITH SCORE 238454.815
AT ITER 838 NEW BEST:: SOT 630143 SOS 323381 HAS SOPS 323381 HAS SOUS 234513 HAS SOUPS 234513 WITH SCORE 234836.381
AT ITER 846 NEW BEST:: SOT 630142 SOS 323380 HAS SOPS 323380 HAS SOUS 234511 HAS SOUPS 234511 WITH SCORE 234834.38
AT ITER 859 NEW BEST:: SOT 629438 SOS 324217 HAS SOPS 324217 HAS SOUS 233980 HAS SOUPS 233980 WITH SCORE 234304.217
AT ITER 870 NEW BEST:: SOT 629265 SOS 323870 HAS SOPS 323870 HAS SOUS 233806 HAS SOUPS 233806 WITH SCORE 234129.87
AT ITER 880 NEW BEST:: SOT 626991 SOS 325324 HAS SOPS 325324 HAS SOUS 232141 HAS SOUPS 232141 WITH SCORE 232466.324
AT ITER 884 NEW BEST:: SOT 626703 SOS 325035 HAS SOPS 325035 HAS SOUS 231960 HAS SOUPS 231960 WITH SCORE 232285.035
AT ITER 887 NEW BEST:: SOT 615611 SOS 322524 HAS SOPS 322524 HAS SOUS 222191 HAS SOUPS 222191 WITH SCORE 222513.524
AT ITER 893 NEW BEST:: SOT 614614 SOS 327553 HAS SOPS 327553 HAS SOUS 221721 HAS SOUPS 221721 WITH SCORE 222048.553
AT ITER 896 NEW BEST:: SOT 614614 SOS 327543 HAS SOPS 327543 HAS SOUS 221721 HAS SOUPS 221721 WITH SCORE 222048.543
AT ITER 898 NEW BEST:: SOT 608500 SOS 323372 HAS SOPS 323372 HAS SOUS 216191 HAS SOUPS 216191 WITH SCORE 216514.372
AT ITER 899 NEW BEST:: SOT 608385 SOS 323141 HAS SOPS 323141 HAS SOUS 215960 HAS SOUPS 215960 WITH SCORE 216283.141
AT ITER 900 NEW BEST:: SOT 608300 SOS 322708 HAS SOPS 322708 HAS SOUS 215785 HAS SOUPS 215785 WITH SCORE 216107.708
AT ITER 907 NEW BEST:: SOT 607280 SOS 321688 HAS SOPS 321688 HAS SOUS 214814 HAS SOUPS 214814 WITH SCORE 215135.688
AT ITER 924 NEW BEST:: SOT 606094 SOS 320502 HAS SOPS 320502 HAS SOUS 213683 HAS SOUPS 213683 WITH SCORE 214003.502
AT ITER 938 NEW BEST:: SOT 606068 SOS 320476 HAS SOPS 320476 HAS SOUS 213657 HAS SOUPS 213657 WITH SCORE 213977.476
AT ITER 941 NEW BEST:: SOT 605705 SOS 319899 HAS SOPS 319899 HAS SOUS 213080 HAS SOUPS 213080 WITH SCORE 213399.899
AT ITER 943 NEW BEST:: SOT 605705 SOS 319900 HAS SOPS 319900 HAS SOUS 213079 HAS SOUPS 213079 WITH SCORE 213398.9
AT ITER 958 NEW BEST:: SOT 605704 SOS 319899 HAS SOPS 319899 HAS SOUS 213077 HAS SOUPS 213077 WITH SCORE 213396.899
AT ITER 979 NEW BEST:: SOT 605703 SOS 319895 HAS SOPS 319895 HAS SOUS 213075 HAS SOUPS 213075 WITH SCORE 213394.895
AT ITER 980 NEW BEST:: SOT 600905 SOS 320511 HAS SOPS 320511 HAS SOUS 208815 HAS SOUPS 208815 WITH SCORE 209135.511
AT ITER 996 NEW BEST:: SOT 600641 SOS 320246 HAS SOPS 320246 HAS SOUS 208680 HAS SOUPS 208680 WITH SCORE 209000.246
AT ITER 1001 NEW BEST:: SOT 600322 SOS 319926 HAS SOPS 319926 HAS SOUS 208677 HAS SOUPS 208677 WITH SCORE 208996.926
AT ITER 1004 NEW BEST:: SOT 599953 SOS 319217 HAS SOPS 319217 HAS SOUS 207950 HAS SOUPS 207950 WITH SCORE 208269.217
AT ITER 1046 NEW BEST:: SOT 600117 SOS 319420 HAS SOPS 319420 HAS SOUS 207897 HAS SOUPS 207897 WITH SCORE 208216.42
AT ITER 1047 NEW BEST:: SOT 600201 SOS 319226 HAS SOPS 319226 HAS SOUS 207731 HAS SOUPS 207731 WITH SCORE 208050.226
AT ITER 1049 NEW BEST:: SOT 599531 SOS 321101 HAS SOPS 321101 HAS SOUS 207200 HAS SOUPS 207200 WITH SCORE 207521.101
AT ITER 1055 NEW BEST:: SOT 599531 SOS 321100 HAS SOPS 321100 HAS SOUS 207199 HAS SOUPS 207199 WITH SCORE 207520.1
AT ITER 1062 NEW BEST:: SOT 599530 SOS 321099 HAS SOPS 321099 HAS SOUS 207193 HAS SOUPS 207193 WITH SCORE 207514.099
AT ITER 1067 NEW BEST:: SOT 599529 SOS 321098 HAS SOPS 321098 HAS SOUS 207191 HAS SOUPS 207191 WITH SCORE 207512.098
AT ITER 1088 NEW BEST:: SOT 599420 SOS 320989 HAS SOPS 320989 HAS SOUS 207191 HAS SOUPS 207191 WITH SCORE 207511.989
AT ITER 1120 NEW BEST:: SOT 599378 SOS 321324 HAS SOPS 321324 HAS SOUS 207190 HAS SOUPS 207190 WITH SCORE 207511.324
AT ITER 1128 NEW BEST:: SOT 599283 SOS 321004 HAS SOPS 321004 HAS SOUS 207187 HAS SOUPS 207187 WITH SCORE 207508.004
AT ITER 1142 NEW BEST:: SOT 599238 SOS 320958 HAS SOPS 320958 HAS SOUS 207141 HAS SOUPS 207141 WITH SCORE 207461.958
AT ITER 1158 NEW BEST:: SOT 598585 SOS 320831 HAS SOPS 320831 HAS SOUS 206581 HAS SOUPS 206581 WITH SCORE 206901.831
AT ITER 1205 NEW BEST:: SOT 598585 SOS 320830 HAS SOPS 320830 HAS SOUS 206580 HAS SOUPS 206580 WITH SCORE 206900.83
AT ITER 1213 NEW BEST:: SOT 598574 SOS 320818 HAS SOPS 320818 HAS SOUS 206568 HAS SOUPS 206568 WITH SCORE 206888.818
AT ITER 1222 NEW BEST:: SOT 598574 SOS 320814 HAS SOPS 320814 HAS SOUS 206564 HAS SOUPS 206564 WITH SCORE 206884.814
AT ITER 1230 NEW BEST:: SOT 598573 SOS 320813 HAS SOPS 320813 HAS SOUS 206562 HAS SOUPS 206562 WITH SCORE 206882.813
AT ITER 1248 NEW BEST:: SOT 595123 SOS 319875 HAS SOPS 319875 HAS SOUS 203602 HAS SOUPS 203602 WITH SCORE 203921.875
AT ITER 1249 NEW BEST:: SOT 595122 SOS 319874 HAS SOPS 319874 HAS SOUS 203600 HAS SOUPS 203600 WITH SCORE 203919.874
AT ITER 1250 NEW BEST:: SOT 595122 SOS 319874 HAS SOPS 319874 HAS SOUS 203599 HAS SOUPS 203599 WITH SCORE 203918.874
AT ITER 1255 NEW BEST:: SOT 586631 SOS 319584 HAS SOPS 319584 HAS SOUS 195951 HAS SOUPS 195951 WITH SCORE 196270.584
AT ITER 1270 NEW BEST:: SOT 586133 SOS 319085 HAS SOPS 319085 HAS SOUS 195452 HAS SOUPS 195452 WITH SCORE 195771.085
AT ITER 1291 NEW BEST:: SOT 586133 SOS 319088 HAS SOPS 319088 HAS SOUS 195451 HAS SOUPS 195451 WITH SCORE 195770.088
AT ITER 1303 NEW BEST:: SOT 580589 SOS 319022 HAS SOPS 319022 HAS SOUS 190824 HAS SOUPS 190824 WITH SCORE 191143.022
AT ITER 1304 NEW BEST:: SOT 580451 SOS 318769 HAS SOPS 318769 HAS SOUS 190571 HAS SOUPS 190571 WITH SCORE 190889.769
AT ITER 1330 NEW BEST:: SOT 578822 SOS 320645 HAS SOPS 320645 HAS SOUS 189375 HAS SOUPS 189375 WITH SCORE 189695.645
AT ITER 1337 NEW BEST:: SOT 578736 SOS 320558 HAS SOPS 320558 HAS SOUS 189374 HAS SOUPS 189374 WITH SCORE 189694.558
AT ITER 1344 NEW BEST:: SOT 578720 SOS 320541 HAS SOPS 320541 HAS SOUS 189373 HAS SOUPS 189373 WITH SCORE 189693.541
AT ITER 1355 NEW BEST:: SOT 578699 SOS 320608 HAS SOPS 320608 HAS SOUS 189359 HAS SOUPS 189359 WITH SCORE 189679.608
AT ITER 1370 NEW BEST:: SOT 578698 SOS 320607 HAS SOPS 320607 HAS SOUS 189357 HAS SOUPS 189357 WITH SCORE 189677.607
AT ITER 1417 NEW BEST:: SOT 578634 SOS 320543 HAS SOPS 320543 HAS SOUS 189292 HAS SOUPS 189292 WITH SCORE 189612.543
AT ITER 1420 NEW BEST:: SOT 571878 SOS 321413 HAS SOPS 321413 HAS SOUS 183824 HAS SOUPS 183824 WITH SCORE 184145.413
AT ITER 1422 NEW BEST:: SOT 569645 SOS 319505 HAS SOPS 319505 HAS SOUS 181892 HAS SOUPS 181892 WITH SCORE 182211.505
AT ITER 1432 NEW BEST:: SOT 569599 SOS 319412 HAS SOPS 319412 HAS SOUS 181891 HAS SOUPS 181891 WITH SCORE 182210.412
AT ITER 1454 NEW BEST:: SOT 569529 SOS 319218 HAS SOPS 319218 HAS SOUS 181746 HAS SOUPS 181746 WITH SCORE 182065.218
AT ITER 1466 NEW BEST:: SOT 560083 SOS 316309 HAS SOPS 316309 HAS SOUS 173377 HAS SOUPS 173377 WITH SCORE 173693.309
AT ITER 1469 NEW BEST:: SOT 559601 SOS 315586 HAS SOPS 315586 HAS SOUS 172654 HAS SOUPS 172654 WITH SCORE 172969.586
AT ITER 1477 NEW BEST:: SOT 559540 SOS 315525 HAS SOPS 315525 HAS SOUS 172532 HAS SOUPS 172532 WITH SCORE 172847.525
AT ITER 1480 NEW BEST:: SOT 559540 SOS 315524 HAS SOPS 315524 HAS SOUS 172531 HAS SOUPS 172531 WITH SCORE 172846.524
AT ITER 1483 NEW BEST:: SOT 559273 SOS 315080 HAS SOPS 315080 HAS SOUS 172087 HAS SOUPS 172087 WITH SCORE 172402.08
AT ITER 1487 NEW BEST:: SOT 559260 SOS 315067 HAS SOPS 315067 HAS SOUS 172083 HAS SOUPS 172083 WITH SCORE 172398.067
AT ITER 1497 NEW BEST:: SOT 559279 SOS 315143 HAS SOPS 315143 HAS SOUS 171876 HAS SOUPS 171876 WITH SCORE 172191.143
AT ITER 1506 NEW BEST:: SOT 559197 SOS 315142 HAS SOPS 315142 HAS SOUS 171875 HAS SOUPS 171875 WITH SCORE 172190.142
AT ITER 1525 NEW BEST:: SOT 559191 SOS 315135 HAS SOPS 315135 HAS SOUS 171868 HAS SOUPS 171868 WITH SCORE 172183.135
AT ITER 1553 NEW BEST:: SOT 558447 SOS 321410 HAS SOPS 321410 HAS SOUS 171791 HAS SOUPS 171791 WITH SCORE 172112.41
AT ITER 1566 NEW BEST:: SOT 558446 SOS 321409 HAS SOPS 321409 HAS SOUS 171789 HAS SOUPS 171789 WITH SCORE 172110.409
AT ITER 1583 NEW BEST:: SOT 550977 SOS 319488 HAS SOPS 319488 HAS SOUS 165111 HAS SOUPS 165111 WITH SCORE 165430.488
AT ITER 1590 NEW BEST:: SOT 550976 SOS 319487 HAS SOPS 319487 HAS SOUS 165109 HAS SOUPS 165109 WITH SCORE 165428.487
AT ITER 1601 NEW BEST:: SOT 547320 SOS 320291 HAS SOPS 320291 HAS SOUS 162290 HAS SOUPS 162290 WITH SCORE 162610.291
AT ITER 1611 NEW BEST:: SOT 540498 SOS 320641 HAS SOPS 320641 HAS SOUS 156177 HAS SOUPS 156177 WITH SCORE 156497.641
AT ITER 1616 NEW BEST:: SOT 536458 SOS 317804 HAS SOPS 317804 HAS SOUS 152592 HAS SOUPS 152592 WITH SCORE 152909.804
AT ITER 1628 NEW BEST:: SOT 536750 SOS 317763 HAS SOPS 317763 HAS SOUS 152530 HAS SOUPS 152530 WITH SCORE 152847.763
AT ITER 1629 NEW BEST:: SOT 536715 SOS 317728 HAS SOPS 317728 HAS SOUS 152528 HAS SOUPS 152528 WITH SCORE 152845.728
AT ITER 1647 NEW BEST:: SOT 536693 SOS 317727 HAS SOPS 317727 HAS SOUS 152527 HAS SOUPS 152527 WITH SCORE 152844.727
AT ITER 1652 NEW BEST:: SOT 533768 SOS 318063 HAS SOPS 318063 HAS SOUS 150077 HAS SOUPS 150077 WITH SCORE 150395.063
AT ITER 1661 NEW BEST:: SOT 533767 SOS 318062 HAS SOPS 318062 HAS SOUS 150067 HAS SOUPS 150067 WITH SCORE 150385.062
AT ITER 1673 NEW BEST:: SOT 533725 SOS 318020 HAS SOPS 318020 HAS SOUS 149983 HAS SOUPS 149983 WITH SCORE 150301.02
AT ITER 1697 NEW BEST:: SOT 533706 SOS 318000 HAS SOPS 318000 HAS SOUS 149963 HAS SOUPS 149963 WITH SCORE 150281.0
AT ITER 1713 NEW BEST:: SOT 533647 SOS 317941 HAS SOPS 317941 HAS SOUS 149876 HAS SOUPS 149876 WITH SCORE 150193.941
AT ITER 1721 NEW BEST:: SOT 533838 SOS 318132 HAS SOPS 318132 HAS SOUS 149696 HAS SOUPS 149696 WITH SCORE 150014.132
AT ITER 1728 NEW BEST:: SOT 533837 SOS 318131 HAS SOPS 318131 HAS SOUS 149694 HAS SOUPS 149694 WITH SCORE 150012.131
AT ITER 1755 NEW BEST:: SOT 533856 SOS 318150 HAS SOPS 318150 HAS SOUS 149693 HAS SOUPS 149693 WITH SCORE 150011.15
AT ITER 1779 NEW BEST:: SOT 533774 SOS 318103 HAS SOPS 318103 HAS SOUS 149646 HAS SOUPS 149646 WITH SCORE 149964.103
AT ITER 1809 NEW BEST:: SOT 533774 SOS 318104 HAS SOPS 318104 HAS SOUS 149479 HAS SOUPS 149479 WITH SCORE 149797.104
AT ITER 1818 NEW BEST:: SOT 533773 SOS 318103 HAS SOPS 318103 HAS SOUS 149477 HAS SOUPS 149477 WITH SCORE 149795.103
AT ITER 1861 NEW BEST:: SOT 532837 SOS 322511 HAS SOPS 322511 HAS SOUS 149176 HAS SOUPS 149176 WITH SCORE 149498.511
AT ITER 1871 NEW BEST:: SOT 532833 SOS 322507 HAS SOPS 322507 HAS SOUS 149172 HAS SOUPS 149172 WITH SCORE 149494.507
AT ITER 1884 NEW BEST:: SOT 532833 SOS 322590 HAS SOPS 322590 HAS SOUS 149171 HAS SOUPS 149171 WITH SCORE 149493.59
AT ITER 1892 NEW BEST:: SOT 532676 SOS 322433 HAS SOPS 322433 HAS SOUS 148857 HAS SOUPS 148857 WITH SCORE 149179.433
AT ITER 1935 NEW BEST:: SOT 532601 SOS 322358 HAS SOPS 322358 HAS SOUS 148782 HAS SOUPS 148782 WITH SCORE 149104.358
AT ITER 1965 NEW BEST:: SOT 532584 SOS 322341 HAS SOPS 322341 HAS SOUS 148748 HAS SOUPS 148748 WITH SCORE 149070.341
AT ITER 1982 NEW BEST:: SOT 532240 SOS 326143 HAS SOPS 326143 HAS SOUS 148557 HAS SOUPS 148557 WITH SCORE 148883.143
AT ITER 1994 NEW BEST:: SOT 532198 SOS 326100 HAS SOPS 326100 HAS SOUS 148514 HAS SOUPS 148514 WITH SCORE 148840.1
AT ITER 2014 NEW BEST:: SOT 532197 SOS 326075 HAS SOPS 326075 HAS SOUS 148514 HAS SOUPS 148514 WITH SCORE 148840.075
AT ITER 2053 NEW BEST:: SOT 532057 SOS 325931 HAS SOPS 325931 HAS SOUS 148370 HAS SOUPS 148370 WITH SCORE 148695.931
AT ITER 2063 NEW BEST:: SOT 531948 SOS 325830 HAS SOPS 325830 HAS SOUS 148368 HAS SOUPS 148368 WITH SCORE 148693.83
AT ITER 2086 NEW BEST:: SOT 531573 SOS 327770 HAS SOPS 327770 HAS SOUS 148098 HAS SOUPS 148098 WITH SCORE 148425.77
AT ITER 2089 NEW BEST:: SOT 531573 SOS 327770 HAS SOPS 327770 HAS SOUS 148089 HAS SOUPS 148089 WITH SCORE 148416.77
AT ITER 2090 NEW BEST:: SOT 531572 SOS 327769 HAS SOPS 327769 HAS SOUS 148087 HAS SOUPS 148087 WITH SCORE 148414.769
AT ITER 2097 NEW BEST:: SOT 531571 SOS 327768 HAS SOPS 327768 HAS SOUS 148085 HAS SOUPS 148085 WITH SCORE 148412.768
AT ITER 2103 NEW BEST:: SOT 531538 SOS 327735 HAS SOPS 327735 HAS SOUS 148023 HAS SOUPS 148023 WITH SCORE 148350.735
AT ITER 2110 NEW BEST:: SOT 531449 SOS 327646 HAS SOPS 327646 HAS SOUS 147845 HAS SOUPS 147845 WITH SCORE 148172.646
AT ITER 2122 NEW BEST:: SOT 531449 SOS 327667 HAS SOPS 327667 HAS SOUS 147844 HAS SOUPS 147844 WITH SCORE 148171.667
AT ITER 2123 NEW BEST:: SOT 531442 SOS 327659 HAS SOPS 327659 HAS SOUS 147836 HAS SOUPS 147836 WITH SCORE 148163.659
AT ITER 2124 NEW BEST:: SOT 531366 SOS 327582 HAS SOPS 327582 HAS SOUS 147759 HAS SOUPS 147759 WITH SCORE 148086.582
AT ITER 2141 NEW BEST:: SOT 531366 SOS 327553 HAS SOPS 327553 HAS SOUS 147759 HAS SOUPS 147759 WITH SCORE 148086.553
AT ITER 2144 NEW BEST:: SOT 531352 SOS 327533 HAS SOPS 327533 HAS SOUS 147735 HAS SOUPS 147735 WITH SCORE 148062.533
AT ITER 2145 NEW BEST:: SOT 531351 SOS 327514 HAS SOPS 327514 HAS SOUS 147733 HAS SOUPS 147733 WITH SCORE 148060.514
AT ITER 2151 NEW BEST:: SOT 531414 SOS 327802 HAS SOPS 327802 HAS SOUS 147695 HAS SOUPS 147695 WITH SCORE 148022.802
AT ITER 2179 NEW BEST:: SOT 525530 SOS 322671 HAS SOPS 322671 HAS SOUS 142222 HAS SOUPS 142222 WITH SCORE 142544.671
AT ITER 2181 NEW BEST:: SOT 525418 SOS 322559 HAS SOPS 322559 HAS SOUS 141998 HAS SOUPS 141998 WITH SCORE 142320.559
AT ITER 2204 NEW BEST:: SOT 524770 SOS 321910 HAS SOPS 321910 HAS SOUS 141349 HAS SOUPS 141349 WITH SCORE 141670.91
AT ITER 2256 NEW BEST:: SOT 524512 SOS 321652 HAS SOPS 321652 HAS SOUS 141078 HAS SOUPS 141078 WITH SCORE 141399.652
AT ITER 2278 NEW BEST:: SOT 523907 SOS 326283 HAS SOPS 326283 HAS SOUS 140705 HAS SOUPS 140705 WITH SCORE 141031.283
AT ITER 2280 NEW BEST:: SOT 523957 SOS 326203 HAS SOPS 326203 HAS SOUS 140671 HAS SOUPS 140671 WITH SCORE 140997.203
AT ITER 2300 NEW BEST:: SOT 523963 SOS 326209 HAS SOPS 326209 HAS SOUS 140542 HAS SOUPS 140542 WITH SCORE 140868.209
AT ITER 2326 NEW BEST:: SOT 523970 SOS 326216 HAS SOPS 326216 HAS SOUS 140537 HAS SOUPS 140537 WITH SCORE 140863.216
AT ITER 2348 NEW BEST:: SOT 523922 SOS 326167 HAS SOPS 326167 HAS SOUS 140488 HAS SOUPS 140488 WITH SCORE 140814.167
AT ITER 2358 NEW BEST:: SOT 523162 SOS 325026 HAS SOPS 325026 HAS SOUS 139347 HAS SOUPS 139347 WITH SCORE 139672.026
AT ITER 2433 NEW BEST:: SOT 523161 SOS 325025 HAS SOPS 325025 HAS SOUS 139345 HAS SOUPS 139345 WITH SCORE 139670.025
AT ITER 2442 NEW BEST:: SOT 522833 SOS 326386 HAS SOPS 326386 HAS SOUS 139150 HAS SOUPS 139150 WITH SCORE 139476.386
AT ITER 2452 NEW BEST:: SOT 522815 SOS 326368 HAS SOPS 326368 HAS SOUS 139132 HAS SOUPS 139132 WITH SCORE 139458.368
AT ITER 2454 NEW BEST:: SOT 522814 SOS 326367 HAS SOPS 326367 HAS SOUS 139130 HAS SOUPS 139130 WITH SCORE 139456.367
AT ITER 2458 NEW BEST:: SOT 520682 SOS 332751 HAS SOPS 332751 HAS SOUS 138057 HAS SOUPS 138057 WITH SCORE 138389.751
AT ITER 2479 NEW BEST:: SOT 520618 SOS 332687 HAS SOPS 332687 HAS SOUS 137929 HAS SOUPS 137929 WITH SCORE 138261.687
AT ITER 2489 NEW BEST:: SOT 520572 SOS 332693 HAS SOPS 332693 HAS SOUS 137704 HAS SOUPS 137704 WITH SCORE 138036.693
AT ITER 2499 NEW BEST:: SOT 520447 SOS 332568 HAS SOPS 332568 HAS SOUS 137454 HAS SOUPS 137454 WITH SCORE 137786.568
AT ITER 2523 NEW BEST:: SOT 520262 SOS 332383 HAS SOPS 332383 HAS SOUS 137084 HAS SOUPS 137084 WITH SCORE 137416.383
AT ITER 2597 NEW BEST:: SOT 520118 SOS 332239 HAS SOPS 332239 HAS SOUS 136800 HAS SOUPS 136800 WITH SCORE 137132.239
AT ITER 2606 NEW BEST:: SOT 520042 SOS 332150 HAS SOPS 332150 HAS SOUS 136724 HAS SOUPS 136724 WITH SCORE 137056.15
AT ITER 2618 NEW BEST:: SOT 520037 SOS 332145 HAS SOPS 332145 HAS SOUS 136719 HAS SOUPS 136719 WITH SCORE 137051.145
AT ITER 2633 NEW BEST:: SOT 518235 SOS 335533 HAS SOPS 335533 HAS SOUS 135344 HAS SOUPS 135344 WITH SCORE 135679.533
AT ITER 2687 NEW BEST:: SOT 518234 SOS 335532 HAS SOPS 335532 HAS SOUS 135342 HAS SOUPS 135342 WITH SCORE 135677.532
AT ITER 2702 NEW BEST:: SOT 518233 SOS 335531 HAS SOPS 335531 HAS SOUS 135340 HAS SOUPS 135340 WITH SCORE 135675.531
AT ITER 2704 NEW BEST:: SOT 518189 SOS 335487 HAS SOPS 335487 HAS SOUS 135310 HAS SOUPS 135310 WITH SCORE 135645.487
AT ITER 2705 NEW BEST:: SOT 518141 SOS 335439 HAS SOPS 335439 HAS SOUS 135214 HAS SOUPS 135214 WITH SCORE 135549.439
AT ITER 2720 NEW BEST:: SOT 518293 SOS 335591 HAS SOPS 335591 HAS SOUS 135180 HAS SOUPS 135180 WITH SCORE 135515.591
AT ITER 2722 NEW BEST:: SOT 518292 SOS 335590 HAS SOPS 335590 HAS SOUS 135178 HAS SOUPS 135178 WITH SCORE 135513.59
AT ITER 2728 NEW BEST:: SOT 518037 SOS 335335 HAS SOPS 335335 HAS SOUS 134668 HAS SOUPS 134668 WITH SCORE 135003.335
AT ITER 2736 NEW BEST:: SOT 518028 SOS 335326 HAS SOPS 335326 HAS SOUS 134659 HAS SOUPS 134659 WITH SCORE 134994.326
AT ITER 2753 NEW BEST:: SOT 518088 SOS 335319 HAS SOPS 335319 HAS SOUS 134642 HAS SOUPS 134642 WITH SCORE 134977.319
AT ITER 2764 NEW BEST:: SOT 518087 SOS 335318 HAS SOPS 335318 HAS SOUS 134640 HAS SOUPS 134640 WITH SCORE 134975.318
AT ITER 2810 NEW BEST:: SOT 518052 SOS 335283 HAS SOPS 335283 HAS SOUS 134570 HAS SOUPS 134570 WITH SCORE 134905.283
AT ITER 2814 NEW BEST:: SOT 517919 SOS 335150 HAS SOPS 335150 HAS SOUS 134304 HAS SOUPS 134304 WITH SCORE 134639.15
AT ITER 2816 NEW BEST:: SOT 517918 SOS 335149 HAS SOPS 335149 HAS SOUS 134292 HAS SOUPS 134292 WITH SCORE 134627.149
AT ITER 2827 NEW BEST:: SOT 517917 SOS 335148 HAS SOPS 335148 HAS SOUS 134290 HAS SOUPS 134290 WITH SCORE 134625.148
AT ITER 2851 NEW BEST:: SOT 517801 SOS 335032 HAS SOPS 335032 HAS SOUS 134058 HAS SOUPS 134058 WITH SCORE 134393.032
AT ITER 2905 NEW BEST:: SOT 517681 SOS 334912 HAS SOPS 334912 HAS SOUS 133878 HAS SOUPS 133878 WITH SCORE 134212.912
AT ITER 2907 NEW BEST:: SOT 517678 SOS 334909 HAS SOPS 334909 HAS SOUS 133875 HAS SOUPS 133875 WITH SCORE 134209.909
AT ITER 2908 NEW BEST:: SOT 517643 SOS 334874 HAS SOPS 334874 HAS SOUS 133836 HAS SOUPS 133836 WITH SCORE 134170.874
AT ITER 2913 NEW BEST:: SOT 517507 SOS 334738 HAS SOPS 334738 HAS SOUS 133641 HAS SOUPS 133641 WITH SCORE 133975.738
AT ITER 2931 NEW BEST:: SOT 517506 SOS 334737 HAS SOPS 334737 HAS SOUS 133591 HAS SOUPS 133591 WITH SCORE 133925.737
AT ITER 2944 NEW BEST:: SOT 517626 SOS 334857 HAS SOPS 334857 HAS SOUS 133561 HAS SOUPS 133561 WITH SCORE 133895.857
AT ITER 2974 NEW BEST:: SOT 517624 SOS 334855 HAS SOPS 334855 HAS SOUS 133557 HAS SOUPS 133557 WITH SCORE 133891.855
AT ITER 2991 NEW BEST:: SOT 517623 SOS 334854 HAS SOPS 334854 HAS SOUS 133555 HAS SOUPS 133555 WITH SCORE 133889.854
AT ITER 2994 NEW BEST:: SOT 517619 SOS 334850 HAS SOPS 334850 HAS SOUS 133551 HAS SOUPS 133551 WITH SCORE 133885.85
AT ITER 3032 NEW BEST:: SOT 517583 SOS 334812 HAS SOPS 334812 HAS SOUS 133513 HAS SOUPS 133513 WITH SCORE 133847.812
AT ITER 3076 NEW BEST:: SOT 517251 SOS 334480 HAS SOPS 334480 HAS SOUS 133347 HAS SOUPS 133347 WITH SCORE 133681.48
AT ITER 3082 NEW BEST:: SOT 516668 SOS 337886 HAS SOPS 337886 HAS SOUS 132936 HAS SOUPS 132936 WITH SCORE 133273.886
AT ITER 3089 NEW BEST:: SOT 516337 SOS 341343 HAS SOPS 341343 HAS SOUS 132919 HAS SOUPS 132919 WITH SCORE 133260.343
AT ITER 3094 NEW BEST:: SOT 516327 SOS 341333 HAS SOPS 341333 HAS SOUS 132899 HAS SOUPS 132899 WITH SCORE 133240.333
AT ITER 3104 NEW BEST:: SOT 516311 SOS 341317 HAS SOPS 341317 HAS SOUS 132883 HAS SOUPS 132883 WITH SCORE 133224.317
AT ITER 3143 NEW BEST:: SOT 516311 SOS 341317 HAS SOPS 341317 HAS SOUS 132824 HAS SOUPS 132824 WITH SCORE 133165.317
AT ITER 3151 NEW BEST:: SOT 515029 SOS 347486 HAS SOPS 347486 HAS SOUS 132343 HAS SOUPS 132343 WITH SCORE 132690.486
AT ITER 3173 NEW BEST:: SOT 515004 SOS 347461 HAS SOPS 347461 HAS SOUS 132305 HAS SOUPS 132305 WITH SCORE 132652.461
AT ITER 3181 NEW BEST:: SOT 515003 SOS 347460 HAS SOPS 347460 HAS SOUS 132303 HAS SOUPS 132303 WITH SCORE 132650.46
AT ITER 3188 NEW BEST:: SOT 510442 SOS 349717 HAS SOPS 349717 HAS SOUS 128987 HAS SOUPS 128987 WITH SCORE 129336.717
AT ITER 3209 NEW BEST:: SOT 510352 SOS 349627 HAS SOPS 349627 HAS SOUS 128808 HAS SOUPS 128808 WITH SCORE 129157.627
AT ITER 3216 NEW BEST:: SOT 510351 SOS 349626 HAS SOPS 349626 HAS SOUS 128806 HAS SOUPS 128806 WITH SCORE 129155.626
AT ITER 3219 NEW BEST:: SOT 510334 SOS 349609 HAS SOPS 349609 HAS SOUS 128772 HAS SOUPS 128772 WITH SCORE 129121.609
AT ITER 3236 NEW BEST:: SOT 510300 SOS 349575 HAS SOPS 349575 HAS SOUS 128704 HAS SOUPS 128704 WITH SCORE 129053.575
AT ITER 3248 NEW BEST:: SOT 510239 SOS 349514 HAS SOPS 349514 HAS SOUS 128582 HAS SOUPS 128582 WITH SCORE 128931.514
AT ITER 3289 NEW BEST:: SOT 510282 SOS 349557 HAS SOPS 349557 HAS SOUS 128532 HAS SOUPS 128532 WITH SCORE 128881.557
AT ITER 3297 NEW BEST:: SOT 510217 SOS 349492 HAS SOPS 349492 HAS SOUS 128402 HAS SOUPS 128402 WITH SCORE 128751.492
AT ITER 3299 NEW BEST:: SOT 510069 SOS 349344 HAS SOPS 349344 HAS SOUS 128253 HAS SOUPS 128253 WITH SCORE 128602.344
AT ITER 3387 NEW BEST:: SOT 509981 SOS 349256 HAS SOPS 349256 HAS SOUS 128191 HAS SOUPS 128191 WITH SCORE 128540.256
AT ITER 3391 NEW BEST:: SOT 509928 SOS 349203 HAS SOPS 349203 HAS SOUS 128088 HAS SOUPS 128088 WITH SCORE 128437.203
AT ITER 3411 NEW BEST:: SOT 509927 SOS 349202 HAS SOPS 349202 HAS SOUS 128086 HAS SOUPS 128086 WITH SCORE 128435.202
AT ITER 3455 NEW BEST:: SOT 509765 SOS 349957 HAS SOPS 349957 HAS SOUS 128013 HAS SOUPS 128013 WITH SCORE 128362.957
AT ITER 3484 NEW BEST:: SOT 509752 SOS 349944 HAS SOPS 349944 HAS SOUS 127994 HAS SOUPS 127994 WITH SCORE 128343.944
AT ITER 3495 NEW BEST:: SOT 509751 SOS 349943 HAS SOPS 349943 HAS SOUS 127992 HAS SOUPS 127992 WITH SCORE 128341.943
AT ITER 3499 NEW BEST:: SOT 509750 SOS 349942 HAS SOPS 349942 HAS SOUS 127990 HAS SOUPS 127990 WITH SCORE 128339.942
AT ITER 3522 NEW BEST:: SOT 509761 SOS 349953 HAS SOPS 349953 HAS SOUS 127790 HAS SOUPS 127790 WITH SCORE 128139.953
AT ITER 3526 NEW BEST:: SOT 509760 SOS 349952 HAS SOPS 349952 HAS SOUS 127789 HAS SOUPS 127789 WITH SCORE 128138.952
AT ITER 3541 NEW BEST:: SOT 509701 SOS 349893 HAS SOPS 349893 HAS SOUS 127730 HAS SOUPS 127730 WITH SCORE 128079.893
AT ITER 3552 NEW BEST:: SOT 509679 SOS 349871 HAS SOPS 349871 HAS SOUS 127708 HAS SOUPS 127708 WITH SCORE 128057.871
AT ITER 3553 NEW BEST:: SOT 509697 SOS 349889 HAS SOPS 349889 HAS SOUS 127590 HAS SOUPS 127590 WITH SCORE 127939.889
AT ITER 3558 NEW BEST:: SOT 509664 SOS 349888 HAS SOPS 349888 HAS SOUS 127589 HAS SOUPS 127589 WITH SCORE 127938.888
AT ITER 3568 NEW BEST:: SOT 509663 SOS 349887 HAS SOPS 349887 HAS SOUS 127560 HAS SOUPS 127560 WITH SCORE 127909.887
AT ITER 3580 NEW BEST:: SOT 509688 SOS 349912 HAS SOPS 349912 HAS SOUS 127558 HAS SOUPS 127558 WITH SCORE 127907.912
AT ITER 3629 NEW BEST:: SOT 509471 SOS 349695 HAS SOPS 349695 HAS SOUS 127133 HAS SOUPS 127133 WITH SCORE 127482.695
AT ITER 3630 NEW BEST:: SOT 509471 SOS 349695 HAS SOPS 349695 HAS SOUS 127119 HAS SOUPS 127119 WITH SCORE 127468.695
AT ITER 3661 NEW BEST:: SOT 509502 SOS 349726 HAS SOPS 349726 HAS SOUS 127118 HAS SOUPS 127118 WITH SCORE 127467.726
AT ITER 3670 NEW BEST:: SOT 509512 SOS 349526 HAS SOPS 349526 HAS SOUS 127118 HAS SOUPS 127118 WITH SCORE 127467.526
AT ITER 3690 NEW BEST:: SOT 509489 SOS 349503 HAS SOPS 349503 HAS SOUS 127007 HAS SOUPS 127007 WITH SCORE 127356.503
AT ITER 3720 NEW BEST:: SOT 509426 SOS 349440 HAS SOPS 349440 HAS SOUS 126981 HAS SOUPS 126981 WITH SCORE 127330.44
AT ITER 3741 NEW BEST:: SOT 509407 SOS 349421 HAS SOPS 349421 HAS SOUS 126969 HAS SOUPS 126969 WITH SCORE 127318.421
AT ITER 3755 NEW BEST:: SOT 507384 SOS 351218 HAS SOPS 351218 HAS SOUS 125535 HAS SOUPS 125535 WITH SCORE 125886.218
AT ITER 3759 NEW BEST:: SOT 507242 SOS 351076 HAS SOPS 351076 HAS SOUS 125251 HAS SOUPS 125251 WITH SCORE 125602.076
AT ITER 3767 NEW BEST:: SOT 507212 SOS 351046 HAS SOPS 351046 HAS SOUS 125219 HAS SOUPS 125219 WITH SCORE 125570.046
AT ITER 3812 NEW BEST:: SOT 507211 SOS 351023 HAS SOPS 351023 HAS SOUS 125217 HAS SOUPS 125217 WITH SCORE 125568.023
AT ITER 3827 NEW BEST:: SOT 506704 SOS 352533 HAS SOPS 352533 HAS SOUS 124710 HAS SOUPS 124710 WITH SCORE 125062.533
AT ITER 3847 NEW BEST:: SOT 506703 SOS 352532 HAS SOPS 352532 HAS SOUS 124708 HAS SOUPS 124708 WITH SCORE 125060.532
AT ITER 3868 NEW BEST:: SOT 506663 SOS 352492 HAS SOPS 352492 HAS SOUS 124628 HAS SOUPS 124628 WITH SCORE 124980.492
AT ITER 3869 NEW BEST:: SOT 506558 SOS 352387 HAS SOPS 352387 HAS SOUS 124595 HAS SOUPS 124595 WITH SCORE 124947.387
AT ITER 3901 NEW BEST:: SOT 506537 SOS 352366 HAS SOPS 352366 HAS SOUS 124574 HAS SOUPS 124574 WITH SCORE 124926.366
AT ITER 3935 NEW BEST:: SOT 506463 SOS 352292 HAS SOPS 352292 HAS SOUS 124460 HAS SOUPS 124460 WITH SCORE 124812.292
AT ITER 3963 NEW BEST:: SOT 506462 SOS 352291 HAS SOPS 352291 HAS SOUS 124458 HAS SOUPS 124458 WITH SCORE 124810.291
AT ITER 3982 NEW BEST:: SOT 506302 SOS 353363 HAS SOPS 353363 HAS SOUS 124354 HAS SOUPS 124354 WITH SCORE 124707.363
AT ITER 4002 NEW BEST:: SOT 506301 SOS 353362 HAS SOPS 353362 HAS SOUS 124352 HAS SOUPS 124352 WITH SCORE 124705.362
AT ITER 4016 NEW BEST:: SOT 506285 SOS 353346 HAS SOPS 353346 HAS SOUS 124320 HAS SOUPS 124320 WITH SCORE 124673.346
AT ITER 4029 NEW BEST:: SOT 506243 SOS 353304 HAS SOPS 353304 HAS SOUS 124236 HAS SOUPS 124236 WITH SCORE 124589.304
AT ITER 4032 NEW BEST:: SOT 506204 SOS 353265 HAS SOPS 353265 HAS SOUS 124197 HAS SOUPS 124197 WITH SCORE 124550.265
AT ITER 4035 NEW BEST:: SOT 506170 SOS 353231 HAS SOPS 353231 HAS SOUS 124129 HAS SOUPS 124129 WITH SCORE 124482.231
AT ITER 4059 NEW BEST:: SOT 506064 SOS 353125 HAS SOPS 353125 HAS SOUS 123917 HAS SOUPS 123917 WITH SCORE 124270.125
AT ITER 4175 NEW BEST:: SOT 506003 SOS 353064 HAS SOPS 353064 HAS SOUS 123795 HAS SOUPS 123795 WITH SCORE 124148.064
AT ITER 4191 NEW BEST:: SOT 505992 SOS 353031 HAS SOPS 353031 HAS SOUS 123773 HAS SOUPS 123773 WITH SCORE 124126.031
AT ITER 4192 NEW BEST:: SOT 505975 SOS 353014 HAS SOPS 353014 HAS SOUS 123756 HAS SOUPS 123756 WITH SCORE 124109.014
AT ITER 4211 NEW BEST:: SOT 505998 SOS 353037 HAS SOPS 353037 HAS SOUS 123747 HAS SOUPS 123747 WITH SCORE 124100.037
AT ITER 4272 NEW BEST:: SOT 505997 SOS 353036 HAS SOPS 353036 HAS SOUS 123745 HAS SOUPS 123745 WITH SCORE 124098.036
AT ITER 4309 NEW BEST:: SOT 505968 SOS 353007 HAS SOPS 353007 HAS SOUS 123687 HAS SOUPS 123687 WITH SCORE 124040.007
AT ITER 4359 NEW BEST:: SOT 505875 SOS 352914 HAS SOPS 352914 HAS SOUS 123501 HAS SOUPS 123501 WITH SCORE 123853.914
AT ITER 4401 NEW BEST:: SOT 505875 SOS 352914 HAS SOPS 352914 HAS SOUS 123499 HAS SOUPS 123499 WITH SCORE 123851.914
AT ITER 4437 NEW BEST:: SOT 505963 SOS 353002 HAS SOPS 353002 HAS SOUS 123489 HAS SOUPS 123489 WITH SCORE 123842.002
AT ITER 4447 NEW BEST:: SOT 505942 SOS 352981 HAS SOPS 352981 HAS SOUS 123468 HAS SOUPS 123468 WITH SCORE 123820.981
AT ITER 4456 NEW BEST:: SOT 505941 SOS 352980 HAS SOPS 352980 HAS SOUS 123466 HAS SOUPS 123466 WITH SCORE 123818.98
AT ITER 4482 NEW BEST:: SOT 505739 SOS 352873 HAS SOPS 352873 HAS SOUS 123395 HAS SOUPS 123395 WITH SCORE 123747.873
AT ITER 4487 NEW BEST:: SOT 505739 SOS 352872 HAS SOPS 352872 HAS SOUS 123395 HAS SOUPS 123395 WITH SCORE 123747.872
AT ITER 4495 NEW BEST:: SOT 505724 SOS 352857 HAS SOPS 352857 HAS SOUS 123365 HAS SOUPS 123365 WITH SCORE 123717.857
AT ITER 4516 NEW BEST:: SOT 505723 SOS 352856 HAS SOPS 352856 HAS SOUS 123363 HAS SOUPS 123363 WITH SCORE 123715.856
AT ITER 4542 NEW BEST:: SOT 505691 SOS 352823 HAS SOPS 352823 HAS SOUS 123327 HAS SOUPS 123327 WITH SCORE 123679.823
AT ITER 4560 NEW BEST:: SOT 505690 SOS 352822 HAS SOPS 352822 HAS SOUS 123325 HAS SOUPS 123325 WITH SCORE 123677.822
AT ITER 4573 NEW BEST:: SOT 505578 SOS 352709 HAS SOPS 352709 HAS SOUS 123309 HAS SOUPS 123309 WITH SCORE 123661.709
AT ITER 4589 NEW BEST:: SOT 505555 SOS 352686 HAS SOPS 352686 HAS SOUS 123263 HAS SOUPS 123263 WITH SCORE 123615.686
AT ITER 4638 NEW BEST:: SOT 505485 SOS 352616 HAS SOPS 352616 HAS SOUS 123218 HAS SOUPS 123218 WITH SCORE 123570.616
AT ITER 4643 NEW BEST:: SOT 505433 SOS 352510 HAS SOPS 352510 HAS SOUS 123114 HAS SOUPS 123114 WITH SCORE 123466.51
AT ITER 4650 NEW BEST:: SOT 505425 SOS 352502 HAS SOPS 352502 HAS SOUS 123106 HAS SOUPS 123106 WITH SCORE 123458.502
AT ITER 4667 NEW BEST:: SOT 505425 SOS 352126 HAS SOPS 352126 HAS SOUS 123092 HAS SOUPS 123092 WITH SCORE 123444.126
AT ITER 4684 NEW BEST:: SOT 505425 SOS 350641 HAS SOPS 350641 HAS SOUS 123091 HAS SOUPS 123091 WITH SCORE 123441.641
AT ITER 4702 NEW BEST:: SOT 505362 SOS 350471 HAS SOPS 350471 HAS SOUS 122926 HAS SOUPS 122926 WITH SCORE 123276.471
AT ITER 4719 NEW BEST:: SOT 505352 SOS 350461 HAS SOPS 350461 HAS SOUS 122910 HAS SOUPS 122910 WITH SCORE 123260.461
AT ITER 4765 NEW BEST:: SOT 505348 SOS 350457 HAS SOPS 350457 HAS SOUS 122906 HAS SOUPS 122906 WITH SCORE 123256.457
AT ITER 4773 NEW BEST:: SOT 505347 SOS 350456 HAS SOPS 350456 HAS SOUS 122904 HAS SOUPS 122904 WITH SCORE 123254.456
AT ITER 4784 NEW BEST:: SOT 505346 SOS 350455 HAS SOPS 350455 HAS SOUS 122902 HAS SOUPS 122902 WITH SCORE 123252.455
AT ITER 4798 NEW BEST:: SOT 505346 SOS 350183 HAS SOPS 350183 HAS SOUS 122902 HAS SOUPS 122902 WITH SCORE 123252.183
AT ITER 4804 NEW BEST:: SOT 505345 SOS 350182 HAS SOPS 350182 HAS SOUS 122865 HAS SOUPS 122865 WITH SCORE 123215.182
AT ITER 4816 NEW BEST:: SOT 505344 SOS 350181 HAS SOPS 350181 HAS SOUS 122863 HAS SOUPS 122863 WITH SCORE 123213.181
AT ITER 4871 NEW BEST:: SOT 505309 SOS 350146 HAS SOPS 350146 HAS SOUS 122795 HAS SOUPS 122795 WITH SCORE 123145.146
AT ITER 4907 NEW BEST:: SOT 505287 SOS 350122 HAS SOPS 350122 HAS SOUS 122771 HAS SOUPS 122771 WITH SCORE 123121.122
AT ITER 4910 NEW BEST:: SOT 505281 SOS 350116 HAS SOPS 350116 HAS SOUS 122759 HAS SOUPS 122759 WITH SCORE 123109.116
AT ITER 4936 NEW BEST:: SOT 505250 SOS 350085 HAS SOPS 350085 HAS SOUS 122697 HAS SOUPS 122697 WITH SCORE 123047.085
AT ITER 4937 NEW BEST:: SOT 505249 SOS 350090 HAS SOPS 350090 HAS SOUS 122695 HAS SOUPS 122695 WITH SCORE 123045.09
AT ITER 5046 NEW BEST:: SOT 505128 SOS 349968 HAS SOPS 349968 HAS SOUS 122648 HAS SOUPS 122648 WITH SCORE 122997.968
AT ITER 5059 NEW BEST:: SOT 505052 SOS 349892 HAS SOPS 349892 HAS SOUS 122496 HAS SOUPS 122496 WITH SCORE 122845.892
AT ITER 5079 NEW BEST:: SOT 505052 SOS 349892 HAS SOPS 349892 HAS SOUS 122453 HAS SOUPS 122453 WITH SCORE 122802.892
AT ITER 5081 NEW BEST:: SOT 505035 SOS 349875 HAS SOPS 349875 HAS SOUS 122419 HAS SOUPS 122419 WITH SCORE 122768.875
AT ITER 5126 NEW BEST:: SOT 504738 SOS 349578 HAS SOPS 349578 HAS SOUS 122122 HAS SOUPS 122122 WITH SCORE 122471.578
AT ITER 5139 NEW BEST:: SOT 504736 SOS 349576 HAS SOPS 349576 HAS SOUS 122118 HAS SOUPS 122118 WITH SCORE 122467.576
AT ITER 5144 NEW BEST:: SOT 504735 SOS 349575 HAS SOPS 349575 HAS SOUS 122116 HAS SOUPS 122116 WITH SCORE 122465.575
AT ITER 5155 NEW BEST:: SOT 504702 SOS 349542 HAS SOPS 349542 HAS SOUS 122090 HAS SOUPS 122090 WITH SCORE 122439.542
AT ITER 5180 NEW BEST:: SOT 504679 SOS 349519 HAS SOPS 349519 HAS SOUS 122086 HAS SOUPS 122086 WITH SCORE 122435.519
AT ITER 5189 NEW BEST:: SOT 504679 SOS 349519 HAS SOPS 349519 HAS SOUS 121941 HAS SOUPS 121941 WITH SCORE 122290.519
AT ITER 5193 NEW BEST:: SOT 504709 SOS 349549 HAS SOPS 349549 HAS SOUS 121857 HAS SOUPS 121857 WITH SCORE 122206.549
AT ITER 5202 NEW BEST:: SOT 504709 SOS 349549 HAS SOPS 349549 HAS SOUS 121855 HAS SOUPS 121855 WITH SCORE 122204.549
AT ITER 5217 NEW BEST:: SOT 504708 SOS 349548 HAS SOPS 349548 HAS SOUS 121853 HAS SOUPS 121853 WITH SCORE 122202.548
AT ITER 5235 NEW BEST:: SOT 504700 SOS 349540 HAS SOPS 349540 HAS SOUS 121837 HAS SOUPS 121837 WITH SCORE 122186.54
AT ITER 5242 NEW BEST:: SOT 504696 SOS 349536 HAS SOPS 349536 HAS SOUS 121829 HAS SOUPS 121829 WITH SCORE 122178.536
AT ITER 5254 NEW BEST:: SOT 504695 SOS 349535 HAS SOPS 349535 HAS SOUS 121827 HAS SOUPS 121827 WITH SCORE 122176.535
AT ITER 5267 NEW BEST:: SOT 504694 SOS 349534 HAS SOPS 349534 HAS SOUS 121825 HAS SOUPS 121825 WITH SCORE 122174.534
AT ITER 5281 NEW BEST:: SOT 504643 SOS 349692 HAS SOPS 349692 HAS SOUS 121781 HAS SOUPS 121781 WITH SCORE 122130.692
AT ITER 5322 NEW BEST:: SOT 504632 SOS 349681 HAS SOPS 349681 HAS SOUS 121759 HAS SOUPS 121759 WITH SCORE 122108.681
AT ITER 5374 NEW BEST:: SOT 504563 SOS 349612 HAS SOPS 349612 HAS SOUS 121685 HAS SOUPS 121685 WITH SCORE 122034.612
AT ITER 5380 NEW BEST:: SOT 504425 SOS 350955 HAS SOPS 350955 HAS SOUS 121666 HAS SOUPS 121666 WITH SCORE 122016.955
AT ITER 5419 NEW BEST:: SOT 504424 SOS 350954 HAS SOPS 350954 HAS SOUS 121664 HAS SOUPS 121664 WITH SCORE 122014.954
AT ITER 5475 NEW BEST:: SOT 504423 SOS 350953 HAS SOPS 350953 HAS SOUS 121633 HAS SOUPS 121633 WITH SCORE 121983.953
AT ITER 5479 NEW BEST:: SOT 504413 SOS 350943 HAS SOPS 350943 HAS SOUS 121613 HAS SOUPS 121613 WITH SCORE 121963.943
AT ITER 5481 NEW BEST:: SOT 504259 SOS 350789 HAS SOPS 350789 HAS SOUS 121305 HAS SOUPS 121305 WITH SCORE 121655.789
AT ITER 5485 NEW BEST:: SOT 504258 SOS 350788 HAS SOPS 350788 HAS SOUS 121303 HAS SOUPS 121303 WITH SCORE 121653.788
AT ITER 5500 NEW BEST:: SOT 504242 SOS 350772 HAS SOPS 350772 HAS SOUS 121289 HAS SOUPS 121289 WITH SCORE 121639.772
AT ITER 5521 NEW BEST:: SOT 504151 SOS 350511 HAS SOPS 350511 HAS SOUS 121107 HAS SOUPS 121107 WITH SCORE 121457.511
AT ITER 5526 NEW BEST:: SOT 503994 SOS 350369 HAS SOPS 350369 HAS SOUS 120793 HAS SOUPS 120793 WITH SCORE 121143.369
AT ITER 5533 NEW BEST:: SOT 503994 SOS 350369 HAS SOPS 350369 HAS SOUS 120789 HAS SOUPS 120789 WITH SCORE 121139.369
AT ITER 5543 NEW BEST:: SOT 503937 SOS 350312 HAS SOPS 350312 HAS SOUS 120675 HAS SOUPS 120675 WITH SCORE 121025.312
AT ITER 5557 NEW BEST:: SOT 503919 SOS 350294 HAS SOPS 350294 HAS SOUS 120639 HAS SOUPS 120639 WITH SCORE 120989.294
AT ITER 5592 NEW BEST:: SOT 503751 SOS 350082 HAS SOPS 350082 HAS SOUS 120303 HAS SOUPS 120303 WITH SCORE 120653.082
AT ITER 5643 NEW BEST:: SOT 503608 SOS 349939 HAS SOPS 349939 HAS SOUS 120263 HAS SOUPS 120263 WITH SCORE 120612.939
AT ITER 5686 NEW BEST:: SOT 503587 SOS 349918 HAS SOPS 349918 HAS SOUS 120242 HAS SOUPS 120242 WITH SCORE 120591.918
AT ITER 5750 NEW BEST:: SOT 503586 SOS 349917 HAS SOPS 349917 HAS SOUS 120240 HAS SOUPS 120240 WITH SCORE 120589.917
AT ITER 5794 NEW BEST:: SOT 503533 SOS 349864 HAS SOPS 349864 HAS SOUS 120187 HAS SOUPS 120187 WITH SCORE 120536.864
AT ITER 5808 NEW BEST:: SOT 503520 SOS 349863 HAS SOPS 349863 HAS SOUS 120186 HAS SOUPS 120186 WITH SCORE 120535.863
AT ITER 5847 NEW BEST:: SOT 503513 SOS 349856 HAS SOPS 349856 HAS SOUS 120172 HAS SOUPS 120172 WITH SCORE 120521.856
AT ITER 5855 NEW BEST:: SOT 503131 SOS 349766 HAS SOPS 349766 HAS SOUS 119848 HAS SOUPS 119848 WITH SCORE 120197.766
AT ITER 5878 NEW BEST:: SOT 503119 SOS 349921 HAS SOPS 349921 HAS SOUS 119847 HAS SOUPS 119847 WITH SCORE 120196.921
AT ITER 5885 NEW BEST:: SOT 503113 SOS 349915 HAS SOPS 349915 HAS SOUS 119835 HAS SOUPS 119835 WITH SCORE 120184.915
AT ITER 5887 NEW BEST:: SOT 503110 SOS 349912 HAS SOPS 349912 HAS SOUS 119832 HAS SOUPS 119832 WITH SCORE 120181.912
AT ITER 5907 NEW BEST:: SOT 503109 SOS 349911 HAS SOPS 349911 HAS SOUS 119830 HAS SOUPS 119830 WITH SCORE 120179.911
AT ITER 5918 NEW BEST:: SOT 503066 SOS 349868 HAS SOPS 349868 HAS SOUS 119826 HAS SOUPS 119826 WITH SCORE 120175.868
AT ITER 5961 NEW BEST:: SOT 503065 SOS 349867 HAS SOPS 349867 HAS SOUS 119824 HAS SOUPS 119824 WITH SCORE 120173.867
AT ITER 5964 NEW BEST:: SOT 503064 SOS 349866 HAS SOPS 349866 HAS SOUS 119822 HAS SOUPS 119822 WITH SCORE 120171.866
AT ITER 5969 NEW BEST:: SOT 503128 SOS 349930 HAS SOPS 349930 HAS SOUS 119813 HAS SOUPS 119813 WITH SCORE 120162.93
AT ITER 5976 NEW BEST:: SOT 503123 SOS 349925 HAS SOPS 349925 HAS SOUS 119803 HAS SOUPS 119803 WITH SCORE 120152.925
AT ITER 5982 NEW BEST:: SOT 503132 SOS 349934 HAS SOPS 349934 HAS SOUS 119801 HAS SOUPS 119801 WITH SCORE 120150.934
AT ITER 5984 NEW BEST:: SOT 503074 SOS 349876 HAS SOPS 349876 HAS SOUS 119646 HAS SOUPS 119646 WITH SCORE 119995.876
AT ITER 5988 NEW BEST:: SOT 502960 SOS 349762 HAS SOPS 349762 HAS SOUS 119490 HAS SOUPS 119490 WITH SCORE 119839.762
AT ITER 6210 NEW BEST:: SOT 502959 SOS 349761 HAS SOPS 349761 HAS SOUS 119489 HAS SOUPS 119489 WITH SCORE 119838.761
AT ITER 6224 NEW BEST:: SOT 502959 SOS 349733 HAS SOPS 349733 HAS SOUS 119489 HAS SOUPS 119489 WITH SCORE 119838.733
AT ITER 6248 NEW BEST:: SOT 502950 SOS 349724 HAS SOPS 349724 HAS SOUS 119471 HAS SOUPS 119471 WITH SCORE 119820.724
AT ITER 6252 NEW BEST:: SOT 502945 SOS 349719 HAS SOPS 349719 HAS SOUS 119461 HAS SOUPS 119461 WITH SCORE 119810.719
AT ITER 6256 NEW BEST:: SOT 502900 SOS 349674 HAS SOPS 349674 HAS SOUS 119371 HAS SOUPS 119371 WITH SCORE 119720.674
AT ITER 6258 NEW BEST:: SOT 502838 SOS 349580 HAS SOPS 349580 HAS SOUS 119277 HAS SOUPS 119277 WITH SCORE 119626.58
AT ITER 6274 NEW BEST:: SOT 502791 SOS 349993 HAS SOPS 349993 HAS SOUS 119275 HAS SOUPS 119275 WITH SCORE 119624.993
AT ITER 6288 NEW BEST:: SOT 502792 SOS 349994 HAS SOPS 349994 HAS SOUS 119273 HAS SOUPS 119273 WITH SCORE 119622.994
AT ITER 6311 NEW BEST:: SOT 502735 SOS 349937 HAS SOPS 349937 HAS SOUS 119159 HAS SOUPS 119159 WITH SCORE 119508.937
AT ITER 6330 NEW BEST:: SOT 502720 SOS 349922 HAS SOPS 349922 HAS SOUS 119129 HAS SOUPS 119129 WITH SCORE 119478.922
AT ITER 6353 NEW BEST:: SOT 502613 SOS 349815 HAS SOPS 349815 HAS SOUS 118930 HAS SOUPS 118930 WITH SCORE 119279.815
AT ITER 6449 NEW BEST:: SOT 502432 SOS 350927 HAS SOPS 350927 HAS SOUS 118749 HAS SOUPS 118749 WITH SCORE 119099.927
AT ITER 6484 NEW BEST:: SOT 502419 SOS 350914 HAS SOPS 350914 HAS SOUS 118723 HAS SOUPS 118723 WITH SCORE 119073.914
AT ITER 6485 NEW BEST:: SOT 502419 SOS 350914 HAS SOPS 350914 HAS SOUS 118722 HAS SOUPS 118722 WITH SCORE 119072.914
AT ITER 6496 NEW BEST:: SOT 502419 SOS 350914 HAS SOPS 350914 HAS SOUS 118710 HAS SOUPS 118710 WITH SCORE 119060.914
AT ITER 6533 NEW BEST:: SOT 502033 SOS 350339 HAS SOPS 350339 HAS SOUS 118135 HAS SOUPS 118135 WITH SCORE 118485.339
AT ITER 6534 NEW BEST:: SOT 502032 SOS 350338 HAS SOPS 350338 HAS SOUS 118133 HAS SOUPS 118133 WITH SCORE 118483.338
AT ITER 6541 NEW BEST:: SOT 501998 SOS 350202 HAS SOPS 350202 HAS SOUS 118099 HAS SOUPS 118099 WITH SCORE 118449.202
AT ITER 6592 NEW BEST:: SOT 501976 SOS 350180 HAS SOPS 350180 HAS SOUS 118055 HAS SOUPS 118055 WITH SCORE 118405.18
AT ITER 6636 NEW BEST:: SOT 501947 SOS 350151 HAS SOPS 350151 HAS SOUS 117997 HAS SOUPS 117997 WITH SCORE 118347.151
AT ITER 6657 NEW BEST:: SOT 501804 SOS 350008 HAS SOPS 350008 HAS SOUS 117992 HAS SOUPS 117992 WITH SCORE 118342.008
AT ITER 6673 NEW BEST:: SOT 501755 SOS 349959 HAS SOPS 349959 HAS SOUS 117870 HAS SOUPS 117870 WITH SCORE 118219.959
AT ITER 6742 NEW BEST:: SOT 501755 SOS 349120 HAS SOPS 349120 HAS SOUS 117869 HAS SOUPS 117869 WITH SCORE 118218.12
AT ITER 6755 NEW BEST:: SOT 501720 SOS 349063 HAS SOPS 349063 HAS SOUS 117834 HAS SOUPS 117834 WITH SCORE 118183.063
AT ITER 6764 NEW BEST:: SOT 501719 SOS 349062 HAS SOPS 349062 HAS SOUS 117833 HAS SOUPS 117833 WITH SCORE 118182.062
AT ITER 6768 NEW BEST:: SOT 501715 SOS 349058 HAS SOPS 349058 HAS SOUS 117825 HAS SOUPS 117825 WITH SCORE 118174.058
AT ITER 6855 NEW BEST:: SOT 501671 SOS 348902 HAS SOPS 348902 HAS SOUS 117797 HAS SOUPS 117797 WITH SCORE 118145.902
AT ITER 6862 NEW BEST:: SOT 501582 SOS 348813 HAS SOPS 348813 HAS SOUS 117619 HAS SOUPS 117619 WITH SCORE 117967.813
AT ITER 6884 NEW BEST:: SOT 501581 SOS 348812 HAS SOPS 348812 HAS SOUS 117617 HAS SOUPS 117617 WITH SCORE 117965.812
AT ITER 6939 NEW BEST:: SOT 501448 SOS 348679 HAS SOPS 348679 HAS SOUS 117483 HAS SOUPS 117483 WITH SCORE 117831.679
AT ITER 7009 NEW BEST:: SOT 501447 SOS 348678 HAS SOPS 348678 HAS SOUS 117481 HAS SOUPS 117481 WITH SCORE 117829.678
AT ITER 7011 NEW BEST:: SOT 501415 SOS 348646 HAS SOPS 348646 HAS SOUS 117449 HAS SOUPS 117449 WITH SCORE 117797.646
AT ITER 7094 NEW BEST:: SOT 501347 SOS 348578 HAS SOPS 348578 HAS SOUS 117414 HAS SOUPS 117414 WITH SCORE 117762.578
AT ITER 7149 NEW BEST:: SOT 501345 SOS 348576 HAS SOPS 348576 HAS SOUS 117410 HAS SOUPS 117410 WITH SCORE 117758.576
AT ITER 7173 NEW BEST:: SOT 501332 SOS 348563 HAS SOPS 348563 HAS SOUS 117390 HAS SOUPS 117390 WITH SCORE 117738.563
AT ITER 7223 NEW BEST:: SOT 501331 SOS 348562 HAS SOPS 348562 HAS SOUS 117388 HAS SOUPS 117388 WITH SCORE 117736.562
AT ITER 7236 NEW BEST:: SOT 501331 SOS 348555 HAS SOPS 348555 HAS SOUS 117388 HAS SOUPS 117388 WITH SCORE 117736.555
AT ITER 7267 NEW BEST:: SOT 501342 SOS 348566 HAS SOPS 348566 HAS SOUS 117352 HAS SOUPS 117352 WITH SCORE 117700.566
AT ITER 7273 NEW BEST:: SOT 501327 SOS 348505 HAS SOPS 348505 HAS SOUS 117322 HAS SOUPS 117322 WITH SCORE 117670.505
AT ITER 7277 NEW BEST:: SOT 501318 SOS 348496 HAS SOPS 348496 HAS SOUS 117304 HAS SOUPS 117304 WITH SCORE 117652.496
AT ITER 7359 NEW BEST:: SOT 501327 SOS 348505 HAS SOPS 348505 HAS SOUS 117301 HAS SOUPS 117301 WITH SCORE 117649.505
AT ITER 7365 NEW BEST:: SOT 501305 SOS 348483 HAS SOPS 348483 HAS SOUS 117279 HAS SOUPS 117279 WITH SCORE 117627.483
AT ITER 7373 NEW BEST:: SOT 501291 SOS 348469 HAS SOPS 348469 HAS SOUS 117251 HAS SOUPS 117251 WITH SCORE 117599.469
AT ITER 7386 NEW BEST:: SOT 501059 SOS 348237 HAS SOPS 348237 HAS SOUS 117157 HAS SOUPS 117157 WITH SCORE 117505.237
AT ITER 7420 NEW BEST:: SOT 501037 SOS 348197 HAS SOPS 348197 HAS SOUS 117109 HAS SOUPS 117109 WITH SCORE 117457.197
AT ITER 7427 NEW BEST:: SOT 501029 SOS 348196 HAS SOPS 348196 HAS SOUS 117100 HAS SOUPS 117100 WITH SCORE 117448.196
AT ITER 7489 NEW BEST:: SOT 501029 SOS 348196 HAS SOPS 348196 HAS SOUS 117095 HAS SOUPS 117095 WITH SCORE 117443.196
AT ITER 7730 NEW BEST:: SOT 500979 SOS 348146 HAS SOPS 348146 HAS SOUS 116995 HAS SOUPS 116995 WITH SCORE 117343.146
AT ITER 7732 NEW BEST:: SOT 500880 SOS 348047 HAS SOPS 348047 HAS SOUS 116797 HAS SOUPS 116797 WITH SCORE 117145.047
AT ITER 7737 NEW BEST:: SOT 500972 SOS 348139 HAS SOPS 348139 HAS SOUS 116744 HAS SOUPS 116744 WITH SCORE 117092.139
AT ITER 7740 NEW BEST:: SOT 501000 SOS 348167 HAS SOPS 348167 HAS SOUS 116726 HAS SOUPS 116726 WITH SCORE 117074.167
AT ITER 7802 NEW BEST:: SOT 500999 SOS 348166 HAS SOPS 348166 HAS SOUS 116724 HAS SOUPS 116724 WITH SCORE 117072.166
AT ITER 7806 NEW BEST:: SOT 501137 SOS 346913 HAS SOPS 346913 HAS SOUS 116722 HAS SOUPS 116722 WITH SCORE 117068.913
AT ITER 7827 NEW BEST:: SOT 501128 SOS 346904 HAS SOPS 346904 HAS SOUS 116704 HAS SOUPS 116704 WITH SCORE 117050.904
AT ITER 7847 NEW BEST:: SOT 501125 SOS 346901 HAS SOPS 346901 HAS SOUS 116698 HAS SOUPS 116698 WITH SCORE 117044.901
AT ITER 7860 NEW BEST:: SOT 501124 SOS 346900 HAS SOPS 346900 HAS SOUS 116696 HAS SOUPS 116696 WITH SCORE 117042.9
AT ITER 7903 NEW BEST:: SOT 501082 SOS 346858 HAS SOPS 346858 HAS SOUS 116654 HAS SOUPS 116654 WITH SCORE 117000.858
AT ITER 7914 NEW BEST:: SOT 501082 SOS 346858 HAS SOPS 346858 HAS SOUS 116595 HAS SOUPS 116595 WITH SCORE 116941.858
AT ITER 7938 NEW BEST:: SOT 501063 SOS 346839 HAS SOPS 346839 HAS SOUS 116566 HAS SOUPS 116566 WITH SCORE 116912.839
AT ITER 7943 NEW BEST:: SOT 501060 SOS 346836 HAS SOPS 346836 HAS SOUS 116560 HAS SOUPS 116560 WITH SCORE 116906.836
AT ITER 7946 NEW BEST:: SOT 501023 SOS 346799 HAS SOPS 346799 HAS SOUS 116523 HAS SOUPS 116523 WITH SCORE 116869.799
AT ITER 7952 NEW BEST:: SOT 500977 SOS 346753 HAS SOPS 346753 HAS SOUS 116523 HAS SOUPS 116523 WITH SCORE 116869.753
AT ITER 7958 NEW BEST:: SOT 500930 SOS 346706 HAS SOPS 346706 HAS SOUS 116429 HAS SOUPS 116429 WITH SCORE 116775.706
AT ITER 7961 NEW BEST:: SOT 500930 SOS 346705 HAS SOPS 346705 HAS SOUS 116428 HAS SOUPS 116428 WITH SCORE 116774.705
AT ITER 7991 NEW BEST:: SOT 500882 SOS 346657 HAS SOPS 346657 HAS SOUS 116332 HAS SOUPS 116332 WITH SCORE 116678.657
AT ITER 7996 NEW BEST:: SOT 500839 SOS 347143 HAS SOPS 347143 HAS SOUS 116313 HAS SOUPS 116313 WITH SCORE 116660.143
AT ITER 8013 NEW BEST:: SOT 500742 SOS 347847 HAS SOPS 347847 HAS SOUS 116306 HAS SOUPS 116306 WITH SCORE 116653.847
AT ITER 8030 NEW BEST:: SOT 500658 SOS 348294 HAS SOPS 348294 HAS SOUS 116248 HAS SOUPS 116248 WITH SCORE 116596.294
AT ITER 8064 NEW BEST:: SOT 500575 SOS 348211 HAS SOPS 348211 HAS SOUS 116156 HAS SOUPS 116156 WITH SCORE 116504.211
AT ITER 8085 NEW BEST:: SOT 500501 SOS 348136 HAS SOPS 348136 HAS SOUS 116081 HAS SOUPS 116081 WITH SCORE 116429.136
AT ITER 8101 NEW BEST:: SOT 500500 SOS 348135 HAS SOPS 348135 HAS SOUS 116079 HAS SOUPS 116079 WITH SCORE 116427.135
AT ITER 8195 NEW BEST:: SOT 500478 SOS 348113 HAS SOPS 348113 HAS SOUS 116079 HAS SOUPS 116079 WITH SCORE 116427.113
AT ITER 8280 NEW BEST:: SOT 500404 SOS 348039 HAS SOPS 348039 HAS SOUS 115931 HAS SOUPS 115931 WITH SCORE 116279.039
AT ITER 8321 NEW BEST:: SOT 500390 SOS 348025 HAS SOPS 348025 HAS SOUS 115919 HAS SOUPS 115919 WITH SCORE 116267.025
AT ITER 8348 NEW BEST:: SOT 500372 SOS 348007 HAS SOPS 348007 HAS SOUS 115901 HAS SOUPS 115901 WITH SCORE 116249.007
AT ITER 8400 NEW BEST:: SOT 500365 SOS 348000 HAS SOPS 348000 HAS SOUS 115887 HAS SOUPS 115887 WITH SCORE 116235.0
AT ITER 8421 NEW BEST:: SOT 500337 SOS 347877 HAS SOPS 347877 HAS SOUS 115831 HAS SOUPS 115831 WITH SCORE 116178.877
AT ITER 8425 NEW BEST:: SOT 500329 SOS 347869 HAS SOPS 347869 HAS SOUS 115823 HAS SOUPS 115823 WITH SCORE 116170.869
AT ITER 8449 NEW BEST:: SOT 500328 SOS 347868 HAS SOPS 347868 HAS SOUS 115821 HAS SOUPS 115821 WITH SCORE 116168.868
AT ITER 8453 NEW BEST:: SOT 500270 SOS 347810 HAS SOPS 347810 HAS SOUS 115705 HAS SOUPS 115705 WITH SCORE 116052.81
AT ITER 8477 NEW BEST:: SOT 500270 SOS 347774 HAS SOPS 347774 HAS SOUS 115705 HAS SOUPS 115705 WITH SCORE 116052.774
AT ITER 8482 NEW BEST:: SOT 500243 SOS 347719 HAS SOPS 347719 HAS SOUS 115623 HAS SOUPS 115623 WITH SCORE 115970.719
AT ITER 8489 NEW BEST:: SOT 500212 SOS 347688 HAS SOPS 347688 HAS SOUS 115609 HAS SOUPS 115609 WITH SCORE 115956.688
AT ITER 8511 NEW BEST:: SOT 500146 SOS 347622 HAS SOPS 347622 HAS SOUS 115477 HAS SOUPS 115477 WITH SCORE 115824.622
AT ITER 8512 NEW BEST:: SOT 500095 SOS 347518 HAS SOPS 347518 HAS SOUS 115375 HAS SOUPS 115375 WITH SCORE 115722.518
AT ITER 8536 NEW BEST:: SOT 500136 SOS 347559 HAS SOPS 347559 HAS SOUS 115359 HAS SOUPS 115359 WITH SCORE 115706.559
AT ITER 8543 NEW BEST:: SOT 500097 SOS 347520 HAS SOPS 347520 HAS SOUS 115359 HAS SOUPS 115359 WITH SCORE 115706.52
AT ITER 8568 NEW BEST:: SOT 500157 SOS 346780 HAS SOPS 346780 HAS SOUS 115339 HAS SOUPS 115339 WITH SCORE 115685.78
AT ITER 8636 NEW BEST:: SOT 500334 SOS 346957 HAS SOPS 346957 HAS SOUS 115328 HAS SOUPS 115328 WITH SCORE 115674.957
AT ITER 8693 NEW BEST:: SOT 500272 SOS 346895 HAS SOPS 346895 HAS SOUS 115204 HAS SOUPS 115204 WITH SCORE 115550.895
AT ITER 8710 NEW BEST:: SOT 500242 SOS 346865 HAS SOPS 346865 HAS SOUS 115204 HAS SOUPS 115204 WITH SCORE 115550.865
AT ITER 8731 NEW BEST:: SOT 500155 SOS 346778 HAS SOPS 346778 HAS SOUS 115030 HAS SOUPS 115030 WITH SCORE 115376.778
AT ITER 8742 NEW BEST:: SOT 500154 SOS 346777 HAS SOPS 346777 HAS SOUS 115028 HAS SOUPS 115028 WITH SCORE 115374.777
AT ITER 8756 NEW BEST:: SOT 500076 SOS 346699 HAS SOPS 346699 HAS SOUS 114911 HAS SOUPS 114911 WITH SCORE 115257.699
AT ITER 8857 NEW BEST:: SOT 500113 SOS 346690 HAS SOPS 346690 HAS SOUS 114900 HAS SOUPS 114900 WITH SCORE 115246.69
AT ITER 8885 NEW BEST:: SOT 500104 SOS 347990 HAS SOPS 347990 HAS SOUS 114891 HAS SOUPS 114891 WITH SCORE 115238.99
AT ITER 8929 NEW BEST:: SOT 500103 SOS 347989 HAS SOPS 347989 HAS SOUS 114889 HAS SOUPS 114889 WITH SCORE 115236.989
AT ITER 8932 NEW BEST:: SOT 500102 SOS 347988 HAS SOPS 347988 HAS SOUS 114887 HAS SOUPS 114887 WITH SCORE 115234.988
AT ITER 8948 NEW BEST:: SOT 500098 SOS 347984 HAS SOPS 347984 HAS SOUS 114879 HAS SOUPS 114879 WITH SCORE 115226.984
AT ITER 8952 NEW BEST:: SOT 500147 SOS 348033 HAS SOPS 348033 HAS SOUS 114872 HAS SOUPS 114872 WITH SCORE 115220.033
AT ITER 8963 NEW BEST:: SOT 500108 SOS 347994 HAS SOPS 347994 HAS SOUS 114833 HAS SOUPS 114833 WITH SCORE 115180.994
AT ITER 8973 NEW BEST:: SOT 500107 SOS 347993 HAS SOPS 347993 HAS SOUS 114827 HAS SOUPS 114827 WITH SCORE 115174.993
AT ITER 8974 NEW BEST:: SOT 500096 SOS 347982 HAS SOPS 347982 HAS SOUS 114805 HAS SOUPS 114805 WITH SCORE 115152.982
AT ITER 9025 NEW BEST:: SOT 499913 SOS 349511 HAS SOPS 349511 HAS SOUS 114705 HAS SOUPS 114705 WITH SCORE 115054.511
AT ITER 9026 NEW BEST:: SOT 499912 SOS 349510 HAS SOPS 349510 HAS SOUS 114705 HAS SOUPS 114705 WITH SCORE 115054.51
AT ITER 9071 NEW BEST:: SOT 499898 SOS 349496 HAS SOPS 349496 HAS SOUS 114677 HAS SOUPS 114677 WITH SCORE 115026.496
AT ITER 9074 NEW BEST:: SOT 499670 SOS 351220 HAS SOPS 351220 HAS SOUS 114542 HAS SOUPS 114542 WITH SCORE 114893.22
AT ITER 9140 NEW BEST:: SOT 499670 SOS 351220 HAS SOPS 351220 HAS SOUS 114536 HAS SOUPS 114536 WITH SCORE 114887.22
AT ITER 9150 NEW BEST:: SOT 499661 SOS 351211 HAS SOPS 351211 HAS SOUS 114536 HAS SOUPS 114536 WITH SCORE 114887.211
AT ITER 9152 NEW BEST:: SOT 499661 SOS 351211 HAS SOPS 351211 HAS SOUS 114522 HAS SOUPS 114522 WITH SCORE 114873.211
AT ITER 9156 NEW BEST:: SOT 499540 SOS 351090 HAS SOPS 351090 HAS SOUS 114391 HAS SOUPS 114391 WITH SCORE 114742.09
AT ITER 9212 NEW BEST:: SOT 499539 SOS 351097 HAS SOPS 351097 HAS SOUS 114389 HAS SOUPS 114389 WITH SCORE 114740.097
AT ITER 9223 NEW BEST:: SOT 499533 SOS 351085 HAS SOPS 351085 HAS SOUS 114383 HAS SOUPS 114383 WITH SCORE 114734.085
AT ITER 9241 NEW BEST:: SOT 499518 SOS 351066 HAS SOPS 351066 HAS SOUS 114368 HAS SOUPS 114368 WITH SCORE 114719.066
AT ITER 9274 NEW BEST:: SOT 499449 SOS 350997 HAS SOPS 350997 HAS SOUS 114230 HAS SOUPS 114230 WITH SCORE 114580.997
AT ITER 9379 NEW BEST:: SOT 499421 SOS 350677 HAS SOPS 350677 HAS SOUS 114174 HAS SOUPS 114174 WITH SCORE 114524.677
AT ITER 9389 NEW BEST:: SOT 499357 SOS 350613 HAS SOPS 350613 HAS SOUS 114046 HAS SOUPS 114046 WITH SCORE 114396.613
AT ITER 9391 NEW BEST:: SOT 499334 SOS 350590 HAS SOPS 350590 HAS SOUS 114000 HAS SOUPS 114000 WITH SCORE 114350.59
AT ITER 9424 NEW BEST:: SOT 499319 SOS 350575 HAS SOPS 350575 HAS SOUS 113970 HAS SOUPS 113970 WITH SCORE 114320.575
AT ITER 9456 NEW BEST:: SOT 498814 SOS 350070 HAS SOPS 350070 HAS SOUS 112886 HAS SOUPS 112886 WITH SCORE 113236.07
AT ITER 9464 NEW BEST:: SOT 498809 SOS 350065 HAS SOPS 350065 HAS SOUS 112879 HAS SOUPS 112879 WITH SCORE 113229.065
AT ITER 9465 NEW BEST:: SOT 498808 SOS 350064 HAS SOPS 350064 HAS SOUS 112877 HAS SOUPS 112877 WITH SCORE 113227.064
AT ITER 9470 NEW BEST:: SOT 498788 SOS 350044 HAS SOPS 350044 HAS SOUS 112837 HAS SOUPS 112837 WITH SCORE 113187.044
AT ITER 9545 NEW BEST:: SOT 498755 SOS 350011 HAS SOPS 350011 HAS SOUS 112771 HAS SOUPS 112771 WITH SCORE 113121.011
AT ITER 9559 NEW BEST:: SOT 498755 SOS 350010 HAS SOPS 350010 HAS SOUS 112771 HAS SOUPS 112771 WITH SCORE 113121.01
AT ITER 9564 NEW BEST:: SOT 498667 SOS 349922 HAS SOPS 349922 HAS SOUS 112683 HAS SOUPS 112683 WITH SCORE 113032.922
AT ITER 9602 NEW BEST:: SOT 498671 SOS 349108 HAS SOPS 349108 HAS SOUS 112663 HAS SOUPS 112663 WITH SCORE 113012.108
AT ITER 9708 NEW BEST:: SOT 498656 SOS 349093 HAS SOPS 349093 HAS SOUS 112633 HAS SOUPS 112633 WITH SCORE 112982.093
AT ITER 9730 NEW BEST:: SOT 498630 SOS 349041 HAS SOPS 349041 HAS SOUS 112581 HAS SOUPS 112581 WITH SCORE 112930.041
AT ITER 9778 NEW BEST:: SOT 498602 SOS 349026 HAS SOPS 349026 HAS SOUS 112560 HAS SOUPS 112560 WITH SCORE 112909.026
AT ITER 9837 NEW BEST:: SOT 498561 SOS 349025 HAS SOPS 349025 HAS SOUS 112559 HAS SOUPS 112559 WITH SCORE 112908.025
AT ITER 9937 NEW BEST:: SOT 498478 SOS 348942 HAS SOPS 348942 HAS SOUS 112511 HAS SOUPS 112511 WITH SCORE 112859.942
AT ITER 9943 NEW BEST:: SOT 498478 SOS 348942 HAS SOPS 348942 HAS SOUS 112509 HAS SOUPS 112509 WITH SCORE 112857.942
AT ITER 9944 NEW BEST:: SOT 498445 SOS 348909 HAS SOPS 348909 HAS SOUS 112476 HAS SOUPS 112476 WITH SCORE 112824.909
AT ITER 9959 NEW BEST:: SOT 498438 SOS 348902 HAS SOPS 348902 HAS SOUS 112472 HAS SOUPS 112472 WITH SCORE 112820.902
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10750076 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125960 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HirschbergSinclair-PT-35"
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 HirschbergSinclair-PT-35, 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 r203-smll-167840349600480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-35.tgz
mv HirschbergSinclair-PT-35 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 ;