About the Execution of Marcie+red for SharedMemory-COL-001000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7847.004 | 3600000.00 | 3633246.00 | 42492.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r362-smll-167891813200608.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 marciexred
Input is SharedMemory-COL-001000, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r362-smll-167891813200608
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 14:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 55K 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 1679328331199
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=marciexred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SharedMemory-COL-001000
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-20 16:05:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 16:05:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 16:05:35] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-20 16:05:35] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 16:05:36] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1159 ms
[2023-03-20 16:05:36] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 1004001 PT places and 3002000.0 transition bindings in 84 ms.
[2023-03-20 16:05:44] [INFO ] Unfolded HLPN to a Petri net with 1004001 places and 2002000 transitions 8004000 arcs in 7611 ms.
[2023-03-20 16:05:44] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 16:05:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1004001 places, 2002000 transitions and 8004000 arcs took 5472 ms.
Total runtime 14616 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: SharedMemory_COL_001000_unf
(NrP: 1004001 NrTr: 2002000 NrArc: 8004000)
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7263176 kB
After kill :
MemTotal: 16393216 kB
MemFree: 14631304 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
check for maximal unmarked siphon
found
The net has a maximal unmarked siphon:
p583579
p694690
p805801
p36032
p141137
p252248
p362358
p473469
p916912
p296292
p307303
p318314
p6002
p16012
p26022
p37033
p48044
p68064
p88084
p109105
p120116
p142138
p153149
p164160
p175171
p186182
p197193
p208204
p219215
p230226
p241237
p253249
p263259
p274270
p285281
p329325
p351347
p363359
p374370
p385381
p396392
p407403
p418414
p429425
p440436
p462458
p474470
p485481
p496492
p507503
p518514
p528524
p539535
p550546
p562558
p584580
p595591
p606602
p617613
p628624
p639635
p650646
p661657
p673669
p695691
p706702
p717713
p728724
p739735
p750746
p761757
p772768
p784780
p806802
p817813
p828824
p839835
p850846
p871867
p882878
p894890
p905901
p927923
p938934
p949945
p960956
p971967
p982978
p1000996
p63059
p64060
p65061
p66062
p67063
p69065
p70066
p71067
p72068
p73069
p74070
p75071
p76072
p77073
p78074
p79075
p80076
p81077
p82078
p83079
p84080
p85081
p86082
p4000
p5001
p7003
p8004
p9005
p10006
p11007
p12008
p13009
p14010
p15011
p17013
p18014
p19015
p20016
p21017
p22018
p23019
p24020
p25021
p27023
p28024
p29025
p30026
p31027
p32028
p33029
p34030
p35031
p38034
p39035
p40036
p41037
p42038
p43039
p44040
p45041
p46042
p47043
p49045
p50046
p51047
p52048
p53049
p54050
p55051
p56052
p57053
p58054
p59055
p60056
p61057
p62058
p87083
p89085
p90086
p91087
p92088
p93089
p94090
p95091
p96092
p97093
p98094
p99095
p100096
p101097
p102098
p103099
p104100
p105101
p106102
p107103
p108104
p110106
p111107
p112108
p113109
p114110
p115111
p116112
p117113
p118114
p119115
p121117
p122118
p123119
p124120
p125121
p126122
p127123
p128124
p129125
p130126
p131127
p132128
p133129
p134130
p135131
p136132
p137133
p138134
p139135
p140136
p143139
p144140
p145141
p146142
p147143
p148144
p149145
p150146
p151147
p152148
p154150
p155151
p156152
p157153
p158154
p159155
p160156
p161157
p162158
p163159
p165161
p166162
p167163
p168164
p169165
p170166
p171167
p172168
p173169
p174170
p176172
p177173
p178174
p179175
p180176
p181177
p182178
p183179
p184180
p185181
p187183
p188184
p189185
p190186
p191187
p192188
p193189
p194190
p195191
p196192
p198194
p199195
p200196
p201197
p202198
p203199
p204200
p205201
p206202
p207203
p209205
p210206
p211207
p212208
p213209
p214210
p215211
p216212
p217213
p218214
p220216
p221217
p222218
p223219
p224220
p225221
p226222
p227223
p228224
p229225
p231227
p232228
p233229
p234230
p235231
p236232
p237233
p238234
p239235
p240236
p242238
p243239
p244240
p245241
p246242
p247243
p248244
p249245
p250246
p251247
p254250
p255251
p256252
p257253
p258254
p259255
p260256
p261257
p262258
p264260
p265261
p266262
p267263
p268264
p269265
p270266
p271267
p272268
p273269
p275271
p276272
p277273
p278274
p279275
p280276
p281277
p282278
p283279
p284280
p286282
p287283
p288284
p289285
p290286
p291287
p292288
p293289
p294290
p295291
p297293
p298294
p299295
p300296
p301297
p302298
p303299
p304300
p305301
p306302
p308304
p309305
p310306
p311307
p312308
p313309
p314310
p315311
p316312
p317313
p319315
p320316
p321317
p322318
p323319
p324320
p325321
p326322
p327323
p328324
p330326
p331327
p332328
p333329
p334330
p335331
p336332
p337333
p338334
p339335
p340336
p341337
p342338
p343339
p344340
p345341
p346342
p347343
p348344
p349345
p350346
p352348
p353349
p354350
p355351
p356352
p357353
p358354
p359355
p360356
p361357
p364360
p365361
p366362
p367363
p368364
p369365
p370366
p371367
p372368
p373369
p375371
p376372
p377373
p378374
p379375
p380376
p381377
p382378
p383379
p384380
p386382
p387383
p388384
p389385
p390386
p391387
p392388
p393389
p394390
p395391
p397393
p398394
p399395
p400396
p401397
p402398
p403399
p404400
p405401
p406402
p408404
p409405
p410406
p411407
p412408
p413409
p414410
p415411
p416412
p417413
p419415
p420416
p421417
p422418
p423419
p424420
p425421
p426422
p427423
p428424
p430426
p431427
p432428
p433429
p434430
p435431
p436432
p437433
p438434
p439435
p441437
p442438
p443439
p444440
p445441
p446442
p447443
p448444
p449445
p450446
p451447
p452448
p453449
p454450
p455451
p456452
p457453
p458454
p459455
p460456
p461457
p463459
p464460
p465461
p466462
p467463
p468464
p469465
p470466
p471467
p472468
p475471
p476472
p477473
p478474
p479475
p480476
p481477
p482478
p483479
p484480
p486482
p487483
p488484
p489485
p490486
p491487
p492488
p493489
p494490
p495491
p497493
p498494
p499495
p500496
p501497
p502498
p503499
p504500
p505501
p506502
p508504
p509505
p510506
p511507
p512508
p513509
p514510
p515511
p516512
p517513
p519515
p520516
p521517
p522518
p523519
p524520
p525521
p526522
p527523
p529525
p530526
p531527
p532528
p533529
p534530
p535531
p536532
p537533
p538534
p540536
p541537
p542538
p543539
p544540
p545541
p546542
p547543
p548544
p549545
p551547
p552548
p553549
p554550
p555551
p556552
p557553
p558554
p559555
p560556
p561557
p563559
p564560
p565561
p566562
p567563
p568564
p569565
p570566
p571567
p572568
p573569
p574570
p575571
p576572
p577573
p578574
p579575
p580576
p581577
p582578
p585581
p586582
p587583
p588584
p589585
p590586
p591587
p592588
p593589
p594590
p596592
p597593
p598594
p599595
p600596
p601597
p602598
p603599
p604600
p605601
p607603
p608604
p609605
p610606
p611607
p612608
p613609
p614610
p615611
p616612
p618614
p619615
p620616
p621617
p622618
p623619
p624620
p625621
p626622
p627623
p629625
p630626
p631627
p632628
p633629
p634630
p635631
p636632
p637633
p638634
p640636
p641637
p642638
p643639
p644640
p645641
p646642
p647643
p648644
p649645
p651647
p652648
p653649
p654650
p655651
p656652
p657653
p658654
p659655
p660656
p662658
p663659
p664660
p665661
p666662
p667663
p668664
p669665
p670666
p671667
p672668
p674670
p675671
p676672
p677673
p678674
p679675
p680676
p681677
p682678
p683679
p684680
p685681
p686682
p687683
p688684
p689685
p690686
p691687
p692688
p693689
p696692
p697693
p698694
p699695
p700696
p701697
p702698
p703699
p704700
p705701
p707703
p708704
p709705
p710706
p711707
p712708
p713709
p714710
p715711
p716712
p718714
p719715
p720716
p721717
p722718
p723719
p724720
p725721
p726722
p727723
p729725
p730726
p731727
p732728
p733729
p734730
p735731
p736732
p737733
p738734
p740736
p741737
p742738
p743739
p744740
p745741
p746742
p747743
p748744
p749745
p751747
p752748
p753749
p754750
p755751
p756752
p757753
p758754
p759755
p760756
p762758
p763759
p764760
p765761
p766762
p767763
p768764
p769765
p770766
p771767
p773769
p774770
p775771
p776772
p777773
p778774
p779775
p780776
p781777
p782778
p783779
p785781
p786782
p787783
p788784
p789785
p790786
p791787
p792788
p793789
p794790
p795791
p796792
p797793
p798794
p799795
p800796
p801797
p802798
p803799
p804800
p807803
p808804
p809805
p810806
p811807
p812808
p813809
p814810
p815811
p816812
p818814
p819815
p820816
p821817
p822818
p823819
p824820
p825821
p826822
p827823
p829825
p830826
p831827
p832828
p833829
p834830
p835831
p836832
p837833
p838834
p840836
p841837
p842838
p843839
p844840
p845841
p846842
p847843
p848844
p849845
p851847
p852848
p853849
p854850
p855851
p856852
p857853
p858854
p859855
p860856
p861857
p862858
p863859
p864860
p865861
p866862
p867863
p868864
p869865
p870866
p872868
p873869
p874870
p875871
p876872
p877873
p878874
p879875
p880876
p881877
p883879
p884880
p885881
p886882
p887883
p888884
p889885
p890886
p891887
p892888
p893889
p895891
p896892
p897893
p898894
p899895
p900896
p901897
p902898
p903899
p904900
p906902
p907903
p908904
p909905
p910906
p911907
p912908
p913909
p914910
p915911
p917913
p918914
p919915
p920916
p921917
p922918
p923919
p924920
p925921
p926922
p928924
p929925
p930926
p931927
p932928
p933929
p934930
p935931
p936932
p937933
p939935
p940936
p941937
p942938
p943939
p944940
p945941
p946942
p947943
p948944
p950946
p951947
p952948
p953949
p954950
p955951
p956952
p957953
p958954
p959955
p961957
p962958
p963959
p964960
p965961
p966962
p967963
p968964
p969965
p970966
p972968
p973969
p974970
p975971
p976972
p977973
p978974
p979975
p980976
p981977
p983979
p984980
p985981
p986982
p987983
p988984
p989985
p990986
p991987
p992988
p993989
p994990
p995991
p996992
p997993
p998994
p999995
p1001997
p1002998
p1003999
The net has transition(s) that can never fire:
t989987
t988986
t987985
t986984
t985983
t984982
t983981
t982980
t981979
t980978
t979977
t978976
t977975
t976974
t975973
t974972
t973971
t972970
t971969
t970968
t969967
t968966
t967965
t966964
t965963
t964962
t963961
t962960
t961959
t960958
t959957
t958956
t957955
t956954
t955953
t954952
t953951
t952950
t951949
t950948
t949947
t948946
t947945
t946944
t945943
t944942
t943941
t942940
t941939
t940938
t939937
t938936
t937935
t936934
t935933
t934932
t933931
t932930
t931929
t930928
t929927
t928926
t927925
t926924
t925923
t924922
t923921
t922920
t921919
t920918
t919917
t918916
t917915
t916914
t915913
t914912
t913911
t912910
t911909
t910908
t909907
t908906
t907905
t906904
t905903
t904902
t903901
t902900
t128126
t901899
t900898
t899897
t898896
t897895
t896894
t895893
t894892
t893891
t892890
t891889
t890888
t889887
t888886
t887885
t886884
t885883
t884882
t883881
t882880
t881879
t880878
t879877
t878876
t877875
t876874
t875873
t874872
t873871
t872870
t871869
t870868
t869867
t868866
t867865
t866864
t865863
t864862
t863861
t862860
t861859
t860858
t859857
t858856
t857855
t856854
t855853
t854852
t853851
t852850
t851849
t850848
t849847
t848846
t847845
t846844
t845843
t844842
t843841
t842840
t841839
t840838
t839837
t838836
t837835
t836834
t835833
t834832
t833831
t832830
t831829
t830828
t829827
t828826
t827825
t826824
t825823
t824822
t823821
t822820
t821819
t820818
t819817
t818816
t817815
t816814
t815813
t814812
t813811
t812810
t811809
t810808
t809807
t808806
t807805
t806804
t805803
t804802
t803801
t802800
t801799
t800798
t799797
t798796
t797795
t796794
t795793
t794792
t793791
t792790
t791789
t790788
t789787
t788786
t787785
t786784
t785783
t784782
t783781
t782780
t781779
t780778
t779777
t778776
t777775
t776774
t775773
t774772
t773771
t772770
t771769
t770768
t769767
t768766
t767765
t766764
t765763
t764762
t763761
t762760
t761759
t760758
t759757
t758756
t757755
t756754
t755753
t754752
t753751
t752750
t751749
t750748
t749747
t748746
t747745
t746744
t745743
t744742
t743741
t742740
t741739
t740738
t739737
t738736
t737735
t736734
t735733
t734732
t733731
t732730
t731729
t730728
t729727
t728726
t727725
t726724
t725723
t724722
t723721
t722720
t721719
t720718
t719717
t718716
t717715
t716714
t715713
t714712
t713711
t712710
t711709
t710708
t709707
t708706
t707705
t706704
t705703
t704702
t703701
t702700
t701699
t700698
t699697
t698696
t697695
t696694
t695693
t694692
t693691
t692690
t127125
t691689
t690688
t689687
t688686
t687685
t686684
t685683
t684682
t683681
t682680
t681679
t680678
t679677
t678676
t677675
t676674
t675673
t674672
t673671
t672670
t671669
t670668
t669667
t668666
t667665
t666664
t665663
t664662
t663661
t662660
t661659
t660658
t659657
t658656
t657655
t656654
t655653
t654652
t653651
t652650
t651649
t650648
t649647
t648646
t647645
t646644
t645643
t644642
t643641
t642640
t641639
t640638
t639637
t638636
t637635
t636634
t635633
t634632
t633631
t632630
t631629
t630628
t629627
t628626
t627625
t626624
t625623
t624622
t623621
t622620
t621619
t620618
t619617
t618616
t617615
t616614
t615613
t614612
t613611
t612610
t611609
t610608
t609607
t608606
t607605
t606604
t605603
t604602
t603601
t602600
t601599
t600598
t599597
t598596
t597595
t596594
t595593
t594592
t593591
t592590
t591589
t590588
t589587
t588586
t587585
t586584
t585583
t584582
t583581
t582580
t581579
t580578
t579577
t578576
t577575
t576574
t575573
t574572
t573571
t572570
t571569
t570568
t569567
t568566
t567565
t566564
t565563
t564562
t563561
t562560
t561559
t560558
t559557
t558556
t557555
t556554
t555553
t554552
t553551
t552550
t551549
t550548
t549547
t548546
t547545
t546544
t545543
t544542
t543541
t542540
t541539
t540538
t539537
t538536
t537535
t536534
t535533
t534532
t533531
t532530
t531529
t530528
t529527
t528526
t527525
t526524
t525523
t524522
t523521
t522520
t521519
t520518
t519517
t518516
t517515
t516514
t515513
t514512
t513511
t512510
t511509
t510508
t509507
t508506
t507505
t506504
t505503
t504502
t503501
t502500
t501499
t500498
t499497
t498496
t497495
t496494
t495493
t494492
t493491
t492490
t491489
t490488
t489487
t488486
t487485
t486484
t485483
t484482
t483481
t482480
t481479
t480478
t479477
t478476
t126124
t477475
t476474
t475473
t474472
t473471
t472470
t471469
t470468
t469467
t468466
t467465
t466464
t465463
t464462
t463461
t462460
t461459
t460458
t459457
t458456
t457455
t456454
t455453
t454452
t453451
t452450
t451449
t450448
t129127
t449447
t448446
t447445
t446444
t445443
t444442
t443441
t442440
t441439
t440438
t439437
t438436
t437435
t436434
t435433
t434432
t433431
t432430
t431429
t430428
t429427
t428426
t427425
t426424
t425423
t424422
t423421
t422420
t421419
t420418
t419417
t418416
t417415
t416414
t415413
t414412
t413411
t412410
t411409
t410408
t409407
t408406
t407405
t406404
t405403
t404402
t403401
t402400
t401399
t400398
t399397
t398396
t397395
t396394
t395393
t394392
t393391
t392390
t391389
t390388
t389387
t388386
t387385
t386384
t385383
t384382
t383381
t382380
t381379
t380378
t379377
t378376
t377375
t376374
t375373
t374372
t373371
t372370
t371369
t370368
t369367
t368366
t367365
t366364
t365363
t364362
t363361
t362360
t361359
t360358
t359357
t358356
t357355
t356354
t355353
t354352
t353351
t352350
t351349
t350348
t349347
t348346
t347345
t346344
t345343
t344342
t343341
t342340
t341339
t340338
t339337
t338336
t337335
t336334
t335333
t334332
t333331
t332330
t331329
t330328
t329327
t328326
t327325
t326324
t325323
t324322
t323321
t322320
t321319
t320318
t319317
t318316
t317315
t316314
t315313
t314312
t313311
t312310
t311309
t310308
t309307
t308306
t307305
t306304
t305303
t304302
t303301
t302300
t301299
t300298
t299297
t298296
t297295
t296294
t295293
t294292
t293291
t292290
t291289
t290288
t289287
t288286
t287285
t286284
t285283
t284282
t283281
t282280
t281279
t280278
t279277
t278276
t277275
t276274
t275273
t274272
t273271
t272270
t271269
t270268
t269267
t268266
t267265
t266264
t265263
t264262
t263261
t262260
t261259
t260258
t125123
t259257
t258256
t257255
t256254
t255253
t254252
t253251
t252250
t251249
t250248
t249247
t248246
t247245
t246244
t245243
t244242
t243241
t242240
t241239
t240238
t239237
t238236
t237235
t236234
t235233
t234232
t233231
t232230
t231229
t230228
t229227
t228226
t227225
t226224
t225223
t224222
t223221
t222220
t221219
t220218
t219217
t218216
t217215
t216214
t215213
t214212
t213211
t212210
t211209
t210208
t209207
t208206
t207205
t206204
t205203
t204202
t203201
t202200
t201199
t200198
t199197
t198196
t197195
t196194
t195193
t194192
t193191
t192190
t191189
t190188
t189187
t188186
t187185
t186184
t185183
t184182
t183181
t182180
t181179
t180178
t179177
t178176
t177175
t176174
t175173
t174172
t173171
t172170
t171169
t170168
t169167
t168166
t167165
t166164
t165163
t164162
t163161
t162160
t161159
t160158
t159157
t158156
t157155
t156154
t155153
t154152
t153151
t152150
t151149
t150148
t149147
t148146
t147145
t146144
t145143
t144142
t143141
t142140
t141139
t140138
t1001999
t139137
t1000998
t138136
t999997
t137135
t998996
t136134
t997995
t135133
t996994
t995993
t134132
t994992
t133131
t993991
t132130
t992990
t131129
t991989
t990988
t130128
t33031
t24022
t28026
t42040
t47045
t58056
t67065
t75073
t88086
t106104
t108106
t112110
t22020
t14012
t15013
t16014
t17015
t18016
t19017
t20018
t21019
t59057
t23021
t25023
t26024
t27025
t29027
t30028
t31029
t32030
t34032
t35033
t36034
t37035
t38036
t39037
t40038
t41039
t43041
t44042
t45043
t46044
t48046
t49047
t50048
t51049
t52050
t53051
t54052
t55053
t56054
t57055
t60058
t61059
t62060
t63061
t64062
t65063
t66064
t68066
t69067
t70068
t71069
t72070
t73071
t74072
t76074
t77075
t78076
t79077
t80078
t81079
t82080
t83081
t84082
t85083
t86084
t87085
t89087
t90088
t91089
t92090
t93091
t94092
t95093
t96094
t97095
t98096
t99097
t100098
t101099
t102100
t103101
t104102
t105103
t107105
t109107
t110108
t111109
t113111
t114112
t115113
t116114
t117115
t118116
t119117
t120118
t121119
t122120
t123121
t124122
t2000
t3001
t4002
t5003
t6004
t7005
t8006
t9007
t10008
t11009
t12010
t13011
check for constant places
ok
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="SharedMemory-COL-001000"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marciexred"
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 marciexred"
echo " Input is SharedMemory-COL-001000, 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 r362-smll-167891813200608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SharedMemory-COL-001000.tgz
mv SharedMemory-COL-001000 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 ;