About the Execution of LoLA for FamilyReunion-COL-L00050M0005C002P002G001
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2063.020 | 44488.00 | 150485.00 | 91.40 | 51 51 ? 51 51 3 51 51 51 51 51 51 2 51 51 2 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r159-smll-171636268000405.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-smll-171636268000405
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 660K
-rw-r--r-- 1 mcc users 6.8K Apr 11 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Apr 11 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Apr 11 20:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 11 20:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 11 21:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Apr 11 21:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 11 21:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Apr 11 21:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 137K May 18 16:42 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-L00050M0005C002P002G001-UpperBounds-00
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717154954099
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 3 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 2 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 2 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 51 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717154998587
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains High-Level net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading HL formula in XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mUpperBounds.xml[0m
[[35mlola[0m][I] Places: 12245, Transitions: 10560
[[35mlola[0m][I] Rule S: 0 transitions removed,51 places removed
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Structural Bound for (p5960 + p5961 + p5962 + p5963 + p5964 + p5965 + p5966 + p5967 + p5968 + p5969 + p5970 + p5971 + p5972 + p5973 + p5974 + p5975 + p5976 + p5977 + p5978 + p5979 + p5980 + p5981 + p5982 + p5983 + p5984 + p5985 + p5986 + p5987 + p5988 + p5989 + p5990 + p5991 + p5992 + p5993 + p5994 + p5995 + p5996 + p5997 + p5998 + p5999 + p6000 + p6001 + p6002 + p6003 + p6004 + p6005 + p6006 + p6007 + p6008 + p6009 + p6010 + p6011 + p6012 + p6013 + p6014 + p6015 + p6016 + p6017 + p6018 + p6019 + p6020 + p6021 + p6022 + p6023 + p6024 + p6025 + p6026 + p6027 + p6028 + p6029 + p6030 + p6031 + p6032 + p6033 + p6034 + p6035 + p6036 + p6037 + p6038 + p6039 + p6040 + p6041 + p6042 + p6043 + p6044 + p6045 + p6046 + p6047 + p6048 + p6049 + p6050 + p6051 + p6052 + p6053 + p6054 + p6055 + p6056 + p6057 + p6058 + p6059 + p6060 + p6061 + p6062 + p6063 + p6064 + p6065 + p6066 + p6067 + p6068 + p6069 + p6070 + p6071 + p6072 + p6073 + p6074 + p6075 + p6076 + p6077 + p6078 + p6079 + p6080 + p6081 + p6082 + p6083 + p6084 + p6085 + p6086 + p6087 + p6088 + p6089 + p6090 + p6091 + p6092 + p6093 + p6094 + p6095 + p6096 + p6097 + p6098 + p6099 + p6100 + p6101 + p6102 + p6103 + p6104 + p6105 + p6106 + p6107 + p6108 + p6109 + p6110 + p6111 + p6112 + p6113 + p6114 + p6115 + p6116 + p6117 + p6118 + p6119 + p6120 + p6121 + p6122 + p6123 + p6124 + p6125 + p6126 + p6127 + p6128 + p6129 + p6130 + p6131 + p6132 + p6133 + p6134 + p6135 + p6136 + p6137 + p6138 + p6139 + p6140 + p6141 + p6142 + p6143 + p6144 + p6145 + p6146 + p6147 + p6148 + p6149 + p6150 + p6151 + p6152 + p6153 + p6154 + p6155 + p6156 + p6157 + p6158 + p6159 + p6160 + p6161 + p6162 + p6163 + p6164 + p6165 + p6166 + p6167 + p6168 + p6169 + p6170 + p6171 + p6172 + p6173 + p6174 + p6175 + p6176 + p6177 + p6178 + p6179 + p6180 + p6181 + p6182 + p6183 + p6184 + p6185 + p6186 + p6187 + p6188 + p6189 + p6190 + p6191 + p6192 + p6193 + p6194 + p6195 + p6196 + p6197 + p6198 + p6199 + p6200 + p6201 + p6202 + p6203 + p6204 + p6205 + p6206 + p6207 + p6208 + p6209 + p6210 + p6211 + p6212 + p6213 + p6214 + p6215 + p6216 + p6217 + p6218 + p6219 + p6220 + p6221 + p6222 + p6223 + p6224 + p6225 + p6226 + p6227 + p6228 + p6229 + p6230 + p6231 + p6232 + p6233 + p6234 + p6235 + p6236 + p6237 + p6238 + p6239 + p6240 + p6241 + p6242 + p6243 + p6244 + p6245 + p6246 + p6247 + p6248 + p6249 + p6250 + p6251 + p6252 + p6253 + p6254 + p6255 + p6256 + p6257 + p6258 + p6259 + p6260 + p6261 + p6262 + p6263 + p6264 + p6265 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 27 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
[[35mlola[0m][I] time limit : 223 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 27 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 27 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
[[35mlola[0m][I] markings : 154
[[35mlola[0m][I] fired transitions : 153
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 51 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Structural Bound for (p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 53 (type EXCL) for 18 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
[[35mlola[0m][I] time limit : 238 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 18 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type EQUN) for 18 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 53 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
[[35mlola[0m][I] markings : 358
[[35mlola[0m][I] fired transitions : 357
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 51 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 (obsolete)
[[35mlola[0m][W] CANCELED task # 52 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 52 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 51 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Structural Bound for (p1442 + p1443 + p1444 + p1445 + p1446 + p1447 + p1448 + p1449 + p1450 + p1451 + p1452 + p1453 + p1454 + p1455 + p1456 + p1457 + p1458 + p1459 + p1460 + p1461 + p1462 + p1463 + p1464 + p1465 + p1466 + p1467 + p1468 + p1469 + p1470 + p1471 + p1472 + p1473 + p1474 + p1475 + p1476 + p1477 + p1478 + p1479 + p1480 + p1481 + p1482 + p1483 + p1484 + p1485 + p1486 + p1487 + p1488 + p1489 + p1490 + p1491 + p1492 + p1493 + p1494 + p1495 + p1496 + p1497 + p1498 + p1499 + p1500 + p1501 + p1502 + p1503 + p1504 + p1505 + p1506 + p1507 + p1508 + p1509 + p1510 + p1511 + p1512 + p1513 + p1514 + p1515 + p1516 + p1517 + p1518 + p1519 + p1520 + p1521 + p1522 + p1523 + p1524 + p1525 + p1526 + p1527 + p1528 + p1529 + p1530 + p1531 + p1532 + p1533 + p1534 + p1535 + p1536 + p1537 + p1538 + p1539 + p1540 + p1541 + p1542 + p1543 + p1544 + p1545 + p1546 + p1547 + p1548 + p1549 + p1550 + p1551 + p1552 + p1553 + p1554 + p1555 + p1556 + p1557 + p1558 + p1559 + p1560 + p1561 + p1562 + p1563 + p1564 + p1565 + p1566 + p1567 + p1568 + p1569 + p1570 + p1571 + p1572 + p1573 + p1574 + p1575 + p1576 + p1577 + p1578 + p1579 + p1580 + p1581 + p1582 + p1583 + p1584 + p1585 + p1586 + p1587 + p1588 + p1589 + p1590 + p1591 + p1592 + p1593 + p1594 + p1595 + p1596 + p1597 + p1598 + p1599 + p1600 + p1601 + p1602 + p1603 + p1604 + p1605 + p1606 + p1607 + p1608 + p1609 + p1610 + p1611 + p1612 + p1613 + p1614 + p1615 + p1616 + p1617 + p1618 + p1619 + p1620 + p1621 + p1622 + p1623 + p1624 + p1625 + p1626 + p1627 + p1628 + p1629 + p1630 + p1631 + p1632 + p1633 + p1634 + p1635 + p1636 + p1637 + p1638 + p1639 + p1640 + p1641 + p1642 + p1643 + p1644 + p1645 + p1646 + p1647 + p1648 + p1649 + p1650 + p1651 + p1652 + p1653 + p1654 + p1655 + p1656 + p1657 + p1658 + p1659 + p1660 + p1661 + p1662 + p1663 + p1664 + p1665 + p1666 + p1667 + p1668 + p1669 + p1670 + p1671 + p1672 + p1673 + p1674 + p1675 + p1676 + p1677 + p1678 + p1679 + p1680 + p1681 + p1682 + p1683 + p1684 + p1685 + p1686 + p1687 + p1688 + p1689 + p1690 + p1691 + p1692 + p1693 + p1694 + p1695 + p1696 + p1697 + p1698 + p1699 + p1700 + p1701 + p1702 + p1703 + p1704 + p1705 + p1706 + p1707 + p1708 + p1709 + p1710 + p1711 + p1712 + p1713 + p1714 + p1715 + p1716 + p1717 + p1718 + p1719 + p1720 + p1721 + p1722 + p1723 + p1724 + p1725 + p1726 + p1727 + p1728 + p1729 + p1730 + p1731 + p1732 + p1733 + p1734 + p1735 + p1736 + p1737 + p1738 + p1739 + p1740 + p1741 + p1742 + p1743 + p1744 + p1745 + p1746 + p1747 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 56 (type EXCL) for 33 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
[[35mlola[0m][I] time limit : 255 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 33 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 33 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 56 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
[[35mlola[0m][I] markings : 307
[[35mlola[0m][I] fired transitions : 306
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 54 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 (obsolete)
[[35mlola[0m][W] CANCELED task # 55 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 (obsolete)
[[35mlola[0m][I] Structural Bound for (p2983 + p2984 + p2985 + p2986 + p2987 + p2988 + p2989 + p2990 + p2991 + p2992 + p2993 + p2994 + p2995 + p2996 + p2997 + p2998 + p2999 + p3000 + p3001 + p3002 + p3003 + p3004 + p3005 + p3006 + p3007 + p3008 + p3009 + p3010 + p3011 + p3012 + p3013 + p3014 + p3015 + p3016 + p3017 + p3018 + p3019 + p3020 + p3021 + p3022 + p3023 + p3024 + p3025 + p3026 + p3027 + p3028 + p3029 + p3030 + p3031 + p3032 + p3033 + p3034 + p3035 + p3036 + p3037 + p3038 + p3039 + p3040 + p3041 + p3042 + p3043 + p3044 + p3045 + p3046 + p3047 + p3048 + p3049 + p3050 + p3051 + p3052 + p3053 + p3054 + p3055 + p3056 + p3057 + p3058 + p3059 + p3060 + p3061 + p3062 + p3063 + p3064 + p3065 + p3066 + p3067 + p3068 + p3069 + p3070 + p3071 + p3072 + p3073 + p3074 + p3075 + p3076 + p3077 + p3078 + p3079 + p3080 + p3081 + p3082 + p3083 + p3084 + p3085 + p3086 + p3087 + p3088 + p3089 + p3090 + p3091 + p3092 + p3093 + p3094 + p3095 + p3096 + p3097 + p3098 + p3099 + p3100 + p3101 + p3102 + p3103 + p3104 + p3105 + p3106 + p3107 + p3108 + p3109 + p3110 + p3111 + p3112 + p3113 + p3114 + p3115 + p3116 + p3117 + p3118 + p3119 + p3120 + p3121 + p3122 + p3123 + p3124 + p3125 + p3126 + p3127 + p3128 + p3129 + p3130 + p3131 + p3132 + p3133 + p3134 + p3135 + p3136 + p3137 + p3138 + p3139 + p3140 + p3141 + p3142 + p3143 + p3144 + p3145 + p3146 + p3147 + p3148 + p3149 + p3150 + p3151 + p3152 + p3153 + p3154 + p3155 + p3156 + p3157 + p3158 + p3159 + p3160 + p3161 + p3162 + p3163 + p3164 + p3165 + p3166 + p3167 + p3168 + p3169 + p3170 + p3171 + p3172 + p3173 + p3174 + p3175 + p3176 + p3177 + p3178 + p3179 + p3180 + p3181 + p3182 + p3183 + p3184 + p3185 + p3186 + p3187 + p3188 + p3189 + p3190 + p3191 + p3192 + p3193 + p3194 + p3195 + p3196 + p3197 + p3198 + p3199 + p3200 + p3201 + p3202 + p3203 + p3204 + p3205 + p3206 + p3207 + p3208 + p3209 + p3210 + p3211 + p3212 + p3213 + p3214 + p3215 + p3216 + p3217 + p3218 + p3219 + p3220 + p3221 + p3222 + p3223 + p3224 + p3225 + p3226 + p3227 + p3228 + p3229 + p3230 + p3231 + p3232 + p3233 + p3234 + p3235 + p3236 + p3237 + p3238 + p3239 + p3240 + p3241 + p3242 + p3243 + p3244 + p3245 + p3246 + p3247 + p3248 + p3249 + p3250 + p3251 + p3252 + p3253 + p3254 + p3255 + p3256 + p3257 + p3258 + p3259 + p3260 + p3261 + p3262 + p3263 + p3264 + p3265 + p3266 + p3267 + p3268 + p3269 + p3270 + p3271 + p3272 + p3273 + p3274 + p3275 + p3276 + p3277 + p3278 + p3279 + p3280 + p3281 + p3282 + p3283 + p3284 + p3285 + p3286 + p3287 + p3288 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 59 (type EXCL) for 0 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
[[35mlola[0m][I] time limit : 274 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 0 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 0 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 59 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
[[35mlola[0m][I] markings : 358
[[35mlola[0m][I] fired transitions : 357
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 (obsolete)
[[35mlola[0m][W] CANCELED task # 58 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 57 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 2
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
[[35mlola[0m][I] time used : 3
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
[[35mlola[0m][I] time used : 3
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 51 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Structural Bound for (p3764 + p3765 + p3766 + p3767 + p3768 + p3769 + p3770 + p3771 + p3772 + p3773 + p3774 + p3775 + p3776 + p3777 + p3778 + p3779 + p3780 + p3781 + p3782 + p3783 + p3784 + p3785 + p3786 + p3787 + p3788 + p3789 + p3790 + p3791 + p3792 + p3793 + p3794 + p3795 + p3796 + p3797 + p3798 + p3799 + p3800 + p3801 + p3802 + p3803 + p3804 + p3805 + p3806 + p3807 + p3808 + p3809 + p3810 + p3811 + p3812 + p3813 + p3814 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 62 (type EXCL) for 9 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
[[35mlola[0m][I] time limit : 297 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 9 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 61 (type EQUN) for 9 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 62 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
[[35mlola[0m][I] markings : 562
[[35mlola[0m][I] fired transitions : 561
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 60 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 (obsolete)
[[35mlola[0m][W] CANCELED task # 61 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 60 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (p11990 + p11991 + p11992 + p11993 + p11994 + p11995 + p11996 + p11997 + p11998 + p11999 + p12000 + p12001 + p12002 + p12003 + p12004 + p12005 + p12006 + p12007 + p12008 + p12009 + p12010 + p12011 + p12012 + p12013 + p12014 + p12015 + p12016 + p12017 + p12018 + p12019 + p12020 + p12021 + p12022 + p12023 + p12024 + p12025 + p12026 + p12027 + p12028 + p12029 + p12030 + p12031 + p12032 + p12033 + p12034 + p12035 + p12036 + p12037 + p12038 + p12039 + p12040 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 65 (type EXCL) for 24 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
[[35mlola[0m][I] time limit : 324 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 24 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 64 (type EQUN) for 24 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 65 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
[[35mlola[0m][I] markings : 868
[[35mlola[0m][I] fired transitions : 867
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 63 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 (obsolete)
[[35mlola[0m][W] CANCELED task # 64 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 63 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] FINISHED task # 61 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
[[35mlola[0m][I] time used : 3
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 51 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Structural Bound for (p3444 + p3445 + p3446 <= 0) is 3
[[35mlola[0m][I] LAUNCH task # 68 (type EXCL) for 15 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
[[35mlola[0m][I] time limit : 356 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 15 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 67 (type EQUN) for 15 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 68 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 66 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 (obsolete)
[[35mlola[0m][W] CANCELED task # 67 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 (obsolete)
[[35mlola[0m][I] Structural Bound for (p5246 + p5247 + p5248 + p5249 + p5250 + p5251 + p5252 + p5253 + p5254 + p5255 + p5256 + p5257 + p5258 + p5259 + p5260 + p5261 + p5262 + p5263 + p5264 + p5265 + p5266 + p5267 + p5268 + p5269 + p5270 + p5271 + p5272 + p5273 + p5274 + p5275 + p5276 + p5277 + p5278 + p5279 + p5280 + p5281 + p5282 + p5283 + p5284 + p5285 + p5286 + p5287 + p5288 + p5289 + p5290 + p5291 + p5292 + p5293 + p5294 + p5295 + p5296 + p5297 + p5298 + p5299 + p5300 + p5301 + p5302 + p5303 + p5304 + p5305 + p5306 + p5307 + p5308 + p5309 + p5310 + p5311 + p5312 + p5313 + p5314 + p5315 + p5316 + p5317 + p5318 + p5319 + p5320 + p5321 + p5322 + p5323 + p5324 + p5325 + p5326 + p5327 + p5328 + p5329 + p5330 + p5331 + p5332 + p5333 + p5334 + p5335 + p5336 + p5337 + p5338 + p5339 + p5340 + p5341 + p5342 + p5343 + p5344 + p5345 + p5346 + p5347 + p5348 + p5349 + p5350 + p5351 + p5352 + p5353 + p5354 + p5355 + p5356 + p5357 + p5358 + p5359 + p5360 + p5361 + p5362 + p5363 + p5364 + p5365 + p5366 + p5367 + p5368 + p5369 + p5370 + p5371 + p5372 + p5373 + p5374 + p5375 + p5376 + p5377 + p5378 + p5379 + p5380 + p5381 + p5382 + p5383 + p5384 + p5385 + p5386 + p5387 + p5388 + p5389 + p5390 + p5391 + p5392 + p5393 + p5394 + p5395 + p5396 + p5397 + p5398 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 71 (type EXCL) for 30 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
[[35mlola[0m][I] time limit : 396 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 30 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 70 (type EQUN) for 30 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 69 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 70 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 (obsolete)
[[35mlola[0m][W] CANCELED task # 71 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 3 (upper 3 threshold 0
[[35mlola[0m][I] FINISHED task # 66 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] Structural Bound for (p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1245 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1283 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p1300 + p1301 + p1302 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p1311 + p1312 + p1313 + p1314 + p1315 + p1316 + p1317 + p1318 + p1319 + p1320 + p1321 + p1322 + p1323 + p1324 + p1325 + p1326 + p1327 + p1328 + p1329 + p1330 + p1331 + p1332 + p1333 + p1334 + p1335 + p1336 + p1337 + p1338 + p1339 + p1340 + p1341 + p1342 + p1343 + p1344 + p1345 + p1346 + p1347 + p1348 + p1349 + p1350 + p1351 + p1352 + p1353 + p1354 + p1355 + p1356 + p1357 + p1358 + p1359 + p1360 + p1361 + p1362 + p1363 + p1364 + p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371 + p1372 + p1373 + p1374 + p1375 + p1376 + p1377 + p1378 + p1379 + p1380 + p1381 + p1382 + p1383 + p1384 + p1385 + p1386 + p1387 + p1388 + p1389 + p1390 + p1391 + p1392 + p1393 + p1394 + p1395 + p1396 + p1397 + p1398 + p1399 + p1400 + p1401 + p1402 + p1403 + p1404 + p1405 + p1406 + p1407 + p1408 + p1409 + p1410 + p1411 + p1412 + p1413 + p1414 + p1415 + p1416 + p1417 + p1418 + p1419 + p1420 + p1421 + p1422 + p1423 + p1424 + p1425 + p1426 + p1427 + p1428 + p1429 + p1430 + p1431 + p1432 + p1433 + p1434 + p1435 + p1436 + p1437 + p1438 + p1439 + p1440 + p1441 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 74 (type EXCL) for 21 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
[[35mlola[0m][I] time limit : 445 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 21 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type EQUN) for 21 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 74 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
[[35mlola[0m][I] markings : 562
[[35mlola[0m][I] fired transitions : 561
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 72 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 (obsolete)
[[35mlola[0m][W] CANCELED task # 73 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 72 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 67 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 2
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p3549 + p3550 + p3551 + p3552 + p3553 + p3554 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 77 (type EXCL) for 3 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
[[35mlola[0m][I] time limit : 508 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 3 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 76 (type EQUN) for 3 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 77 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
[[35mlola[0m][I] markings : 613
[[35mlola[0m][I] fired transitions : 612
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 75 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 (obsolete)
[[35mlola[0m][W] CANCELED task # 76 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 75 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 <= 0) is 2
[[35mlola[0m][I] LAUNCH task # 80 (type EXCL) for 45 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15
[[35mlola[0m][I] time limit : 593 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 78 (type FNDP) for 45 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 79 (type EQUN) for 45 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 2 (upper 2 threshold 0
[[35mlola[0m][I] FINISHED task # 78 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 79 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 (obsolete)
[[35mlola[0m][W] CANCELED task # 80 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 (obsolete)
[[35mlola[0m][I] Structural Bound for (p10253 + p10254 + p10255 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 83 (type EXCL) for 39 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13
[[35mlola[0m][I] time limit : 712 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 39 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 82 (type EQUN) for 39 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05: BOUND 3 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10: BOUND 51 findpath[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11: BOUND 51 state space[0m
[[35mlola[0m][.] [1m[33mFamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15: BOUND 2 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13: BOUND 0 0 3 0 1 0 0 0
[[35mlola[0m][.] FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 81 BOUND FNDP 0/3560 0/5 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 --
[[35mlola[0m][.] 82 BOUND STEQ 0/3560 0/5 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 --
[[35mlola[0m][.] 83 BOUND EXCL 0/712 1/2000 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 150 m, 30 m/sec, 149 t fired, result in [6,51] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 81 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][W] CANCELED task # 82 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 (obsolete)
[[35mlola[0m][W] CANCELED task # 83 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 (obsolete)
[[35mlola[0m][I] Structural Bound for (p3555 + p3556 + p3557 + p3558 + p3559 + p3560 + p3561 + p3562 + p3563 + p3564 + p3565 + p3566 + p3567 + p3568 + p3569 + p3570 + p3571 + p3572 + p3573 + p3574 + p3575 + p3576 + p3577 + p3578 + p3579 + p3580 + p3581 + p3582 + p3583 + p3584 + p3585 + p3586 + p3587 + p3588 + p3589 + p3590 + p3591 + p3592 + p3593 + p3594 + p3595 + p3596 + p3597 + p3598 + p3599 + p3600 + p3601 + p3602 + p3603 + p3604 + p3605 + p3606 + p3607 + p3608 + p3609 + p3610 + p3611 + p3612 + p3613 + p3614 + p3615 + p3616 + p3617 + p3618 + p3619 + p3620 + p3621 + p3622 + p3623 + p3624 + p3625 + p3626 + p3627 + p3628 + p3629 + p3630 + p3631 + p3632 + p3633 + p3634 + p3635 + p3636 + p3637 + p3638 + p3639 + p3640 + p3641 + p3642 + p3643 + p3644 + p3645 + p3646 + p3647 + p3648 + p3649 + p3650 + p3651 + p3652 + p3653 + p3654 + p3655 + p3656 + p3657 + p3658 + p3659 + p3660 + p3661 + p3662 + p3663 + p3664 + p3665 + p3666 + p3667 + p3668 + p3669 + p3670 + p3671 + p3672 + p3673 + p3674 + p3675 + p3676 + p3677 + p3678 + p3679 + p3680 + p3681 + p3682 + p3683 + p3684 + p3685 + p3686 + p3687 + p3688 + p3689 + p3690 + p3691 + p3692 + p3693 + p3694 + p3695 + p3696 + p3697 + p3698 + p3699 + p3700 + p3701 + p3702 + p3703 + p3704 + p3705 + p3706 + p3707 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 86 (type EXCL) for 12 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
[[35mlola[0m][I] time limit : 889 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 84 (type FNDP) for 12 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 85 (type EQUN) for 12 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p3291 + p3292 + p3293 + p3294 + p3295 + p3296 + p3297 + p3298 + p3299 + p3300 + p3301 + p3302 + p3303 + p3304 + p3305 + p3306 + p3307 + p3308 + p3309 + p3310 + p3311 + p3312 + p3313 + p3314 + p3315 + p3316 + p3317 + p3318 + p3319 + p3320 + p3321 + p3322 + p3323 + p3324 + p3325 + p3326 + p3327 + p3328 + p3329 + p3330 + p3331 + p3332 + p3333 + p3334 + p3335 + p3336 + p3337 + p3338 + p3339 + p3340 + p3341 + p3342 + p3343 + p3344 + p3345 + p3346 + p3347 + p3348 + p3349 + p3350 + p3351 + p3352 + p3353 + p3354 + p3355 + p3356 + p3357 + p3358 + p3359 + p3360 + p3361 + p3362 + p3363 + p3364 + p3365 + p3366 + p3367 + p3368 + p3369 + p3370 + p3371 + p3372 + p3373 + p3374 + p3375 + p3376 + p3377 + p3378 + p3379 + p3380 + p3381 + p3382 + p3383 + p3384 + p3385 + p3386 + p3387 + p3388 + p3389 + p3390 + p3391 + p3392 <= 0) is 2
[[35mlola[0m][I] LAUNCH task # 87 (type FNDP) for 36 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 2 (upper 2 threshold 0
[[35mlola[0m][I] FINISHED task # 87 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 64 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
[[35mlola[0m][I] time used : 10
[[35mlola[0m][I] FINISHED task # 86 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
[[35mlola[0m][I] markings : 1174
[[35mlola[0m][I] fired transitions : 1173
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 84 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 (obsolete)
[[35mlola[0m][W] CANCELED task # 85 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
[[35mlola[0m][I] FINISHED task # 84 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] Structural Bound for (p5909 + p5910 + p5911 + p5912 + p5913 + p5914 + p5915 + p5916 + p5917 + p5918 + p5919 + p5920 + p5921 + p5922 + p5923 + p5924 + p5925 + p5926 + p5927 + p5928 + p5929 + p5930 + p5931 + p5932 + p5933 + p5934 + p5935 + p5936 + p5937 + p5938 + p5939 + p5940 + p5941 + p5942 + p5943 + p5944 + p5945 + p5946 + p5947 + p5948 + p5949 + p5950 + p5951 + p5952 + p5953 + p5954 + p5955 + p5956 + p5957 + p5958 + p5959 <= 0) is 51
[[35mlola[0m][I] LAUNCH task # 92 (type EXCL) for 42 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14
[[35mlola[0m][I] time limit : 1778 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 90 (type FNDP) for 42 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 91 (type EQUN) for 42 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 70 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
[[35mlola[0m][I] time used : 7
[[35mlola[0m][I] FINISHED task # 92 (type EXCL) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14
[[35mlola[0m][I] markings : 970
[[35mlola[0m][I] fired transitions : 969
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 90 (type FNDP) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 (obsolete)
[[35mlola[0m][W] CANCELED task # 91 (type EQUN) for FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 51 (upper 51 threshold 0
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 402 Segmentation fault $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
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-L00050M0005C002P002G001"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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-5568"
echo " Executing tool lola"
echo " Input is FamilyReunion-COL-L00050M0005C002P002G001, 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 r159-smll-171636268000405"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 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 ;