About the Execution of LoLA for CloudReconfiguration-PT-310
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12537.000 | 3570715.00 | 7137049.00 | 9145.50 | FFTTF?TFTTFTFF?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 824K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-310, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379900068
=====================================================================
--------------------
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 CloudReconfiguration-PT-310-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-310-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526508575455
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-310 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-310 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-310 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p2387)
lola: LP says that atomic proposition is always false: (2 <= p312)
lola: LP says that atomic proposition is always false: (2 <= p133)
lola: LP says that atomic proposition is always false: (2 <= p1153)
lola: LP says that atomic proposition is always false: (3 <= p2256)
lola: LP says that atomic proposition is always false: (3 <= p2423)
lola: LP says that atomic proposition is always false: (2 <= p165)
lola: LP says that atomic proposition is always false: (3 <= p1958)
lola: LP says that atomic proposition is always false: (3 <= p1116)
lola: LP says that atomic proposition is always false: (2 <= p798)
lola: LP says that atomic proposition is always false: (2 <= p2368)
lola: LP says that atomic proposition is always false: (3 <= p2341)
lola: E (F (FALSE)) : E (F (FALSE)) : E (F ((((p153 + 1 <= p1095) AND ((p1814 <= p1894) OR (p2242 <= p1408)))))) : E (F ((1 <= p287))) : A (G ((p2142 <= p958))) : E (F (((p2400 + 1 <= p98) AND (1 <= p820)))) : E (F ((p196 + 1 <= p570))) : A (G ((p1089 <= 0))) : A (G (TRUE)) : E (F (((p656 + 1 <= p1742) AND (p1408 <= 0) AND (1 <= p18)))) : E (F (())) : E (F ((p718 + 1 <= p1308))) : A (G ((p371 <= p2502))) : E (F (())) : E (F (((p1418 + 1 <= p741) AND (p1285 + 1 <= p319) AND (p140 + 1 <= p1514) AND (p2363 <= 0)))) : E (F (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p287)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((1 <= p287)))
lola: processed formula length: 19
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= p287)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 69 markings, 68 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1089 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p1089 <= 0)))
lola: processed formula length: 20
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (1 <= p1089)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 71 markings, 70 edges
lola:
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 8 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p718 + 1 <= p1308)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((p718 + 1 <= p1308)))
lola: processed formula length: 27
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (p718 + 1 <= p1308)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 91 markings, 90 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p371 <= p2502)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p371 <= p2502)))
lola: processed formula length: 23
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p2502 + 1 <= p371)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 61 markings, 60 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 588 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p196 + 1 <= p570)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((p196 + 1 <= p570)))
lola: processed formula length: 26
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (p196 + 1 <= p570)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 65 markings, 64 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2142 <= p958)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p2142 <= p958)))
lola: processed formula length: 23
lola: 20 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p958 + 1 <= p2142)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 192 markings, 209 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 882 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2400 + 1 <= p98) AND (1 <= p820))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((p2400 + 1 <= p98) AND (1 <= p820))))
lola: processed formula length: 44
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p2400 + 1 <= p98) AND (1 <= p820))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 53536 markings, 78323 edges, 10707 markings/sec, 0 secs
lola: sara is running 5 secs || 114689 markings, 166287 edges, 12231 markings/sec, 5 secs
lola: sara is running 10 secs || 176400 markings, 246829 edges, 12342 markings/sec, 10 secs
lola: sara is running 15 secs || 240028 markings, 328791 edges, 12726 markings/sec, 15 secs
lola: sara is running 20 secs || 301165 markings, 407766 edges, 12227 markings/sec, 20 secs
lola: sara is running 25 secs || 355495 markings, 480325 edges, 10866 markings/sec, 25 secs
lola: sara is running 30 secs || 411295 markings, 551812 edges, 11160 markings/sec, 30 secs
lola: sara is running 35 secs || 468098 markings, 625451 edges, 11361 markings/sec, 35 secs
lola: sara is running 40 secs || 522265 markings, 694107 edges, 10833 markings/sec, 40 secs
lola: sara is running 45 secs || 574391 markings, 760096 edges, 10425 markings/sec, 45 secs
lola: sara is running 50 secs || 626342 markings, 829317 edges, 10390 markings/sec, 50 secs
lola: sara is running 55 secs || 682261 markings, 901266 edges, 11184 markings/sec, 55 secs
lola: sara is running 60 secs || 738634 markings, 970887 edges, 11275 markings/sec, 60 secs
lola: sara is running 65 secs || 794364 markings, 1041023 edges, 11146 markings/sec, 65 secs
lola: sara is running 70 secs || 849592 markings, 1111044 edges, 11046 markings/sec, 70 secs
lola: sara is running 75 secs || 904121 markings, 1181642 edges, 10906 markings/sec, 75 secs
lola: sara is running 80 secs || 958750 markings, 1249235 edges, 10926 markings/sec, 80 secs
lola: sara is running 85 secs || 1016029 markings, 1322982 edges, 11456 markings/sec, 85 secs
lola: sara is running 90 secs || 1072568 markings, 1395829 edges, 11308 markings/sec, 90 secs
lola: sara is running 95 secs || 1127857 markings, 1466893 edges, 11058 markings/sec, 95 secs
lola: sara is running 100 secs || 1185142 markings, 1539635 edges, 11457 markings/sec, 100 secs
lola: sara is running 105 secs || 1240980 markings, 1610727 edges, 11168 markings/sec, 105 secs
lola: sara is running 110 secs || 1298540 markings, 1681450 edges, 11512 markings/sec, 110 secs
lola: sara is running 115 secs || 1353389 markings, 1748981 edges, 10970 markings/sec, 115 secs
lola: sara is running 120 secs || 1410719 markings, 1819499 edges, 11466 markings/sec, 120 secs
lola: sara is running 125 secs || 1464470 markings, 1888344 edges, 10750 markings/sec, 125 secs
lola: sara is running 130 secs || 1522526 markings, 1959747 edges, 11611 markings/sec, 130 secs
lola: sara is running 135 secs || 1579725 markings, 2030176 edges, 11440 markings/sec, 135 secs
lola: sara is running 140 secs || 1638162 markings, 2102051 edges, 11687 markings/sec, 140 secs
lola: sara is running 145 secs || 1694018 markings, 2173813 edges, 11171 markings/sec, 145 secs
lola: sara is running 150 secs || 1748393 markings, 2242787 edges, 10875 markings/sec, 150 secs
lola: sara is running 155 secs || 1800622 markings, 2307546 edges, 10446 markings/sec, 155 secs
lola: sara is running 160 secs || 1854089 markings, 2374053 edges, 10693 markings/sec, 160 secs
lola: sara is running 165 secs || 1908158 markings, 2440525 edges, 10814 markings/sec, 165 secs
lola: sara is running 170 secs || 1961172 markings, 2506588 edges, 10603 markings/sec, 170 secs
lola: sara is running 175 secs || 2014057 markings, 2574031 edges, 10577 markings/sec, 175 secs
lola: sara is running 180 secs || 2066231 markings, 2641039 edges, 10435 markings/sec, 180 secs
lola: sara is running 185 secs || 2117163 markings, 2708937 edges, 10186 markings/sec, 185 secs
lola: sara is running 190 secs || 2175775 markings, 2790593 edges, 11722 markings/sec, 190 secs
lola: sara is running 195 secs || 2224972 markings, 2867896 edges, 9839 markings/sec, 195 secs
lola: sara is running 200 secs || 2271570 markings, 2941122 edges, 9320 markings/sec, 200 secs
lola: sara is running 205 secs || 2322133 markings, 3007856 edges, 10113 markings/sec, 205 secs
lola: sara is running 210 secs || 2373242 markings, 3073112 edges, 10222 markings/sec, 210 secs
lola: sara is running 215 secs || 2429052 markings, 3141547 edges, 11162 markings/sec, 215 secs
lola: sara is running 220 secs || 2480893 markings, 3209188 edges, 10368 markings/sec, 220 secs
lola: sara is running 225 secs || 2535958 markings, 3279360 edges, 11013 markings/sec, 225 secs
lola: sara is running 230 secs || 2594296 markings, 3353159 edges, 11668 markings/sec, 230 secs
lola: sara is running 235 secs || 2655256 markings, 3430655 edges, 12192 markings/sec, 235 secs
lola: sara is running 240 secs || 2712914 markings, 3505309 edges, 11532 markings/sec, 240 secs
lola: sara is running 245 secs || 2769357 markings, 3576753 edges, 11289 markings/sec, 245 secs
lola: sara is running 250 secs || 2824961 markings, 3645626 edges, 11121 markings/sec, 250 secs
lola: sara is running 255 secs || 2876267 markings, 3711040 edges, 10261 markings/sec, 255 secs
lola: sara is running 260 secs || 2932642 markings, 3784869 edges, 11275 markings/sec, 260 secs
lola: sara is running 265 secs || 2985279 markings, 3849354 edges, 10527 markings/sec, 265 secs
lola: sara is running 270 secs || 3036213 markings, 3914682 edges, 10187 markings/sec, 270 secs
lola: sara is running 275 secs || 3089945 markings, 3983206 edges, 10746 markings/sec, 275 secs
lola: sara is running 280 secs || 3145309 markings, 4053261 edges, 11073 markings/sec, 280 secs
lola: sara is running 285 secs || 3200369 markings, 4124482 edges, 11012 markings/sec, 285 secs
lola: sara is running 290 secs || 3254688 markings, 4194217 edges, 10864 markings/sec, 290 secs
lola: sara is running 295 secs || 3306737 markings, 4262149 edges, 10410 markings/sec, 295 secs
lola: sara is running 300 secs || 3361649 markings, 4330077 edges, 10982 markings/sec, 300 secs
lola: sara is running 305 secs || 3411907 markings, 4393601 edges, 10052 markings/sec, 305 secs
lola: sara is running 310 secs || 3457296 markings, 4453227 edges, 9078 markings/sec, 310 secs
lola: sara is running 315 secs || 3514403 markings, 4527092 edges, 11421 markings/sec, 315 secs
lola: sara is running 320 secs || 3567216 markings, 4595418 edges, 10563 markings/sec, 320 secs
lola: sara is running 325 secs || 3614564 markings, 4657647 edges, 9470 markings/sec, 325 secs
lola: sara is running 330 secs || 3659841 markings, 4714123 edges, 9055 markings/sec, 330 secs
lola: sara is running 335 secs || 3713572 markings, 4782923 edges, 10746 markings/sec, 335 secs
lola: sara is running 340 secs || 3763777 markings, 4847654 edges, 10041 markings/sec, 340 secs
lola: sara is running 345 secs || 3822735 markings, 4921154 edges, 11792 markings/sec, 345 secs
lola: sara is running 350 secs || 3877220 markings, 4991355 edges, 10897 markings/sec, 350 secs
lola: sara is running 355 secs || 3932692 markings, 5061030 edges, 11094 markings/sec, 355 secs
lola: sara is running 360 secs || 3987533 markings, 5128879 edges, 10968 markings/sec, 360 secs
lola: sara is running 365 secs || 4051235 markings, 5211588 edges, 12740 markings/sec, 365 secs
lola: sara is running 370 secs || 4115552 markings, 5292463 edges, 12863 markings/sec, 370 secs
lola: sara is running 375 secs || 4174261 markings, 5368637 edges, 11742 markings/sec, 375 secs
lola: sara is running 380 secs || 4237052 markings, 5446315 edges, 12558 markings/sec, 380 secs
lola: sara is running 385 secs || 4295419 markings, 5519137 edges, 11673 markings/sec, 385 secs
lola: sara is running 390 secs || 4351406 markings, 5589807 edges, 11197 markings/sec, 390 secs
lola: sara is running 395 secs || 4402211 markings, 5652696 edges, 10161 markings/sec, 395 secs
lola: sara is running 400 secs || 4453309 markings, 5719375 edges, 10220 markings/sec, 400 secs
lola: sara is running 405 secs || 4508307 markings, 5788808 edges, 11000 markings/sec, 405 secs
lola: sara is running 410 secs || 4566801 markings, 5860345 edges, 11699 markings/sec, 410 secs
lola: sara is running 415 secs || 4619172 markings, 5927824 edges, 10474 markings/sec, 415 secs
lola: sara is running 420 secs || 4682693 markings, 6007370 edges, 12704 markings/sec, 420 secs
lola: sara is running 425 secs || 4732210 markings, 6072646 edges, 9903 markings/sec, 425 secs
lola: sara is running 430 secs || 4780284 markings, 6134025 edges, 9615 markings/sec, 430 secs
lola: sara is running 435 secs || 4841531 markings, 6210424 edges, 12249 markings/sec, 435 secs
lola: sara is running 440 secs || 4903434 markings, 6290272 edges, 12381 markings/sec, 440 secs
lola: sara is running 445 secs || 4963581 markings, 6367819 edges, 12029 markings/sec, 445 secs
lola: sara is running 450 secs || 5021277 markings, 6442765 edges, 11539 markings/sec, 450 secs
lola: sara is running 455 secs || 5080560 markings, 6516237 edges, 11857 markings/sec, 455 secs
lola: sara is running 460 secs || 5135392 markings, 6585841 edges, 10966 markings/sec, 460 secs
lola: sara is running 465 secs || 5191400 markings, 6655477 edges, 11202 markings/sec, 465 secs
lola: sara is running 470 secs || 5238100 markings, 6714074 edges, 9340 markings/sec, 470 secs
lola: sara is running 475 secs || 5298850 markings, 6793346 edges, 12150 markings/sec, 475 secs
lola: sara is running 480 secs || 5355791 markings, 6868078 edges, 11388 markings/sec, 480 secs
lola: sara is running 485 secs || 5413194 markings, 6940146 edges, 11481 markings/sec, 485 secs
lola: sara is running 490 secs || 5470235 markings, 7012615 edges, 11408 markings/sec, 490 secs
lola: sara is running 495 secs || 5524134 markings, 7081326 edges, 10780 markings/sec, 495 secs
lola: sara is running 500 secs || 5588226 markings, 7161480 edges, 12818 markings/sec, 500 secs
lola: sara is running 505 secs || 5644509 markings, 7230599 edges, 11257 markings/sec, 505 secs
lola: sara is running 510 secs || 5689419 markings, 7289676 edges, 8982 markings/sec, 510 secs
lola: sara is running 515 secs || 5744766 markings, 7364622 edges, 11069 markings/sec, 515 secs
lola: sara is running 520 secs || 5796234 markings, 7447539 edges, 10294 markings/sec, 520 secs
lola: sara is running 525 secs || 5847180 markings, 7530295 edges, 10189 markings/sec, 525 secs
lola: sara is running 530 secs || 5891078 markings, 7585810 edges, 8780 markings/sec, 530 secs
lola: sara is running 535 secs || 5937250 markings, 7644252 edges, 9234 markings/sec, 535 secs
lola: sara is running 540 secs || 5997103 markings, 7719069 edges, 11971 markings/sec, 540 secs
lola: sara is running 545 secs || 6038384 markings, 7772423 edges, 8256 markings/sec, 545 secs
lola: sara is running 550 secs || 6087293 markings, 7832513 edges, 9782 markings/sec, 550 secs
lola: sara is running 555 secs || 6124461 markings, 7880893 edges, 7434 markings/sec, 555 secs
lola: sara is running 560 secs || 6172264 markings, 7939927 edges, 9561 markings/sec, 560 secs
lola: sara is running 565 secs || 6220062 markings, 7999703 edges, 9560 markings/sec, 565 secs
lola: sara is running 570 secs || 6270532 markings, 8064661 edges, 10094 markings/sec, 570 secs
lola: sara is running 575 secs || 6331792 markings, 8142747 edges, 12252 markings/sec, 575 secs
lola: sara is running 580 secs || 6375988 markings, 8198250 edges, 8839 markings/sec, 580 secs
lola: sara is running 585 secs || 6426031 markings, 8260450 edges, 10009 markings/sec, 585 secs
lola: sara is running 590 secs || 6471435 markings, 8322720 edges, 9081 markings/sec, 590 secs
lola: sara is running 595 secs || 6518028 markings, 8381048 edges, 9319 markings/sec, 595 secs
lola: sara is running 600 secs || 6559985 markings, 8451769 edges, 8391 markings/sec, 600 secs
lola: sara is running 605 secs || 6606175 markings, 8509920 edges, 9238 markings/sec, 605 secs
lola: sara is running 610 secs || 6652069 markings, 8566329 edges, 9179 markings/sec, 610 secs
lola: sara is running 615 secs || 6699259 markings, 8624039 edges, 9438 markings/sec, 615 secs
lola: sara is running 620 secs || 6748830 markings, 8685127 edges, 9914 markings/sec, 620 secs
lola: sara is running 625 secs || 6797065 markings, 8744016 edges, 9647 markings/sec, 625 secs
lola: sara is running 630 secs || 6839743 markings, 8809203 edges, 8536 markings/sec, 630 secs
lola: sara is running 635 secs || 6880096 markings, 8858546 edges, 8071 markings/sec, 635 secs
lola: sara is running 640 secs || 6923072 markings, 8911343 edges, 8595 markings/sec, 640 secs
lola: sara is running 645 secs || 6970844 markings, 8970186 edges, 9554 markings/sec, 645 secs
lola: sara is running 650 secs || 7016714 markings, 9026574 edges, 9174 markings/sec, 650 secs
lola: sara is running 655 secs || 7063315 markings, 9084348 edges, 9320 markings/sec, 655 secs
lola: sara is running 660 secs || 7109067 markings, 9142262 edges, 9150 markings/sec, 660 secs
lola: sara is running 665 secs || 7147145 markings, 9188786 edges, 7616 markings/sec, 665 secs
lola: sara is running 670 secs || 7185898 markings, 9236773 edges, 7751 markings/sec, 670 secs
lola: sara is running 675 secs || 7227244 markings, 9286964 edges, 8269 markings/sec, 675 secs
lola: sara is running 680 secs || 7270265 markings, 9339872 edges, 8604 markings/sec, 680 secs
lola: sara is running 685 secs || 7304817 markings, 9382207 edges, 6910 markings/sec, 685 secs
lola: sara is running 690 secs || 7340949 markings, 9427414 edges, 7226 markings/sec, 690 secs
lola: sara is running 695 secs || 7375352 markings, 9469136 edges, 6881 markings/sec, 695 secs
lola: sara is running 700 secs || 7414893 markings, 9517036 edges, 7908 markings/sec, 700 secs
lola: sara is running 705 secs || 7452114 markings, 9563443 edges, 7444 markings/sec, 705 secs
lola: sara is running 710 secs || 7494590 markings, 9615843 edges, 8495 markings/sec, 710 secs
lola: sara is running 715 secs || 7537374 markings, 9669517 edges, 8557 markings/sec, 715 secs
lola: sara is running 720 secs || 7583180 markings, 9726585 edges, 9161 markings/sec, 720 secs
lola: sara is running 725 secs || 7611276 markings, 9823787 edges, 5619 markings/sec, 725 secs
lola: sara is running 730 secs || 7654310 markings, 9902284 edges, 8607 markings/sec, 730 secs
lola: sara is running 735 secs || 7708929 markings, 9979706 edges, 10924 markings/sec, 735 secs
lola: sara is running 740 secs || 7760873 markings, 10051811 edges, 10389 markings/sec, 740 secs
lola: sara is running 745 secs || 7814908 markings, 10129290 edges, 10807 markings/sec, 745 secs
lola: sara is running 750 secs || 7866311 markings, 10201704 edges, 10281 markings/sec, 750 secs
lola: sara is running 755 secs || 7915421 markings, 10273426 edges, 9822 markings/sec, 755 secs
lola: sara is running 760 secs || 7968818 markings, 10348615 edges, 10679 markings/sec, 760 secs
lola: sara is running 765 secs || 8021455 markings, 10430635 edges, 10527 markings/sec, 765 secs
lola: sara is running 770 secs || 8075037 markings, 10510724 edges, 10716 markings/sec, 770 secs
lola: sara is running 775 secs || 8130277 markings, 10595797 edges, 11048 markings/sec, 775 secs
lola: sara is running 780 secs || 8187220 markings, 10687633 edges, 11389 markings/sec, 780 secs
lola: sara is running 785 secs || 8243196 markings, 10764719 edges, 11195 markings/sec, 785 secs
lola: sara is running 790 secs || 8306493 markings, 10842939 edges, 12659 markings/sec, 790 secs
lola: sara is running 795 secs || 8372688 markings, 10925926 edges, 13239 markings/sec, 795 secs
lola: sara is running 800 secs || 8436903 markings, 11006775 edges, 12843 markings/sec, 800 secs
lola: sara is running 805 secs || 8498383 markings, 11083226 edges, 12296 markings/sec, 805 secs
lola: sara is running 810 secs || 8558472 markings, 11159080 edges, 12018 markings/sec, 810 secs
lola: sara is running 815 secs || 8615833 markings, 11230300 edges, 11472 markings/sec, 815 secs
lola: sara is running 820 secs || 8667581 markings, 11296182 edges, 10350 markings/sec, 820 secs
lola: sara is running 825 secs || 8718421 markings, 11360184 edges, 10168 markings/sec, 825 secs
lola: sara is running 830 secs || 8771267 markings, 11425484 edges, 10569 markings/sec, 830 secs
lola: sara is running 835 secs || 8823239 markings, 11489381 edges, 10394 markings/sec, 835 secs
lola: sara is running 840 secs || 8869560 markings, 11547127 edges, 9264 markings/sec, 840 secs
lola: sara is running 845 secs || 8919240 markings, 11608788 edges, 9936 markings/sec, 845 secs
lola: sara is running 850 secs || 8967525 markings, 11668763 edges, 9657 markings/sec, 850 secs
lola: sara is running 855 secs || 9013008 markings, 11725470 edges, 9097 markings/sec, 855 secs
lola: sara is running 860 secs || 9061568 markings, 11784978 edges, 9712 markings/sec, 860 secs
lola: sara is running 865 secs || 9107639 markings, 11841926 edges, 9214 markings/sec, 865 secs
lola: sara is running 870 secs || 9149667 markings, 11894382 edges, 8406 markings/sec, 870 secs
lola: sara is running 875 secs || 9198641 markings, 11954409 edges, 9795 markings/sec, 875 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown yes no unknown yes no yes unknown no yes no no unknown no
lola: memory consumption: 1053428 KB
lola: time consumption: 924 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 882 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p656 + 1 <= p1742) AND (p1408 <= 0) AND (1 <= p18))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((p656 + 1 <= p1742) AND (p1408 <= 0) AND (1 <= p18))))
lola: processed formula length: 61
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p656 + 1 <= p1742) AND (p1408 <= 0) AND (1 <= p18))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-13-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 71 markings, 70 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p153 + 1 <= p1095) AND ((p1814 <= p1894) OR (p2242 <= p1408))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((((p153 + 1 <= p1095) AND ((p1814 <= p1894) OR (p2242 <= p1408))))))
lola: processed formula length: 75
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p153 + 1 <= p1095) AND ((p1814 <= p1894) OR (p2242 <= p1408))))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-14-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 65 markings, 64 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2646 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1418 + 1 <= p741) AND (p1285 + 1 <= p319) AND (p140 + 1 <= p1514) AND (p2363 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((p1418 + 1 <= p741) AND (p1285 + 1 <= p319) AND (p140 + 1 <= p1514) AND (p2363 <= 0))))
lola: processed formula length: 94
lola: 19 rewrites
lola: closed formula file CloudReconfiguration-PT-310-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1418 + 1 <= p741) AND (p1285 + 1 <= p319) AND (p140 + 1 <= p1514) AND (p2363 <= 0))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 62496 markings, 102246 edges, 12499 markings/sec, 0 secs
lola: sara is running 5 secs || 115487 markings, 215491 edges, 10598 markings/sec, 5 secs
lola: sara is running 10 secs || 167282 markings, 330775 edges, 10359 markings/sec, 10 secs
lola: sara is running 15 secs || 219810 markings, 446212 edges, 10506 markings/sec, 15 secs
lola: sara is running 20 secs || 273932 markings, 552113 edges, 10824 markings/sec, 20 secs
lola: sara is running 25 secs || 324196 markings, 662602 edges, 10053 markings/sec, 25 secs
lola: sara is running 30 secs || 377629 markings, 768154 edges, 10687 markings/sec, 30 secs
lola: sara is running 35 secs || 426868 markings, 878523 edges, 9848 markings/sec, 35 secs
lola: sara is running 40 secs || 484214 markings, 985194 edges, 11469 markings/sec, 40 secs
lola: sara is running 45 secs || 541992 markings, 1102121 edges, 11556 markings/sec, 45 secs
lola: sara is running 50 secs || 592918 markings, 1221722 edges, 10185 markings/sec, 50 secs
lola: sara is running 55 secs || 644454 markings, 1340730 edges, 10307 markings/sec, 55 secs
lola: sara is running 60 secs || 697099 markings, 1452045 edges, 10529 markings/sec, 60 secs
lola: sara is running 65 secs || 749558 markings, 1562839 edges, 10492 markings/sec, 65 secs
lola: sara is running 70 secs || 801892 markings, 1672001 edges, 10467 markings/sec, 70 secs
lola: sara is running 75 secs || 850541 markings, 1784185 edges, 9730 markings/sec, 75 secs
lola: sara is running 80 secs || 899868 markings, 1892728 edges, 9865 markings/sec, 80 secs
lola: sara is running 85 secs || 949294 markings, 2001493 edges, 9885 markings/sec, 85 secs
lola: sara is running 90 secs || 999556 markings, 2109992 edges, 10052 markings/sec, 90 secs
lola: sara is running 95 secs || 1047750 markings, 2214407 edges, 9639 markings/sec, 95 secs
lola: sara is running 100 secs || 1096689 markings, 2320901 edges, 9788 markings/sec, 100 secs
lola: sara is running 105 secs || 1145105 markings, 2428057 edges, 9683 markings/sec, 105 secs
lola: sara is running 110 secs || 1191528 markings, 2535036 edges, 9285 markings/sec, 110 secs
lola: sara is running 115 secs || 1241798 markings, 2636758 edges, 10054 markings/sec, 115 secs
lola: sara is running 120 secs || 1293305 markings, 2748055 edges, 10301 markings/sec, 120 secs
lola: sara is running 125 secs || 1346424 markings, 2862890 edges, 10624 markings/sec, 125 secs
lola: sara is running 130 secs || 1395104 markings, 2965542 edges, 9736 markings/sec, 130 secs
lola: sara is running 135 secs || 1445596 markings, 3069010 edges, 10098 markings/sec, 135 secs
lola: sara is running 140 secs || 1495021 markings, 3176981 edges, 9885 markings/sec, 140 secs
lola: sara is running 145 secs || 1544766 markings, 3285659 edges, 9949 markings/sec, 145 secs
lola: sara is running 150 secs || 1594259 markings, 3396494 edges, 9899 markings/sec, 150 secs
lola: sara is running 155 secs || 1642814 markings, 3499651 edges, 9711 markings/sec, 155 secs
lola: sara is running 160 secs || 1693052 markings, 3602505 edges, 10048 markings/sec, 160 secs
lola: sara is running 165 secs || 1739736 markings, 3709119 edges, 9337 markings/sec, 165 secs
lola: sara is running 170 secs || 1786667 markings, 3814371 edges, 9386 markings/sec, 170 secs
lola: sara is running 175 secs || 1837090 markings, 3919216 edges, 10085 markings/sec, 175 secs
lola: sara is running 180 secs || 1884215 markings, 4027648 edges, 9425 markings/sec, 180 secs
lola: sara is running 185 secs || 1931525 markings, 4133894 edges, 9462 markings/sec, 185 secs
lola: sara is running 190 secs || 1981951 markings, 4242685 edges, 10085 markings/sec, 190 secs
lola: sara is running 195 secs || 2029141 markings, 4346390 edges, 9438 markings/sec, 195 secs
lola: sara is running 200 secs || 2076893 markings, 4448014 edges, 9550 markings/sec, 200 secs
lola: sara is running 205 secs || 2122928 markings, 4550888 edges, 9207 markings/sec, 205 secs
lola: sara is running 210 secs || 2170101 markings, 4644550 edges, 9435 markings/sec, 210 secs
lola: sara is running 215 secs || 2214961 markings, 4746855 edges, 8972 markings/sec, 215 secs
lola: sara is running 220 secs || 2263961 markings, 4848558 edges, 9800 markings/sec, 220 secs
lola: sara is running 225 secs || 2309342 markings, 4952092 edges, 9076 markings/sec, 225 secs
lola: sara is running 230 secs || 2354730 markings, 5051999 edges, 9078 markings/sec, 230 secs
lola: sara is running 235 secs || 2401294 markings, 5150001 edges, 9313 markings/sec, 235 secs
lola: sara is running 240 secs || 2447901 markings, 5251498 edges, 9321 markings/sec, 240 secs
lola: sara is running 245 secs || 2494692 markings, 5352656 edges, 9358 markings/sec, 245 secs
lola: sara is running 250 secs || 2538393 markings, 5452442 edges, 8740 markings/sec, 250 secs
lola: sara is running 255 secs || 2584846 markings, 5550386 edges, 9291 markings/sec, 255 secs
lola: sara is running 260 secs || 2631239 markings, 5652174 edges, 9279 markings/sec, 260 secs
lola: sara is running 265 secs || 2672425 markings, 5752935 edges, 8237 markings/sec, 265 secs
lola: sara is running 270 secs || 2717560 markings, 5852197 edges, 9027 markings/sec, 270 secs
lola: sara is running 275 secs || 2762532 markings, 5955675 edges, 8994 markings/sec, 275 secs
lola: sara is running 280 secs || 2810539 markings, 6053932 edges, 9601 markings/sec, 280 secs
lola: sara is running 285 secs || 2854968 markings, 6150001 edges, 8886 markings/sec, 285 secs
lola: sara is running 290 secs || 2901425 markings, 6244604 edges, 9291 markings/sec, 290 secs
lola: sara is running 295 secs || 2944875 markings, 6340058 edges, 8690 markings/sec, 295 secs
lola: sara is running 300 secs || 2987280 markings, 6434844 edges, 8481 markings/sec, 300 secs
lola: sara is running 305 secs || 3031464 markings, 6530914 edges, 8837 markings/sec, 305 secs
lola: sara is running 310 secs || 3077168 markings, 6627230 edges, 9141 markings/sec, 310 secs
lola: sara is running 315 secs || 3119346 markings, 6724377 edges, 8436 markings/sec, 315 secs
lola: sara is running 320 secs || 3160508 markings, 6818399 edges, 8232 markings/sec, 320 secs
lola: sara is running 325 secs || 3202356 markings, 6908934 edges, 8370 markings/sec, 325 secs
lola: sara is running 330 secs || 3245208 markings, 7001302 edges, 8570 markings/sec, 330 secs
lola: sara is running 335 secs || 3286088 markings, 7090331 edges, 8176 markings/sec, 335 secs
lola: sara is running 340 secs || 3331231 markings, 7186845 edges, 9029 markings/sec, 340 secs
lola: sara is running 345 secs || 3377516 markings, 7285867 edges, 9257 markings/sec, 345 secs
lola: sara is running 350 secs || 3421052 markings, 7385868 edges, 8707 markings/sec, 350 secs
lola: sara is running 355 secs || 3467694 markings, 7487802 edges, 9328 markings/sec, 355 secs
lola: sara is running 360 secs || 3515515 markings, 7588508 edges, 9564 markings/sec, 360 secs
lola: sara is running 365 secs || 3559241 markings, 7690122 edges, 8745 markings/sec, 365 secs
lola: sara is running 370 secs || 3601722 markings, 7785750 edges, 8496 markings/sec, 370 secs
lola: sara is running 375 secs || 3646064 markings, 7881432 edges, 8868 markings/sec, 375 secs
lola: sara is running 380 secs || 3691454 markings, 7979403 edges, 9078 markings/sec, 380 secs
lola: sara is running 385 secs || 3734081 markings, 8076803 edges, 8525 markings/sec, 385 secs
lola: sara is running 390 secs || 3775829 markings, 8178525 edges, 8350 markings/sec, 390 secs
lola: sara is running 395 secs || 3822479 markings, 8278886 edges, 9330 markings/sec, 395 secs
lola: sara is running 400 secs || 3867635 markings, 8378505 edges, 9031 markings/sec, 400 secs
lola: sara is running 405 secs || 3912865 markings, 8477835 edges, 9046 markings/sec, 405 secs
lola: sara is running 410 secs || 3962022 markings, 8567149 edges, 9831 markings/sec, 410 secs
lola: sara is running 415 secs || 4009727 markings, 8658282 edges, 9541 markings/sec, 415 secs
lola: sara is running 420 secs || 4057355 markings, 8759651 edges, 9526 markings/sec, 420 secs
lola: sara is running 425 secs || 4103865 markings, 8864041 edges, 9302 markings/sec, 425 secs
lola: sara is running 430 secs || 4150904 markings, 8966399 edges, 9408 markings/sec, 430 secs
lola: sara is running 435 secs || 4199634 markings, 9070763 edges, 9746 markings/sec, 435 secs
lola: sara is running 440 secs || 4243659 markings, 9168944 edges, 8805 markings/sec, 440 secs
lola: sara is running 445 secs || 4291399 markings, 9265761 edges, 9548 markings/sec, 445 secs
lola: sara is running 450 secs || 4336013 markings, 9367497 edges, 8923 markings/sec, 450 secs
lola: sara is running 455 secs || 4380430 markings, 9467244 edges, 8883 markings/sec, 455 secs
lola: sara is running 460 secs || 4428719 markings, 9566597 edges, 9658 markings/sec, 460 secs
lola: sara is running 465 secs || 4473775 markings, 9670679 edges, 9011 markings/sec, 465 secs
lola: sara is running 470 secs || 4517963 markings, 9771210 edges, 8838 markings/sec, 470 secs
lola: sara is running 475 secs || 4565910 markings, 9876757 edges, 9589 markings/sec, 475 secs
lola: sara is running 480 secs || 4607450 markings, 9964276 edges, 8308 markings/sec, 480 secs
lola: sara is running 485 secs || 4648256 markings, 10051333 edges, 8161 markings/sec, 485 secs
lola: sara is running 490 secs || 4687010 markings, 10139602 edges, 7751 markings/sec, 490 secs
lola: sara is running 495 secs || 4727696 markings, 10228667 edges, 8137 markings/sec, 495 secs
lola: sara is running 500 secs || 4771093 markings, 10317512 edges, 8679 markings/sec, 500 secs
lola: sara is running 505 secs || 4810828 markings, 10407727 edges, 7947 markings/sec, 505 secs
lola: sara is running 510 secs || 4849588 markings, 10497352 edges, 7752 markings/sec, 510 secs
lola: sara is running 515 secs || 4891669 markings, 10587649 edges, 8416 markings/sec, 515 secs
lola: sara is running 520 secs || 4935091 markings, 10680813 edges, 8684 markings/sec, 520 secs
lola: sara is running 525 secs || 4975259 markings, 10770019 edges, 8034 markings/sec, 525 secs
lola: sara is running 530 secs || 5017476 markings, 10863368 edges, 8443 markings/sec, 530 secs
lola: sara is running 535 secs || 5060788 markings, 10959913 edges, 8662 markings/sec, 535 secs
lola: sara is running 540 secs || 5105439 markings, 11054034 edges, 8930 markings/sec, 540 secs
lola: sara is running 545 secs || 5147548 markings, 11150696 edges, 8422 markings/sec, 545 secs
lola: sara is running 550 secs || 5192120 markings, 11245711 edges, 8914 markings/sec, 550 secs
lola: sara is running 555 secs || 5235841 markings, 11344082 edges, 8744 markings/sec, 555 secs
lola: sara is running 560 secs || 5284063 markings, 11447074 edges, 9644 markings/sec, 560 secs
lola: sara is running 565 secs || 5336804 markings, 11564616 edges, 10548 markings/sec, 565 secs
lola: sara is running 570 secs || 5392605 markings, 11670545 edges, 11160 markings/sec, 570 secs
lola: sara is running 575 secs || 5445689 markings, 11782432 edges, 10617 markings/sec, 575 secs
lola: sara is running 580 secs || 5494792 markings, 11897067 edges, 9821 markings/sec, 580 secs
lola: sara is running 585 secs || 5544070 markings, 12010890 edges, 9856 markings/sec, 585 secs
lola: sara is running 590 secs || 5590010 markings, 12117587 edges, 9188 markings/sec, 590 secs
lola: sara is running 595 secs || 5641868 markings, 12229295 edges, 10372 markings/sec, 595 secs
lola: sara is running 600 secs || 5692642 markings, 12340983 edges, 10155 markings/sec, 600 secs
lola: sara is running 605 secs || 5748453 markings, 12446833 edges, 11162 markings/sec, 605 secs
lola: sara is running 610 secs || 5797530 markings, 12558421 edges, 9815 markings/sec, 610 secs
lola: sara is running 615 secs || 5845732 markings, 12669709 edges, 9640 markings/sec, 615 secs
lola: sara is running 620 secs || 5893214 markings, 12779229 edges, 9496 markings/sec, 620 secs
lola: sara is running 625 secs || 5944229 markings, 12888660 edges, 10203 markings/sec, 625 secs
lola: sara is running 630 secs || 5995152 markings, 12996441 edges, 10185 markings/sec, 630 secs
lola: sara is running 635 secs || 6042855 markings, 13091794 edges, 9541 markings/sec, 635 secs
lola: sara is running 640 secs || 6080596 markings, 13183469 edges, 7548 markings/sec, 640 secs
lola: sara is running 645 secs || 6129383 markings, 13289001 edges, 9757 markings/sec, 645 secs
lola: sara is running 650 secs || 6174694 markings, 13385863 edges, 9062 markings/sec, 650 secs
lola: sara is running 655 secs || 6234814 markings, 13491662 edges, 12024 markings/sec, 655 secs
lola: sara is running 660 secs || 6284061 markings, 13604685 edges, 9849 markings/sec, 660 secs
lola: sara is running 665 secs || 6332451 markings, 13717344 edges, 9678 markings/sec, 665 secs
lola: sara is running 670 secs || 6379715 markings, 13829410 edges, 9453 markings/sec, 670 secs
lola: sara is running 675 secs || 6438647 markings, 13935026 edges, 11786 markings/sec, 675 secs
lola: sara is running 680 secs || 6488563 markings, 14047461 edges, 9983 markings/sec, 680 secs
lola: sara is running 685 secs || 6536803 markings, 14160232 edges, 9648 markings/sec, 685 secs
lola: sara is running 690 secs || 6584362 markings, 14271943 edges, 9512 markings/sec, 690 secs
lola: sara is running 695 secs || 6633127 markings, 14379217 edges, 9753 markings/sec, 695 secs
lola: sara is running 700 secs || 6683271 markings, 14487899 edges, 10029 markings/sec, 700 secs
lola: sara is running 705 secs || 6738658 markings, 14591629 edges, 11077 markings/sec, 705 secs
lola: sara is running 710 secs || 6789741 markings, 14700626 edges, 10217 markings/sec, 710 secs
lola: sara is running 715 secs || 6837039 markings, 14811237 edges, 9460 markings/sec, 715 secs
lola: sara is running 720 secs || 6884395 markings, 14921460 edges, 9471 markings/sec, 720 secs
lola: sara is running 725 secs || 6929544 markings, 15027251 edges, 9030 markings/sec, 725 secs
lola: sara is running 730 secs || 6973632 markings, 15120871 edges, 8818 markings/sec, 730 secs
lola: sara is running 735 secs || 7021748 markings, 15229489 edges, 9623 markings/sec, 735 secs
lola: sara is running 740 secs || 7074007 markings, 15337225 edges, 10452 markings/sec, 740 secs
lola: sara is running 745 secs || 7123086 markings, 15446340 edges, 9816 markings/sec, 745 secs
lola: sara is running 750 secs || 7173789 markings, 15553630 edges, 10141 markings/sec, 750 secs
lola: sara is running 755 secs || 7227868 markings, 15665600 edges, 10816 markings/sec, 755 secs
lola: sara is running 760 secs || 7289095 markings, 15778284 edges, 12245 markings/sec, 760 secs
lola: sara is running 765 secs || 7342402 markings, 15898270 edges, 10661 markings/sec, 765 secs
lola: sara is running 770 secs || 7394995 markings, 16020818 edges, 10519 markings/sec, 770 secs
lola: sara is running 775 secs || 7447734 markings, 16140990 edges, 10548 markings/sec, 775 secs
lola: sara is running 780 secs || 7499654 markings, 16245610 edges, 10384 markings/sec, 780 secs
lola: sara is running 785 secs || 7542586 markings, 16340403 edges, 8586 markings/sec, 785 secs
lola: sara is running 790 secs || 7587242 markings, 16437017 edges, 8931 markings/sec, 790 secs
lola: sara is running 795 secs || 7631438 markings, 16532734 edges, 8839 markings/sec, 795 secs
lola: sara is running 800 secs || 7674563 markings, 16626328 edges, 8625 markings/sec, 800 secs
lola: sara is running 805 secs || 7718676 markings, 16721881 edges, 8823 markings/sec, 805 secs
lola: sara is running 810 secs || 7763783 markings, 16819519 edges, 9021 markings/sec, 810 secs
lola: sara is running 815 secs || 7801604 markings, 16901399 edges, 7564 markings/sec, 815 secs
lola: sara is running 820 secs || 7839672 markings, 16983681 edges, 7614 markings/sec, 820 secs
lola: sara is running 825 secs || 7878189 markings, 17067419 edges, 7703 markings/sec, 825 secs
lola: sara is running 830 secs || 7918227 markings, 17153992 edges, 8008 markings/sec, 830 secs
lola: sara is running 835 secs || 7958527 markings, 17241135 edges, 8060 markings/sec, 835 secs
lola: sara is running 840 secs || 7999817 markings, 17330676 edges, 8258 markings/sec, 840 secs
lola: sara is running 845 secs || 8041965 markings, 17421947 edges, 8430 markings/sec, 845 secs
lola: sara is running 850 secs || 8083061 markings, 17516072 edges, 8219 markings/sec, 850 secs
lola: sara is running 855 secs || 8129837 markings, 17618986 edges, 9355 markings/sec, 855 secs
lola: sara is running 860 secs || 8179576 markings, 17727050 edges, 9948 markings/sec, 860 secs
lola: sara is running 865 secs || 8229822 markings, 17835874 edges, 10049 markings/sec, 865 secs
lola: sara is running 870 secs || 8279333 markings, 17944816 edges, 9902 markings/sec, 870 secs
lola: sara is running 875 secs || 8327206 markings, 18049108 edges, 9575 markings/sec, 875 secs
lola: sara is running 880 secs || 8375658 markings, 18154473 edges, 9690 markings/sec, 880 secs
lola: sara is running 885 secs || 8425641 markings, 18257876 edges, 9997 markings/sec, 885 secs
lola: sara is running 890 secs || 8486560 markings, 18360533 edges, 12184 markings/sec, 890 secs
lola: sara is running 895 secs || 8544742 markings, 18478725 edges, 11636 markings/sec, 895 secs
lola: sara is running 900 secs || 8596697 markings, 18600825 edges, 10391 markings/sec, 900 secs
lola: sara is running 905 secs || 8649240 markings, 18722190 edges, 10509 markings/sec, 905 secs
lola: sara is running 910 secs || 8700591 markings, 18837788 edges, 10270 markings/sec, 910 secs
lola: sara is running 915 secs || 8754915 markings, 18955674 edges, 10865 markings/sec, 915 secs
lola: sara is running 920 secs || 8808315 markings, 19066991 edges, 10680 markings/sec, 920 secs
lola: sara is running 925 secs || 8866851 markings, 19181964 edges, 11707 markings/sec, 925 secs
lola: sara is running 930 secs || 8918555 markings, 19302747 edges, 10341 markings/sec, 930 secs
lola: sara is running 935 secs || 8970127 markings, 19423204 edges, 10314 markings/sec, 935 secs
lola: sara is running 940 secs || 9019206 markings, 19535870 edges, 9816 markings/sec, 940 secs
lola: sara is running 945 secs || 9070959 markings, 19649798 edges, 10351 markings/sec, 945 secs
lola: sara is running 950 secs || 9123499 markings, 19763922 edges, 10508 markings/sec, 950 secs
lola: sara is running 955 secs || 9169872 markings, 19866480 edges, 9275 markings/sec, 955 secs
sara: warning, failure of lp_solve (at job 943)
lola: sara is running 960 secs || 9213559 markings, 19966795 edges, 8737 markings/sec, 960 secs
lola: sara is running 965 secs || 9267219 markings, 20080455 edges, 10732 markings/sec, 965 secs
lola: sara is running 970 secs || 9321162 markings, 20201282 edges, 10789 markings/sec, 970 secs
lola: sara is running 975 secs || 9375815 markings, 20318916 edges, 10931 markings/sec, 975 secs
lola: sara is running 980 secs || 9428947 markings, 20436365 edges, 10626 markings/sec, 980 secs
lola: sara is running 985 secs || 9480764 markings, 20539490 edges, 10363 markings/sec, 985 secs
lola: sara is running 990 secs || 9535001 markings, 20646065 edges, 10847 markings/sec, 990 secs
lola: sara is running 995 secs || 9587392 markings, 20767199 edges, 10478 markings/sec, 995 secs
lola: sara is running 1000 secs || 9639948 markings, 20885104 edges, 10511 markings/sec, 1000 secs
lola: sara is running 1005 secs || 9694165 markings, 21001369 edges, 10843 markings/sec, 1005 secs
lola: sara is running 1010 secs || 9736785 markings, 21093295 edges, 8524 markings/sec, 1010 secs
lola: sara is running 1015 secs || 9790992 markings, 21209038 edges, 10841 markings/sec, 1015 secs
lola: sara is running 1020 secs || 9852969 markings, 21320413 edges, 12395 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9905290 markings, 21440654 edges, 10464 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9956991 markings, 21561582 edges, 10340 markings/sec, 1030 secs
lola: sara is running 1035 secs || 10008523 markings, 21679371 edges, 10306 markings/sec, 1035 secs
lola: sara is running 1040 secs || 10061400 markings, 21795095 edges, 10575 markings/sec, 1040 secs
lola: sara is running 1045 secs || 10113923 markings, 21909880 edges, 10505 markings/sec, 1045 secs
lola: sara is running 1050 secs || 10173646 markings, 22019929 edges, 11945 markings/sec, 1050 secs
lola: sara is running 1055 secs || 10225038 markings, 22137886 edges, 10278 markings/sec, 1055 secs
lola: sara is running 1060 secs || 10275977 markings, 22256593 edges, 10188 markings/sec, 1060 secs
lola: sara is running 1065 secs || 10325615 markings, 22371629 edges, 9928 markings/sec, 1065 secs
lola: sara is running 1070 secs || 10375296 markings, 22482055 edges, 9936 markings/sec, 1070 secs
lola: sara is running 1075 secs || 10430576 markings, 22590793 edges, 11056 markings/sec, 1075 secs
lola: sara is running 1080 secs || 10481945 markings, 22683167 edges, 10274 markings/sec, 1080 secs
lola: sara is running 1085 secs || 10534695 markings, 22777012 edges, 10550 markings/sec, 1085 secs
lola: sara is running 1090 secs || 10581642 markings, 22873728 edges, 9389 markings/sec, 1090 secs
lola: sara is running 1095 secs || 10626433 markings, 22973945 edges, 8958 markings/sec, 1095 secs
lola: sara is running 1100 secs || 10671337 markings, 23072050 edges, 8981 markings/sec, 1100 secs
lola: sara is running 1105 secs || 10718039 markings, 23172169 edges, 9340 markings/sec, 1105 secs
lola: sara is running 1110 secs || 10760225 markings, 23265737 edges, 8437 markings/sec, 1110 secs
lola: sara is running 1115 secs || 10806596 markings, 23358811 edges, 9274 markings/sec, 1115 secs
lola: sara is running 1120 secs || 10848502 markings, 23455286 edges, 8381 markings/sec, 1120 secs
lola: sara is running 1125 secs || 10891067 markings, 23551088 edges, 8513 markings/sec, 1125 secs
lola: sara is running 1130 secs || 10937504 markings, 23646274 edges, 9287 markings/sec, 1130 secs
lola: sara is running 1135 secs || 10980913 markings, 23744624 edges, 8682 markings/sec, 1135 secs
lola: sara is running 1140 secs || 11022487 markings, 23841093 edges, 8315 markings/sec, 1140 secs
lola: sara is running 1145 secs || 11067398 markings, 23940185 edges, 8982 markings/sec, 1145 secs
lola: sara is running 1150 secs || 11110410 markings, 24030644 edges, 8602 markings/sec, 1150 secs
lola: sara is running 1155 secs || 11148349 markings, 24115915 edges, 7588 markings/sec, 1155 secs
lola: sara is running 1160 secs || 11187918 markings, 24199210 edges, 7914 markings/sec, 1160 secs
lola: sara is running 1165 secs || 11224457 markings, 24283500 edges, 7308 markings/sec, 1165 secs
lola: sara is running 1170 secs || 11264388 markings, 24370009 edges, 7986 markings/sec, 1170 secs
lola: sara is running 1175 secs || 11305274 markings, 24455199 edges, 8177 markings/sec, 1175 secs
lola: sara is running 1180 secs || 11342814 markings, 24541152 edges, 7508 markings/sec, 1180 secs
lola: sara is running 1185 secs || 11380104 markings, 24626000 edges, 7458 markings/sec, 1185 secs
lola: sara is running 1190 secs || 11421312 markings, 24713824 edges, 8242 markings/sec, 1190 secs
lola: sara is running 1195 secs || 11463055 markings, 24801914 edges, 8349 markings/sec, 1195 secs
lola: sara is running 1200 secs || 11502130 markings, 24891072 edges, 7815 markings/sec, 1200 secs
lola: sara is running 1205 secs || 11543122 markings, 24980973 edges, 8198 markings/sec, 1205 secs
lola: sara is running 1210 secs || 11585864 markings, 25071640 edges, 8548 markings/sec, 1210 secs
lola: sara is running 1215 secs || 11626961 markings, 25161899 edges, 8219 markings/sec, 1215 secs
lola: sara is running 1220 secs || 11666426 markings, 25253095 edges, 7893 markings/sec, 1220 secs
lola: sara is running 1225 secs || 11708867 markings, 25342979 edges, 8488 markings/sec, 1225 secs
lola: sara is running 1230 secs || 11750258 markings, 25436310 edges, 8278 markings/sec, 1230 secs
lola: sara is running 1235 secs || 11792989 markings, 25531497 edges, 8546 markings/sec, 1235 secs
lola: sara is running 1240 secs || 11849923 markings, 25633047 edges, 11387 markings/sec, 1240 secs
lola: sara is running 1245 secs || 11899247 markings, 25743750 edges, 9865 markings/sec, 1245 secs
lola: sara is running 1250 secs || 11946149 markings, 25854802 edges, 9380 markings/sec, 1250 secs
lola: sara is running 1255 secs || 11994495 markings, 25964477 edges, 9669 markings/sec, 1255 secs
lola: sara is running 1260 secs || 12045709 markings, 26071642 edges, 10243 markings/sec, 1260 secs
lola: sara is running 1265 secs || 12093982 markings, 26184490 edges, 9655 markings/sec, 1265 secs
lola: sara is running 1270 secs || 12152155 markings, 26287347 edges, 11635 markings/sec, 1270 secs
lola: sara is running 1275 secs || 12200186 markings, 26393374 edges, 9606 markings/sec, 1275 secs
lola: sara is running 1280 secs || 12246310 markings, 26501137 edges, 9225 markings/sec, 1280 secs
lola: sara is running 1285 secs || 12292722 markings, 26608157 edges, 9282 markings/sec, 1285 secs
lola: sara is running 1290 secs || 12338138 markings, 26715012 edges, 9083 markings/sec, 1290 secs
lola: sara is running 1295 secs || 12387690 markings, 26822273 edges, 9910 markings/sec, 1295 secs
lola: sara is running 1300 secs || 12434775 markings, 26931964 edges, 9417 markings/sec, 1300 secs
lola: sara is running 1305 secs || 12494279 markings, 27039117 edges, 11901 markings/sec, 1305 secs
lola: sara is running 1310 secs || 12545482 markings, 27154781 edges, 10241 markings/sec, 1310 secs
lola: sara is running 1315 secs || 12595204 markings, 27271944 edges, 9944 markings/sec, 1315 secs
lola: sara is running 1320 secs || 12645695 markings, 27386818 edges, 10098 markings/sec, 1320 secs
lola: sara is running 1325 secs || 12698553 markings, 27499481 edges, 10572 markings/sec, 1325 secs
lola: sara is running 1330 secs || 12752362 markings, 27616439 edges, 10762 markings/sec, 1330 secs
lola: sara is running 1335 secs || 12808550 markings, 27723771 edges, 11238 markings/sec, 1335 secs
lola: sara is running 1340 secs || 12859031 markings, 27837509 edges, 10096 markings/sec, 1340 secs
lola: sara is running 1345 secs || 12908324 markings, 27951886 edges, 9859 markings/sec, 1345 secs
lola: sara is running 1350 secs || 12957209 markings, 28066775 edges, 9777 markings/sec, 1350 secs
lola: sara is running 1355 secs || 13010856 markings, 28184529 edges, 10729 markings/sec, 1355 secs
lola: sara is running 1360 secs || 13064048 markings, 28304490 edges, 10638 markings/sec, 1360 secs
lola: sara is running 1365 secs || 13108404 markings, 28388854 edges, 8871 markings/sec, 1365 secs
lola: sara is running 1370 secs || 13145100 markings, 28477321 edges, 7339 markings/sec, 1370 secs
lola: sara is running 1375 secs || 13183731 markings, 28570500 edges, 7726 markings/sec, 1375 secs
lola: sara is running 1380 secs || 13223948 markings, 28651209 edges, 8043 markings/sec, 1380 secs
lola: sara is running 1385 secs || 13260720 markings, 28734602 edges, 7354 markings/sec, 1385 secs
lola: sara is running 1390 secs || 13299411 markings, 28822157 edges, 7738 markings/sec, 1390 secs
lola: sara is running 1395 secs || 13336515 markings, 28910442 edges, 7421 markings/sec, 1395 secs
lola: sara is running 1400 secs || 13371771 markings, 28997663 edges, 7051 markings/sec, 1400 secs
lola: sara is running 1405 secs || 13410942 markings, 29094435 edges, 7834 markings/sec, 1405 secs
lola: sara is running 1410 secs || 13446438 markings, 29177374 edges, 7099 markings/sec, 1410 secs
lola: sara is running 1415 secs || 13484630 markings, 29266813 edges, 7638 markings/sec, 1415 secs
lola: sara is running 1420 secs || 13518332 markings, 29345646 edges, 6740 markings/sec, 1420 secs
lola: sara is running 1425 secs || 13566797 markings, 29404877 edges, 9693 markings/sec, 1425 secs
lola: sara is running 1430 secs || 13621561 markings, 29472124 edges, 10953 markings/sec, 1430 secs
lola: sara is running 1435 secs || 13663244 markings, 29542176 edges, 8337 markings/sec, 1435 secs
lola: sara is running 1440 secs || 13698372 markings, 29615857 edges, 7026 markings/sec, 1440 secs
lola: sara is running 1445 secs || 13739119 markings, 29683958 edges, 8149 markings/sec, 1445 secs
lola: sara is running 1450 secs || 13787715 markings, 29743601 edges, 9719 markings/sec, 1450 secs
lola: sara is running 1455 secs || 13839805 markings, 29807444 edges, 10418 markings/sec, 1455 secs
lola: sara is running 1460 secs || 13883291 markings, 29860797 edges, 8697 markings/sec, 1460 secs
lola: sara is running 1465 secs || 13937861 markings, 29928377 edges, 10914 markings/sec, 1465 secs
lola: sara is running 1470 secs || 13970588 markings, 29999273 edges, 6545 markings/sec, 1470 secs
lola: sara is running 1475 secs || 14002609 markings, 30070963 edges, 6404 markings/sec, 1475 secs
lola: sara is running 1480 secs || 14033405 markings, 30146363 edges, 6159 markings/sec, 1480 secs
lola: sara is running 1485 secs || 14073178 markings, 30203312 edges, 7955 markings/sec, 1485 secs
lola: sara is running 1490 secs || 14117104 markings, 30257216 edges, 8785 markings/sec, 1490 secs
lola: sara is running 1495 secs || 14169035 markings, 30320864 edges, 10386 markings/sec, 1495 secs
lola: sara is running 1500 secs || 14211399 markings, 30372835 edges, 8473 markings/sec, 1500 secs
lola: sara is running 1505 secs || 14264088 markings, 30437566 edges, 10538 markings/sec, 1505 secs
lola: sara is running 1510 secs || 14299347 markings, 30506797 edges, 7052 markings/sec, 1510 secs
lola: sara is running 1515 secs || 14331150 markings, 30575690 edges, 6361 markings/sec, 1515 secs
lola: sara is running 1520 secs || 14361872 markings, 30648868 edges, 6144 markings/sec, 1520 secs
lola: sara is running 1525 secs || 14398881 markings, 30712409 edges, 7402 markings/sec, 1525 secs
lola: sara is running 1530 secs || 14442992 markings, 30766533 edges, 8822 markings/sec, 1530 secs
lola: sara is running 1535 secs || 14495464 markings, 30834754 edges, 10494 markings/sec, 1535 secs
lola: sara is running 1540 secs || 14526898 markings, 30902854 edges, 6287 markings/sec, 1540 secs
lola: sara is running 1545 secs || 14558298 markings, 30970892 edges, 6280 markings/sec, 1545 secs
lola: sara is running 1550 secs || 14591162 markings, 31037560 edges, 6573 markings/sec, 1550 secs
lola: sara is running 1555 secs || 14622969 markings, 31106632 edges, 6361 markings/sec, 1555 secs
lola: sara is running 1560 secs || 14664671 markings, 31184821 edges, 8340 markings/sec, 1560 secs
lola: sara is running 1565 secs || 14707472 markings, 31267562 edges, 8560 markings/sec, 1565 secs
lola: sara is running 1570 secs || 14748355 markings, 31349927 edges, 8177 markings/sec, 1570 secs
lola: sara is running 1575 secs || 14787390 markings, 31426317 edges, 7807 markings/sec, 1575 secs
lola: sara is running 1580 secs || 14823520 markings, 31498083 edges, 7226 markings/sec, 1580 secs
lola: sara is running 1585 secs || 14860937 markings, 31572131 edges, 7483 markings/sec, 1585 secs
lola: sara is running 1590 secs || 14899393 markings, 31648606 edges, 7691 markings/sec, 1590 secs
lola: sara is running 1595 secs || 14943227 markings, 31732616 edges, 8767 markings/sec, 1595 secs
lola: sara is running 1600 secs || 14990748 markings, 31827484 edges, 9504 markings/sec, 1600 secs
lola: sara is running 1605 secs || 15038713 markings, 31920920 edges, 9593 markings/sec, 1605 secs
lola: sara is running 1610 secs || 15086740 markings, 32015357 edges, 9605 markings/sec, 1610 secs
lola: sara is running 1615 secs || 15136728 markings, 32114270 edges, 9998 markings/sec, 1615 secs
lola: sara is running 1620 secs || 15187468 markings, 32213086 edges, 10148 markings/sec, 1620 secs
lola: sara is running 1625 secs || 15230784 markings, 32301908 edges, 8663 markings/sec, 1625 secs
lola: sara is running 1630 secs || 15262402 markings, 32370425 edges, 6324 markings/sec, 1630 secs
lola: sara is running 1635 secs || 15294254 markings, 32439789 edges, 6370 markings/sec, 1635 secs
lola: sara is running 1640 secs || 15325330 markings, 32507292 edges, 6215 markings/sec, 1640 secs
lola: sara is running 1645 secs || 15365911 markings, 32591742 edges, 8116 markings/sec, 1645 secs
lola: sara is running 1650 secs || 15409002 markings, 32681726 edges, 8618 markings/sec, 1650 secs
lola: sara is running 1655 secs || 15449519 markings, 32766365 edges, 8103 markings/sec, 1655 secs
lola: sara is running 1660 secs || 15490780 markings, 32852675 edges, 8252 markings/sec, 1660 secs
lola: sara is running 1665 secs || 15533311 markings, 32941453 edges, 8506 markings/sec, 1665 secs
lola: sara is running 1670 secs || 15569929 markings, 33017936 edges, 7324 markings/sec, 1670 secs
lola: sara is running 1675 secs || 15606438 markings, 33094108 edges, 7302 markings/sec, 1675 secs
lola: sara is running 1680 secs || 15643353 markings, 33171278 edges, 7383 markings/sec, 1680 secs
lola: sara is running 1685 secs || 15681232 markings, 33250302 edges, 7576 markings/sec, 1685 secs
lola: sara is running 1690 secs || 15719201 markings, 33329418 edges, 7594 markings/sec, 1690 secs
lola: sara is running 1695 secs || 15758163 markings, 33411002 edges, 7792 markings/sec, 1695 secs
lola: sara is running 1700 secs || 15802695 markings, 33504148 edges, 8906 markings/sec, 1700 secs
lola: sara is running 1705 secs || 15849082 markings, 33601339 edges, 9277 markings/sec, 1705 secs
lola: sara is running 1710 secs || 15896020 markings, 33699548 edges, 9388 markings/sec, 1710 secs
lola: sara is running 1715 secs || 15941361 markings, 33794634 edges, 9068 markings/sec, 1715 secs
lola: sara is running 1720 secs || 15987146 markings, 33890370 edges, 9157 markings/sec, 1720 secs
lola: sara is running 1725 secs || 16035306 markings, 33991450 edges, 9632 markings/sec, 1725 secs
lola: sara is running 1730 secs || 16084111 markings, 34093730 edges, 9761 markings/sec, 1730 secs
lola: sara is running 1735 secs || 16133245 markings, 34196457 edges, 9827 markings/sec, 1735 secs
lola: sara is running 1740 secs || 16181417 markings, 34297383 edges, 9634 markings/sec, 1740 secs
lola: sara is running 1745 secs || 16230298 markings, 34399690 edges, 9776 markings/sec, 1745 secs
lola: sara is running 1750 secs || 16261353 markings, 34466906 edges, 6211 markings/sec, 1750 secs
lola: sara is running 1755 secs || 16291471 markings, 34532162 edges, 6024 markings/sec, 1755 secs
lola: sara is running 1760 secs || 16331083 markings, 34602392 edges, 7922 markings/sec, 1760 secs
lola: sara is running 1765 secs || 16372818 markings, 34685528 edges, 8347 markings/sec, 1765 secs
lola: sara is running 1770 secs || 16415104 markings, 34767876 edges, 8457 markings/sec, 1770 secs
lola: sara is running 1775 secs || 16455414 markings, 34847931 edges, 8062 markings/sec, 1775 secs
lola: sara is running 1780 secs || 16491442 markings, 34919129 edges, 7206 markings/sec, 1780 secs
lola: sara is running 1785 secs || 16527893 markings, 34991577 edges, 7290 markings/sec, 1785 secs
lola: sara is running 1790 secs || 16566385 markings, 35067104 edges, 7698 markings/sec, 1790 secs
lola: sara is running 1795 secs || 16605287 markings, 35144872 edges, 7780 markings/sec, 1795 secs
lola: sara is running 1800 secs || 16653837 markings, 35238705 edges, 9710 markings/sec, 1800 secs
lola: sara is running 1805 secs || 16701658 markings, 35331422 edges, 9564 markings/sec, 1805 secs
lola: sara is running 1810 secs || 16747545 markings, 35423436 edges, 9177 markings/sec, 1810 secs
lola: sara is running 1815 secs || 16798050 markings, 35521678 edges, 10101 markings/sec, 1815 secs
lola: sara is running 1820 secs || 16848412 markings, 35619277 edges, 10072 markings/sec, 1820 secs
lola: sara is running 1825 secs || 16896886 markings, 35717246 edges, 9695 markings/sec, 1825 secs
lola: sara is running 1830 secs || 16928021 markings, 35784519 edges, 6227 markings/sec, 1830 secs
lola: sara is running 1835 secs || 16961198 markings, 35847179 edges, 6635 markings/sec, 1835 secs
lola: sara is running 1840 secs || 16989998 markings, 35919290 edges, 5760 markings/sec, 1840 secs
lola: sara is running 1845 secs || 17020555 markings, 35985479 edges, 6111 markings/sec, 1845 secs
lola: sara is running 1850 secs || 17051053 markings, 36051629 edges, 6100 markings/sec, 1850 secs
lola: sara is running 1855 secs || 17079200 markings, 36124018 edges, 5629 markings/sec, 1855 secs
lola: sara is running 1860 secs || 17105719 markings, 36200361 edges, 5304 markings/sec, 1860 secs
lola: sara is running 1865 secs || 17141914 markings, 36260612 edges, 7239 markings/sec, 1865 secs
lola: sara is running 1870 secs || 17180617 markings, 36308107 edges, 7741 markings/sec, 1870 secs
lola: sara is running 1875 secs || 17232634 markings, 36372012 edges, 10403 markings/sec, 1875 secs
lola: sara is running 1880 secs || 17272844 markings, 36421223 edges, 8042 markings/sec, 1880 secs
lola: sara is running 1885 secs || 17316705 markings, 36475056 edges, 8772 markings/sec, 1885 secs
lola: sara is running 1890 secs || 17360325 markings, 36539285 edges, 8724 markings/sec, 1890 secs
lola: sara is running 1895 secs || 17388422 markings, 36600175 edges, 5619 markings/sec, 1895 secs
lola: sara is running 1900 secs || 17415893 markings, 36663587 edges, 5494 markings/sec, 1900 secs
lola: sara is running 1905 secs || 17449628 markings, 36729493 edges, 6747 markings/sec, 1905 secs
lola: sara is running 1910 secs || 17490159 markings, 36809153 edges, 8106 markings/sec, 1910 secs
lola: sara is running 1915 secs || 17528751 markings, 36885879 edges, 7718 markings/sec, 1915 secs
lola: sara is running 1920 secs || 17569009 markings, 36965637 edges, 8052 markings/sec, 1920 secs
lola: sara is running 1925 secs || 17603278 markings, 37032928 edges, 6854 markings/sec, 1925 secs
lola: sara is running 1930 secs || 17638329 markings, 37102330 edges, 7010 markings/sec, 1930 secs
lola: sara is running 1935 secs || 17674558 markings, 37173814 edges, 7246 markings/sec, 1935 secs
lola: sara is running 1940 secs || 17711736 markings, 37247076 edges, 7436 markings/sec, 1940 secs
lola: sara is running 1945 secs || 17754582 markings, 37329109 edges, 8569 markings/sec, 1945 secs
lola: sara is running 1950 secs || 17799557 markings, 37419597 edges, 8995 markings/sec, 1950 secs
lola: sara is running 1955 secs || 17845429 markings, 37508721 edges, 9174 markings/sec, 1955 secs
lola: sara is running 1960 secs || 17891187 markings, 37599018 edges, 9152 markings/sec, 1960 secs
lola: sara is running 1965 secs || 17939114 markings, 37693900 edges, 9585 markings/sec, 1965 secs
lola: sara is running 1970 secs || 17988038 markings, 37788739 edges, 9785 markings/sec, 1970 secs
lola: sara is running 1975 secs || 18031109 markings, 37876334 edges, 8614 markings/sec, 1975 secs
lola: sara is running 1980 secs || 18059088 markings, 37936930 edges, 5596 markings/sec, 1980 secs
lola: sara is running 1985 secs || 18086752 markings, 37996864 edges, 5533 markings/sec, 1985 secs
lola: sara is running 1990 secs || 18114385 markings, 38056749 edges, 5527 markings/sec, 1990 secs
lola: sara is running 1995 secs || 18143188 markings, 38117510 edges, 5761 markings/sec, 1995 secs
lola: sara is running 2000 secs || 18182670 markings, 38165949 edges, 7896 markings/sec, 2000 secs
lola: sara is running 2005 secs || 18230813 markings, 38225076 edges, 9629 markings/sec, 2005 secs
lola: sara is running 2010 secs || 18274099 markings, 38278078 edges, 8657 markings/sec, 2010 secs
lola: sara is running 2015 secs || 18313097 markings, 38325927 edges, 7800 markings/sec, 2015 secs
lola: sara is running 2020 secs || 18362905 markings, 38389896 edges, 9962 markings/sec, 2020 secs
lola: sara is running 2025 secs || 18390322 markings, 38449265 edges, 5483 markings/sec, 2025 secs
lola: sara is running 2030 secs || 18417484 markings, 38508147 edges, 5432 markings/sec, 2030 secs
lola: sara is running 2035 secs || 18445564 markings, 38567914 edges, 5616 markings/sec, 2035 secs
lola: sara is running 2040 secs || 18485215 markings, 38616566 edges, 7930 markings/sec, 2040 secs
lola: sara is running 2045 secs || 18533353 markings, 38675678 edges, 9628 markings/sec, 2045 secs
lola: sara is running 2050 secs || 18567770 markings, 38736316 edges, 6883 markings/sec, 2050 secs
lola: sara is running 2055 secs || 18594812 markings, 38794936 edges, 5408 markings/sec, 2055 secs
lola: sara is running 2060 secs || 18621940 markings, 38853673 edges, 5426 markings/sec, 2060 secs
lola: sara is running 2065 secs || 18649332 markings, 38913058 edges, 5478 markings/sec, 2065 secs
lola: sara is running 2070 secs || 18676851 markings, 38978531 edges, 5504 markings/sec, 2070 secs
lola: sara is running 2075 secs || 18703900 markings, 39044346 edges, 5410 markings/sec, 2075 secs
lola: sara is running 2080 secs || 18730928 markings, 39107635 edges, 5406 markings/sec, 2080 secs
lola: sara is running 2085 secs || 18771785 markings, 39157704 edges, 8171 markings/sec, 2085 secs
lola: sara is running 2090 secs || 18818538 markings, 39215117 edges, 9351 markings/sec, 2090 secs
lola: sara is running 2095 secs || 18864026 markings, 39270822 edges, 9098 markings/sec, 2095 secs
lola: sara is running 2100 secs || 18904051 markings, 39319933 edges, 8005 markings/sec, 2100 secs
lola: sara is running 2105 secs || 18956441 markings, 39384586 edges, 10478 markings/sec, 2105 secs
lola: sara is running 2110 secs || 18983696 markings, 39443670 edges, 5451 markings/sec, 2110 secs
lola: sara is running 2115 secs || 19011206 markings, 39503242 edges, 5502 markings/sec, 2115 secs
lola: sara is running 2120 secs || 19038312 markings, 39564172 edges, 5421 markings/sec, 2120 secs
lola: sara is running 2125 secs || 19077337 markings, 39639535 edges, 7805 markings/sec, 2125 secs
lola: sara is running 2130 secs || 19117844 markings, 39717869 edges, 8101 markings/sec, 2130 secs
lola: sara is running 2135 secs || 19156505 markings, 39795490 edges, 7732 markings/sec, 2135 secs
lola: sara is running 2140 secs || 19193689 markings, 39869118 edges, 7437 markings/sec, 2140 secs
lola: sara is running 2145 secs || 19228615 markings, 39937017 edges, 6985 markings/sec, 2145 secs
lola: sara is running 2150 secs || 19263127 markings, 40006240 edges, 6902 markings/sec, 2150 secs
lola: sara is running 2155 secs || 19299147 markings, 40076850 edges, 7204 markings/sec, 2155 secs
lola: sara is running 2160 secs || 19336102 markings, 40150889 edges, 7391 markings/sec, 2160 secs
lola: sara is running 2165 secs || 19381534 markings, 40238466 edges, 9086 markings/sec, 2165 secs
lola: sara is running 2170 secs || 19427870 markings, 40328907 edges, 9267 markings/sec, 2170 secs
lola: sara is running 2175 secs || 19471718 markings, 40416085 edges, 8770 markings/sec, 2175 secs
lola: sara is running 2180 secs || 19519178 markings, 40507932 edges, 9492 markings/sec, 2180 secs
lola: sara is running 2185 secs || 19566956 markings, 40602958 edges, 9556 markings/sec, 2185 secs
lola: sara is running 2190 secs || 19614263 markings, 40696082 edges, 9461 markings/sec, 2190 secs
lola: sara is running 2195 secs || 19648871 markings, 40768532 edges, 6922 markings/sec, 2195 secs
lola: sara is running 2200 secs || 19676025 markings, 40827357 edges, 5431 markings/sec, 2200 secs
lola: sara is running 2205 secs || 19702895 markings, 40885568 edges, 5374 markings/sec, 2205 secs
lola: sara is running 2210 secs || 19729478 markings, 40945488 edges, 5317 markings/sec, 2210 secs
lola: sara is running 2215 secs || 19762459 markings, 41001589 edges, 6596 markings/sec, 2215 secs
lola: sara is running 2220 secs || 19802420 markings, 41050618 edges, 7992 markings/sec, 2220 secs
lola: sara is running 2225 secs || 19853953 markings, 41113903 edges, 10307 markings/sec, 2225 secs
lola: sara is running 2230 secs || 19893868 markings, 41162772 edges, 7983 markings/sec, 2230 secs
lola: sara is running 2235 secs || 19938114 markings, 41217090 edges, 8849 markings/sec, 2235 secs
lola: sara is running 2240 secs || 19979187 markings, 41278886 edges, 8215 markings/sec, 2240 secs
lola: sara is running 2245 secs || 20005714 markings, 41336376 edges, 5305 markings/sec, 2245 secs
lola: sara is running 2250 secs || 20032101 markings, 41395519 edges, 5277 markings/sec, 2250 secs
lola: sara is running 2255 secs || 20064131 markings, 41451131 edges, 6406 markings/sec, 2255 secs
lola: sara is running 2260 secs || 20104012 markings, 41500055 edges, 7976 markings/sec, 2260 secs
lola: sara is running 2265 secs || 20155678 markings, 41563854 edges, 10333 markings/sec, 2265 secs
lola: sara is running 2270 secs || 20181956 markings, 41620800 edges, 5256 markings/sec, 2270 secs
lola: sara is running 2275 secs || 20207622 markings, 41676374 edges, 5133 markings/sec, 2275 secs
lola: sara is running 2280 secs || 20232983 markings, 41731344 edges, 5072 markings/sec, 2280 secs
lola: sara is running 2285 secs || 20256911 markings, 41790282 edges, 4786 markings/sec, 2285 secs
lola: sara is running 2290 secs || 20279825 markings, 41853782 edges, 4583 markings/sec, 2290 secs
lola: sara is running 2295 secs || 20306054 markings, 41911124 edges, 5246 markings/sec, 2295 secs
lola: sara is running 2300 secs || 20343948 markings, 41963774 edges, 7579 markings/sec, 2300 secs
lola: sara is running 2305 secs || 20386128 markings, 42015527 edges, 8436 markings/sec, 2305 secs
lola: sara is running 2310 secs || 20434263 markings, 42081020 edges, 9627 markings/sec, 2310 secs
lola: sara is running 2315 secs || 20463630 markings, 42144634 edges, 5873 markings/sec, 2315 secs
lola: sara is running 2320 secs || 20492845 markings, 42207894 edges, 5843 markings/sec, 2320 secs
lola: sara is running 2325 secs || 20525271 markings, 42264699 edges, 6485 markings/sec, 2325 secs
lola: sara is running 2330 secs || 20551806 markings, 42335439 edges, 5307 markings/sec, 2330 secs
lola: sara is running 2335 secs || 20584376 markings, 42388242 edges, 6514 markings/sec, 2335 secs
lola: sara is running 2340 secs || 20600166 markings, 42477946 edges, 3158 markings/sec, 2340 secs
lola: sara is running 2345 secs || 20625628 markings, 42549000 edges, 5092 markings/sec, 2345 secs
lola: sara is running 2350 secs || 20654177 markings, 42611856 edges, 5710 markings/sec, 2350 secs
lola: sara is running 2355 secs || 20696946 markings, 42704610 edges, 8554 markings/sec, 2355 secs
lola: sara is running 2360 secs || 20747273 markings, 42814099 edges, 10065 markings/sec, 2360 secs
lola: sara is running 2365 secs || 20800469 markings, 42926497 edges, 10639 markings/sec, 2365 secs
lola: sara is running 2370 secs || 20849570 markings, 43039261 edges, 9820 markings/sec, 2370 secs
lola: sara is running 2375 secs || 20893489 markings, 43111091 edges, 8784 markings/sec, 2375 secs
lola: sara is running 2380 secs || 20934916 markings, 43216309 edges, 8285 markings/sec, 2380 secs
lola: sara is running 2385 secs || 20983916 markings, 43324732 edges, 9800 markings/sec, 2385 secs
lola: sara is running 2390 secs || 21033784 markings, 43430292 edges, 9974 markings/sec, 2390 secs
lola: sara is running 2395 secs || 21082541 markings, 43536373 edges, 9751 markings/sec, 2395 secs
lola: sara is running 2400 secs || 21133679 markings, 43650771 edges, 10228 markings/sec, 2400 secs
lola: sara is running 2405 secs || 21185212 markings, 43762281 edges, 10307 markings/sec, 2405 secs
lola: sara is running 2410 secs || 21226111 markings, 43866548 edges, 8180 markings/sec, 2410 secs
lola: sara is running 2415 secs || 21261256 markings, 43948017 edges, 7029 markings/sec, 2415 secs
lola: sara is running 2420 secs || 21311690 markings, 44058756 edges, 10087 markings/sec, 2420 secs
lola: sara is running 2425 secs || 21365067 markings, 44168591 edges, 10675 markings/sec, 2425 secs
lola: sara is running 2430 secs || 21416345 markings, 44272798 edges, 10256 markings/sec, 2430 secs
lola: sara is running 2435 secs || 21465957 markings, 44377141 edges, 9922 markings/sec, 2435 secs
lola: sara is running 2440 secs || 21515099 markings, 44472127 edges, 9828 markings/sec, 2440 secs
lola: sara is running 2445 secs || 21557370 markings, 44562110 edges, 8454 markings/sec, 2445 secs
lola: sara is running 2450 secs || 21599394 markings, 44650824 edges, 8405 markings/sec, 2450 secs
lola: sara is running 2455 secs || 21642373 markings, 44739884 edges, 8596 markings/sec, 2455 secs
lola: sara is running 2460 secs || 21683565 markings, 44829148 edges, 8238 markings/sec, 2460 secs
lola: sara is running 2465 secs || 21722478 markings, 44919330 edges, 7783 markings/sec, 2465 secs
lola: sara is running 2470 secs || 21778160 markings, 45025871 edges, 11136 markings/sec, 2470 secs
lola: sara is running 2475 secs || 21830115 markings, 45130645 edges, 10391 markings/sec, 2475 secs
lola: sara is running 2480 secs || 21893106 markings, 45221390 edges, 12598 markings/sec, 2480 secs
lola: sara is running 2485 secs || 21941582 markings, 45321821 edges, 9695 markings/sec, 2485 secs
lola: sara is running 2490 secs || 21992527 markings, 45426793 edges, 10189 markings/sec, 2490 secs
lola: sara is running 2495 secs || 22040515 markings, 45531139 edges, 9598 markings/sec, 2495 secs
lola: sara is running 2500 secs || 22092224 markings, 45637255 edges, 10342 markings/sec, 2500 secs
lola: sara is running 2505 secs || 22135642 markings, 45737102 edges, 8684 markings/sec, 2505 secs
lola: sara is running 2510 secs || 22178838 markings, 45836017 edges, 8639 markings/sec, 2510 secs
lola: sara is running 2515 secs || 22233333 markings, 45935905 edges, 10899 markings/sec, 2515 secs
lola: sara is running 2520 secs || 22279304 markings, 46039147 edges, 9194 markings/sec, 2520 secs
lola: sara is running 2525 secs || 22323690 markings, 46142327 edges, 8877 markings/sec, 2525 secs
lola: sara is running 2530 secs || 22368433 markings, 46244931 edges, 8949 markings/sec, 2530 secs
lola: sara is running 2535 secs || 22412393 markings, 46345903 edges, 8792 markings/sec, 2535 secs
lola: sara is running 2540 secs || 22465489 markings, 46446289 edges, 10619 markings/sec, 2540 secs
lola: sara is running 2545 secs || 22510140 markings, 46551251 edges, 8930 markings/sec, 2545 secs
lola: sara is running 2550 secs || 22555061 markings, 46655991 edges, 8984 markings/sec, 2550 secs
lola: sara is running 2555 secs || 22600457 markings, 46759960 edges, 9079 markings/sec, 2555 secs
lola: sara is running 2560 secs || 22643583 markings, 46859419 edges, 8625 markings/sec, 2560 secs
lola: sara is running 2565 secs || 22692698 markings, 46963575 edges, 9823 markings/sec, 2565 secs
lola: sara is running 2570 secs || 22740684 markings, 47071983 edges, 9597 markings/sec, 2570 secs
lola: sara is running 2575 secs || 22789823 markings, 47173977 edges, 9828 markings/sec, 2575 secs
lola: sara is running 2580 secs || 22833451 markings, 47266201 edges, 8726 markings/sec, 2580 secs
lola: sara is running 2585 secs || 22872228 markings, 47355133 edges, 7755 markings/sec, 2585 secs
lola: sara is running 2590 secs || 22915607 markings, 47443739 edges, 8676 markings/sec, 2590 secs
lola: sara is running 2595 secs || 22954795 markings, 47533369 edges, 7838 markings/sec, 2595 secs
lola: sara is running 2600 secs || 22992784 markings, 47621072 edges, 7598 markings/sec, 2600 secs
lola: sara is running 2605 secs || 23033469 markings, 47710277 edges, 8137 markings/sec, 2605 secs
lola: sara is running 2610 secs || 23077833 markings, 47803395 edges, 8873 markings/sec, 2610 secs
lola: sara is running 2615 secs || 23117091 markings, 47894963 edges, 7852 markings/sec, 2615 secs
lola: sara is running 2620 secs || 23164633 markings, 47984779 edges, 9508 markings/sec, 2620 secs
lola: sara is running 2625 secs || 23203649 markings, 48077354 edges, 7803 markings/sec, 2625 secs
lola: sara is running 2630 secs || 23242289 markings, 48167514 edges, 7728 markings/sec, 2630 secs
lola: sara is running 2635 secs || 23280687 markings, 48256910 edges, 7680 markings/sec, 2635 secs
lola: sara is running 2640 secs || 23319501 markings, 48345445 edges, 7763 markings/sec, 2640 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes yes no unknown yes no yes yes no yes no no unknown no
lola:
preliminary result: no no yes yes no unknown yes no yes yes no yes no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes yes no unknown yes no yes yes no yes no no unknown no
lola: memory consumption: 3592076 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes yes no unknown yes no yes yes no yes no no unknown no
lola: memory consumption: 3592604 KB
lola: time consumption: 3570 seconds
BK_STOP 1526512146170
--------------------
content from stderr:
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="CloudReconfiguration-PT-310"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-310.tgz
mv CloudReconfiguration-PT-310 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-310, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646379900068"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;