About the Execution of ITS-Tools for StigmergyCommit-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16207.388 | 814488.00 | 1754607.00 | 32149.50 | [undef] | Cannot compute |
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.r467-smll-167912657400323.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 itstools
Input is StigmergyCommit-PT-09b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r467-smll-167912657400323
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 126M
-rw-r--r-- 1 mcc users 8.4K Feb 26 11:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 11:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 11:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 11:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 11:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 11:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 126M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1679343973870
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=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=StigmergyCommit-PT-09b
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202303021504
[2023-03-20 20:26:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2023-03-20 20:26:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 20:26:23] [INFO ] Load time of PNML (sax parser for PT used): 5522 ms
[2023-03-20 20:26:23] [INFO ] Transformed 3049 places.
[2023-03-20 20:26:23] [INFO ] Transformed 122340 transitions.
[2023-03-20 20:26:23] [INFO ] Found NUPN structural information;
[2023-03-20 20:26:23] [INFO ] Parsed PT model containing 3049 places and 122340 transitions and 2389246 arcs in 6270 ms.
Graph (trivial) has 3028 edges and 3049 vertex of which 210 / 3049 are part of one of the 30 SCC in 39 ms
Free SCC test removed 180 places
Structural test allowed to assert that 1344 places are NOT stable. Took 586 ms.
Ensure Unique test removed 200 transitions
Reduce redundant transitions removed 200 transitions.
Incomplete random walk after 10000 steps, including 54 resets, run finished after 3573 ms. (steps per millisecond=2 ) properties (out of 1705) seen :0
Interrupted probabilistic random walk after 11176 steps, run timeout after 9001 ms. (steps per millisecond=1 ) properties seen :{0=1, 1=1, 7=1, 8=1, 9=1, 11=1, 12=1, 13=1, 170=1, 171=1, 177=1, 178=1, 179=1, 181=1, 182=1, 183=1, 340=1, 341=1, 347=1, 348=1, 349=1, 351=1, 352=1, 353=1, 510=1, 511=1, 517=1, 518=1, 519=1, 521=1, 522=1, 523=1, 680=1, 681=1, 687=1, 688=1, 689=1, 691=1, 692=1, 693=1, 850=1, 851=1, 857=1, 858=1, 859=1, 861=1, 862=1, 863=1, 1020=1, 1021=1, 1027=1, 1028=1, 1029=1, 1031=1, 1032=1, 1033=1, 1190=1, 1191=1, 1197=1, 1198=1, 1199=1, 1201=1, 1202=1, 1203=1, 1360=1, 1361=1, 1367=1, 1368=1, 1369=1, 1371=1, 1372=1, 1373=1, 1530=1, 1531=1, 1537=1, 1538=1, 1539=1, 1541=1, 1542=1, 1543=1, 1700=1}
Probabilistic random walk after 11176 steps, saw 6913 distinct states, run finished after 9003 ms. (steps per millisecond=1 ) properties seen :81
Running SMT prover for 1624 properties.
[2023-03-20 20:26:39] [INFO ] Flow matrix only has 122111 transitions (discarded 29 similar events)
// Phase 1: matrix 122111 rows 2869 cols
[2023-03-20 20:26:44] [INFO ] Flatten gal took : 16058 ms
[2023-03-20 20:26:46] [INFO ] Computed 11 place invariants in 7373 ms
[2023-03-20 20:26:58] [INFO ] Flatten gal took : 13861 ms
[2023-03-20 20:27:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2036852678017172699.gal : 2378 ms
[2023-03-20 20:27:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13217597625102177113.prop : 9 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality2036852678017172699.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13217597625102177113.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:611)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-20 20:27:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-20 20:27:11] [INFO ] After 25101ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1624 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 1624 out of 2869 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2869/2869 places, 122140/122140 transitions.
Drop transitions removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Drop transitions removed 1040 transitions
Trivial Post-agglo rules discarded 1040 transitions
Performed 1040 trivial Post agglomeration. Transition count delta: 1040
Iterating post reduction 0 with 1070 rules applied. Total rules applied 1070 place count 2869 transition count 121070
Reduce places removed 1040 places and 0 transitions.
Iterating post reduction 1 with 1040 rules applied. Total rules applied 2110 place count 1829 transition count 121070
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 2110 place count 1829 transition count 121050
Deduced a syphon composed of 20 places in 159 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 2150 place count 1809 transition count 121050
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2151 place count 1808 transition count 121049
Iterating global reduction 2 with 1 rules applied. Total rules applied 2152 place count 1808 transition count 121049
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 44 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 42 rules applied. Total rules applied 2194 place count 1787 transition count 121028
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 22 places in 43 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 2238 place count 1765 transition count 121056
ITS-tools command line returned an error code 137
[2023-03-20 20:29:29] [INFO ] Flatten gal took : 18380 ms
[2023-03-20 20:29:29] [INFO ] Applying decomposition
[2023-03-20 20:29:44] [INFO ] Flatten gal took : 15238 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8503545734901274974.txt' '-o' '/tmp/graph8503545734901274974.bin' '-w' '/tmp/graph8503545734901274974.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8503545734901274974.bin' '-l' '-1' '-v' '-w' '/tmp/graph8503545734901274974.weights' '-q' '0' '-e' '0.001'
[2023-03-20 20:30:53] [INFO ] Decomposing Gal with order
[2023-03-20 20:30:54] [INFO ] Rewriting arrays to variables to allow decomposition.
Free-agglomeration rule applied 86 times.
Iterating global reduction 2 with 86 rules applied. Total rules applied 2324 place count 1765 transition count 120970
Reduce places removed 86 places and 0 transitions.
Iterating post reduction 2 with 86 rules applied. Total rules applied 2410 place count 1679 transition count 120970
Renaming transitions due to excessive name length > 1024 char.
Applied a total of 2410 rules in 232173 ms. Remains 1679 /2869 variables (removed 1190) and now considering 120970/122140 (removed 1170) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 232198 ms. Remains : 1679/2869 places, 120970/122140 transitions.
Interrupted random walk after 202 steps, including 0 resets, run timeout after 33976 ms. (steps per millisecond=0 ) properties seen 123
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 1501) seen :68
[2023-03-20 20:31:43] [INFO ] Removed a total of 1191630 redundant transitions.
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6912 ms. (steps per millisecond=0 ) properties (out of 1433) seen :6
[2023-03-20 20:31:46] [INFO ] Flatten gal took : 29369 ms
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6508 ms. (steps per millisecond=0 ) properties (out of 1427) seen :19
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6372 ms. (steps per millisecond=0 ) properties (out of 1408) seen :20
[2023-03-20 20:32:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 39 labels/synchronizations in 7390 ms.
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6327 ms. (steps per millisecond=0 ) properties (out of 1388) seen :14
[2023-03-20 20:32:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15244480790036734716.gal : 975 ms
[2023-03-20 20:32:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15502476449062363576.prop : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15244480790036734716.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15502476449062363576.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6506 ms. (steps per millisecond=0 ) properties (out of 1374) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6293 ms. (steps per millisecond=0 ) properties (out of 1374) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7518 ms. (steps per millisecond=0 ) properties (out of 1374) seen :24
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6633 ms. (steps per millisecond=0 ) properties (out of 1350) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5971 ms. (steps per millisecond=0 ) properties (out of 1350) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5827 ms. (steps per millisecond=0 ) properties (out of 1350) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6113 ms. (steps per millisecond=0 ) properties (out of 1350) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 264 ms. (steps per millisecond=3 ) properties (out of 1341) seen :34
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6114 ms. (steps per millisecond=0 ) properties (out of 1307) seen :9
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 1298) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 253 ms. (steps per millisecond=3 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6104 ms. (steps per millisecond=0 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 444 ms. (steps per millisecond=2 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5939 ms. (steps per millisecond=0 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5950 ms. (steps per millisecond=0 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6026 ms. (steps per millisecond=0 ) properties (out of 1287) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 1285) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5952 ms. (steps per millisecond=0 ) properties (out of 1285) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6047 ms. (steps per millisecond=0 ) properties (out of 1285) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 1285) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5716 ms. (steps per millisecond=0 ) properties (out of 1285) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6008 ms. (steps per millisecond=0 ) properties (out of 1285) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 1285) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6111 ms. (steps per millisecond=0 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6045 ms. (steps per millisecond=0 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5922 ms. (steps per millisecond=0 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5715 ms. (steps per millisecond=0 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 279 ms. (steps per millisecond=3 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 1278) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 1276) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 1276) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5822 ms. (steps per millisecond=0 ) properties (out of 1276) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5838 ms. (steps per millisecond=0 ) properties (out of 1276) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5731 ms. (steps per millisecond=0 ) properties (out of 1276) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 271 ms. (steps per millisecond=3 ) properties (out of 1276) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5910 ms. (steps per millisecond=0 ) properties (out of 1276) seen :3
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6057 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6010 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5923 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6205 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5927 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5996 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6222 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5704 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5760 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5747 ms. (steps per millisecond=0 ) properties (out of 1273) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 1273) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5834 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5805 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5843 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5908 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 248 ms. (steps per millisecond=4 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6076 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6219 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6020 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 283 ms. (steps per millisecond=3 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 271 ms. (steps per millisecond=3 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6004 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6103 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Loading property file /tmp/ReachabilityCardinality15502476449062363576.prop.
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6129 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6002 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6037 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5970 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 1272) seen :0
SDD proceeding with computation,1624 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1624 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1624 properties remain. new max is 16
SDD size :1 after 57
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6010 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 5976 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5946 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5958 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6046 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6002 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6110 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6362 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6324 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6620 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6479 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6446 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6366 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6312 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6211 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6455 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 6052 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 1 resets, run finished after 6063 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 5967 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6136 ms. (steps per millisecond=0 ) properties (out of 1272) seen :0
Running SMT prover for 1272 properties.
// Phase 1: matrix 120970 rows 1679 cols
[2023-03-20 20:39:04] [INFO ] Computed 11 place invariants in 3604 ms
Invariant property smplace_2866 does not hold.
Invariant property smplace_2865 does not hold.
Invariant property smplace_2836 does not hold.
Invariant property smplace_2835 does not hold.
Invariant property smplace_2834 does not hold.
Invariant property smplace_2833 does not hold.
Invariant property smplace_2832 does not hold.
Invariant property smplace_2831 does not hold.
Invariant property smplace_2830 does not hold.
Invariant property smplace_2829 does not hold.
Invariant property smplace_2828 does not hold.
Invariant property smplace_2827 does not hold.
Invariant property smplace_2811 does not hold.
Invariant property smplace_2810 does not hold.
Invariant property smplace_2809 does not hold.
Invariant property smplace_2808 does not hold.
Invariant property smplace_2807 does not hold.
Invariant property smplace_2806 does not hold.
Invariant property smplace_2805 does not hold.
Invariant property smplace_2804 does not hold.
Invariant property smplace_2803 does not hold.
Invariant property smplace_2802 does not hold.
Invariant property smplace_2801 does not hold.
Invariant property smplace_2268 does not hold.
Invariant property smplace_2267 does not hold.
Invariant property smplace_2266 does not hold.
Invariant property smplace_2265 does not hold.
Invariant property smplace_2264 does not hold.
Invariant property smplace_2263 does not hold.
Invariant property smplace_2262 does not hold.
Invariant property smplace_2261 does not hold.
Invariant property smplace_2260 does not hold.
Invariant property smplace_2259 does not hold.
Invariant property smplace_2258 does not hold.
Invariant property smplace_2257 does not hold.
Invariant property smplace_2256 does not hold.
Invariant property smplace_2255 does not hold.
Invariant property smplace_2254 does not hold.
Invariant property smplace_2253 does not hold.
Invariant property smplace_2252 does not hold.
Invariant property smplace_2251 does not hold.
Invariant property smplace_2250 does not hold.
Invariant property smplace_2243 does not hold.
Invariant property smplace_2242 does not hold.
Invariant property smplace_2241 does not hold.
Invariant property smplace_2240 does not hold.
Invariant property smplace_2239 does not hold.
Invariant property smplace_2238 does not hold.
Invariant property smplace_2237 does not hold.
Invariant property smplace_2236 does not hold.
Invariant property smplace_2235 does not hold.
Invariant property smplace_2234 does not hold.
Invariant property smplace_2233 does not hold.
Invariant property smplace_1984 does not hold.
Invariant property smplace_1983 does not hold.
Invariant property smplace_1982 does not hold.
Invariant property smplace_1981 does not hold.
Invariant property smplace_1980 does not hold.
Invariant property smplace_1979 does not hold.
Invariant property smplace_1978 does not hold.
Invariant property smplace_1977 does not hold.
Invariant property smplace_1976 does not hold.
Invariant property smplace_1975 does not hold.
Invariant property smplace_1959 does not hold.
Invariant property smplace_1958 does not hold.
Invariant property smplace_1957 does not hold.
Invariant property smplace_1956 does not hold.
Invariant property smplace_1955 does not hold.
Invariant property smplace_1954 does not hold.
Invariant property smplace_1953 does not hold.
Invariant property smplace_1952 does not hold.
Invariant property smplace_1951 does not hold.
Invariant property smplace_1950 does not hold.
Invariant property smplace_1949 does not hold.
BK_STOP 1679344788358
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
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="StigmergyCommit-PT-09b"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 itstools"
echo " Input is StigmergyCommit-PT-09b, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r467-smll-167912657400323"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-09b.tgz
mv StigmergyCommit-PT-09b execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;