About the Execution of ITS-Tools for ASLink-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15902.380 | 3600000.00 | 14156487.00 | 800.80 | ?????FFF??FFFFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2019-input.r008-smll-155225014100097.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3957
Executing tool itstools
Input is ASLink-PT-05b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-smll-155225014100097
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 960K
-rw-r--r-- 1 mcc users 3.1K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 795K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-05b-LTLFireability-00
FORMULA_NAME ASLink-PT-05b-LTLFireability-01
FORMULA_NAME ASLink-PT-05b-LTLFireability-02
FORMULA_NAME ASLink-PT-05b-LTLFireability-03
FORMULA_NAME ASLink-PT-05b-LTLFireability-04
FORMULA_NAME ASLink-PT-05b-LTLFireability-05
FORMULA_NAME ASLink-PT-05b-LTLFireability-06
FORMULA_NAME ASLink-PT-05b-LTLFireability-07
FORMULA_NAME ASLink-PT-05b-LTLFireability-08
FORMULA_NAME ASLink-PT-05b-LTLFireability-09
FORMULA_NAME ASLink-PT-05b-LTLFireability-10
FORMULA_NAME ASLink-PT-05b-LTLFireability-11
FORMULA_NAME ASLink-PT-05b-LTLFireability-12
FORMULA_NAME ASLink-PT-05b-LTLFireability-13
FORMULA_NAME ASLink-PT-05b-LTLFireability-14
FORMULA_NAME ASLink-PT-05b-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1553428137012
Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Checking formula 0 : !((((F("(i0.i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.u70.p623>=1)"))U(F("((i0.i1.i0.i0.i0.i0.i0.i0.i0.u207.p1685>=1)&&(i1.i0.i0.i0.u250.p2091>=1))")))U((G("(i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.i7.i0.u139.p1167>=1)"))U(G("(i0.i0.i1.i0.i0.i0.i0.i0.i1.i3.i0.u174.p1493>=1)")))))
Formula 0 simplified : !((F"(i0.i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.u70.p623>=1)" U F"((i0.i1.i0.i0.i0.i0.i0.i0.i0.u207.p1685>=1)&&(i1.i0.i0.i0.u250.p2091>=1))") U (G"(i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.i7.i0.u139.p1167>=1)" U G"(i0.i0.i1.i0.i0.i0.i0.i0.i1.i3.i0.u174.p1493>=1)"))
built 4 ordering constraints for composite.
built 1308 ordering constraints for composite.
built 1055 ordering constraints for composite.
built 802 ordering constraints for composite.
built 549 ordering constraints for composite.
built 296 ordering constraints for composite.
built 43 ordering constraints for composite.
built 26 ordering constraints for composite.
built 251 ordering constraints for composite.
built 244 ordering constraints for composite.
built 235 ordering constraints for composite.
built 228 ordering constraints for composite.
built 213 ordering constraints for composite.
built 198 ordering constraints for composite.
built 63 ordering constraints for composite.
built 42 ordering constraints for composite.
built 133 ordering constraints for composite.
built 22 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 251 ordering constraints for composite.
built 244 ordering constraints for composite.
built 235 ordering constraints for composite.
built 228 ordering constraints for composite.
built 213 ordering constraints for composite.
built 198 ordering constraints for composite.
built 63 ordering constraints for composite.
built 42 ordering constraints for composite.
built 133 ordering constraints for composite.
built 22 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 251 ordering constraints for composite.
built 244 ordering constraints for composite.
built 235 ordering constraints for composite.
built 228 ordering constraints for composite.
built 213 ordering constraints for composite.
built 198 ordering constraints for composite.
built 63 ordering constraints for composite.
built 42 ordering constraints for composite.
built 133 ordering constraints for composite.
built 22 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 251 ordering constraints for composite.
built 244 ordering constraints for composite.
built 235 ordering constraints for composite.
built 228 ordering constraints for composite.
built 213 ordering constraints for composite.
built 198 ordering constraints for composite.
built 63 ordering constraints for composite.
built 42 ordering constraints for composite.
built 133 ordering constraints for composite.
built 22 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 251 ordering constraints for composite.
built 244 ordering constraints for composite.
built 235 ordering constraints for composite.
built 228 ordering constraints for composite.
built 213 ordering constraints for composite.
built 198 ordering constraints for composite.
built 63 ordering constraints for composite.
built 42 ordering constraints for composite.
built 133 ordering constraints for composite.
built 22 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 278 ordering constraints for composite.
built 78 ordering constraints for composite.
built 71 ordering constraints for composite.
built 64 ordering constraints for composite.
built 198 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
Compilation finished in 107413 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 150 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((<>((LTLAP0==true)))U(<>((LTLAP1==true))))U(([]((LTLAP2==true)))U([]((LTLAP3==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((<>((LTLAP0==true)))U(<>((LTLAP1==true))))U(([]((LTLAP2==true)))U([]((LTLAP3==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP4==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP4==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([]([](<>((LTLAP5==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([]([](<>((LTLAP5==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(((LTLAP6==true))U(((LTLAP7==true))U((LTLAP8==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 14082 ms.
FORMULA ASLink-PT-05b-LTLFireability-05 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ((LTLAP9==true))U(X(((LTLAP10==true))U((LTLAP11==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 12913 ms.
FORMULA ASLink-PT-05b-LTLFireability-06 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X([]((LTLAP12==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 12522 ms.
FORMULA ASLink-PT-05b-LTLFireability-07 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []([]((LTLAP13==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []([]((LTLAP13==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X([](((LTLAP14==true))U(<>((LTLAP15==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 12310 ms.
FORMULA ASLink-PT-05b-LTLFireability-10 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>(X([](<>(<>((LTLAP16==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 14294 ms.
FORMULA ASLink-PT-05b-LTLFireability-11 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (([]((LTLAP17==true)))U(X((LTLAP18==true))))U((LTLAP19==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 9224 ms.
FORMULA ASLink-PT-05b-LTLFireability-12 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](((LTLAP20==true))U(X(<>((LTLAP21==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 9692 ms.
FORMULA ASLink-PT-05b-LTLFireability-13 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>(<>(X(X(X((LTLAP22==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 22139 ms.
FORMULA ASLink-PT-05b-LTLFireability-14 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([](<>(((LTLAP23==true))U((LTLAP24==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([](<>(((LTLAP23==true))U((LTLAP24==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Retrying LTSmin with larger timeout 1800 s
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ((<>((LTLAP0==true)))U(<>((LTLAP1==true))))U(([]((LTLAP2==true)))U([]((LTLAP3==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 24, 2019 11:49:01 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 24, 2019 11:49:01 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 24, 2019 11:49:01 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 632 ms
Mar 24, 2019 11:49:01 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2430 places.
Mar 24, 2019 11:49:02 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3040 transitions.
Mar 24, 2019 11:49:02 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 24, 2019 11:49:02 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 192 ms
Mar 24, 2019 11:49:02 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 24, 2019 11:49:04 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1143 ms
Mar 24, 2019 11:49:04 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 679 ms
Mar 24, 2019 11:49:04 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 24, 2019 11:49:05 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 126 events :t2815,t2814,t2816,t2815,t2814,t2816,t2815,t2814,t2816,t2815,t2814,t2816,t2815,t2814,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,t2104,t2103,t2102,t2101,t2100,t2099,t2098,t2097,t2096,t2095,t2094,t2093,t2092,t2091,t2090,t2089,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2991,t2990,t2991,t2990,t2991,t2990,t2991,t2990,t2991,t2990,t2991,t2990,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t72,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2776,t2776,t2776,t2772,t2772,t2772,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2086,t2086,t2083,t2083,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t3022,t3022,t3022,t3018,t3018,t3018,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2810,t2810,t2810,t2806,t2806,t2806,t2798,t2798,t2798,t2798,t2798,t2798,t2798,t2790,t2790,t2790,t2790,t2790,t2790,t2790,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2552,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2840,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2974,t2974,t2974,t2970,t2970,t2970,t2962,t2962,t2962,t2962,t2962,t2962,t2962,t2954,t2954,t2954,t2954,t2954,t2954,t2954,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2533,t2534,t2533,t2534,t2533,t2534,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 114 events :t3008,t3007,t1947,t1947,t1947,t1947,t1947,t1947,t1947,t1939,t1939,t1939,t1939,t1939,t1939,t1939,t1931,t1931,t1931,t1931,t1931,t1931,t1931,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1915,t1915,t1915,t1915,t1915,t1915,t1915,t1907,t1907,t1907,t1907,t1907,t1907,t1907,t1899,t1899,t1899,t1899,t1899,t1899,t1899,t1891,t1891,t1891,t1891,t1891,t1891,t1891,t1883,t1883,t1883,t1883,t1883,t1883,t1883,t1875,t1875,t1875,t1875,t1875,t1875,t1875,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1859,t1859,t1859,t1859,t1859,t1859,t1859,t1851,t1851,t1851,t1851,t1851,t1851,t1851,t1843,t1843,t1843,t1843,t1843,t1843,t1843,t1835,t1835,t1835,t1835,t1835,t1835,t1835,t1827,t1827,t1827,t1827,t1827,t1827,t1827,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2745,t2744,t2745,t2744,t2745,t2744,t2745,t2744,t2745,t2744,t2745,t2744,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 254 events :t2651,t2650,t2652,t2651,t2650,t2652,t2651,t2650,t2652,t2651,t2650,t2652,t2651,t2650,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,t2292,t2291,t2290,t2289,t2288,t2287,t2286,t2285,t2284,t2283,t2282,t2281,t2280,t2279,t2278,t2277,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t72,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2858,t2858,t2858,t2854,t2854,t2854,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2763,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t1560,t1560,t1557,t1557,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2663,t2662,t2663,t2662,t2663,t2662,t2663,t2662,t2663,t2662,t2663,t2662,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 247 events :t2538,t2537,t2601,t2538,t2537,t2601,t2538,t2537,t2601,t2538,t2537,t2538,t2537,t2539,t2539,t2538,t2537,t2539,t2538,t2537,t2539,t2538,t2537,t2525,t2525,t2525,t2525,t2525,t2525,t2525,t2517,t2517,t2517,t2517,t2517,t2517,t2517,t2509,t2509,t2509,t2509,t2509,t2509,t2509,t2501,t2501,t2501,t2501,t2501,t2501,t2501,t2493,t2493,t2493,t2493,t2493,t2493,t2493,t2485,t2485,t2485,t2485,t2485,t2485,t2485,t2477,t2477,t2477,t2477,t2477,t2477,t2477,t2469,t2469,t2469,t2469,t2469,t2469,t2469,t2461,t2461,t2461,t2461,t2461,t2461,t2461,t2453,t2453,t2453,t2453,t2453,t2453,t2453,t2445,t2445,t2445,t2445,t2445,t2445,t2445,t2437,t2437,t2437,t2437,t2437,t2437,t2437,t2429,t2429,t2429,t2429,t2429,t2429,t2429,t2421,t2421,t2421,t2421,t2421,t2421,t2421,t2413,t2413,t2413,t2413,t2413,t2413,t2413,t2405,t2405,t2405,t2405,t2405,t2405,t2405,t2397,t2397,t2397,t2397,t2397,t2397,t2397,t2389,t2389,t2389,t2389,t2389,t2389,t2389,t2381,t2381,t2381,t2381,t2381,t2381,t2381,t2373,t2373,t2373,t2373,t2373,t2373,t2373,t2365,t2365,t2365,t2365,t2365,t2365,t2365,t2357,t2357,t2357,t2357,t2357,t2357,t2357,t2349,t2349,t2349,t2349,t2349,t2349,t2349,t2341,t2341,t2341,t2341,t2341,t2341,t2341,t2333,t2333,t2333,t2333,t2333,t2333,t2333,t2325,t2325,t2325,t2325,t2325,t2325,t2325,t2317,t2317,t2317,t2317,t2317,t2317,t2317,t2309,t2309,t2309,t2309,t2309,t2309,t2309,t2301,t2301,t2301,t2301,t2301,t2301,t2301,t2293,t2293,t2293,t2293,t2293,t2293,t2293,t2285,t2285,t2285,t2285,t2285,t2285,t2285,t2277,t2277,t2277,t2277,t2277,t2277,t2277,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2905,t2902,t2899,t2896,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t3009,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 126 events :t2733,t2732,t2734,t2733,t2732,t2734,t2733,t2732,t2734,t2733,t2732,t2734,t2733,t2732,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,t1578,t1577,t1576,t1575,t1574,t1573,t1572,t1571,t1570,t1569,t1568,t1567,t1566,t1565,t1564,t1563,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t3030,t3029,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2681,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t1694,t1694,t1691,t1691,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2845,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t2611,t2608,t2605,t2602,t72,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2676,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2940,t2940,t2940,t2936,t2936,t2936,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2537,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 74 events :t2567,t2566,t2562,t2563,t2567,t2566,t2562,t2563,t2560,t2561,t2562,t2563,t2560,t2561,t2562,t2563,t2563,t2562,t2561,t2560,t2563,t2562,t2561,t2560,t2567,t2566,t2562,t2563,t2560,t2561,t2562,t2563,t2563,t2562,t2561,t2560,t2562,t2563,t2274,t2274,t2271,t2271,t2268,t2268,t2265,t2265,t2262,t2262,t2259,t2259,t2256,t2256,t2253,t2253,t2250,t2250,t2247,t2247,t2244,t2244,t2241,t2241,t2238,t2238,t2235,t2235,t2232,t2232,t2229,t2229,t2226,t2226,t2223,t2223,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2220,t2220,t2217,t2217,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 114 events :t2680,t2679,t1683,t1683,t1683,t1683,t1683,t1683,t1683,t1675,t1675,t1675,t1675,t1675,t1675,t1675,t1667,t1667,t1667,t1667,t1667,t1667,t1667,t1659,t1659,t1659,t1659,t1659,t1659,t1659,t1651,t1651,t1651,t1651,t1651,t1651,t1651,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1635,t1635,t1635,t1635,t1635,t1635,t1635,t1627,t1627,t1627,t1627,t1627,t1627,t1627,t1619,t1619,t1619,t1619,t1619,t1619,t1619,t1611,t1611,t1611,t1611,t1611,t1611,t1611,t1603,t1603,t1603,t1603,t1603,t1603,t1603,t1595,t1595,t1595,t1595,t1595,t1595,t1595,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1579,t1579,t1579,t1579,t1579,t1579,t1579,t1571,t1571,t1571,t1571,t1571,t1571,t1571,t1563,t1563,t1563,t1563,t1563,t1563,t1563,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2542,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2827,t2826,t2827,t2826,t2827,t2826,t2827,t2826,t2827,t2826,t2827,t2826,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2556,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2741,t2738,t2735,t2732,
Mar 24, 2019 11:49:06 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2547,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 114 events :t2926,t2925,t2075,t2075,t2075,t2075,t2075,t2075,t2075,t2067,t2067,t2067,t2067,t2067,t2067,t2067,t2059,t2059,t2059,t2059,t2059,t2059,t2059,t2051,t2051,t2051,t2051,t2051,t2051,t2051,t2043,t2043,t2043,t2043,t2043,t2043,t2043,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2027,t2027,t2027,t2027,t2027,t2027,t2027,t2019,t2019,t2019,t2019,t2019,t2019,t2019,t2011,t2011,t2011,t2011,t2011,t2011,t2011,t2003,t2003,t2003,t2003,t2003,t2003,t2003,t1995,t1995,t1995,t1995,t1995,t1995,t1995,t1987,t1987,t1987,t1987,t1987,t1987,t1987,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1971,t1971,t1971,t1971,t1971,t1971,t1971,t1963,t1963,t1963,t1963,t1963,t1963,t1963,t1955,t1955,t1955,t1955,t1955,t1955,t1955,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2909,t2908,t2909,t2908,t2909,t2908,t2909,t2908,t2909,t2908,t2909,t2908,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2987,t2984,t2981,t2978,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2927,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 126 events :t2979,t2978,t2980,t2979,t2978,t2980,t2979,t2978,t2980,t2979,t2978,t2980,t2979,t2978,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,t1970,t1969,t1968,t1967,t1966,t1965,t1964,t1963,t1962,t1961,t1960,t1959,t1958,t1957,t1956,t1955,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2758,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2892,t2892,t2892,t2888,t2888,t2888,t2880,t2880,t2880,t2880,t2880,t2880,t2880,t2872,t2872,t2872,t2872,t2872,t2872,t2872,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2659,t2656,t2653,t2650,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t3004,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 114 events :t2762,t2761,t2209,t2209,t2209,t2209,t2209,t2209,t2209,t2201,t2201,t2201,t2201,t2201,t2201,t2201,t2193,t2193,t2193,t2193,t2193,t2193,t2193,t2185,t2185,t2185,t2185,t2185,t2185,t2185,t2177,t2177,t2177,t2177,t2177,t2177,t2177,t2169,t2169,t2169,t2169,t2169,t2169,t2169,t2161,t2161,t2161,t2161,t2161,t2161,t2161,t2153,t2153,t2153,t2153,t2153,t2153,t2153,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2137,t2137,t2137,t2137,t2137,t2137,t2137,t2129,t2129,t2129,t2129,t2129,t2129,t2129,t2121,t2121,t2121,t2121,t2121,t2121,t2121,t2113,t2113,t2113,t2113,t2113,t2113,t2113,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2097,t2097,t2097,t2097,t2097,t2097,t2097,t2089,t2089,t2089,t2089,t2089,t2089,t2089,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2694,t2694,t2694,t2690,t2690,t2690,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 126 events :t2897,t2896,t2898,t2897,t2896,t2898,t2897,t2896,t2898,t2897,t2896,t2898,t2897,t2896,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,t1712,t1711,t1710,t1709,t1708,t1707,t1706,t1705,t1704,t1703,t1702,t1701,t1700,t1699,t1698,t1697,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2922,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 116 events :t3031,t3028,t3031,t3028,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,t1842,t1841,t1840,t1839,t1838,t1837,t1836,t1835,t1834,t1833,t1832,t1831,t1830,t1829,t1828,t1827,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2728,t2728,t2728,t2724,t2724,t2724,t2716,t2716,t2716,t2716,t2716,t2716,t2716,t2708,t2708,t2708,t2708,t2708,t2708,t2708,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 114 events :t2844,t2843,t1817,t1817,t1817,t1817,t1817,t1817,t1817,t1809,t1809,t1809,t1809,t1809,t1809,t1809,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1777,t1777,t1777,t1777,t1777,t1777,t1777,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1761,t1761,t1761,t1761,t1761,t1761,t1761,t1753,t1753,t1753,t1753,t1753,t1753,t1753,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1737,t1737,t1737,t1737,t1737,t1737,t1737,t1729,t1729,t1729,t1729,t1729,t1729,t1729,t1721,t1721,t1721,t1721,t1721,t1721,t1721,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1697,t1697,t1697,t1697,t1697,t1697,t1697,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 68 events :t2646,t2646,t2646,t2642,t2642,t2642,t2634,t2634,t2634,t2634,t2634,t2634,t2634,t2626,t2626,t2626,t2626,t2626,t2626,t2626,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,t2228,t2227,t2226,t2225,t2224,t2223,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2823,t2820,t2817,t2814,
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 2069 redundant transitions.
Mar 24, 2019 11:49:07 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1783 ms
Mar 24, 2019 11:49:08 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 133 ms
Mar 24, 2019 11:49:08 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 3 ms
Mar 24, 2019 11:49:10 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 3040 transitions.
Mar 24, 2019 11:49:10 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (3040) to apply POR reductions. Disabling POR matrices.
Mar 24, 2019 11:49:11 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 2215ms conformant to PINS in folder :/home/mcc/execution
ITS-tools command line returned an error code 134
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="ASLink-PT-05b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-3957"
echo " Executing tool itstools"
echo " Input is ASLink-PT-05b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r008-smll-155225014100097"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05b.tgz
mv ASLink-PT-05b execution
cd execution
if [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "UpperBounds" ] ; 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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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
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 ;