About the Execution of Smart+red for TriangularGrid-PT-4022
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11665.600 | 3600000.00 | 3655939.00 | 12100.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r491-tall-167912710900752.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 TriangularGrid-PT-4022, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710900752
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 10K Feb 26 01:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 01:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 01:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 01:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 01:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 121K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679288194408
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=TriangularGrid-PT-4022
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 04:56:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 04:56:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 04:56:36] [INFO ] Load time of PNML (sax parser for PT used): 71 ms
[2023-03-20 04:56:36] [INFO ] Transformed 184 places.
[2023-03-20 04:56:36] [INFO ] Transformed 156 transitions.
[2023-03-20 04:56:36] [INFO ] Parsed PT model containing 184 places and 156 transitions and 624 arcs in 154 ms.
[2023-03-20 04:56:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 184 places, 156 transitions and 624 arcs took 5 ms.
Total runtime 196 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TriangularGrid (PT), instance 4022
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: 184 places, 156 transitions, 624 arcs.
AT ITER 0 NEW BEST:: SOT 16099 SOS 3374 HAS SOPS 3374 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2639.374
AT ITER 15 NEW BEST:: SOT 16096 SOS 3368 HAS SOPS 3368 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.368
AT ITER 19 NEW BEST:: SOT 16090 SOS 3356 HAS SOPS 3356 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.356
AT ITER 54 NEW BEST:: SOT 16090 SOS 3352 HAS SOPS 3352 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.352
AT ITER 82 NEW BEST:: SOT 16088 SOS 3333 HAS SOPS 3333 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.333
AT ITER 136 NEW BEST:: SOT 16066 SOS 3300 HAS SOPS 3300 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.3
AT ITER 137 NEW BEST:: SOT 16065 SOS 3296 HAS SOPS 3296 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2577.296
AT ITER 146 NEW BEST:: SOT 16062 SOS 3287 HAS SOPS 3287 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.287
AT ITER 164 NEW BEST:: SOT 16062 SOS 3264 HAS SOPS 3264 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2560.264
AT ITER 211 NEW BEST:: SOT 16045 SOS 3213 HAS SOPS 3213 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2526.213
AT ITER 222 NEW BEST:: SOT 16043 SOS 3208 HAS SOPS 3208 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2523.208
AT ITER 302 NEW BEST:: SOT 16043 SOS 3193 HAS SOPS 3193 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2513.193
AT ITER 375 NEW BEST:: SOT 16042 SOS 3190 HAS SOPS 3190 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2511.19
AT ITER 408 NEW BEST:: SOT 16042 SOS 3189 HAS SOPS 3189 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2511.189
AT ITER 427 NEW BEST:: SOT 16044 SOS 3185 HAS SOPS 3185 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2510.185
AT ITER 512 NEW BEST:: SOT 16030 SOS 3119 HAS SOPS 3119 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.119
AT ITER 526 NEW BEST:: SOT 16018 SOS 3069 HAS SOPS 3069 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.069
AT ITER 684 NEW BEST:: SOT 16018 SOS 3067 HAS SOPS 3067 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2460.067
AT ITER 694 NEW BEST:: SOT 16002 SOS 3019 HAS SOPS 3019 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2428.019
AT ITER 697 NEW BEST:: SOT 16001 SOS 3018 HAS SOPS 3018 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2424.018
AT ITER 727 NEW BEST:: SOT 15991 SOS 2997 HAS SOPS 2997 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.997
AT ITER 736 NEW BEST:: SOT 15990 SOS 2998 HAS SOPS 2998 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.998
AT ITER 749 NEW BEST:: SOT 15990 SOS 2989 HAS SOPS 2989 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.989
AT ITER 829 NEW BEST:: SOT 15986 SOS 2983 HAS SOPS 2983 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2388.983
AT ITER 838 NEW BEST:: SOT 15982 SOS 2981 HAS SOPS 2981 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.981
AT ITER 858 NEW BEST:: SOT 15982 SOS 2979 HAS SOPS 2979 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.979
AT ITER 907 NEW BEST:: SOT 15974 SOS 2967 HAS SOPS 2967 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.967
AT ITER 958 NEW BEST:: SOT 15973 SOS 2965 HAS SOPS 2965 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.965
AT ITER 977 NEW BEST:: SOT 15969 SOS 2959 HAS SOPS 2959 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2359.959
AT ITER 980 NEW BEST:: SOT 15967 SOS 2952 HAS SOPS 2952 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2353.952
AT ITER 1017 NEW BEST:: SOT 15966 SOS 2951 HAS SOPS 2951 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.951
AT ITER 1085 NEW BEST:: SOT 15961 SOS 2946 HAS SOPS 2946 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2347.946
AT ITER 1144 NEW BEST:: SOT 15955 SOS 2940 HAS SOPS 2940 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.94
AT ITER 1226 NEW BEST:: SOT 15955 SOS 2937 HAS SOPS 2937 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.937
AT ITER 1466 NEW BEST:: SOT 15949 SOS 2934 HAS SOPS 2934 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.934
AT ITER 1468 NEW BEST:: SOT 15946 SOS 2928 HAS SOPS 2928 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.928
AT ITER 1506 NEW BEST:: SOT 15940 SOS 2922 HAS SOPS 2922 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.922
AT ITER 1580 NEW BEST:: SOT 15939 SOS 2920 HAS SOPS 2920 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.92
AT ITER 1669 NEW BEST:: SOT 15939 SOS 2918 HAS SOPS 2918 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.918
AT ITER 1702 NEW BEST:: SOT 15933 SOS 2909 HAS SOPS 2909 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.909
AT ITER 1756 NEW BEST:: SOT 15933 SOS 2900 HAS SOPS 2900 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.9
AT ITER 1886 NEW BEST:: SOT 15933 SOS 2883 HAS SOPS 2883 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.883
AT ITER 1904 NEW BEST:: SOT 15933 SOS 2880 HAS SOPS 2880 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.88
AT ITER 1942 NEW BEST:: SOT 15933 SOS 2880 HAS SOPS 2880 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.88
AT ITER 2012 NEW BEST:: SOT 15929 SOS 2866 HAS SOPS 2866 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.866
AT ITER 2019 NEW BEST:: SOT 15928 SOS 2863 HAS SOPS 2863 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.863
AT ITER 2039 NEW BEST:: SOT 15916 SOS 2845 HAS SOPS 2845 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2288.845
AT ITER 2108 NEW BEST:: SOT 15915 SOS 2843 HAS SOPS 2843 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.843
AT ITER 2110 NEW BEST:: SOT 15914 SOS 2840 HAS SOPS 2840 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.84
AT ITER 2129 NEW BEST:: SOT 15908 SOS 2822 HAS SOPS 2822 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.822
AT ITER 2305 NEW BEST:: SOT 15904 SOS 2812 HAS SOPS 2812 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.812
AT ITER 2330 NEW BEST:: SOT 15903 SOS 2811 HAS SOPS 2811 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.811
AT ITER 2337 NEW BEST:: SOT 15903 SOS 2809 HAS SOPS 2809 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.809
AT ITER 2339 NEW BEST:: SOT 15889 SOS 2777 HAS SOPS 2777 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.777
AT ITER 2493 NEW BEST:: SOT 15887 SOS 2774 HAS SOPS 2774 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.774
AT ITER 2673 NEW BEST:: SOT 15882 SOS 2769 HAS SOPS 2769 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.769
AT ITER 2813 NEW BEST:: SOT 15882 SOS 2763 HAS SOPS 2763 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.763
AT ITER 2954 NEW BEST:: SOT 15878 SOS 2757 HAS SOPS 2757 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.757
AT ITER 3139 NEW BEST:: SOT 15874 SOS 2751 HAS SOPS 2751 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.751
AT ITER 3241 NEW BEST:: SOT 15871 SOS 2754 HAS SOPS 2754 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.754
AT ITER 3310 NEW BEST:: SOT 15864 SOS 2752 HAS SOPS 2752 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.752
AT ITER 3371 NEW BEST:: SOT 15862 SOS 2748 HAS SOPS 2748 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.748
AT ITER 3635 NEW BEST:: SOT 15862 SOS 2747 HAS SOPS 2747 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.747
AT ITER 3650 NEW BEST:: SOT 15860 SOS 2744 HAS SOPS 2744 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2200.744
AT ITER 3734 NEW BEST:: SOT 15860 SOS 2742 HAS SOPS 2742 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2200.742
AT ITER 3819 NEW BEST:: SOT 15857 SOS 2733 HAS SOPS 2733 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2191.733
AT ITER 3915 NEW BEST:: SOT 15853 SOS 2715 HAS SOPS 2715 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.715
AT ITER 3933 NEW BEST:: SOT 15843 SOS 2696 HAS SOPS 2696 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.696
AT ITER 3977 NEW BEST:: SOT 15835 SOS 2683 HAS SOPS 2683 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.683
AT ITER 4017 NEW BEST:: SOT 15835 SOS 2683 HAS SOPS 2683 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.683
AT ITER 4064 NEW BEST:: SOT 15829 SOS 2674 HAS SOPS 2674 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.674
AT ITER 4100 NEW BEST:: SOT 15828 SOS 2677 HAS SOPS 2677 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.677
AT ITER 4182 NEW BEST:: SOT 15824 SOS 2663 HAS SOPS 2663 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.663
AT ITER 4183 NEW BEST:: SOT 15824 SOS 2661 HAS SOPS 2661 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.661
AT ITER 4269 NEW BEST:: SOT 15822 SOS 2658 HAS SOPS 2658 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.658
AT ITER 4309 NEW BEST:: SOT 15821 SOS 2654 HAS SOPS 2654 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.654
AT ITER 4391 NEW BEST:: SOT 15821 SOS 2648 HAS SOPS 2648 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.648
AT ITER 4431 NEW BEST:: SOT 15817 SOS 2640 HAS SOPS 2640 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.64
AT ITER 4485 NEW BEST:: SOT 15816 SOS 2639 HAS SOPS 2639 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.639
AT ITER 4527 NEW BEST:: SOT 15816 SOS 2637 HAS SOPS 2637 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.637
AT ITER 4547 NEW BEST:: SOT 15816 SOS 2634 HAS SOPS 2634 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.634
AT ITER 4608 NEW BEST:: SOT 15816 SOS 2635 HAS SOPS 2635 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.635
AT ITER 4634 NEW BEST:: SOT 15814 SOS 2632 HAS SOPS 2632 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.632
AT ITER 4812 NEW BEST:: SOT 15812 SOS 2629 HAS SOPS 2629 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.629
AT ITER 5082 NEW BEST:: SOT 15812 SOS 2628 HAS SOPS 2628 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.628
AT ITER 5094 NEW BEST:: SOT 15808 SOS 2616 HAS SOPS 2616 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.616
AT ITER 5131 NEW BEST:: SOT 15805 SOS 2613 HAS SOPS 2613 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.613
AT ITER 5344 NEW BEST:: SOT 15807 SOS 2611 HAS SOPS 2611 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.611
AT ITER 5573 NEW BEST:: SOT 15805 SOS 2598 HAS SOPS 2598 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2090.598
AT ITER 5668 NEW BEST:: SOT 15803 SOS 2595 HAS SOPS 2595 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.595
AT ITER 5681 NEW BEST:: SOT 15801 SOS 2592 HAS SOPS 2592 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.592
AT ITER 5695 NEW BEST:: SOT 15801 SOS 2590 HAS SOPS 2590 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2082.59
AT ITER 5813 NEW BEST:: SOT 15800 SOS 2587 HAS SOPS 2587 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.587
AT ITER 5919 NEW BEST:: SOT 15798 SOS 2583 HAS SOPS 2583 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.583
AT ITER 6040 NEW BEST:: SOT 15797 SOS 2577 HAS SOPS 2577 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.577
AT ITER 6247 NEW BEST:: SOT 15797 SOS 2582 HAS SOPS 2582 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.582
AT ITER 6383 NEW BEST:: SOT 15793 SOS 2574 HAS SOPS 2574 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.574
AT ITER 6463 NEW BEST:: SOT 15792 SOS 2572 HAS SOPS 2572 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.572
AT ITER 6481 NEW BEST:: SOT 15790 SOS 2561 HAS SOPS 2561 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.561
AT ITER 6521 NEW BEST:: SOT 15789 SOS 2560 HAS SOPS 2560 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.56
AT ITER 6621 NEW BEST:: SOT 15788 SOS 2557 HAS SOPS 2557 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.557
AT ITER 6725 NEW BEST:: SOT 15788 SOS 2556 HAS SOPS 2556 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.556
AT ITER 6885 NEW BEST:: SOT 15788 SOS 2556 HAS SOPS 2556 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.556
AT ITER 7145 NEW BEST:: SOT 15786 SOS 2552 HAS SOPS 2552 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.552
AT ITER 7254 NEW BEST:: SOT 15782 SOS 2549 HAS SOPS 2549 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.549
AT ITER 7642 NEW BEST:: SOT 15782 SOS 2547 HAS SOPS 2547 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.547
AT ITER 7661 NEW BEST:: SOT 15780 SOS 2543 HAS SOPS 2543 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.543
AT ITER 7853 NEW BEST:: SOT 15777 SOS 2534 HAS SOPS 2534 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.534
AT ITER 7952 NEW BEST:: SOT 15776 SOS 2530 HAS SOPS 2530 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2032.53
AT ITER 8019 NEW BEST:: SOT 15776 SOS 2509 HAS SOPS 2509 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.509
AT ITER 8022 NEW BEST:: SOT 15776 SOS 2508 HAS SOPS 2508 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.508
AT ITER 8798 NEW BEST:: SOT 15776 SOS 2507 HAS SOPS 2507 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.507
AT ITER 8808 NEW BEST:: SOT 15774 SOS 2502 HAS SOPS 2502 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.502
AT ITER 9083 NEW BEST:: SOT 15772 SOS 2499 HAS SOPS 2499 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.499
AT ITER 9463 NEW BEST:: SOT 15772 SOS 2499 HAS SOPS 2499 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.499
AT ITER 9561 NEW BEST:: SOT 15772 SOS 2498 HAS SOPS 2498 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.498
AT ITER 9794 NEW BEST:: SOT 15772 SOS 2494 HAS SOPS 2494 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2017.494
AT ITER 9876 NEW BEST:: SOT 15771 SOS 2493 HAS SOPS 2493 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.493
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4506788 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125956 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="TriangularGrid-PT-4022"
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 TriangularGrid-PT-4022, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912710900752"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TriangularGrid-PT-4022.tgz
mv TriangularGrid-PT-4022 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 ;