About the Execution of ITS-Tools for FunctionPointer-PT-c032
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11217.359 | 3600000.00 | 13754220.00 | 2626.70 | FFTTTTTF?TTFTFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r312-tall-165472282300511.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 FunctionPointer-PT-c032, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r312-tall-165472282300511
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 5.7K Jun 7 17:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Jun 7 17:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Jun 7 17:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Jun 7 17:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Jun 6 15:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Jun 6 15:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Jun 6 15:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Jun 6 15:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 13K Jun 7 17:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Jun 7 17:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Jun 7 17:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K Jun 7 17:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 6 15:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Jun 6 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 equiv_col
-rw-r--r-- 1 mcc users 5 Jun 6 12:11 instance
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 iscolored
-rw-r--r-- 1 mcc users 4.2M Jun 6 12:11 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 FunctionPointer-PT-c032-ReachabilityFireability-00
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-01
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-02
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-03
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-04
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-05
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-06
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-07
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-08
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-09
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-10
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-11
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-12
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-13
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-14
FORMULA_NAME FunctionPointer-PT-c032-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1654867389303
Running Version 202205111006
[2022-06-10 13:23:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -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 13:23:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-10 13:23:10] [INFO ] Load time of PNML (sax parser for PT used): 384 ms
[2022-06-10 13:23:10] [INFO ] Transformed 2826 places.
[2022-06-10 13:23:10] [INFO ] Transformed 8960 transitions.
[2022-06-10 13:23:10] [INFO ] Parsed PT model containing 2826 places and 8960 transitions in 521 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 12 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 1198 places in 41 ms
Reduce places removed 1198 places and 2998 transitions.
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10007 steps, including 2 resets, run finished after 444 ms. (steps per millisecond=22 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 12) seen :1
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 11) seen :1
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=151 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 10) seen :0
Running SMT prover for 10 properties.
[2022-06-10 13:23:11] [INFO ] Flow matrix only has 3540 transitions (discarded 2422 similar events)
// Phase 1: matrix 3540 rows 1628 cols
[2022-06-10 13:23:12] [INFO ] Computed 4 place invariants in 100 ms
[2022-06-10 13:23:12] [INFO ] [Real]Absence check using 3 positive place invariants in 15 ms returned sat
[2022-06-10 13:23:12] [INFO ] [Real]Absence check using 3 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-10 13:23:15] [INFO ] After 3443ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:9
[2022-06-10 13:23:16] [INFO ] [Nat]Absence check using 3 positive place invariants in 4 ms returned sat
[2022-06-10 13:23:16] [INFO ] [Nat]Absence check using 3 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:23:18] [INFO ] After 2576ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :9
[2022-06-10 13:23:19] [INFO ] State equation strengthened by 479 read => feed constraints.
[2022-06-10 13:23:20] [INFO ] After 1873ms SMT Verify possible using 479 Read/Feed constraints in natural domain returned unsat :1 sat :9
[2022-06-10 13:23:22] [INFO ] After 3847ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :9
Attempting to minimize the solution found.
Minimization took 1526 ms.
[2022-06-10 13:23:24] [INFO ] After 8627ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :9
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 10 Parikh solutions to 9 different solutions.
Parikh walk visited 0 properties in 3638 ms.
Support contains 28 out of 1628 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1628/1628 places, 5962/5962 transitions.
Graph (complete) has 7332 edges and 1628 vertex of which 1611 are kept as prefixes of interest. Removing 17 places using SCC suffix rule.16 ms
Discarding 17 places :
Also discarding 0 output transitions
Discarding 287 places :
Symmetric choice reduction at 0 with 287 rule applications. Total rules 288 place count 1324 transition count 3876
Iterating global reduction 0 with 287 rules applied. Total rules applied 575 place count 1324 transition count 3876
Ensure Unique test removed 476 transitions
Reduce isomorphic transitions removed 476 transitions.
Iterating post reduction 0 with 476 rules applied. Total rules applied 1051 place count 1324 transition count 3400
Discarding 144 places :
Symmetric choice reduction at 1 with 144 rule applications. Total rules 1195 place count 1180 transition count 3112
Iterating global reduction 1 with 144 rules applied. Total rules applied 1339 place count 1180 transition count 3112
Ensure Unique test removed 116 transitions
Reduce isomorphic transitions removed 116 transitions.
Iterating post reduction 1 with 116 rules applied. Total rules applied 1455 place count 1180 transition count 2996
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1469 place count 1166 transition count 2968
Iterating global reduction 2 with 14 rules applied. Total rules applied 1483 place count 1166 transition count 2968
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1497 place count 1152 transition count 2940
Iterating global reduction 2 with 14 rules applied. Total rules applied 1511 place count 1152 transition count 2940
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1525 place count 1138 transition count 2912
Iterating global reduction 2 with 14 rules applied. Total rules applied 1539 place count 1138 transition count 2912
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1553 place count 1124 transition count 2884
Iterating global reduction 2 with 14 rules applied. Total rules applied 1567 place count 1124 transition count 2884
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1581 place count 1110 transition count 2856
Iterating global reduction 2 with 14 rules applied. Total rules applied 1595 place count 1110 transition count 2856
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1609 place count 1096 transition count 2828
Iterating global reduction 2 with 14 rules applied. Total rules applied 1623 place count 1096 transition count 2828
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 1635 place count 1084 transition count 2804
Iterating global reduction 2 with 12 rules applied. Total rules applied 1647 place count 1084 transition count 2804
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 1695 place count 1036 transition count 2622
Iterating global reduction 2 with 48 rules applied. Total rules applied 1743 place count 1036 transition count 2622
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 1789 place count 990 transition count 2438
Iterating global reduction 2 with 46 rules applied. Total rules applied 1835 place count 990 transition count 2438
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 1881 place count 944 transition count 2336
Iterating global reduction 2 with 46 rules applied. Total rules applied 1927 place count 944 transition count 2336
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 1973 place count 898 transition count 2244
Iterating global reduction 2 with 46 rules applied. Total rules applied 2019 place count 898 transition count 2244
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 2065 place count 852 transition count 2152
Iterating global reduction 2 with 46 rules applied. Total rules applied 2111 place count 852 transition count 2152
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 2157 place count 806 transition count 2060
Iterating global reduction 2 with 46 rules applied. Total rules applied 2203 place count 806 transition count 2060
Discarding 45 places :
Symmetric choice reduction at 2 with 45 rule applications. Total rules 2248 place count 761 transition count 1970
Iterating global reduction 2 with 45 rules applied. Total rules applied 2293 place count 761 transition count 1970
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 2298 place count 756 transition count 1960
Iterating global reduction 2 with 5 rules applied. Total rules applied 2303 place count 756 transition count 1960
Drop transitions removed 36 transitions
Redundant transition composition rules discarded 36 transitions
Iterating global reduction 2 with 36 rules applied. Total rules applied 2339 place count 756 transition count 1924
Applied a total of 2339 rules in 1586 ms. Remains 756 /1628 variables (removed 872) and now considering 1924/5962 (removed 4038) transitions.
Finished structural reductions, in 1 iterations. Remains : 756/1628 places, 1924/5962 transitions.
Incomplete random walk after 1000017 steps, including 2 resets, run finished after 7460 ms. (steps per millisecond=134 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1402 ms. (steps per millisecond=713 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1729 ms. (steps per millisecond=578 ) properties (out of 9) seen :3
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-01 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1743 ms. (steps per millisecond=573 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1733 ms. (steps per millisecond=577 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1800 ms. (steps per millisecond=555 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1795 ms. (steps per millisecond=557 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1834 ms. (steps per millisecond=545 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2022-06-10 13:23:49] [INFO ] Flow matrix only has 1297 transitions (discarded 627 similar events)
// Phase 1: matrix 1297 rows 756 cols
[2022-06-10 13:23:49] [INFO ] Computed 2 place invariants in 14 ms
[2022-06-10 13:23:49] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:23:49] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:23:50] [INFO ] After 1133ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2022-06-10 13:23:50] [INFO ] [Nat]Absence check using 1 positive place invariants in 4 ms returned sat
[2022-06-10 13:23:50] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:23:51] [INFO ] After 823ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2022-06-10 13:23:51] [INFO ] State equation strengthened by 315 read => feed constraints.
[2022-06-10 13:23:52] [INFO ] After 754ms SMT Verify possible using 315 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2022-06-10 13:23:53] [INFO ] After 1831ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 906 ms.
[2022-06-10 13:23:54] [INFO ] After 3777ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
Parikh walk visited 0 properties in 2058 ms.
Support contains 8 out of 756 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 756/756 places, 1924/1924 transitions.
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 12 place count 744 transition count 1900
Iterating global reduction 0 with 12 rules applied. Total rules applied 24 place count 744 transition count 1900
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 28 place count 744 transition count 1896
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 39 place count 733 transition count 1872
Iterating global reduction 1 with 11 rules applied. Total rules applied 50 place count 733 transition count 1872
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 61 place count 722 transition count 1836
Iterating global reduction 1 with 11 rules applied. Total rules applied 72 place count 722 transition count 1836
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 83 place count 711 transition count 1812
Iterating global reduction 1 with 11 rules applied. Total rules applied 94 place count 711 transition count 1812
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 105 place count 700 transition count 1790
Iterating global reduction 1 with 11 rules applied. Total rules applied 116 place count 700 transition count 1790
Discarding 11 places :
Symmetric choice reduction at 1 with 11 rule applications. Total rules 127 place count 689 transition count 1768
Iterating global reduction 1 with 11 rules applied. Total rules applied 138 place count 689 transition count 1768
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 147 place count 680 transition count 1750
Iterating global reduction 1 with 9 rules applied. Total rules applied 156 place count 680 transition count 1750
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 165 place count 671 transition count 1732
Iterating global reduction 1 with 9 rules applied. Total rules applied 174 place count 671 transition count 1732
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 182 place count 663 transition count 1716
Iterating global reduction 1 with 8 rules applied. Total rules applied 190 place count 663 transition count 1716
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 191 place count 662 transition count 1714
Iterating global reduction 1 with 1 rules applied. Total rules applied 192 place count 662 transition count 1714
Applied a total of 192 rules in 282 ms. Remains 662 /756 variables (removed 94) and now considering 1714/1924 (removed 210) transitions.
Finished structural reductions, in 1 iterations. Remains : 662/756 places, 1714/1924 transitions.
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 6155 ms. (steps per millisecond=162 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1690 ms. (steps per millisecond=591 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1655 ms. (steps per millisecond=604 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1596 ms. (steps per millisecond=626 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1632 ms. (steps per millisecond=612 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1635 ms. (steps per millisecond=611 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1760 ms. (steps per millisecond=568 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 3695642 steps, run timeout after 48006 ms. (steps per millisecond=76 ) properties seen :{}
Probabilistic random walk after 3695642 steps, saw 2389636 distinct states, run finished after 48008 ms. (steps per millisecond=76 ) properties seen :0
Running SMT prover for 6 properties.
[2022-06-10 13:25:00] [INFO ] Flow matrix only has 1146 transitions (discarded 568 similar events)
// Phase 1: matrix 1146 rows 662 cols
[2022-06-10 13:25:00] [INFO ] Computed 2 place invariants in 8 ms
[2022-06-10 13:25:00] [INFO ] [Real]Absence check using 1 positive place invariants in 4 ms returned sat
[2022-06-10 13:25:00] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:25:01] [INFO ] After 1080ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2022-06-10 13:25:01] [INFO ] [Nat]Absence check using 1 positive place invariants in 4 ms returned sat
[2022-06-10 13:25:01] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:25:02] [INFO ] After 788ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2022-06-10 13:25:02] [INFO ] State equation strengthened by 280 read => feed constraints.
[2022-06-10 13:25:03] [INFO ] After 608ms SMT Verify possible using 280 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2022-06-10 13:25:03] [INFO ] Deduced a trap composed of 131 places in 123 ms of which 1 ms to minimize.
[2022-06-10 13:25:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 204 ms
[2022-06-10 13:25:04] [INFO ] After 1464ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 476 ms.
[2022-06-10 13:25:04] [INFO ] After 2915ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 3 properties in 2486 ms.
Support contains 4 out of 662 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 662/662 places, 1714/1714 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 658 transition count 1704
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 658 transition count 1704
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 10 place count 658 transition count 1702
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 14 place count 654 transition count 1694
Iterating global reduction 1 with 4 rules applied. Total rules applied 18 place count 654 transition count 1694
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 21 place count 651 transition count 1684
Iterating global reduction 1 with 3 rules applied. Total rules applied 24 place count 651 transition count 1684
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 27 place count 648 transition count 1676
Iterating global reduction 1 with 3 rules applied. Total rules applied 30 place count 648 transition count 1676
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 33 place count 645 transition count 1670
Iterating global reduction 1 with 3 rules applied. Total rules applied 36 place count 645 transition count 1670
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 39 place count 642 transition count 1664
Iterating global reduction 1 with 3 rules applied. Total rules applied 42 place count 642 transition count 1664
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 45 place count 639 transition count 1658
Iterating global reduction 1 with 3 rules applied. Total rules applied 48 place count 639 transition count 1658
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 51 place count 636 transition count 1652
Iterating global reduction 1 with 3 rules applied. Total rules applied 54 place count 636 transition count 1652
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 57 place count 633 transition count 1646
Iterating global reduction 1 with 3 rules applied. Total rules applied 60 place count 633 transition count 1646
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 61 place count 632 transition count 1644
Iterating global reduction 1 with 1 rules applied. Total rules applied 62 place count 632 transition count 1644
Applied a total of 62 rules in 233 ms. Remains 632 /662 variables (removed 30) and now considering 1644/1714 (removed 70) transitions.
Finished structural reductions, in 1 iterations. Remains : 632/662 places, 1644/1714 transitions.
Incomplete random walk after 1000003 steps, including 2 resets, run finished after 4606 ms. (steps per millisecond=217 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1472 ms. (steps per millisecond=679 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1443 ms. (steps per millisecond=693 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1442 ms. (steps per millisecond=693 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 2253488 steps, run timeout after 24001 ms. (steps per millisecond=93 ) properties seen :{}
Probabilistic random walk after 2253488 steps, saw 1462554 distinct states, run finished after 24001 ms. (steps per millisecond=93 ) properties seen :0
Running SMT prover for 3 properties.
[2022-06-10 13:25:40] [INFO ] Flow matrix only has 1099 transitions (discarded 545 similar events)
// Phase 1: matrix 1099 rows 632 cols
[2022-06-10 13:25:40] [INFO ] Computed 2 place invariants in 7 ms
[2022-06-10 13:25:40] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:25:40] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-10 13:25:40] [INFO ] After 594ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2022-06-10 13:25:41] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:25:41] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2022-06-10 13:25:41] [INFO ] After 461ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2022-06-10 13:25:41] [INFO ] State equation strengthened by 271 read => feed constraints.
[2022-06-10 13:25:41] [INFO ] After 301ms SMT Verify possible using 271 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2022-06-10 13:25:42] [INFO ] Deduced a trap composed of 135 places in 113 ms of which 1 ms to minimize.
[2022-06-10 13:25:42] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 190 ms
[2022-06-10 13:25:42] [INFO ] After 792ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 234 ms.
[2022-06-10 13:25:42] [INFO ] After 1636ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA FunctionPointer-PT-c032-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 2 properties in 1228 ms.
Support contains 2 out of 632 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 632/632 places, 1644/1644 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 630 transition count 1640
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 630 transition count 1640
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 6 place count 628 transition count 1636
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 628 transition count 1636
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 10 place count 626 transition count 1628
Iterating global reduction 0 with 2 rules applied. Total rules applied 12 place count 626 transition count 1628
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 14 place count 624 transition count 1624
Iterating global reduction 0 with 2 rules applied. Total rules applied 16 place count 624 transition count 1624
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 18 place count 622 transition count 1620
Iterating global reduction 0 with 2 rules applied. Total rules applied 20 place count 622 transition count 1620
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 22 place count 620 transition count 1616
Iterating global reduction 0 with 2 rules applied. Total rules applied 24 place count 620 transition count 1616
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 26 place count 618 transition count 1612
Iterating global reduction 0 with 2 rules applied. Total rules applied 28 place count 618 transition count 1612
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 30 place count 616 transition count 1608
Iterating global reduction 0 with 2 rules applied. Total rules applied 32 place count 616 transition count 1608
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 34 place count 614 transition count 1604
Iterating global reduction 0 with 2 rules applied. Total rules applied 36 place count 614 transition count 1604
Applied a total of 36 rules in 230 ms. Remains 614 /632 variables (removed 18) and now considering 1604/1644 (removed 40) transitions.
Finished structural reductions, in 1 iterations. Remains : 614/632 places, 1604/1644 transitions.
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 1417 ms. (steps per millisecond=705 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1319 ms. (steps per millisecond=758 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 1028443 steps, run timeout after 6001 ms. (steps per millisecond=171 ) properties seen :{}
Probabilistic random walk after 1028443 steps, saw 667501 distinct states, run finished after 6001 ms. (steps per millisecond=171 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 13:25:52] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:25:52] [INFO ] Computed 2 place invariants in 13 ms
[2022-06-10 13:25:52] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:25:52] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:25:53] [INFO ] After 402ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:25:53] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:25:53] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:25:53] [INFO ] After 284ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:25:53] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:25:53] [INFO ] After 124ms SMT Verify possible using 265 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:25:53] [INFO ] Deduced a trap composed of 131 places in 107 ms of which 0 ms to minimize.
[2022-06-10 13:25:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 178 ms
[2022-06-10 13:25:53] [INFO ] After 404ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 80 ms.
[2022-06-10 13:25:54] [INFO ] After 859ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 2 out of 614 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 614/614 places, 1604/1604 transitions.
Applied a total of 0 rules in 76 ms. Remains 614 /614 variables (removed 0) and now considering 1604/1604 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 614/614 places, 1604/1604 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 614/614 places, 1604/1604 transitions.
Applied a total of 0 rules in 108 ms. Remains 614 /614 variables (removed 0) and now considering 1604/1604 (removed 0) transitions.
[2022-06-10 13:25:54] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:25:54] [INFO ] Computed 2 place invariants in 6 ms
[2022-06-10 13:25:54] [INFO ] Implicit Places using invariants in 330 ms returned []
[2022-06-10 13:25:54] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:25:54] [INFO ] Computed 2 place invariants in 9 ms
[2022-06-10 13:25:54] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:25:56] [INFO ] Implicit Places using invariants and state equation in 1617 ms returned []
Implicit Place search using SMT with State Equation took 1949 ms to find 0 implicit places.
[2022-06-10 13:25:56] [INFO ] Redundant transitions in 122 ms returned []
[2022-06-10 13:25:56] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:25:56] [INFO ] Computed 2 place invariants in 10 ms
[2022-06-10 13:25:56] [INFO ] Dead Transitions using invariants and state equation in 486 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 614/614 places, 1604/1604 transitions.
Incomplete random walk after 100022 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=474 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2022-06-10 13:25:57] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:25:57] [INFO ] Computed 2 place invariants in 9 ms
[2022-06-10 13:25:57] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:25:57] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:25:57] [INFO ] After 231ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 13:25:57] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:25:57] [INFO ] After 75ms SMT Verify possible using 265 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:25:57] [INFO ] After 397ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:25:57] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:25:57] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 13:25:57] [INFO ] After 233ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:25:57] [INFO ] After 60ms SMT Verify possible using 265 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:25:57] [INFO ] After 118ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 33 ms.
[2022-06-10 13:25:57] [INFO ] After 464ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 1644 ms. (steps per millisecond=608 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1149 ms. (steps per millisecond=870 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 1047154 steps, run timeout after 6001 ms. (steps per millisecond=174 ) properties seen :{}
Probabilistic random walk after 1047154 steps, saw 679645 distinct states, run finished after 6001 ms. (steps per millisecond=174 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 13:26:06] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:26:06] [INFO ] Computed 2 place invariants in 11 ms
[2022-06-10 13:26:06] [INFO ] [Real]Absence check using 1 positive place invariants in 2 ms returned sat
[2022-06-10 13:26:06] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:26:07] [INFO ] After 387ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:07] [INFO ] [Nat]Absence check using 1 positive place invariants in 2 ms returned sat
[2022-06-10 13:26:07] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 13:26:07] [INFO ] After 282ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:07] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:26:07] [INFO ] After 127ms SMT Verify possible using 265 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:07] [INFO ] Deduced a trap composed of 131 places in 107 ms of which 1 ms to minimize.
[2022-06-10 13:26:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 179 ms
[2022-06-10 13:26:07] [INFO ] After 407ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 79 ms.
[2022-06-10 13:26:07] [INFO ] After 856ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 2 out of 614 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 614/614 places, 1604/1604 transitions.
Applied a total of 0 rules in 74 ms. Remains 614 /614 variables (removed 0) and now considering 1604/1604 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 614/614 places, 1604/1604 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 614/614 places, 1604/1604 transitions.
Applied a total of 0 rules in 76 ms. Remains 614 /614 variables (removed 0) and now considering 1604/1604 (removed 0) transitions.
[2022-06-10 13:26:08] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:26:08] [INFO ] Computed 2 place invariants in 13 ms
[2022-06-10 13:26:08] [INFO ] Implicit Places using invariants in 366 ms returned []
[2022-06-10 13:26:08] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:26:08] [INFO ] Computed 2 place invariants in 5 ms
[2022-06-10 13:26:08] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:26:10] [INFO ] Implicit Places using invariants and state equation in 1734 ms returned []
Implicit Place search using SMT with State Equation took 2101 ms to find 0 implicit places.
[2022-06-10 13:26:10] [INFO ] Redundant transitions in 97 ms returned []
[2022-06-10 13:26:10] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:26:10] [INFO ] Computed 2 place invariants in 11 ms
[2022-06-10 13:26:10] [INFO ] Dead Transitions using invariants and state equation in 496 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 614/614 places, 1604/1604 transitions.
Incomplete random walk after 100003 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=568 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2022-06-10 13:26:10] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:26:10] [INFO ] Computed 2 place invariants in 4 ms
[2022-06-10 13:26:11] [INFO ] [Real]Absence check using 1 positive place invariants in 2 ms returned sat
[2022-06-10 13:26:11] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 13:26:11] [INFO ] After 228ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 13:26:11] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:26:11] [INFO ] After 76ms SMT Verify possible using 265 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:11] [INFO ] After 395ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:11] [INFO ] [Nat]Absence check using 1 positive place invariants in 2 ms returned sat
[2022-06-10 13:26:11] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 13:26:11] [INFO ] After 230ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:11] [INFO ] After 67ms SMT Verify possible using 265 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:11] [INFO ] After 117ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 33 ms.
[2022-06-10 13:26:11] [INFO ] After 462ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Finished random walk after 1 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=1 )
Incomplete random walk after 10004 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 522724 steps, run timeout after 3001 ms. (steps per millisecond=174 ) properties seen :{}
Probabilistic random walk after 522724 steps, saw 339281 distinct states, run finished after 3001 ms. (steps per millisecond=174 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 13:26:14] [INFO ] Flow matrix only has 1071 transitions (discarded 533 similar events)
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:26:14] [INFO ] Computed 2 place invariants in 10 ms
[2022-06-10 13:26:14] [INFO ] [Real]Absence check using 1 positive place invariants in 2 ms returned sat
[2022-06-10 13:26:14] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 13:26:15] [INFO ] After 229ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 13:26:15] [INFO ] State equation strengthened by 265 read => feed constraints.
[2022-06-10 13:26:15] [INFO ] After 70ms SMT Verify possible using 265 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:15] [INFO ] After 398ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:15] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2022-06-10 13:26:15] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:26:15] [INFO ] After 232ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:15] [INFO ] After 61ms SMT Verify possible using 265 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:15] [INFO ] After 110ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 33 ms.
[2022-06-10 13:26:15] [INFO ] After 462ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 1 out of 614 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 614/614 places, 1604/1604 transitions.
Graph (complete) has 2680 edges and 614 vertex of which 422 are kept as prefixes of interest. Removing 192 places using SCC suffix rule.0 ms
Discarding 192 places :
Also discarding 0 output transitions
Drop transitions removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Iterating post reduction 0 with 384 rules applied. Total rules applied 385 place count 422 transition count 1220
Applied a total of 385 rules in 47 ms. Remains 422 /614 variables (removed 192) and now considering 1220/1604 (removed 384) transitions.
Finished structural reductions, in 1 iterations. Remains : 422/614 places, 1220/1604 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=1428 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 613305 steps, run timeout after 3001 ms. (steps per millisecond=204 ) properties seen :{}
Probabilistic random walk after 613305 steps, saw 376023 distinct states, run finished after 3001 ms. (steps per millisecond=204 ) properties seen :0
Running SMT prover for 1 properties.
[2022-06-10 13:26:18] [INFO ] Flow matrix only has 689 transitions (discarded 531 similar events)
// Phase 1: matrix 689 rows 422 cols
[2022-06-10 13:26:18] [INFO ] Computed 3 place invariants in 6 ms
[2022-06-10 13:26:18] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2022-06-10 13:26:19] [INFO ] After 170ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 13:26:19] [INFO ] State equation strengthened by 75 read => feed constraints.
[2022-06-10 13:26:19] [INFO ] After 35ms SMT Verify possible using 75 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:19] [INFO ] After 276ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:19] [INFO ] [Nat]Absence check using 3 positive place invariants in 2 ms returned sat
[2022-06-10 13:26:19] [INFO ] After 160ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:19] [INFO ] After 40ms SMT Verify possible using 75 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:19] [INFO ] After 74ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 31 ms.
[2022-06-10 13:26:19] [INFO ] After 332ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 1 out of 422 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 422/422 places, 1220/1220 transitions.
Applied a total of 0 rules in 46 ms. Remains 422 /422 variables (removed 0) and now considering 1220/1220 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 422/422 places, 1220/1220 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 422/422 places, 1220/1220 transitions.
Applied a total of 0 rules in 42 ms. Remains 422 /422 variables (removed 0) and now considering 1220/1220 (removed 0) transitions.
[2022-06-10 13:26:19] [INFO ] Flow matrix only has 689 transitions (discarded 531 similar events)
// Phase 1: matrix 689 rows 422 cols
[2022-06-10 13:26:19] [INFO ] Computed 3 place invariants in 7 ms
[2022-06-10 13:26:19] [INFO ] Implicit Places using invariants in 270 ms returned []
[2022-06-10 13:26:19] [INFO ] Flow matrix only has 689 transitions (discarded 531 similar events)
// Phase 1: matrix 689 rows 422 cols
[2022-06-10 13:26:19] [INFO ] Computed 3 place invariants in 9 ms
[2022-06-10 13:26:19] [INFO ] State equation strengthened by 75 read => feed constraints.
[2022-06-10 13:26:20] [INFO ] Implicit Places using invariants and state equation in 819 ms returned []
Implicit Place search using SMT with State Equation took 1091 ms to find 0 implicit places.
[2022-06-10 13:26:20] [INFO ] Redundant transitions in 25 ms returned []
[2022-06-10 13:26:20] [INFO ] Flow matrix only has 689 transitions (discarded 531 similar events)
// Phase 1: matrix 689 rows 422 cols
[2022-06-10 13:26:20] [INFO ] Computed 3 place invariants in 5 ms
[2022-06-10 13:26:21] [INFO ] Dead Transitions using invariants and state equation in 368 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 422/422 places, 1220/1220 transitions.
Ensure Unique test removed 531 transitions
Reduce isomorphic transitions removed 531 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 541 rules applied. Total rules applied 541 place count 422 transition count 679
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 551 place count 412 transition count 679
Performed 73 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 73 Pre rules applied. Total rules applied 551 place count 412 transition count 606
Deduced a syphon composed of 73 places in 0 ms
Reduce places removed 73 places and 0 transitions.
Iterating global reduction 2 with 146 rules applied. Total rules applied 697 place count 339 transition count 606
Performed 127 Post agglomeration using F-continuation condition.Transition count delta: 127
Deduced a syphon composed of 127 places in 0 ms
Reduce places removed 127 places and 0 transitions.
Iterating global reduction 2 with 254 rules applied. Total rules applied 951 place count 212 transition count 479
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 1015 place count 148 transition count 351
Iterating global reduction 2 with 64 rules applied. Total rules applied 1079 place count 148 transition count 351
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1080 place count 148 transition count 350
Discarding 63 places :
Symmetric choice reduction at 3 with 63 rule applications. Total rules 1143 place count 85 transition count 224
Iterating global reduction 3 with 63 rules applied. Total rules applied 1206 place count 85 transition count 224
Discarding 63 places :
Symmetric choice reduction at 3 with 63 rule applications. Total rules 1269 place count 22 transition count 98
Iterating global reduction 3 with 63 rules applied. Total rules applied 1332 place count 22 transition count 98
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Iterating post reduction 3 with 63 rules applied. Total rules applied 1395 place count 22 transition count 35
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 1395 place count 22 transition count 34
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1397 place count 21 transition count 34
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1399 place count 20 transition count 33
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 1401 place count 19 transition count 33
Applied a total of 1401 rules in 51 ms. Remains 19 /422 variables (removed 403) and now considering 33/1220 (removed 1187) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 33 rows 19 cols
[2022-06-10 13:26:21] [INFO ] Computed 3 place invariants in 0 ms
[2022-06-10 13:26:21] [INFO ] [Real]Absence check using 3 positive place invariants in 0 ms returned sat
[2022-06-10 13:26:21] [INFO ] After 8ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 13:26:21] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-10 13:26:21] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:21] [INFO ] After 29ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:21] [INFO ] [Nat]Absence check using 3 positive place invariants in 0 ms returned sat
[2022-06-10 13:26:21] [INFO ] After 7ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:21] [INFO ] After 1ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:21] [INFO ] After 6ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-06-10 13:26:21] [INFO ] After 35ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:21] [INFO ] Flatten gal took : 20 ms
[2022-06-10 13:26:21] [INFO ] Flatten gal took : 6 ms
[2022-06-10 13:26:21] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4658510795617458878.gal : 5 ms
[2022-06-10 13:26:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5918731350225029468.prop : 0 ms
Invoking ITS tools like this :cd /tmp/redAtoms18306598773063930586;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4658510795617458878.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5918731350225029468.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...319
Loading property file /tmp/ReachabilityCardinality5918731350225029468.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 126
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :126 after 6339
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :6339 after 426547
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :426547 after 1.19848e+06
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1.19848e+06 after 2.73637e+06
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :2.73637e+06 after 5.80616e+06
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :5.80616e+06 after 1.19398e+07
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :1.19398e+07 after 2.4201e+07
Detected timeout of ITS tools.
[2022-06-10 13:26:36] [INFO ] Flatten gal took : 4 ms
[2022-06-10 13:26:36] [INFO ] Applying decomposition
[2022-06-10 13:26:36] [INFO ] Flatten gal took : 4 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/graph6674581743646966192.txt' '-o' '/tmp/graph6674581743646966192.bin' '-w' '/tmp/graph6674581743646966192.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6674581743646966192.bin' '-l' '-1' '-v' '-w' '/tmp/graph6674581743646966192.weights' '-q' '0' '-e' '0.001'
[2022-06-10 13:26:36] [INFO ] Decomposing Gal with order
[2022-06-10 13:26:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 13:26:36] [INFO ] Removed a total of 36 redundant transitions.
[2022-06-10 13:26:36] [INFO ] Flatten gal took : 34 ms
[2022-06-10 13:26:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 2 ms.
[2022-06-10 13:26:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8182592019707887363.gal : 1 ms
[2022-06-10 13:26:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13097996896384506009.prop : 0 ms
Invoking ITS tools like this :cd /tmp/redAtoms18306598773063930586;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8182592019707887363.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13097996896384506009.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...299
Loading property file /tmp/ReachabilityCardinality13097996896384506009.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 126
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17602804204693524369
[2022-06-10 13:26:51] [INFO ] Built C files in 11ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17602804204693524369
Running compilation step : cd /tmp/ltsmin17602804204693524369;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 158 ms.
Running link step : cd /tmp/ltsmin17602804204693524369;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 37 ms.
Running LTSmin : cd /tmp/ltsmin17602804204693524369;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'AtomicProp==true'
LTSmin run took 52 ms.
Found Violation
Graph (trivial) has 944 edges and 614 vertex of which 192 / 614 are part of one of the 64 SCC in 4 ms
Free SCC test removed 128 places
Drop transitions removed 320 transitions
Ensure Unique test removed 405 transitions
Reduce isomorphic transitions removed 725 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 11 place count 486 transition count 869
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 21 place count 476 transition count 869
Performed 73 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 73 Pre rules applied. Total rules applied 21 place count 476 transition count 796
Deduced a syphon composed of 73 places in 1 ms
Reduce places removed 73 places and 0 transitions.
Iterating global reduction 2 with 146 rules applied. Total rules applied 167 place count 403 transition count 796
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 230 place count 340 transition count 733
Iterating global reduction 2 with 63 rules applied. Total rules applied 293 place count 340 transition count 733
Ensure Unique test removed 126 transitions
Reduce isomorphic transitions removed 126 transitions.
Iterating post reduction 2 with 126 rules applied. Total rules applied 419 place count 340 transition count 607
Performed 127 Post agglomeration using F-continuation condition.Transition count delta: 127
Deduced a syphon composed of 127 places in 0 ms
Reduce places removed 127 places and 0 transitions.
Iterating global reduction 3 with 254 rules applied. Total rules applied 673 place count 213 transition count 480
Discarding 64 places :
Symmetric choice reduction at 3 with 64 rule applications. Total rules 737 place count 149 transition count 352
Iterating global reduction 3 with 64 rules applied. Total rules applied 801 place count 149 transition count 352
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 802 place count 149 transition count 351
Discarding 63 places :
Symmetric choice reduction at 4 with 63 rule applications. Total rules 865 place count 86 transition count 225
Iterating global reduction 4 with 63 rules applied. Total rules applied 928 place count 86 transition count 225
Discarding 63 places :
Symmetric choice reduction at 4 with 63 rule applications. Total rules 991 place count 23 transition count 99
Iterating global reduction 4 with 63 rules applied. Total rules applied 1054 place count 23 transition count 99
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Iterating post reduction 4 with 63 rules applied. Total rules applied 1117 place count 23 transition count 36
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 1117 place count 23 transition count 35
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1119 place count 22 transition count 35
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1121 place count 21 transition count 34
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1123 place count 20 transition count 34
Applied a total of 1123 rules in 59 ms. Remains 20 /614 variables (removed 594) and now considering 34/1604 (removed 1570) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 34 rows 20 cols
[2022-06-10 13:26:51] [INFO ] Computed 2 place invariants in 1 ms
[2022-06-10 13:26:51] [INFO ] [Real]Absence check using 1 positive place invariants in 0 ms returned sat
[2022-06-10 13:26:51] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2022-06-10 13:26:51] [INFO ] After 13ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-06-10 13:26:51] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-10 13:26:51] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:51] [INFO ] After 35ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-06-10 13:26:51] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2022-06-10 13:26:51] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 0 ms returned sat
[2022-06-10 13:26:51] [INFO ] After 8ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:51] [INFO ] After 2ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:51] [INFO ] After 4ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 3 ms.
[2022-06-10 13:26:51] [INFO ] After 36ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2022-06-10 13:26:51] [INFO ] Flatten gal took : 6 ms
[2022-06-10 13:26:51] [INFO ] Flatten gal took : 5 ms
[2022-06-10 13:26:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8528931769283491863.gal : 2 ms
[2022-06-10 13:26:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11077075395500759543.prop : 1 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8528931769283491863.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11077075395500759543.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality11077075395500759543.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 126
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :126 after 3730
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :3730 after 472362
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :472362 after 1.62727e+06
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1.62727e+06 after 3.9371e+06
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :3.9371e+06 after 8.53879e+06
Detected timeout of ITS tools.
[2022-06-10 13:27:07] [INFO ] Flatten gal took : 3 ms
[2022-06-10 13:27:07] [INFO ] Applying decomposition
[2022-06-10 13:27:07] [INFO ] Flatten gal took : 2 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/graph6699267678827479606.txt' '-o' '/tmp/graph6699267678827479606.bin' '-w' '/tmp/graph6699267678827479606.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6699267678827479606.bin' '-l' '-1' '-v' '-w' '/tmp/graph6699267678827479606.weights' '-q' '0' '-e' '0.001'
[2022-06-10 13:27:07] [INFO ] Decomposing Gal with order
[2022-06-10 13:27:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 13:27:07] [INFO ] Removed a total of 38 redundant transitions.
[2022-06-10 13:27:07] [INFO ] Flatten gal took : 5 ms
[2022-06-10 13:27:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 1 ms.
[2022-06-10 13:27:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18333555579979243522.gal : 1 ms
[2022-06-10 13:27:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17092256902549024885.prop : 1 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality18333555579979243522.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality17092256902549024885.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...300
Loading property file /tmp/ReachabilityCardinality17092256902549024885.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :5 after 10
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :10 after 19
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :19 after 126
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :126 after 30860
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :30860 after 9.97591e+06
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :9.97591e+06 after 1.25969e+07
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1.25969e+07 after 1.87006e+07
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :1.87006e+07 after 3.34332e+07
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :3.34332e+07 after 7.5016e+07
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :7.5016e+07 after 2.06652e+08
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11219812940082556940
[2022-06-10 13:27:22] [INFO ] Built C files in 7ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11219812940082556940
Running compilation step : cd /tmp/ltsmin11219812940082556940;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 100 ms.
Running link step : cd /tmp/ltsmin11219812940082556940;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 28 ms.
Running LTSmin : cd /tmp/ltsmin11219812940082556940;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'FunctionPointerPTc032ReachabilityFireability08==true'
LTSmin run took 37 ms.
Found Violation
[2022-06-10 13:27:22] [INFO ] Flatten gal took : 93 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin789444539380757375
[2022-06-10 13:27:22] [INFO ] Too many transitions (1604) to apply POR reductions. Disabling POR matrices.
[2022-06-10 13:27:22] [INFO ] Built C files in 43ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin789444539380757375
Running compilation step : cd /tmp/ltsmin789444539380757375;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '720' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2022-06-10 13:27:22] [INFO ] Applying decomposition
[2022-06-10 13:27:22] [INFO ] Flatten gal took : 87 ms
[2022-06-10 13:27:22] [INFO ] Flatten gal took : 150 ms
[2022-06-10 13:27:22] [INFO ] Input system was already deterministic with 1604 transitions.
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/graph5776058642470005858.txt' '-o' '/tmp/graph5776058642470005858.bin' '-w' '/tmp/graph5776058642470005858.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5776058642470005858.bin' '-l' '-1' '-v' '-w' '/tmp/graph5776058642470005858.weights' '-q' '0' '-e' '0.001'
[2022-06-10 13:27:22] [INFO ] Decomposing Gal with order
[2022-06-10 13:27:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 13:27:23] [INFO ] Removed a total of 2662 redundant transitions.
[2022-06-10 13:27:23] [INFO ] Flatten gal took : 137 ms
[2022-06-10 13:27:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 1117 labels/synchronizations in 110 ms.
[2022-06-10 13:27:23] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability9939782228032676194.gal : 24 ms
[2022-06-10 13:27:23] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability52923859970323324.prop : 1 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability9939782228032676194.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability52923859970323324.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...296
[2022-06-10 13:27:23] [INFO ] Ran tautology test, simplified 0 / 1 in 808 ms.
Loading property file /tmp/ReachabilityFireability52923859970323324.prop.
[2022-06-10 13:27:23] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=0 took 16 ms
[2022-06-10 13:27:23] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=1 took 1 ms
[2022-06-10 13:27:23] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=2 took 166 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 1071 out of 1604 initially.
// Phase 1: matrix 1071 rows 614 cols
[2022-06-10 13:27:23] [INFO ] Computed 2 place invariants in 5 ms
[2022-06-10 13:27:23] [INFO ] Computed 2 place invariants in 6 ms
[2022-06-10 13:27:24] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=3 took 702 ms
[2022-06-10 13:27:25] [INFO ] Proved 614 variables to be positive in 1069 ms
[2022-06-10 13:27:25] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c032-ReachabilityFireability-08
[2022-06-10 13:27:25] [INFO ] KInduction solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(SAT) depth K=0 took 47 ms
[2022-06-10 13:27:25] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c032-ReachabilityFireability-08
[2022-06-10 13:27:25] [INFO ] KInduction solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(SAT) depth K=1 took 553 ms
Compilation finished in 3458 ms.
Running link step : cd /tmp/ltsmin789444539380757375;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 29 ms.
Running LTSmin : cd /tmp/ltsmin789444539380757375;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'FunctionPointerPTc032ReachabilityFireability08==true'
[2022-06-10 13:27:44] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=4 took 19946 ms
[2022-06-10 13:27:44] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c032-ReachabilityFireability-08
[2022-06-10 13:27:44] [INFO ] KInduction solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(SAT) depth K=2 took 19161 ms
[2022-06-10 13:31:26] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=5 took 222133 ms
[2022-06-10 13:34:03] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c032-ReachabilityFireability-08
[2022-06-10 13:34:03] [INFO ] KInduction solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(SAT) depth K=3 took 378596 ms
Detected timeout of ITS tools.
[2022-06-10 13:48:46] [INFO ] Applying decomposition
[2022-06-10 13:48:46] [INFO ] Flatten gal took : 205 ms
[2022-06-10 13:48:47] [INFO ] Decomposing Gal with order
[2022-06-10 13:48:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l128 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l160 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l192 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l208 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l224 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l240 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l256 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l264 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l272 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l280 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l288 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l296 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l304 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l312 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l320 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l324 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l328 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l332 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l336 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l340 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l344 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l348 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l352 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l356 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l360 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l364 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l368 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l372 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l376 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l380 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l384 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l386 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l388 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l390 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l392 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l394 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l396 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l398 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l400 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l402 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l404 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l406 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l408 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l410 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l412 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l414 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l416 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l418 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l420 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l422 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l424 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l426 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l428 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l430 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l432 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l434 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l436 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l438 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l440 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l442 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l444 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l446 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l448 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l449 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l450 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l451 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l452 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l453 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l454 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l455 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l456 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l457 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l458 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l459 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l460 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l461 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l462 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l463 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l464 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l465 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l466 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l467 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l468 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l469 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l470 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l471 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l472 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l473 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l474 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l475 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l476 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l477 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l478 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l479 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l480 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l481 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l482 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l483 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l484 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l485 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l486 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l487 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l488 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l489 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l490 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l491 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l492 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l493 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l494 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l495 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l496 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l497 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l498 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l499 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l500 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l501 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l502 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l503 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l504 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l505 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l506 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l507 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l508 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l509 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l510 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l511 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l513 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l514 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l515 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l516 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l517 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l518 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l519 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l520 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l521 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l522 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l523 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l524 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l525 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l526 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l527 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l528 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l529 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l530 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l531 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l532 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l533 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l534 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l535 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l536 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l537 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l538 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l539 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l540 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l541 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l542 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l543 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l544 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l545 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l546 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l547 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l548 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l549 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l550 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l551 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l552 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l553 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l554 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l555 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l556 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l557 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l558 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l559 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l560 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l561 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l562 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l563 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l564 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l565 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l566 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l567 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l568 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l569 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l570 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l571 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l572 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l573 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l574 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l575 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l576 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l577 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l578 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l579 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l580 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l581 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l582 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l583 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l584 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l585 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l586 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l587 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l588 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l589 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l590 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l591 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l592 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l593 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l594 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l595 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l596 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l597 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l598 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l599 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l600 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l601 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l602 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l603 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l604 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l605 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l606 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l607 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l608 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l609 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l610 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l611 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l612 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l613 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l614 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l615 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l616 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l617 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l618 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l619 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l620 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l621 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l622 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l623 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l624 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l625 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l626 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l627 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l628 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l629 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l630 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l631 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l632 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l633 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l634 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l635 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l636 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l637 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l638 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l639 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l640 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l641 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l642 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l643 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l644 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l645 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l646 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l647 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l648 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l649 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l650 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l651 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l652 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l653 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l654 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l655 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l656 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l657 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l658 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l659 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l660 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l661 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l662 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l663 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l664 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l665 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l666 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l667 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l668 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l669 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l670 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l671 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l672 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l673 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l674 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l675 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l676 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l677 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l678 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l679 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l680 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l681 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l682 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l683 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l684 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l685 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l686 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l687 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l688 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l689 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l690 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l691 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l692 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l693 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l694 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l695 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l696 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l697 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l698 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l699 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l700 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l701 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l702 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l703 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l705 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l706 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l707 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l708 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l709 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l710 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l711 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l712 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l713 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l714 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l715 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l716 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l717 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l718 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l719 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l720 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l721 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l722 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l723 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l724 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l725 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l726 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l727 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l728 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l729 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l730 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l731 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l732 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l733 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l734 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l735 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l736 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l737 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l738 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l739 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l740 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l741 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l742 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l743 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l744 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l745 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l746 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l747 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l748 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l749 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l750 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l751 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l752 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l753 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l754 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l755 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l756 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l757 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l758 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l759 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l760 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l761 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l762 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l763 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l764 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l765 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l766 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l767 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l897 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l898 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l899 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l900 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l901 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l902 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l903 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l904 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l905 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l906 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l907 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l908 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l909 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l910 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l911 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l912 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l913 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l914 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l915 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l916 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l917 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l918 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l919 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l920 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l921 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l922 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l923 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l924 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l925 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l926 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l927 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l928 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l929 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l930 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l931 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l932 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l933 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l934 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l935 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l936 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l937 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l938 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l939 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l940 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l941 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l942 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l943 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l944 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l945 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l946 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l947 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l948 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l949 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l950 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l951 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l952 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l953 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l954 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l955 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l956 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l957 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l958 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l959 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l960 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l961 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l962 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l963 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l964 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l965 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l966 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l967 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l968 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l969 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l970 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l971 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l972 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l973 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l974 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l975 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l976 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l977 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l978 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l979 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l980 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l981 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l982 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l983 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l984 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l985 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l986 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l987 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l988 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l989 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l990 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l991 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l992 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l993 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l994 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l995 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l996 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l997 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l998 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l999 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p1009 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1001 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1002 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1003 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1004 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1005 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1006 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1007 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1008 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1009 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p1019 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1011 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1012 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1013 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1014 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1015 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1016 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1017 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1018 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1019 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p1029 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1021 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1022 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1023 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1088 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1111 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1216 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1239 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1344 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1367 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1408 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1431 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1472 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1495 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1536 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p1609 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1752 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1816 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1912 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1976 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l1984 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2048 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2112 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2179 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2243 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2311 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2503 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2624 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2625 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2626 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2627 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2628 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2629 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p2639 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2631 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2632 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2633 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2634 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2635 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2636 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2637 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2638 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2639 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p2649 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2641 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2642 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2643 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2644 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2645 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2646 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2647 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2648 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2649 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p2659 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2651 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2652 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2653 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2654 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2655 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2656 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2657 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2658 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2659 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p2669 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2661 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2662 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2663 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2664 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2665 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2666 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2667 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2668 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2669 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p2679 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2671 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2672 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2673 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2674 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2675 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2676 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2677 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2678 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2679 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to p2689 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2681 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2682 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2683 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2684 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2685 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2686 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [INFO ] Could not find partition element corresponding to l2687 in partition [s1, s3, s5, l704],[l1024, p1289],[l0, l64, l512, l896],[s0, s2, s4],[l1047, l1303],[l1559, l1623],[l1664, l2375, l2439],
[2022-06-10 13:48:47] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 10
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.runner.its.MultiOrderRunner.runMultiITS(MultiOrderRunner.java:116)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:957)
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 13:48:47] [INFO ] Flatten gal took : 175 ms
[2022-06-10 13:48:47] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability9319937545976409418.gal : 15 ms
[2022-06-10 13:48:47] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability7950596870703922837.prop : 0 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability9319937545976409418.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability7950596870703922837.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...319
Loading property file /tmp/ReachabilityFireability7950596870703922837.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 31
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :31 after 1957
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1957 after 1.16442e+06
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1.16442e+06 after 3.09406e+10
[2022-06-10 13:50:24] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=6 took 1138455 ms
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :3.09406e+10 after 3.59092e+17
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :3.59092e+17 after 3.85728e+28
[2022-06-10 14:05:00] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c032-ReachabilityFireability-08
[2022-06-10 14:05:00] [INFO ] KInduction solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(SAT) depth K=4 took 1856900 ms
Detected timeout of ITS tools.
[2022-06-10 14:10:11] [INFO ] Flatten gal took : 175 ms
[2022-06-10 14:10:11] [INFO ] Input system was already deterministic with 1604 transitions.
[2022-06-10 14:10:11] [INFO ] Transformed 614 places.
[2022-06-10 14:10:11] [INFO ] Transformed 1604 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-06-10 14:10:11] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability3423729140647265000.gal : 30 ms
[2022-06-10 14:10:11] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability13194819108165295986.prop : 0 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityFireability3423729140647265000.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityFireability13194819108165295986.prop' '--nowitness' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...365
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityFireability13194819108165295986.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 30
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :30 after 1866
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :1866 after 981629
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :981629 after 1.86116e+10
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1.86116e+10 after 9.71003e+16
[2022-06-10 14:14:30] [INFO ] BMC solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(UNSAT) depth K=7 took 1445065 ms
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :9.71003e+16 after 1.67018e+27
[2022-06-10 14:19:30] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesFunctionPointer-PT-c032-ReachabilityFireability-08
[2022-06-10 14:19:30] [INFO ] KInduction solution for property FunctionPointer-PT-c032-ReachabilityFireability-08(SAT) depth K=5 took 869591 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
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -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 ReachabilityFireability -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="FunctionPointer-PT-c032"
export BK_EXAMINATION="ReachabilityFireability"
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 FunctionPointer-PT-c032, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r312-tall-165472282300511"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-c032.tgz
mv FunctionPointer-PT-c032 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;