About the Execution of Smart+red for HexagonalGrid-PT-316
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6032.508 | 3600000.00 | 3623252.00 | 13546.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349500400.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 HexagonalGrid-PT-316, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500400
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 6.4K Feb 26 17:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 17:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 17:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 17:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 17:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 26 17:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 294K 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 1678601543775
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=HexagonalGrid-PT-316
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 06:12:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 06:12:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 06:12:26] [INFO ] Load time of PNML (sax parser for PT used): 143 ms
[2023-03-12 06:12:26] [INFO ] Transformed 421 places.
[2023-03-12 06:12:26] [INFO ] Transformed 714 transitions.
[2023-03-12 06:12:26] [INFO ] Parsed PT model containing 421 places and 714 transitions and 2856 arcs in 277 ms.
[2023-03-12 06:12:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 421 places, 714 transitions and 2856 arcs took 17 ms.
Total runtime 353 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 316
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: 421 places, 714 transitions, 2856 arcs.
AT ITER 0 NEW BEST:: SOT 175353 SOS 47072 HAS SOPS 47072 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22502.072
AT ITER 7 NEW BEST:: SOT 175343 SOS 47052 HAS SOPS 47052 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22482.052
AT ITER 108 NEW BEST:: SOT 175343 SOS 46884 HAS SOPS 46884 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22425.884
AT ITER 111 NEW BEST:: SOT 175298 SOS 46785 HAS SOPS 46785 HAS SOUS 22316 HAS SOUPS 22316 WITH SCORE 22362.785
AT ITER 119 NEW BEST:: SOT 175291 SOS 46771 HAS SOPS 46771 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22348.771
AT ITER 131 NEW BEST:: SOT 175287 SOS 46671 HAS SOPS 46671 HAS SOUS 22290 HAS SOUPS 22290 WITH SCORE 22336.671
AT ITER 135 NEW BEST:: SOT 175287 SOS 46575 HAS SOPS 46575 HAS SOUS 22258 HAS SOUPS 22258 WITH SCORE 22304.575
AT ITER 146 NEW BEST:: SOT 175287 SOS 46389 HAS SOPS 46389 HAS SOUS 22196 HAS SOUPS 22196 WITH SCORE 22242.389
AT ITER 172 NEW BEST:: SOT 175293 SOS 46271 HAS SOPS 46271 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22228.271
AT ITER 195 NEW BEST:: SOT 175274 SOS 46157 HAS SOPS 46157 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22190.157
AT ITER 208 NEW BEST:: SOT 175274 SOS 46143 HAS SOPS 46143 HAS SOUS 22138 HAS SOUPS 22138 WITH SCORE 22184.143
AT ITER 212 NEW BEST:: SOT 175149 SOS 45868 HAS SOPS 45868 HAS SOUS 21963 HAS SOUPS 21963 WITH SCORE 22008.868
AT ITER 236 NEW BEST:: SOT 175149 SOS 45790 HAS SOPS 45790 HAS SOUS 21937 HAS SOUPS 21937 WITH SCORE 21982.79
AT ITER 252 NEW BEST:: SOT 175114 SOS 45713 HAS SOPS 45713 HAS SOUS 21888 HAS SOUPS 21888 WITH SCORE 21933.713
AT ITER 283 NEW BEST:: SOT 175108 SOS 45620 HAS SOPS 45620 HAS SOUS 21879 HAS SOUPS 21879 WITH SCORE 21924.62
AT ITER 311 NEW BEST:: SOT 174956 SOS 45316 HAS SOPS 45316 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21748.316
AT ITER 334 NEW BEST:: SOT 174947 SOS 45298 HAS SOPS 45298 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21730.298
AT ITER 353 NEW BEST:: SOT 174943 SOS 45294 HAS SOPS 45294 HAS SOUS 21681 HAS SOUPS 21681 WITH SCORE 21726.294
AT ITER 380 NEW BEST:: SOT 174943 SOS 45180 HAS SOPS 45180 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21688.18
AT ITER 416 NEW BEST:: SOT 174943 SOS 45162 HAS SOPS 45162 HAS SOUS 21617 HAS SOUPS 21617 WITH SCORE 21662.162
AT ITER 428 NEW BEST:: SOT 174943 SOS 45148 HAS SOPS 45148 HAS SOUS 21605 HAS SOUPS 21605 WITH SCORE 21650.148
AT ITER 492 NEW BEST:: SOT 174943 SOS 45236 HAS SOPS 45236 HAS SOUS 21597 HAS SOUPS 21597 WITH SCORE 21642.236
AT ITER 498 NEW BEST:: SOT 174943 SOS 45098 HAS SOPS 45098 HAS SOUS 21551 HAS SOUPS 21551 WITH SCORE 21596.098
AT ITER 518 NEW BEST:: SOT 174939 SOS 45011 HAS SOPS 45011 HAS SOUS 21548 HAS SOUPS 21548 WITH SCORE 21593.011
AT ITER 531 NEW BEST:: SOT 174784 SOS 44825 HAS SOPS 44825 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21302.825
AT ITER 533 NEW BEST:: SOT 174740 SOS 44589 HAS SOPS 44589 HAS SOUS 21150 HAS SOUPS 21150 WITH SCORE 21194.589
AT ITER 552 NEW BEST:: SOT 174775 SOS 44644 HAS SOPS 44644 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21153.644
AT ITER 559 NEW BEST:: SOT 174766 SOS 44626 HAS SOPS 44626 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21119.626
AT ITER 573 NEW BEST:: SOT 174756 SOS 44616 HAS SOPS 44616 HAS SOUS 21065 HAS SOUPS 21065 WITH SCORE 21109.616
AT ITER 610 NEW BEST:: SOT 174766 SOS 44763 HAS SOPS 44763 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21068.763
AT ITER 618 NEW BEST:: SOT 174766 SOS 44815 HAS SOPS 44815 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21060.815
AT ITER 644 NEW BEST:: SOT 174765 SOS 44814 HAS SOPS 44814 HAS SOUS 21015 HAS SOUPS 21015 WITH SCORE 21059.814
AT ITER 647 NEW BEST:: SOT 174745 SOS 44770 HAS SOPS 44770 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21051.77
AT ITER 656 NEW BEST:: SOT 174705 SOS 44642 HAS SOPS 44642 HAS SOUS 20943 HAS SOUPS 20943 WITH SCORE 20987.642
AT ITER 682 NEW BEST:: SOT 174575 SOS 44486 HAS SOPS 44486 HAS SOUS 20803 HAS SOUPS 20803 WITH SCORE 20847.486
AT ITER 732 NEW BEST:: SOT 174555 SOS 44458 HAS SOPS 44458 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20807.458
AT ITER 739 NEW BEST:: SOT 174531 SOS 44434 HAS SOPS 44434 HAS SOUS 20739 HAS SOUPS 20739 WITH SCORE 20783.434
AT ITER 807 NEW BEST:: SOT 174528 SOS 44500 HAS SOPS 44500 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20757.5
AT ITER 881 NEW BEST:: SOT 174528 SOS 44446 HAS SOPS 44446 HAS SOUS 20695 HAS SOUPS 20695 WITH SCORE 20739.446
AT ITER 899 NEW BEST:: SOT 174413 SOS 44308 HAS SOPS 44308 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20601.308
AT ITER 903 NEW BEST:: SOT 174404 SOS 44299 HAS SOPS 44299 HAS SOUS 20552 HAS SOUPS 20552 WITH SCORE 20596.299
AT ITER 910 NEW BEST:: SOT 174384 SOS 44279 HAS SOPS 44279 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20576.279
AT ITER 919 NEW BEST:: SOT 174364 SOS 44275 HAS SOPS 44275 HAS SOUS 20528 HAS SOUPS 20528 WITH SCORE 20572.275
AT ITER 923 NEW BEST:: SOT 174364 SOS 44121 HAS SOPS 44121 HAS SOUS 20502 HAS SOUPS 20502 WITH SCORE 20546.121
AT ITER 991 NEW BEST:: SOT 174364 SOS 44121 HAS SOPS 44121 HAS SOUS 20499 HAS SOUPS 20499 WITH SCORE 20543.121
AT ITER 1029 NEW BEST:: SOT 174364 SOS 44096 HAS SOPS 44096 HAS SOUS 20454 HAS SOUPS 20454 WITH SCORE 20498.096
AT ITER 1046 NEW BEST:: SOT 174354 SOS 44086 HAS SOPS 44086 HAS SOUS 20450 HAS SOUPS 20450 WITH SCORE 20494.086
AT ITER 1047 NEW BEST:: SOT 174332 SOS 43947 HAS SOPS 43947 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20430.947
AT ITER 1089 NEW BEST:: SOT 174332 SOS 43856 HAS SOPS 43856 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20415.856
AT ITER 1133 NEW BEST:: SOT 174332 SOS 43851 HAS SOPS 43851 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20410.851
AT ITER 1167 NEW BEST:: SOT 174332 SOS 43756 HAS SOPS 43756 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20399.756
AT ITER 1179 NEW BEST:: SOT 174247 SOS 43671 HAS SOPS 43671 HAS SOUS 20271 HAS SOUPS 20271 WITH SCORE 20314.671
AT ITER 1184 NEW BEST:: SOT 174247 SOS 43665 HAS SOPS 43665 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20312.665
AT ITER 1208 NEW BEST:: SOT 174247 SOS 43657 HAS SOPS 43657 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20304.657
AT ITER 1215 NEW BEST:: SOT 174247 SOS 43605 HAS SOPS 43605 HAS SOUS 20257 HAS SOUPS 20257 WITH SCORE 20300.605
AT ITER 1298 NEW BEST:: SOT 174247 SOS 43563 HAS SOPS 43563 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20286.563
AT ITER 1318 NEW BEST:: SOT 174217 SOS 43437 HAS SOPS 43437 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20244.437
AT ITER 1321 NEW BEST:: SOT 174211 SOS 43434 HAS SOPS 43434 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20241.434
AT ITER 1333 NEW BEST:: SOT 174211 SOS 43427 HAS SOPS 43427 HAS SOUS 20191 HAS SOUPS 20191 WITH SCORE 20234.427
AT ITER 1355 NEW BEST:: SOT 174205 SOS 43415 HAS SOPS 43415 HAS SOUS 20179 HAS SOUPS 20179 WITH SCORE 20222.415
AT ITER 1363 NEW BEST:: SOT 174185 SOS 43299 HAS SOPS 43299 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20170.299
AT ITER 1396 NEW BEST:: SOT 174289 SOS 43533 HAS SOPS 43533 HAS SOUS 20113 HAS SOUPS 20113 WITH SCORE 20156.533
AT ITER 1400 NEW BEST:: SOT 174262 SOS 43371 HAS SOPS 43371 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20102.371
AT ITER 1401 NEW BEST:: SOT 174247 SOS 43356 HAS SOPS 43356 HAS SOUS 20034 HAS SOUPS 20034 WITH SCORE 20077.356
AT ITER 1408 NEW BEST:: SOT 174237 SOS 43322 HAS SOPS 43322 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20073.322
AT ITER 1428 NEW BEST:: SOT 174237 SOS 43282 HAS SOPS 43282 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20065.282
AT ITER 1452 NEW BEST:: SOT 174237 SOS 43261 HAS SOPS 43261 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20044.261
AT ITER 1469 NEW BEST:: SOT 174237 SOS 43171 HAS SOPS 43171 HAS SOUS 19983 HAS SOUPS 19983 WITH SCORE 20026.171
AT ITER 1481 NEW BEST:: SOT 174231 SOS 43165 HAS SOPS 43165 HAS SOUS 19983 HAS SOUPS 19983 WITH SCORE 20026.165
AT ITER 1486 NEW BEST:: SOT 174200 SOS 43134 HAS SOPS 43134 HAS SOUS 19952 HAS SOUPS 19952 WITH SCORE 19995.134
AT ITER 1498 NEW BEST:: SOT 174200 SOS 43118 HAS SOPS 43118 HAS SOUS 19936 HAS SOUPS 19936 WITH SCORE 19979.118
AT ITER 1516 NEW BEST:: SOT 174198 SOS 43116 HAS SOPS 43116 HAS SOUS 19936 HAS SOUPS 19936 WITH SCORE 19979.116
AT ITER 1546 NEW BEST:: SOT 174198 SOS 43008 HAS SOPS 43008 HAS SOUS 19900 HAS SOUPS 19900 WITH SCORE 19943.008
AT ITER 1552 NEW BEST:: SOT 174218 SOS 43004 HAS SOPS 43004 HAS SOUS 19896 HAS SOUPS 19896 WITH SCORE 19939.004
AT ITER 1608 NEW BEST:: SOT 174218 SOS 42860 HAS SOPS 42860 HAS SOUS 19896 HAS SOUPS 19896 WITH SCORE 19938.86
AT ITER 1620 NEW BEST:: SOT 174218 SOS 42776 HAS SOPS 42776 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19910.776
AT ITER 1621 NEW BEST:: SOT 174218 SOS 42757 HAS SOPS 42757 HAS SOUS 19841 HAS SOUPS 19841 WITH SCORE 19883.757
AT ITER 1627 NEW BEST:: SOT 174218 SOS 42748 HAS SOPS 42748 HAS SOUS 19840 HAS SOUPS 19840 WITH SCORE 19882.748
AT ITER 1630 NEW BEST:: SOT 174203 SOS 42734 HAS SOPS 42734 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19868.734
AT ITER 1689 NEW BEST:: SOT 174123 SOS 42638 HAS SOPS 42638 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19772.638
AT ITER 1726 NEW BEST:: SOT 174123 SOS 42632 HAS SOPS 42632 HAS SOUS 19728 HAS SOUPS 19728 WITH SCORE 19770.632
AT ITER 1761 NEW BEST:: SOT 174118 SOS 42622 HAS SOPS 42622 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19760.622
AT ITER 1807 NEW BEST:: SOT 174118 SOS 42516 HAS SOPS 42516 HAS SOUS 19700 HAS SOUPS 19700 WITH SCORE 19742.516
AT ITER 1809 NEW BEST:: SOT 174118 SOS 42450 HAS SOPS 42450 HAS SOUS 19678 HAS SOUPS 19678 WITH SCORE 19720.45
AT ITER 1823 NEW BEST:: SOT 174113 SOS 42414 HAS SOPS 42414 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19704.414
AT ITER 1850 NEW BEST:: SOT 174108 SOS 42408 HAS SOPS 42408 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19698.408
AT ITER 1864 NEW BEST:: SOT 174103 SOS 42366 HAS SOPS 42366 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19692.366
AT ITER 1866 NEW BEST:: SOT 174101 SOS 42346 HAS SOPS 42346 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19684.346
AT ITER 1938 NEW BEST:: SOT 174071 SOS 42156 HAS SOPS 42156 HAS SOUS 19556 HAS SOUPS 19556 WITH SCORE 19598.156
AT ITER 1975 NEW BEST:: SOT 174069 SOS 42080 HAS SOPS 42080 HAS SOUS 19544 HAS SOUPS 19544 WITH SCORE 19586.08
AT ITER 1978 NEW BEST:: SOT 174069 SOS 42074 HAS SOPS 42074 HAS SOUS 19544 HAS SOUPS 19544 WITH SCORE 19586.074
AT ITER 2007 NEW BEST:: SOT 174068 SOS 42072 HAS SOPS 42072 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19584.072
AT ITER 2059 NEW BEST:: SOT 174067 SOS 42071 HAS SOPS 42071 HAS SOUS 19541 HAS SOUPS 19541 WITH SCORE 19583.071
AT ITER 2068 NEW BEST:: SOT 174056 SOS 42060 HAS SOPS 42060 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19572.06
AT ITER 2074 NEW BEST:: SOT 174021 SOS 42030 HAS SOPS 42030 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19542.03
AT ITER 2200 NEW BEST:: SOT 174021 SOS 42030 HAS SOPS 42030 HAS SOUS 19498 HAS SOUPS 19498 WITH SCORE 19540.03
AT ITER 2333 NEW BEST:: SOT 174012 SOS 41976 HAS SOPS 41976 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19521.976
AT ITER 2355 NEW BEST:: SOT 173982 SOS 41869 HAS SOPS 41869 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19458.869
AT ITER 2447 NEW BEST:: SOT 173981 SOS 41863 HAS SOPS 41863 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19456.863
AT ITER 2460 NEW BEST:: SOT 173976 SOS 41853 HAS SOPS 41853 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19450.853
AT ITER 2487 NEW BEST:: SOT 173976 SOS 41853 HAS SOPS 41853 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19446.853
AT ITER 2523 NEW BEST:: SOT 173976 SOS 41781 HAS SOPS 41781 HAS SOUS 19381 HAS SOUPS 19381 WITH SCORE 19422.781
AT ITER 2541 NEW BEST:: SOT 173971 SOS 41678 HAS SOPS 41678 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19403.678
AT ITER 2555 NEW BEST:: SOT 173946 SOS 41648 HAS SOPS 41648 HAS SOUS 19332 HAS SOUPS 19332 WITH SCORE 19373.648
AT ITER 2589 NEW BEST:: SOT 173803 SOS 41569 HAS SOPS 41569 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19254.569
AT ITER 2637 NEW BEST:: SOT 173796 SOS 41562 HAS SOPS 41562 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19247.562
AT ITER 2664 NEW BEST:: SOT 173796 SOS 41562 HAS SOPS 41562 HAS SOUS 19184 HAS SOUPS 19184 WITH SCORE 19225.562
AT ITER 2680 NEW BEST:: SOT 173756 SOS 41522 HAS SOPS 41522 HAS SOUS 19144 HAS SOUPS 19144 WITH SCORE 19185.522
AT ITER 2682 NEW BEST:: SOT 173756 SOS 41507 HAS SOPS 41507 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19182.507
AT ITER 2698 NEW BEST:: SOT 173740 SOS 41443 HAS SOPS 41443 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19174.443
AT ITER 2710 NEW BEST:: SOT 173718 SOS 41311 HAS SOPS 41311 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19130.311
AT ITER 2720 NEW BEST:: SOT 173714 SOS 41287 HAS SOPS 41287 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19122.287
AT ITER 2723 NEW BEST:: SOT 173739 SOS 41288 HAS SOPS 41288 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19076.288
AT ITER 2753 NEW BEST:: SOT 173724 SOS 41273 HAS SOPS 41273 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19061.273
AT ITER 2778 NEW BEST:: SOT 173721 SOS 41238 HAS SOPS 41238 HAS SOUS 19009 HAS SOUPS 19009 WITH SCORE 19050.238
AT ITER 2801 NEW BEST:: SOT 173721 SOS 41238 HAS SOPS 41238 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19045.238
AT ITER 2851 NEW BEST:: SOT 173726 SOS 41183 HAS SOPS 41183 HAS SOUS 18997 HAS SOUPS 18997 WITH SCORE 19038.183
AT ITER 2930 NEW BEST:: SOT 173724 SOS 41149 HAS SOPS 41149 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18966.149
AT ITER 2949 NEW BEST:: SOT 173723 SOS 41076 HAS SOPS 41076 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18941.076
AT ITER 3217 NEW BEST:: SOT 173723 SOS 41004 HAS SOPS 41004 HAS SOUS 18876 HAS SOUPS 18876 WITH SCORE 18917.004
AT ITER 3233 NEW BEST:: SOT 173723 SOS 40984 HAS SOPS 40984 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18912.984
AT ITER 3245 NEW BEST:: SOT 173703 SOS 40960 HAS SOPS 40960 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18888.96
AT ITER 3255 NEW BEST:: SOT 173628 SOS 40870 HAS SOPS 40870 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18830.87
AT ITER 3267 NEW BEST:: SOT 173628 SOS 40870 HAS SOPS 40870 HAS SOUS 18787 HAS SOUPS 18787 WITH SCORE 18827.87
AT ITER 3327 NEW BEST:: SOT 173578 SOS 40830 HAS SOPS 40830 HAS SOUS 18787 HAS SOUPS 18787 WITH SCORE 18827.83
AT ITER 3344 NEW BEST:: SOT 173565 SOS 40727 HAS SOPS 40727 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18788.727
AT ITER 3429 NEW BEST:: SOT 173555 SOS 40717 HAS SOPS 40717 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18758.717
AT ITER 3467 NEW BEST:: SOT 173539 SOS 40633 HAS SOPS 40633 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18754.633
AT ITER 3495 NEW BEST:: SOT 173528 SOS 40622 HAS SOPS 40622 HAS SOUS 18669 HAS SOUPS 18669 WITH SCORE 18709.622
AT ITER 3505 NEW BEST:: SOT 173528 SOS 40616 HAS SOPS 40616 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18707.616
AT ITER 3577 NEW BEST:: SOT 173523 SOS 40465 HAS SOPS 40465 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18672.465
AT ITER 3589 NEW BEST:: SOT 173523 SOS 40426 HAS SOPS 40426 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18661.426
AT ITER 3611 NEW BEST:: SOT 173518 SOS 40372 HAS SOPS 40372 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18627.372
AT ITER 3664 NEW BEST:: SOT 173514 SOS 40348 HAS SOPS 40348 HAS SOUS 18579 HAS SOUPS 18579 WITH SCORE 18619.348
AT ITER 3790 NEW BEST:: SOT 173505 SOS 40357 HAS SOPS 40357 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18616.357
AT ITER 3822 NEW BEST:: SOT 173503 SOS 40355 HAS SOPS 40355 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18614.355
AT ITER 3878 NEW BEST:: SOT 173486 SOS 40350 HAS SOPS 40350 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18613.35
AT ITER 3885 NEW BEST:: SOT 173486 SOS 40346 HAS SOPS 40346 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18613.346
AT ITER 3892 NEW BEST:: SOT 173486 SOS 40346 HAS SOPS 40346 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18606.346
AT ITER 3911 NEW BEST:: SOT 173461 SOS 40310 HAS SOPS 40310 HAS SOUS 18538 HAS SOUPS 18538 WITH SCORE 18578.31
AT ITER 3912 NEW BEST:: SOT 173457 SOS 40306 HAS SOPS 40306 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18574.306
AT ITER 3922 NEW BEST:: SOT 173387 SOS 40236 HAS SOPS 40236 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18504.236
AT ITER 3983 NEW BEST:: SOT 173372 SOS 40203 HAS SOPS 40203 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18483.203
AT ITER 4049 NEW BEST:: SOT 173362 SOS 40135 HAS SOPS 40135 HAS SOUS 18431 HAS SOUPS 18431 WITH SCORE 18471.135
AT ITER 4055 NEW BEST:: SOT 173359 SOS 40129 HAS SOPS 40129 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18465.129
AT ITER 4089 NEW BEST:: SOT 173359 SOS 40059 HAS SOPS 40059 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18451.059
AT ITER 4126 NEW BEST:: SOT 173359 SOS 39914 HAS SOPS 39914 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18433.914
AT ITER 4200 NEW BEST:: SOT 173324 SOS 39804 HAS SOPS 39804 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18431.804
AT ITER 4252 NEW BEST:: SOT 173306 SOS 39780 HAS SOPS 39780 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18411.78
AT ITER 4273 NEW BEST:: SOT 173306 SOS 39696 HAS SOPS 39696 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18383.696
AT ITER 4293 NEW BEST:: SOT 173307 SOS 39652 HAS SOPS 39652 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18375.652
AT ITER 4358 NEW BEST:: SOT 173307 SOS 39632 HAS SOPS 39632 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18375.632
AT ITER 4361 NEW BEST:: SOT 173307 SOS 39632 HAS SOPS 39632 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18357.632
AT ITER 4391 NEW BEST:: SOT 173299 SOS 39640 HAS SOPS 39640 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18349.64
AT ITER 4414 NEW BEST:: SOT 173299 SOS 39603 HAS SOPS 39603 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18312.603
AT ITER 4516 NEW BEST:: SOT 173279 SOS 39325 HAS SOPS 39325 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18206.325
AT ITER 4525 NEW BEST:: SOT 173279 SOS 39229 HAS SOPS 39229 HAS SOUS 18151 HAS SOUPS 18151 WITH SCORE 18190.229
AT ITER 4533 NEW BEST:: SOT 173279 SOS 39229 HAS SOPS 39229 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18175.229
AT ITER 4537 NEW BEST:: SOT 173278 SOS 39228 HAS SOPS 39228 HAS SOUS 18135 HAS SOUPS 18135 WITH SCORE 18174.228
AT ITER 4558 NEW BEST:: SOT 173277 SOS 39227 HAS SOPS 39227 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18173.227
AT ITER 4603 NEW BEST:: SOT 173202 SOS 39140 HAS SOPS 39140 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18094.14
AT ITER 4712 NEW BEST:: SOT 173201 SOS 39139 HAS SOPS 39139 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18094.139
AT ITER 4719 NEW BEST:: SOT 173178 SOS 39114 HAS SOPS 39114 HAS SOUS 18025 HAS SOUPS 18025 WITH SCORE 18064.114
AT ITER 4728 NEW BEST:: SOT 173134 SOS 39058 HAS SOPS 39058 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18024.058
AT ITER 4740 NEW BEST:: SOT 173134 SOS 39034 HAS SOPS 39034 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 18016.034
AT ITER 4775 NEW BEST:: SOT 173102 SOS 38930 HAS SOPS 38930 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 17959.93
AT ITER 4908 NEW BEST:: SOT 173102 SOS 38930 HAS SOPS 38930 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17927.93
AT ITER 4957 NEW BEST:: SOT 173103 SOS 38940 HAS SOPS 38940 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17921.94
AT ITER 5023 NEW BEST:: SOT 173068 SOS 38803 HAS SOPS 38803 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17864.803
AT ITER 5043 NEW BEST:: SOT 173075 SOS 38810 HAS SOPS 38810 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17863.81
AT ITER 5069 NEW BEST:: SOT 173060 SOS 38795 HAS SOPS 38795 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17848.795
AT ITER 5075 NEW BEST:: SOT 173060 SOS 38794 HAS SOPS 38794 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17847.794
AT ITER 5134 NEW BEST:: SOT 173060 SOS 38793 HAS SOPS 38793 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17846.793
AT ITER 5195 NEW BEST:: SOT 173056 SOS 38790 HAS SOPS 38790 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17831.79
AT ITER 5209 NEW BEST:: SOT 173036 SOS 38766 HAS SOPS 38766 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17791.766
AT ITER 5238 NEW BEST:: SOT 173035 SOS 38764 HAS SOPS 38764 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17789.764
AT ITER 5328 NEW BEST:: SOT 173035 SOS 38791 HAS SOPS 38791 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17780.791
AT ITER 5346 NEW BEST:: SOT 173032 SOS 38745 HAS SOPS 38745 HAS SOUS 17728 HAS SOUPS 17728 WITH SCORE 17766.745
AT ITER 5371 NEW BEST:: SOT 172935 SOS 38543 HAS SOPS 38543 HAS SOUS 17614 HAS SOUPS 17614 WITH SCORE 17652.543
AT ITER 5390 NEW BEST:: SOT 172879 SOS 38423 HAS SOPS 38423 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17592.423
AT ITER 5405 NEW BEST:: SOT 172859 SOS 38383 HAS SOPS 38383 HAS SOUS 17530 HAS SOUPS 17530 WITH SCORE 17568.383
AT ITER 5504 NEW BEST:: SOT 172854 SOS 38378 HAS SOPS 38378 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17563.378
AT ITER 5623 NEW BEST:: SOT 172854 SOS 38371 HAS SOPS 38371 HAS SOUS 17518 HAS SOUPS 17518 WITH SCORE 17556.371
AT ITER 5701 NEW BEST:: SOT 172829 SOS 38346 HAS SOPS 38346 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17531.346
AT ITER 5957 NEW BEST:: SOT 172816 SOS 38340 HAS SOPS 38340 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17525.34
AT ITER 5990 NEW BEST:: SOT 172816 SOS 38268 HAS SOPS 38268 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17501.268
AT ITER 6012 NEW BEST:: SOT 172816 SOS 38264 HAS SOPS 38264 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17501.264
AT ITER 6121 NEW BEST:: SOT 172816 SOS 38222 HAS SOPS 38222 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17487.222
AT ITER 6144 NEW BEST:: SOT 172813 SOS 38219 HAS SOPS 38219 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17487.219
AT ITER 6154 NEW BEST:: SOT 172803 SOS 38197 HAS SOPS 38197 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17473.197
AT ITER 6169 NEW BEST:: SOT 172797 SOS 38191 HAS SOPS 38191 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17449.191
AT ITER 6430 NEW BEST:: SOT 172797 SOS 38185 HAS SOPS 38185 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17447.185
AT ITER 6463 NEW BEST:: SOT 172736 SOS 38175 HAS SOPS 38175 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17405.175
AT ITER 6519 NEW BEST:: SOT 172736 SOS 38175 HAS SOPS 38175 HAS SOUS 17357 HAS SOUPS 17357 WITH SCORE 17395.175
AT ITER 6543 NEW BEST:: SOT 172732 SOS 38172 HAS SOPS 38172 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17392.172
AT ITER 6566 NEW BEST:: SOT 172659 SOS 38094 HAS SOPS 38094 HAS SOUS 17280 HAS SOUPS 17280 WITH SCORE 17318.094
AT ITER 6568 NEW BEST:: SOT 172658 SOS 38093 HAS SOPS 38093 HAS SOUS 17279 HAS SOUPS 17279 WITH SCORE 17317.093
AT ITER 6759 NEW BEST:: SOT 172649 SOS 38075 HAS SOPS 38075 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17299.075
AT ITER 6808 NEW BEST:: SOT 172631 SOS 38057 HAS SOPS 38057 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17290.057
AT ITER 6819 NEW BEST:: SOT 172629 SOS 38055 HAS SOPS 38055 HAS SOUS 17250 HAS SOUPS 17250 WITH SCORE 17288.055
AT ITER 6842 NEW BEST:: SOT 172629 SOS 38037 HAS SOPS 38037 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17282.037
AT ITER 6869 NEW BEST:: SOT 172569 SOS 37965 HAS SOPS 37965 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17217.965
AT ITER 6928 NEW BEST:: SOT 172569 SOS 37926 HAS SOPS 37926 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17214.926
AT ITER 6958 NEW BEST:: SOT 172486 SOS 37788 HAS SOPS 37788 HAS SOUS 17083 HAS SOUPS 17083 WITH SCORE 17120.788
AT ITER 6969 NEW BEST:: SOT 172486 SOS 37758 HAS SOPS 37758 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17114.758
AT ITER 6988 NEW BEST:: SOT 172482 SOS 37754 HAS SOPS 37754 HAS SOUS 17061 HAS SOUPS 17061 WITH SCORE 17098.754
AT ITER 7102 NEW BEST:: SOT 172475 SOS 37732 HAS SOPS 37732 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17096.732
AT ITER 7146 NEW BEST:: SOT 172455 SOS 37692 HAS SOPS 37692 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17072.692
AT ITER 7241 NEW BEST:: SOT 172435 SOS 37660 HAS SOPS 37660 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17048.66
AT ITER 7326 NEW BEST:: SOT 172435 SOS 37645 HAS SOPS 37645 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17045.645
AT ITER 7401 NEW BEST:: SOT 172435 SOS 37633 HAS SOPS 37633 HAS SOUS 17004 HAS SOUPS 17004 WITH SCORE 17041.633
AT ITER 7560 NEW BEST:: SOT 172435 SOS 37627 HAS SOPS 37627 HAS SOUS 17002 HAS SOUPS 17002 WITH SCORE 17039.627
AT ITER 7810 NEW BEST:: SOT 172418 SOS 37684 HAS SOPS 37684 HAS SOUS 16999 HAS SOUPS 16999 WITH SCORE 17036.684
AT ITER 7854 NEW BEST:: SOT 172318 SOS 37584 HAS SOPS 37584 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16936.584
AT ITER 7896 NEW BEST:: SOT 172318 SOS 37470 HAS SOPS 37470 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16898.47
AT ITER 7960 NEW BEST:: SOT 172326 SOS 37478 HAS SOPS 37478 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16860.478
AT ITER 8014 NEW BEST:: SOT 172316 SOS 37441 HAS SOPS 37441 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16843.441
AT ITER 8024 NEW BEST:: SOT 172315 SOS 37422 HAS SOPS 37422 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16836.422
AT ITER 8032 NEW BEST:: SOT 172310 SOS 37412 HAS SOPS 37412 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16830.412
AT ITER 8080 NEW BEST:: SOT 172310 SOS 37250 HAS SOPS 37250 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16776.25
AT ITER 8114 NEW BEST:: SOT 172306 SOS 37244 HAS SOPS 37244 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16772.244
AT ITER 8126 NEW BEST:: SOT 172306 SOS 37224 HAS SOPS 37224 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16772.224
AT ITER 8312 NEW BEST:: SOT 172306 SOS 37218 HAS SOPS 37218 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16766.218
AT ITER 8320 NEW BEST:: SOT 172297 SOS 37121 HAS SOPS 37121 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16741.121
AT ITER 8391 NEW BEST:: SOT 172292 SOS 37106 HAS SOPS 37106 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16738.106
AT ITER 8412 NEW BEST:: SOT 172300 SOS 37114 HAS SOPS 37114 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16736.114
AT ITER 8457 NEW BEST:: SOT 172265 SOS 37044 HAS SOPS 37044 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16694.044
AT ITER 8525 NEW BEST:: SOT 172265 SOS 37038 HAS SOPS 37038 HAS SOUS 16655 HAS SOUPS 16655 WITH SCORE 16692.038
AT ITER 8572 NEW BEST:: SOT 172249 SOS 36942 HAS SOPS 36942 HAS SOUS 16623 HAS SOUPS 16623 WITH SCORE 16659.942
AT ITER 8735 NEW BEST:: SOT 172242 SOS 36886 HAS SOPS 36886 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16643.886
AT ITER 8792 NEW BEST:: SOT 172211 SOS 36890 HAS SOPS 36890 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16619.89
AT ITER 8838 NEW BEST:: SOT 172211 SOS 36903 HAS SOPS 36903 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16606.903
AT ITER 8884 NEW BEST:: SOT 172191 SOS 36783 HAS SOPS 36783 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16604.783
AT ITER 8899 NEW BEST:: SOT 172183 SOS 36757 HAS SOPS 36757 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16572.757
AT ITER 8955 NEW BEST:: SOT 172147 SOS 36721 HAS SOPS 36721 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16571.721
AT ITER 8998 NEW BEST:: SOT 172145 SOS 36713 HAS SOPS 36713 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16567.713
AT ITER 8999 NEW BEST:: SOT 172136 SOS 36704 HAS SOPS 36704 HAS SOUS 16522 HAS SOUPS 16522 WITH SCORE 16558.704
AT ITER 9048 NEW BEST:: SOT 172136 SOS 36686 HAS SOPS 36686 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16552.686
AT ITER 9071 NEW BEST:: SOT 172136 SOS 36682 HAS SOPS 36682 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16548.682
AT ITER 9123 NEW BEST:: SOT 172136 SOS 36632 HAS SOPS 36632 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16538.632
AT ITER 9253 NEW BEST:: SOT 172128 SOS 36649 HAS SOPS 36649 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16535.649
AT ITER 9527 NEW BEST:: SOT 172128 SOS 36609 HAS SOPS 36609 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16535.609
AT ITER 9580 NEW BEST:: SOT 172128 SOS 36604 HAS SOPS 36604 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16530.604
AT ITER 9628 NEW BEST:: SOT 172119 SOS 36595 HAS SOPS 36595 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16530.595
AT ITER 9728 NEW BEST:: SOT 172106 SOS 36558 HAS SOPS 36558 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16509.558
AT ITER 9756 NEW BEST:: SOT 172102 SOS 36559 HAS SOPS 36559 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16506.559
AT ITER 9879 NEW BEST:: SOT 172102 SOS 36553 HAS SOPS 36553 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16492.553
AT ITER 9902 NEW BEST:: SOT 172092 SOS 36546 HAS SOPS 36546 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16489.546
AT ITER 9926 NEW BEST:: SOT 172092 SOS 36546 HAS SOPS 36546 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16481.546
AT ITER 9938 NEW BEST:: SOT 172092 SOS 36546 HAS SOPS 36546 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16479.546
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 10138092 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16125316 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="HexagonalGrid-PT-316"
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 HexagonalGrid-PT-316, 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-167840349500400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-316.tgz
mv HexagonalGrid-PT-316 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 ;