About the Execution of ITS-Tools for StigmergyElection-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | F??????????????? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r294-smll-165463872900402.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is StigmergyElection-PT-11b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-smll-165463872900402
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 413M
-rw-r--r-- 1 mcc users 9.8K May 30 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 30 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 30 15:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K May 30 15:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 25 13:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 25 13:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 25 13:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 25 13:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 29 12:20 NewModel
-rw-r--r-- 1 mcc users 12K May 30 15:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K May 30 15:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 30 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K May 30 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 25 13:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 25 13:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 12:20 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 12:20 instance
-rw-r--r-- 1 mcc users 6 May 29 12:20 iscolored
-rw-r--r-- 1 mcc users 413M May 29 12:20 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-00
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-01
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-02
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-03
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-04
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-05
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-06
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-07
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-08
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-09
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-10
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-11
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-12
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-13
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-14
FORMULA_NAME StigmergyElection-PT-11b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1654889861452
Running Version 202205111006
[2022-06-10 19:37:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-10 19:37:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-10 19:38:02] [INFO ] Load time of PNML (sax parser for PT used): 18401 ms
[2022-06-10 19:38:02] [INFO ] Transformed 1515 places.
[2022-06-10 19:38:04] [INFO ] Transformed 357966 transitions.
[2022-06-10 19:38:04] [INFO ] Found NUPN structural information;
[2022-06-10 19:38:04] [INFO ] Parsed PT model containing 1515 places and 357966 transitions in 20420 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 133 ms.
Support contains 80 out of 1515 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1515/1515 places, 357966/357966 transitions.
Discarding 189 places :
Symmetric choice reduction at 0 with 189 rule applications. Total rules 189 place count 1326 transition count 357777
Iterating global reduction 0 with 189 rules applied. Total rules applied 378 place count 1326 transition count 357777
Discarding 100 places :
Symmetric choice reduction at 0 with 100 rule applications. Total rules 478 place count 1226 transition count 357677
Iterating global reduction 0 with 100 rules applied. Total rules applied 578 place count 1226 transition count 357677
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 600 place count 1204 transition count 357655
Iterating global reduction 0 with 22 rules applied. Total rules applied 622 place count 1204 transition count 357655
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 633 place count 1193 transition count 357644
Iterating global reduction 0 with 11 rules applied. Total rules applied 644 place count 1193 transition count 357644
Applied a total of 644 rules in 22831 ms. Remains 1193 /1515 variables (removed 322) and now considering 357644/357966 (removed 322) transitions.
// Phase 1: matrix 357644 rows 1193 cols
[2022-06-10 19:38:50] [INFO ] Computed 12 place invariants in 19212 ms
[2022-06-10 19:38:52] [INFO ] Implicit Places using invariants in 21209 ms returned []
Implicit Place search using SMT only with invariants took 21260 ms to find 0 implicit places.
// Phase 1: matrix 357644 rows 1193 cols
[2022-06-10 19:39:11] [INFO ] Computed 12 place invariants in 18245 ms
[2022-06-10 19:39:41] [INFO ] Performed 28658/357644 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-10 19:40:11] [INFO ] Dead Transitions using invariants and state equation in 78814 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1193/1515 places, 357644/357966 transitions.
Finished structural reductions, in 1 iterations. Remains : 1193/1515 places, 357644/357966 transitions.
Support contains 80 out of 1193 places after structural reductions.
[2022-06-10 19:41:18] [INFO ] Flatten gal took : 58189 ms
[2022-06-10 19:42:14] [INFO ] Flatten gal took : 56625 ms
[2022-06-10 19:43:44] [INFO ] Input system was already deterministic with 357644 transitions.
Incomplete random walk after 10000 steps, including 54 resets, run finished after 3647 ms. (steps per millisecond=2 ) properties (out of 90) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 88) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 88) seen :0
Interrupted probabilistic random walk after 6956 steps, run timeout after 15014 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 6956 steps, saw 5087 distinct states, run finished after 15017 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 88 properties.
// Phase 1: matrix 357644 rows 1193 cols
[2022-06-10 19:44:29] [INFO ] Computed 12 place invariants in 16243 ms
[2022-06-10 19:44:32] [INFO ] [Real]Absence check using 12 positive place invariants in 26 ms returned sat
[2022-06-10 19:44:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-10 19:44:54] [INFO ] After 25024ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 88 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 78 out of 1193 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1193/1193 places, 357644/357644 transitions.
Graph (trivial) has 1111 edges and 1193 vertex of which 187 / 1193 are part of one of the 33 SCC in 57 ms
Free SCC test removed 154 places
Drop transitions removed 209 transitions
Reduce isomorphic transitions removed 209 transitions.
Graph (complete) has 3725 edges and 1039 vertex of which 1028 are kept as prefixes of interest. Removing 11 places using SCC suffix rule.1894 ms
Discarding 11 places :
Also discarding 0 output transitions
Drop transitions removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 638 transitions
Trivial Post-agglo rules discarded 638 transitions
Performed 638 trivial Post agglomeration. Transition count delta: 638
Iterating post reduction 0 with 649 rules applied. Total rules applied 651 place count 1028 transition count 356786
Reduce places removed 638 places and 0 transitions.
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 1 with 660 rules applied. Total rules applied 1311 place count 390 transition count 356764
Reduce places removed 11 places and 0 transitions.
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Iterating post reduction 2 with 42 rules applied. Total rules applied 1353 place count 379 transition count 356733
Reduce places removed 31 places and 0 transitions.
Iterating post reduction 3 with 31 rules applied. Total rules applied 1384 place count 348 transition count 356733
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 51 Pre rules applied. Total rules applied 1384 place count 348 transition count 356682
Deduced a syphon composed of 51 places in 634 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 4 with 102 rules applied. Total rules applied 1486 place count 297 transition count 356682
Performed 12 Post agglomeration using F-continuation condition.
Performed 16 Post agglomeration using F-continuation condition.
Performed 20 Post agglomeration using F-continuation condition.
Performed 24 Post agglomeration using F-continuation condition.
Performed 28 Post agglomeration using F-continuation condition.
Performed 32 Post agglomeration using F-continuation condition.
Performed 36 Post agglomeration using F-continuation condition.
Performed 40 Post agglomeration using F-continuation condition.
Performed 44 Post agglomeration using F-continuation condition.
Performed 48 Post agglomeration using F-continuation condition.
Performed 52 Post agglomeration using F-continuation condition.
Performed 56 Post agglomeration using F-continuation condition.Transition count delta: 56
Deduced a syphon composed of 56 places in 199 ms
Reduce places removed 56 places and 0 transitions.
Iterating global reduction 4 with 112 rules applied. Total rules applied 1598 place count 241 transition count 356626
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 4 with 21 rules applied. Total rules applied 1619 place count 241 transition count 356605
Discarding 22 places :
Symmetric choice reduction at 5 with 22 rule applications. Total rules 1641 place count 219 transition count 356562
Iterating global reduction 5 with 22 rules applied. Total rules applied 1663 place count 219 transition count 356562
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1664 place count 219 transition count 356561
Discarding 10 places :
Symmetric choice reduction at 6 with 10 rule applications. Total rules 1674 place count 209 transition count 356551
Iterating global reduction 6 with 10 rules applied. Total rules applied 1684 place count 209 transition count 356551
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 287 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 6 with 24 rules applied. Total rules applied 1708 place count 197 transition count 356539
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 3 places in 214 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 6 with 6 rules applied. Total rules applied 1714 place count 194 transition count 356547
Free-agglomeration rule applied 37 times.
Iterating global reduction 6 with 37 rules applied. Total rules applied 1751 place count 194 transition count 356510
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 6 with 37 rules applied. Total rules applied 1788 place count 157 transition count 356510
Discarding 11 places :
Symmetric choice reduction at 7 with 11 rule applications. Total rules 1799 place count 146 transition count 356499
Iterating global reduction 7 with 11 rules applied. Total rules applied 1810 place count 146 transition count 356499
Partial Free-agglomeration rule applied 10 times.
Drop transitions removed 10 transitions
Iterating global reduction 7 with 10 rules applied. Total rules applied 1820 place count 146 transition count 356499
Applied a total of 1820 rules in 990109 ms. Remains 146 /1193 variables (removed 1047) and now considering 356499/357644 (removed 1145) transitions.
Finished structural reductions, in 1 iterations. Remains : 146/1193 places, 356499/357644 transitions.
Successfully simplified 4 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA StigmergyElection-PT-11b-CTLFireability-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-06-10 20:02:35] [INFO ] Flatten gal took : 63590 ms
[2022-06-10 20:03:35] [INFO ] Flatten gal took : 60293 ms
[2022-06-10 20:05:11] [INFO ] Input system was already deterministic with 357644 transitions.
Computed a total of 165 stabilizing places and 176 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1193/1193 places, 357644/357644 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1192 transition count 357643
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1192 transition count 357643
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 1191 transition count 357642
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 1191 transition count 357642
Applied a total of 4 rules in 15057 ms. Remains 1191 /1193 variables (removed 2) and now considering 357642/357644 (removed 2) transitions.
// Phase 1: matrix 357642 rows 1191 cols
[2022-06-10 20:05:55] [INFO ] Computed 12 place invariants in 18209 ms
[2022-06-10 20:06:14] [INFO ] Implicit Places using invariants in 36911 ms returned []
Implicit Place search using SMT only with invariants took 36917 ms to find 0 implicit places.
// Phase 1: matrix 357642 rows 1191 cols
[2022-06-10 20:06:36] [INFO ] Computed 12 place invariants in 21500 ms
[2022-06-10 20:07:06] [INFO ] Performed 32473/357642 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-10 20:07:36] [INFO ] Dead Transitions using invariants and state equation in 82048 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1191/1193 places, 357642/357644 transitions.
Finished structural reductions, in 1 iterations. Remains : 1191/1193 places, 357642/357644 transitions.
[2022-06-10 20:08:44] [INFO ] Flatten gal took : 61431 ms
[2022-06-10 20:09:42] [INFO ] Flatten gal took : 58826 ms
[2022-06-10 20:11:12] [INFO ] Input system was already deterministic with 357642 transitions.
[2022-06-10 20:12:28] [INFO ] Flatten gal took : 62962 ms
[2022-06-10 20:13:28] [INFO ] Flatten gal took : 60337 ms
[2022-06-10 20:13:37] [INFO ] Time to serialize gal into /tmp/CTLFireability14920324319586895006.gal : 8978 ms
[2022-06-10 20:13:37] [INFO ] Time to serialize properties into /tmp/CTLFireability16190634238980326405.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14920324319586895006.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16190634238980326405.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
Detected timeout of ITS tools.
[2022-06-10 20:15:31] [INFO ] Flatten gal took : 67126 ms
[2022-06-10 20:15:31] [INFO ] Applying decomposition
[2022-06-10 20:16:33] [INFO ] Flatten gal took : 62562 ms
[2022-06-10 20:19:43] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8868058448703689253.txt' '-o' '/tmp/graph8868058448703689253.bin' '-w' '/tmp/graph8868058448703689253.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:213)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:264)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:654)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 20:20:49] [INFO ] Flatten gal took : 65668 ms
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.systemToFile(SerializationUtil.java:98)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputGalFile(ITSRunner.java:406)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:82)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 20:20:56] [INFO ] Time to serialize gal into /tmp/CTLFireability17051397418837714132.gal : 7208 ms
ITS runner failed with exception No space left on device
java.io.IOException: No space left on device
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:341)
at fr.lip6.move.serialization.SerializationUtil.serializePropertiesForITSCTLTools(SerializationUtil.java:183)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputPropertyFile(ITSRunner.java:340)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:84)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Starting structural reductions in LTL mode, iteration 0 : 1193/1193 places, 357644/357644 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1192 transition count 357643
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1192 transition count 357643
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 1191 transition count 357642
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 1191 transition count 357642
Applied a total of 4 rules in 19580 ms. Remains 1191 /1193 variables (removed 2) and now considering 357642/357644 (removed 2) transitions.
// Phase 1: matrix 357642 rows 1191 cols
[2022-06-10 20:21:36] [INFO ] Computed 12 place invariants in 19691 ms
[2022-06-10 20:22:08] [INFO ] Performed 463/1191 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2022-06-10 20:22:39] [INFO ] Performed 912/1191 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2022-06-10 20:22:56] [INFO ] Implicit Places using invariants in 100210 ms returned []
Implicit Place search using SMT only with invariants took 100228 ms to find 0 implicit places.
// Phase 1: matrix 357642 rows 1191 cols
[2022-06-10 20:23:15] [INFO ] Computed 12 place invariants in 18365 ms
[2022-06-10 20:23:45] [INFO ] Performed 32601/357642 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-10 20:24:15] [INFO ] Dead Transitions using invariants and state equation in 78828 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1191/1193 places, 357642/357644 transitions.
Finished structural reductions, in 1 iterations. Remains : 1191/1193 places, 357642/357644 transitions.
[2022-06-10 20:25:24] [INFO ] Flatten gal took : 61941 ms
[2022-06-10 20:26:23] [INFO ] Flatten gal took : 58999 ms
[2022-06-10 20:27:59] [INFO ] Input system was already deterministic with 357642 transitions.
[2022-06-10 20:29:11] [INFO ] Flatten gal took : 61022 ms
[2022-06-10 20:30:10] [INFO ] Flatten gal took : 59573 ms
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.systemToFile(SerializationUtil.java:98)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputGalFile(ITSRunner.java:406)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:82)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 20:30:17] [INFO ] Time to serialize gal into /tmp/CTLFireability17044874532339332553.gal : 6899 ms
ITS runner failed with exception No space left on device
java.io.IOException: No space left on device
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:341)
at fr.lip6.move.serialization.SerializationUtil.serializePropertiesForITSCTLTools(SerializationUtil.java:183)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputPropertyFile(ITSRunner.java:340)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:84)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 20:31:29] [INFO ] Flatten gal took : 65056 ms
[2022-06-10 20:31:29] [INFO ] Applying decomposition
[2022-06-10 20:32:28] [INFO ] Flatten gal took : 59178 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph9532991147693383361.txt' '-o' '/tmp/graph9532991147693383361.bin' '-w' '/tmp/graph9532991147693383361.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9532991147693383361.bin' '-l' '-1' '-v' '-w' '/tmp/graph9532991147693383361.weights' '-q' '0' '-e' '0.001'
[2022-06-10 20:35:18] [INFO ] Decomposing Gal with order
[2022-06-10 20:35:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p0 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p1 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p2 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p3 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p4 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p5 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p6 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p7 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p8 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p9 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p10 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p11 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p12 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p13 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p15 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p16 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p17 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p18 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p19 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p20 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p23 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p24 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p25 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p28 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p29 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p31 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p32 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p33 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p34 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p35 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p36 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p37 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p38 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p39 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p40 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p41 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p42 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p43 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p44 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p46 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p47 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p48 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p49 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p50 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p51 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p52 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p53 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p54 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p55 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p56 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p59 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p60 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p61 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p66 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p67 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p68 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p69 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p70 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p73 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p74 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p75 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p78 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p79 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p80 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p81 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p82 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p83 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p84 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p85 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p86 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p87 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p88 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p89 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p90 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p91 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p93 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p94 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p95 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p96 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p97 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p98 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p99 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p100 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p101 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p102 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p103 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p106 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p107 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p108 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p109 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p110 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p111 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p117 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p118 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p119 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p120 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p121 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p122 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p123 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p124 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p125 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p126 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p127 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p129 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p133 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p134 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p135 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p136 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p137 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p138 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p139 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p140 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p141 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p142 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p143 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p144 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p145 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p146 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p147 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p148 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p150 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p151 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p152 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p153 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p154 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p155 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p158 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p159 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p160 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p163 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p164 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p166 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p167 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p168 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p169 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p170 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p171 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p172 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p173 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p174 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p175 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p176 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p177 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p178 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p179 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p181 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p182 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p183 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p184 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p185 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p186 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p187 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p188 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p189 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p190 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p191 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p194 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p195 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p196 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p201 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p202 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p203 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p204 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p205 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p208 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p209 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p210 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p213 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p214 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p215 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p216 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p217 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p218 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p219 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p220 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p221 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p222 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p223 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p224 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p225 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p226 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p228 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p229 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p230 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p231 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p232 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p233 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p234 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p235 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p236 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p237 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p238 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p241 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p242 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p243 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p244 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p245 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p246 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p252 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p253 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p254 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p255 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p256 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p257 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p258 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p259 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p260 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p261 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p262 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p264 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p268 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p269 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p270 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p271 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p272 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p273 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p274 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p275 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p276 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p277 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p278 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p279 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p280 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p281 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p282 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p283 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p285 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p286 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p287 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p288 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p289 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p290 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p293 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p294 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p295 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p298 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p299 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p301 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p302 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p303 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p304 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p305 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p306 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p307 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p308 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p309 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p310 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p311 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p312 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p313 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p314 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p316 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p317 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p318 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p319 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p320 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p321 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p322 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p323 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p324 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p325 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p326 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p329 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p330 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p331 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p336 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p337 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p338 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p339 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p340 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p343 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p344 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p345 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p348 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p349 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p350 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p351 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p352 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p353 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p354 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p355 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p356 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p357 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p358 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p359 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p360 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p361 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p363 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p364 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p365 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p366 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p367 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p368 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p369 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p370 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p371 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p372 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p373 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p376 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p377 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p378 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p379 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p380 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p381 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p387 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p388 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p389 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p390 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p391 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p392 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p393 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p394 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p395 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p396 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p397 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p399 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p403 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p404 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p405 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p406 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p407 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p408 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p409 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p410 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p411 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p412 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p413 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p414 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p415 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p416 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p417 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p418 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p420 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p421 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p422 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p423 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p424 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p425 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p428 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p429 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p430 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p433 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p434 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p436 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p437 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p438 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p439 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p440 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p441 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p442 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p443 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p444 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p445 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p446 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p447 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p448 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p449 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p451 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p452 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p453 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p454 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p455 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p456 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p457 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p458 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p459 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p460 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p461 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p464 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p465 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p466 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p471 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p472 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p473 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p474 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p475 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p478 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p479 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p480 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p483 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p484 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p485 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p486 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p487 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p488 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p489 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p490 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p491 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p492 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p493 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p494 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p495 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p496 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p498 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p499 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p500 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p501 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p502 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p503 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p504 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p505 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p506 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p507 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p508 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p511 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p512 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p513 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p514 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p515 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p516 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p522 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p523 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p524 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p525 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p526 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p527 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p528 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p529 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p530 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p531 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p532 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p534 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p538 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p539 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p540 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p541 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p542 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p543 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p544 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p545 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p546 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p547 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p548 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p549 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p550 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p551 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p552 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p553 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p555 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p556 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p557 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p558 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p559 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p560 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p563 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p564 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p565 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p568 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p569 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p571 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p572 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p573 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p574 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p575 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p576 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p577 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p578 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p579 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p580 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p581 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p582 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p583 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p584 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p586 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p587 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p588 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p589 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p590 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p591 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p592 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p593 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p594 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p595 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p596 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p599 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p600 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p601 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p606 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p607 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p608 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p609 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p610 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p613 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p614 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p615 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p618 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p619 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p620 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p621 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p622 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p623 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p624 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p625 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p626 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p627 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p628 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p629 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p630 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p631 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p633 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p634 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p635 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p636 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p637 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p638 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p639 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p640 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p641 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p642 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p643 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p646 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p647 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p648 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p649 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p650 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p651 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p657 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p658 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p659 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p660 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p661 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p662 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p663 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p664 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p665 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p666 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p667 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p669 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p673 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p674 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p675 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p676 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p677 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p678 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p679 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p680 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p681 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p682 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p683 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p684 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p685 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p686 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p687 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p688 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p690 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p691 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p692 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p693 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p694 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p695 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p698 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p699 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p700 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p703 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p704 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p706 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p707 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p708 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p709 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p710 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p711 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p712 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p713 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p714 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p715 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p716 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p717 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p718 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p719 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p721 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p722 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p723 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p724 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p725 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p726 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p727 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p728 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p729 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p730 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p731 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p734 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p735 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p736 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p741 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p742 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p743 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p744 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p745 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p748 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p749 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p750 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p753 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p754 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p755 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p756 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p757 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p758 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p759 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p760 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p761 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p762 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p763 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p764 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p765 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p766 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p768 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p769 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p770 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p771 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p772 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p773 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p774 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p775 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p776 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p777 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p778 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p781 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p782 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p783 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p784 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p785 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p786 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p792 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p793 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p794 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p795 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p796 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p797 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p798 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p799 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p800 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p801 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p802 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p804 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p808 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p809 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p810 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p811 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p812 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p813 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p814 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p815 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p816 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p817 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p818 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p819 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p820 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p821 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p822 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p823 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p825 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p826 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p827 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p828 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p829 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p830 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p833 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p834 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p835 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p838 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p839 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p841 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p842 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p843 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p844 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p845 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p846 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p847 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p848 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p849 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p850 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p851 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p852 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p853 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p854 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p856 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p857 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p858 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p859 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p860 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p861 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p862 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p863 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p864 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p865 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p866 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p869 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p870 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p871 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p876 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p877 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p878 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p879 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p880 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p883 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p884 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p885 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p888 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p889 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p890 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p891 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p892 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p893 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p894 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p895 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p896 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p897 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p898 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p899 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p900 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p901 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p903 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p904 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p905 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p906 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p907 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p908 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p909 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p910 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p911 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p912 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p913 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p916 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p917 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p918 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p919 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p920 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p921 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p927 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p928 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p929 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p930 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p931 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p932 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p933 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p934 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p935 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p936 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p937 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p939 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p943 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p944 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p945 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p946 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p947 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p948 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p949 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p950 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p951 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p952 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p953 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p954 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p955 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p956 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p957 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p958 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p960 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p961 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p962 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p963 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p964 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p965 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p968 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p969 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p970 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p973 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p974 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p976 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p977 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p978 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p979 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p980 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p981 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p982 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p983 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p984 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p985 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p986 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p987 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p988 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p989 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p991 in partition
[2022-06-10 20:35:30] [INFO ] Could not find partition element corresponding to p992 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p993 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p994 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p995 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p996 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p997 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p998 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p999 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1000 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1001 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1004 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1005 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1006 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1011 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1012 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1013 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1014 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1015 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1018 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1019 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1020 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1023 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1024 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1025 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1026 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1027 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1028 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1029 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1030 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1031 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1032 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1033 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1034 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1035 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1036 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1038 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1039 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1040 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1041 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1042 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1043 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1044 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1045 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1046 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1047 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1048 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1051 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1052 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1053 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1054 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1055 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1056 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1062 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1063 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1064 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1065 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1066 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1067 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1068 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1069 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1070 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1071 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1072 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1074 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1078 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1079 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1080 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1081 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1082 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1083 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1084 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1085 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1086 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1087 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1088 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1089 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1090 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1091 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1092 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1093 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1095 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1096 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1097 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1098 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1099 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1100 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1103 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1104 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1105 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1108 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1109 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1111 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1112 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1113 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1114 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1115 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1116 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1117 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1118 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1119 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1120 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1121 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1122 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1123 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1124 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1126 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1127 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1128 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1129 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1130 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1131 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1132 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1133 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1134 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1135 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1136 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1139 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1140 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1141 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1146 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1147 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1148 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1149 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1150 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1153 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1154 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1155 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1158 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1159 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1160 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1161 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1162 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1163 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1164 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1165 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1166 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1167 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1168 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1169 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1170 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1171 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1173 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1174 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1175 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1176 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1177 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1178 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1179 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1180 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1181 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1182 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1183 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1186 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1187 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1188 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1189 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1190 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1191 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1197 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1198 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1199 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1200 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1201 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1202 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1203 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1204 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1205 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1206 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1207 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1209 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1213 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1214 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1215 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1216 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1217 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1218 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1219 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1220 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1221 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1222 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1223 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1224 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1225 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1226 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1227 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1228 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1230 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1231 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1232 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1233 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1234 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1235 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1238 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1239 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1240 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1243 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1244 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1246 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1247 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1248 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1249 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1250 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1251 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1252 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1253 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1254 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1255 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1256 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1257 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1258 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1259 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1261 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1262 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1263 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1264 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1265 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1266 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1267 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1268 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1269 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1270 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1271 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1274 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1275 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1276 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1281 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1282 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1283 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1284 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1285 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1288 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1289 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1290 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1293 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1294 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1295 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1296 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1297 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1298 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1299 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1300 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1301 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1302 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1303 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1304 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1305 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1306 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1308 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1309 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1310 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1311 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1312 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1313 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1314 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1315 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1316 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1317 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1318 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1321 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1322 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1323 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1324 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1325 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1326 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1332 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1333 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1334 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1335 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1336 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1337 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1338 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1339 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1340 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1341 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1342 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1344 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1348 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1349 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1350 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1351 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1352 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1353 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1354 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1355 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1356 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1357 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1358 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1359 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1360 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1361 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1362 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1363 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1365 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1366 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1367 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1368 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1369 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1370 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1373 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1374 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1375 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1378 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1379 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1381 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1382 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1383 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1384 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1385 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1386 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1387 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1388 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1389 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1390 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1391 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1392 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1393 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1394 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1396 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1397 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1398 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1399 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1400 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1401 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1402 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1403 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1404 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1405 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1406 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1409 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1410 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1411 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1416 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1417 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1418 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1419 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1420 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1423 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1424 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1425 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1428 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1429 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1430 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1431 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1432 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1433 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1434 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1435 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1436 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1437 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1438 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1439 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1440 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1441 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1443 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1444 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1445 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1446 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1447 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1448 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1449 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1450 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1451 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1452 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1453 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1456 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1457 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1458 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1459 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1460 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1461 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1467 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1468 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1469 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1470 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1471 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1472 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1473 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1474 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1475 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1476 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1477 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1479 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1483 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1484 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1485 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1486 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1487 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1488 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1489 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1490 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1491 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1492 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1493 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1494 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1495 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1496 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1497 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1498 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1499 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1500 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1501 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1502 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1503 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1506 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1507 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1508 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1509 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1510 in partition
[2022-06-10 20:35:31] [INFO ] Could not find partition element corresponding to p1513 in partition
[2022-06-10 20:35:31] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 4
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:348)
at fr.lip6.move.gal.instantiate.CompositeBuilder.galToCompositeWithPartition(CompositeBuilder.java:564)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:147)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:231)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:264)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:654)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 20:36:32] [INFO ] Flatten gal took : 61803 ms
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.systemToFile(SerializationUtil.java:98)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputGalFile(ITSRunner.java:406)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:82)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-10 20:36:39] [INFO ] Time to serialize gal into /tmp/CTLFireability3761008713199317645.gal : 6887 ms
ITS runner failed with exception No space left on device
java.io.IOException: No space left on device
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:341)
at fr.lip6.move.serialization.SerializationUtil.serializePropertiesForITSCTLTools(SerializationUtil.java:183)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputPropertyFile(ITSRunner.java:340)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:84)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:606)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Starting structural reductions in LTL mode, iteration 0 : 1193/1193 places, 357644/357644 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1192 transition count 357643
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1192 transition count 357643
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 1191 transition count 357642
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 1191 transition count 357642
Applied a total of 4 rules in 16582 ms. Remains 1191 /1193 variables (removed 2) and now considering 357642/357644 (removed 2) transitions.
// Phase 1: matrix 357642 rows 1191 cols
[2022-06-10 20:37:15] [INFO ] Computed 12 place invariants in 18246 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="StigmergyElection-PT-11b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is StigmergyElection-PT-11b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r294-smll-165463872900402"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-11b.tgz
mv StigmergyElection-PT-11b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;