About the Execution of 2020-gold for FamilyReunion-COL-L00020M0002C001P001G001
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16252.684 | 3600000.00 | 2930739.00 | 372998.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r093-tall-162048900400107.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is FamilyReunion-COL-L00020M0002C001P001G001, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-162048900400107
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 10:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Mar 22 18:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 22 18:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 24 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 135K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-00
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-01
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-02
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-03
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-04
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-05
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-06
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-07
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-08
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-09
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-10
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-11
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-12
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-13
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-14
FORMULA_NAME FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1620735935946
[2021-05-11 12:25:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-11 12:25:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 12:25:37] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-11 12:25:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 666 ms
[2021-05-11 12:25:38] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,
[2021-05-11 12:25:38] [INFO ] Detected 5 constant HL places corresponding to 11 PT places.
[2021-05-11 12:25:38] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 3292 PT places and 2774.0 transition bindings in 37 ms.
[2021-05-11 12:25:38] [INFO ] Computed order based on color domains.
[2021-05-11 12:25:38] [INFO ] Unfolded HLPN to a Petri net with 3292 places and 2753 transitions in 41 ms.
[2021-05-11 12:25:38] [INFO ] Unfolded HLPN properties in 0 ms.
Deduced a syphon composed of 21 places in 23 ms
Reduce places removed 32 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 92 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 3 ms. (steps per millisecond=0 )
[2021-05-11 12:25:38] [INFO ] Flatten gal took : 230 ms
[2021-05-11 12:25:38] [INFO ] Applying decomposition
[2021-05-11 12:25:38] [INFO ] Flatten gal took : 176 ms
[2021-05-11 12:25:38] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 39 ms
[2021-05-11 12:25:38] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-00 with value :g1_0+g1_1+g1_2+g1_3+g1_4+g1_5+g1_6+g1_7+g1_8+g1_9+g1_10+g1_11+g1_12+g1_13+g1_14+g1_15+g1_16+g1_17+g1_18+g1_19+g1_20+g1_21+g1_22+g1_23+g1_24+g1_25+g1_26+g1_27+g1_28+g1_29+g1_30+g1_31+g1_32+g1_33+g1_34+g1_35+g1_36+g1_37+g1_38+g1_39+g1_40+g1_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-01 with value :l34_0+l34_1+l34_2+l34_3+l34_4+l34_5+l34_6+l34_7+l34_8+l34_9+l34_10+l34_11+l34_12+l34_13+l34_14+l34_15+l34_16+l34_17+l34_18+l34_19+l34_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-02 with value :l1_0+l1_1+l1_2+l1_3+l1_4+l1_5+l1_6+l1_7+l1_8+l1_9+l1_10+l1_11+l1_12+l1_13+l1_14+l1_15+l1_16+l1_17+l1_18+l1_19+l1_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-03 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-04 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-05 with value :lm4_0+lm4_1+lm4_2+lm4_3+lm4_4+lm4_5+lm4_6+lm4_7+lm4_8+lm4_9+lm4_10+lm4_11+lm4_12+lm4_13+lm4_14+lm4_15+lm4_16+lm4_17+lm4_18+lm4_19+lm4_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-06 with value :m2_0+m2_1+m2_2+m2_3+m2_4+m2_5+m2_6+m2_7+m2_8+m2_9+m2_10+m2_11+m2_12+m2_13+m2_14+m2_15+m2_16+m2_17+m2_18+m2_19+m2_20+m2_21+m2_22+m2_23+m2_24+m2_25+m2_26+m2_27+m2_28+m2_29+m2_30+m2_31+m2_32+m2_33+m2_34+m2_35+m2_36+m2_37+m2_38+m2_39+m2_40+m2_41+m2_42+m2_43+m2_44+m2_45+m2_46+m2_47+m2_48+m2_49+m2_50+m2_51+m2_52+m2_53+m2_54+m2_55+m2_56+m2_57+m2_58+m2_59+m2_60+m2_61+m2_62
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-07 with value :m9_0+m9_1+m9_2+m9_3+m9_4+m9_5+m9_6+m9_7+m9_8+m9_9+m9_10+m9_11+m9_12+m9_13+m9_14+m9_15+m9_16+m9_17+m9_18+m9_19+m9_20+m9_21+m9_22+m9_23+m9_24+m9_25+m9_26+m9_27+m9_28+m9_29+m9_30+m9_31+m9_32+m9_33+m9_34+m9_35+m9_36+m9_37+m9_38+m9_39+m9_40+m9_41+m9_42+m9_43+m9_44+m9_45+m9_46+m9_47+m9_48+m9_49+m9_50+m9_51+m9_52+m9_53+m9_54+m9_55+m9_56+m9_57+m9_58+m9_59+m9_60+m9_61+m9_62
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-08 with value :c4_0+c4_1
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-09 with value :p2_0+p2_1+p2_2+p2_3+p2_4+p2_5+p2_6+p2_7+p2_8+p2_9+p2_10+p2_11+p2_12+p2_13+p2_14+p2_15+p2_16+p2_17+p2_18+p2_19+p2_20+p2_21+p2_22+p2_23+p2_24+p2_25+p2_26+p2_27+p2_28+p2_29+p2_30+p2_31+p2_32+p2_33+p2_34+p2_35+p2_36+p2_37+p2_38+p2_39+p2_40+p2_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-10 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-11 with value :p4_0+p4_1+p4_2+p4_3+p4_4+p4_5+p4_6+p4_7+p4_8+p4_9+p4_10+p4_11+p4_12+p4_13+p4_14+p4_15+p4_16+p4_17+p4_18+p4_19+p4_20+p4_21+p4_22+p4_23+p4_24+p4_25+p4_26+p4_27+p4_28+p4_29+p4_30+p4_31+p4_32+p4_33+p4_34+p4_35+p4_36+p4_37+p4_38+p4_39+p4_40+p4_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-12 with value :l9_0+l9_1+l9_2+l9_3+l9_4+l9_5+l9_6+l9_7+l9_8+l9_9+l9_10+l9_11+l9_12+l9_13+l9_14+l9_15+l9_16+l9_17+l9_18+l9_19+l9_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-13 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-14 with value :l26_0+l26_1+l26_2+l26_3+l26_4+l26_5+l26_6+l26_7+l26_8+l26_9+l26_10+l26_11+l26_12+l26_13+l26_14+l26_15+l26_16+l26_17+l26_18+l26_19+l26_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-15 with value :m7_0+m7_1+m7_2+m7_3+m7_4+m7_5+m7_6+m7_7+m7_8+m7_9+m7_10+m7_11+m7_12+m7_13+m7_14+m7_15+m7_16+m7_17+m7_18+m7_19+m7_20+m7_21+m7_22+m7_23+m7_24+m7_25+m7_26+m7_27+m7_28+m7_29+m7_30+m7_31+m7_32+m7_33+m7_34+m7_35+m7_36+m7_37+m7_38+m7_39+m7_40+m7_41+m7_42+m7_43+m7_44+m7_45+m7_46+m7_47+m7_48+m7_49+m7_50+m7_51+m7_52+m7_53+m7_54+m7_55+m7_56+m7_57+m7_58+m7_59+m7_60+m7_61+m7_62
Detected timeout of ITS tools.
[2021-05-11 12:45:42] [INFO ] Applying decomposition
[2021-05-11 12:45:42] [INFO ] Flatten gal took : 345 ms
[2021-05-11 12:45:42] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 30 ms
[2021-05-11 12:45:42] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-00 with value :g1_0+g1_1+g1_2+g1_3+g1_4+g1_5+g1_6+g1_7+g1_8+g1_9+g1_10+g1_11+g1_12+g1_13+g1_14+g1_15+g1_16+g1_17+g1_18+g1_19+g1_20+g1_21+g1_22+g1_23+g1_24+g1_25+g1_26+g1_27+g1_28+g1_29+g1_30+g1_31+g1_32+g1_33+g1_34+g1_35+g1_36+g1_37+g1_38+g1_39+g1_40+g1_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-01 with value :l34_0+l34_1+l34_2+l34_3+l34_4+l34_5+l34_6+l34_7+l34_8+l34_9+l34_10+l34_11+l34_12+l34_13+l34_14+l34_15+l34_16+l34_17+l34_18+l34_19+l34_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-02 with value :l1_0+l1_1+l1_2+l1_3+l1_4+l1_5+l1_6+l1_7+l1_8+l1_9+l1_10+l1_11+l1_12+l1_13+l1_14+l1_15+l1_16+l1_17+l1_18+l1_19+l1_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-03 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-04 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-05 with value :lm4_0+lm4_1+lm4_2+lm4_3+lm4_4+lm4_5+lm4_6+lm4_7+lm4_8+lm4_9+lm4_10+lm4_11+lm4_12+lm4_13+lm4_14+lm4_15+lm4_16+lm4_17+lm4_18+lm4_19+lm4_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-06 with value :m2_0+m2_1+m2_2+m2_3+m2_4+m2_5+m2_6+m2_7+m2_8+m2_9+m2_10+m2_11+m2_12+m2_13+m2_14+m2_15+m2_16+m2_17+m2_18+m2_19+m2_20+m2_21+m2_22+m2_23+m2_24+m2_25+m2_26+m2_27+m2_28+m2_29+m2_30+m2_31+m2_32+m2_33+m2_34+m2_35+m2_36+m2_37+m2_38+m2_39+m2_40+m2_41+m2_42+m2_43+m2_44+m2_45+m2_46+m2_47+m2_48+m2_49+m2_50+m2_51+m2_52+m2_53+m2_54+m2_55+m2_56+m2_57+m2_58+m2_59+m2_60+m2_61+m2_62
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-07 with value :m9_0+m9_1+m9_2+m9_3+m9_4+m9_5+m9_6+m9_7+m9_8+m9_9+m9_10+m9_11+m9_12+m9_13+m9_14+m9_15+m9_16+m9_17+m9_18+m9_19+m9_20+m9_21+m9_22+m9_23+m9_24+m9_25+m9_26+m9_27+m9_28+m9_29+m9_30+m9_31+m9_32+m9_33+m9_34+m9_35+m9_36+m9_37+m9_38+m9_39+m9_40+m9_41+m9_42+m9_43+m9_44+m9_45+m9_46+m9_47+m9_48+m9_49+m9_50+m9_51+m9_52+m9_53+m9_54+m9_55+m9_56+m9_57+m9_58+m9_59+m9_60+m9_61+m9_62
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-08 with value :c4_0+c4_1
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-09 with value :p2_0+p2_1+p2_2+p2_3+p2_4+p2_5+p2_6+p2_7+p2_8+p2_9+p2_10+p2_11+p2_12+p2_13+p2_14+p2_15+p2_16+p2_17+p2_18+p2_19+p2_20+p2_21+p2_22+p2_23+p2_24+p2_25+p2_26+p2_27+p2_28+p2_29+p2_30+p2_31+p2_32+p2_33+p2_34+p2_35+p2_36+p2_37+p2_38+p2_39+p2_40+p2_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-10 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-11 with value :p4_0+p4_1+p4_2+p4_3+p4_4+p4_5+p4_6+p4_7+p4_8+p4_9+p4_10+p4_11+p4_12+p4_13+p4_14+p4_15+p4_16+p4_17+p4_18+p4_19+p4_20+p4_21+p4_22+p4_23+p4_24+p4_25+p4_26+p4_27+p4_28+p4_29+p4_30+p4_31+p4_32+p4_33+p4_34+p4_35+p4_36+p4_37+p4_38+p4_39+p4_40+p4_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-12 with value :l9_0+l9_1+l9_2+l9_3+l9_4+l9_5+l9_6+l9_7+l9_8+l9_9+l9_10+l9_11+l9_12+l9_13+l9_14+l9_15+l9_16+l9_17+l9_18+l9_19+l9_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-13 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-14 with value :l26_0+l26_1+l26_2+l26_3+l26_4+l26_5+l26_6+l26_7+l26_8+l26_9+l26_10+l26_11+l26_12+l26_13+l26_14+l26_15+l26_16+l26_17+l26_18+l26_19+l26_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-15 with value :m7_0+m7_1+m7_2+m7_3+m7_4+m7_5+m7_6+m7_7+m7_8+m7_9+m7_10+m7_11+m7_12+m7_13+m7_14+m7_15+m7_16+m7_17+m7_18+m7_19+m7_20+m7_21+m7_22+m7_23+m7_24+m7_25+m7_26+m7_27+m7_28+m7_29+m7_30+m7_31+m7_32+m7_33+m7_34+m7_35+m7_36+m7_37+m7_38+m7_39+m7_40+m7_41+m7_42+m7_43+m7_44+m7_45+m7_46+m7_47+m7_48+m7_49+m7_50+m7_51+m7_52+m7_53+m7_54+m7_55+m7_56+m7_57+m7_58+m7_59+m7_60+m7_61+m7_62
Detected timeout of ITS tools.
[2021-05-11 13:05:46] [INFO ] Flatten gal took : 337 ms
[2021-05-11 13:05:46] [INFO ] Input system was already deterministic with 2753 transitions.
[2021-05-11 13:05:46] [INFO ] Transformed 3260 places.
[2021-05-11 13:05:46] [INFO ] Transformed 2753 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-11 13:06:17] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 14 ms
[2021-05-11 13:06:17] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-00 with value :g1_0+g1_1+g1_2+g1_3+g1_4+g1_5+g1_6+g1_7+g1_8+g1_9+g1_10+g1_11+g1_12+g1_13+g1_14+g1_15+g1_16+g1_17+g1_18+g1_19+g1_20+g1_21+g1_22+g1_23+g1_24+g1_25+g1_26+g1_27+g1_28+g1_29+g1_30+g1_31+g1_32+g1_33+g1_34+g1_35+g1_36+g1_37+g1_38+g1_39+g1_40+g1_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-01 with value :l34_0+l34_1+l34_2+l34_3+l34_4+l34_5+l34_6+l34_7+l34_8+l34_9+l34_10+l34_11+l34_12+l34_13+l34_14+l34_15+l34_16+l34_17+l34_18+l34_19+l34_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-02 with value :l1_0+l1_1+l1_2+l1_3+l1_4+l1_5+l1_6+l1_7+l1_8+l1_9+l1_10+l1_11+l1_12+l1_13+l1_14+l1_15+l1_16+l1_17+l1_18+l1_19+l1_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-03 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-04 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-05 with value :lm4_0+lm4_1+lm4_2+lm4_3+lm4_4+lm4_5+lm4_6+lm4_7+lm4_8+lm4_9+lm4_10+lm4_11+lm4_12+lm4_13+lm4_14+lm4_15+lm4_16+lm4_17+lm4_18+lm4_19+lm4_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-06 with value :m2_0+m2_1+m2_2+m2_3+m2_4+m2_5+m2_6+m2_7+m2_8+m2_9+m2_10+m2_11+m2_12+m2_13+m2_14+m2_15+m2_16+m2_17+m2_18+m2_19+m2_20+m2_21+m2_22+m2_23+m2_24+m2_25+m2_26+m2_27+m2_28+m2_29+m2_30+m2_31+m2_32+m2_33+m2_34+m2_35+m2_36+m2_37+m2_38+m2_39+m2_40+m2_41+m2_42+m2_43+m2_44+m2_45+m2_46+m2_47+m2_48+m2_49+m2_50+m2_51+m2_52+m2_53+m2_54+m2_55+m2_56+m2_57+m2_58+m2_59+m2_60+m2_61+m2_62
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-07 with value :m9_0+m9_1+m9_2+m9_3+m9_4+m9_5+m9_6+m9_7+m9_8+m9_9+m9_10+m9_11+m9_12+m9_13+m9_14+m9_15+m9_16+m9_17+m9_18+m9_19+m9_20+m9_21+m9_22+m9_23+m9_24+m9_25+m9_26+m9_27+m9_28+m9_29+m9_30+m9_31+m9_32+m9_33+m9_34+m9_35+m9_36+m9_37+m9_38+m9_39+m9_40+m9_41+m9_42+m9_43+m9_44+m9_45+m9_46+m9_47+m9_48+m9_49+m9_50+m9_51+m9_52+m9_53+m9_54+m9_55+m9_56+m9_57+m9_58+m9_59+m9_60+m9_61+m9_62
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-08 with value :c4_0+c4_1
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-09 with value :p2_0+p2_1+p2_2+p2_3+p2_4+p2_5+p2_6+p2_7+p2_8+p2_9+p2_10+p2_11+p2_12+p2_13+p2_14+p2_15+p2_16+p2_17+p2_18+p2_19+p2_20+p2_21+p2_22+p2_23+p2_24+p2_25+p2_26+p2_27+p2_28+p2_29+p2_30+p2_31+p2_32+p2_33+p2_34+p2_35+p2_36+p2_37+p2_38+p2_39+p2_40+p2_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-10 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-11 with value :p4_0+p4_1+p4_2+p4_3+p4_4+p4_5+p4_6+p4_7+p4_8+p4_9+p4_10+p4_11+p4_12+p4_13+p4_14+p4_15+p4_16+p4_17+p4_18+p4_19+p4_20+p4_21+p4_22+p4_23+p4_24+p4_25+p4_26+p4_27+p4_28+p4_29+p4_30+p4_31+p4_32+p4_33+p4_34+p4_35+p4_36+p4_37+p4_38+p4_39+p4_40+p4_41
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-12 with value :l9_0+l9_1+l9_2+l9_3+l9_4+l9_5+l9_6+l9_7+l9_8+l9_9+l9_10+l9_11+l9_12+l9_13+l9_14+l9_15+l9_16+l9_17+l9_18+l9_19+l9_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-13 with value :
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-14 with value :l26_0+l26_1+l26_2+l26_3+l26_4+l26_5+l26_6+l26_7+l26_8+l26_9+l26_10+l26_11+l26_12+l26_13+l26_14+l26_15+l26_16+l26_17+l26_18+l26_19+l26_20
Read [bounds] property : FamilyReunion-COL-L00020M0002C001P001G001-UpperBounds-15 with value :m7_0+m7_1+m7_2+m7_3+m7_4+m7_5+m7_6+m7_7+m7_8+m7_9+m7_10+m7_11+m7_12+m7_13+m7_14+m7_15+m7_16+m7_17+m7_18+m7_19+m7_20+m7_21+m7_22+m7_23+m7_24+m7_25+m7_26+m7_27+m7_28+m7_29+m7_30+m7_31+m7_32+m7_33+m7_34+m7_35+m7_36+m7_37+m7_38+m7_39+m7_40+m7_41+m7_42+m7_43+m7_44+m7_45+m7_46+m7_47+m7_48+m7_49+m7_50+m7_51+m7_52+m7_53+m7_54+m7_55+m7_56+m7_57+m7_58+m7_59+m7_60+m7_61+m7_62
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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ 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 UpperBounds -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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="FamilyReunion-COL-L00020M0002C001P001G001"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is FamilyReunion-COL-L00020M0002C001P001G001, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r093-tall-162048900400107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00020M0002C001P001G001.tgz
mv FamilyReunion-COL-L00020M0002C001P001G001 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;