fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r401-tall-171690533700133
Last Updated
July 7, 2024

About the Execution of LoLA for StigmergyCommit-PT-04b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
711.775 456287.00 461762.00 1047.00 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r401-tall-171690533700133.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is StigmergyCommit-PT-04b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r401-tall-171690533700133
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.0M
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 19:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Apr 11 17:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Apr 11 17:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Apr 11 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Apr 11 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 23 07:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 627K May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-00
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-01
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-02
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-03
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-04
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-05
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-06
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-07
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-08
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-09
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-10
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-11
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-12
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-13
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-14
FORMULA_NAME StigmergyCommit-PT-04b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1717087732346

FORMULA StigmergyCommit-PT-04b-UpperBounds-00 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-01 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-06 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-05 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-08 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-07 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-09 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-03 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-02 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-04 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA StigmergyCommit-PT-04b-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola]
[lola] Time elapsed: 456 secs. Pages in use: 18

BK_STOP 1717088188633

--------------------
content from stderr:

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from UpperBounds.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] Structural Bound for (p1504 <= 0) is 1
[lola][I] LAUNCH task # 50 (type EXCL) for 0 StigmergyCommit-PT-04b-UpperBounds-00
[lola][I] time limit : 224 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 0 StigmergyCommit-PT-04b-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 0 StigmergyCommit-PT-04b-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-00
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 48 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-00 (obsolete)
[lola][W] CANCELED task # 49 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-00 (obsolete)
[lola][I] Structural Bound for (p1513 <= 0) is 1
[lola][I] LAUNCH task # 53 (type EXCL) for 3 StigmergyCommit-PT-04b-UpperBounds-01
[lola][I] time limit : 239 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 3 StigmergyCommit-PT-04b-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 3 StigmergyCommit-PT-04b-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-01
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 51 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-01 (obsolete)
[lola][W] CANCELED task # 52 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-01 (obsolete)
[lola][I] FINISHED task # 49 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-00
[lola][I] time used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 48 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-00
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 51 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-01
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 52 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-01
[lola][I] time used : 0
[lola][I] Structural Bound for (p953 <= 0) is 1
[lola][I] LAUNCH task # 56 (type EXCL) for 30 StigmergyCommit-PT-04b-UpperBounds-10
[lola][I] time limit : 257 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 55 (type EQUN) for 30 StigmergyCommit-PT-04b-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 54 (type FNDP) for 30 StigmergyCommit-PT-04b-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-10
[lola][I] markings : 4
[lola][I] fired transitions : 3
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 54 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-10 (obsolete)
[lola][W] CANCELED task # 55 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-10 (obsolete)
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 54 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-10
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (p369 <= 0) is 1
[lola][I] LAUNCH task # 59 (type EXCL) for 18 StigmergyCommit-PT-04b-UpperBounds-06
[lola][I] time limit : 276 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 57 (type FNDP) for 18 StigmergyCommit-PT-04b-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 18 StigmergyCommit-PT-04b-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 57 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-06
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][W] CANCELED task # 58 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-06 (obsolete)
[lola][W] CANCELED task # 59 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-06 (obsolete)
[lola][I] Structural Bound for (p1313 <= 0) is 1
[lola][I] LAUNCH task # 62 (type EXCL) for 15 StigmergyCommit-PT-04b-UpperBounds-05
[lola][I] time limit : 299 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 60 (type FNDP) for 15 StigmergyCommit-PT-04b-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 61 (type EQUN) for 15 StigmergyCommit-PT-04b-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 62 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-05
[lola][I] markings : 4
[lola][I] fired transitions : 3
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 60 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-05 (obsolete)
[lola][W] CANCELED task # 61 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-05 (obsolete)
[lola][I] Structural Bound for (p427 <= 0) is 1
[lola][I] LAUNCH task # 65 (type EXCL) for 36 StigmergyCommit-PT-04b-UpperBounds-12
[lola][I] time limit : 327 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 63 (type FNDP) for 36 StigmergyCommit-PT-04b-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 64 (type EQUN) for 36 StigmergyCommit-PT-04b-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 65 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-12
[lola][I] markings : 4
[lola][I] fired transitions : 3
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 63 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-12 (obsolete)
[lola][W] CANCELED task # 64 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-12 (obsolete)
[lola][I] Structural Bound for (p864 <= 0) is 1
[lola][I] LAUNCH task # 68 (type EXCL) for 24 StigmergyCommit-PT-04b-UpperBounds-08
[lola][I] time limit : 359 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 67 (type EQUN) for 24 StigmergyCommit-PT-04b-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 66 (type FNDP) for 24 StigmergyCommit-PT-04b-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 63 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-12
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 60 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-05
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 68 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-08
[lola][I] markings : 5
[lola][I] fired transitions : 4
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 66 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-08 (obsolete)
[lola][W] CANCELED task # 67 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-08 (obsolete)
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 66 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-08
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (p1195 <= 0) is 1
[lola][I] LAUNCH task # 71 (type EXCL) for 21 StigmergyCommit-PT-04b-UpperBounds-07
[lola][I] time limit : 399 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 69 (type FNDP) for 21 StigmergyCommit-PT-04b-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 70 (type EQUN) for 21 StigmergyCommit-PT-04b-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 58 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-06
[lola][I] time used : 1
[lola][I] FINISHED task # 71 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-07
[lola][I] markings : 4
[lola][I] fired transitions : 3
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 69 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-07 (obsolete)
[lola][W] CANCELED task # 70 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-07 (obsolete)
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 69 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-07
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] FINISHED task # 55 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-10
[lola][I] time used : 1
[lola][I] FINISHED task # 67 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-08
[lola][I] time used : 1
[lola][I] FINISHED task # 61 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-05
[lola][I] time used : 1
[lola][I] Structural Bound for (p446 <= 0) is 1073741824
[lola][I] LAUNCH task # 74 (type EXCL) for 27 StigmergyCommit-PT-04b-UpperBounds-09
[lola][I] time limit : 449 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 72 (type FNDP) for 27 StigmergyCommit-PT-04b-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 73 (type EQUN) for 27 StigmergyCommit-PT-04b-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 73 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-09
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (p1158 <= 0) is 1073741824
[lola][I] LAUNCH task # 75 (type FNDP) for 33 StigmergyCommit-PT-04b-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 76 (type EQUN) for 33 StigmergyCommit-PT-04b-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 76 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-11
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 64 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-12
[lola][I] time used : 1
[lola][I] FINISHED task # 70 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-07
[lola][I] time used : 0
[lola][I] Structural Bound for (p1279 <= 0) is 1073741824
[lola][I] LAUNCH task # 78 (type FNDP) for 42 StigmergyCommit-PT-04b-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (p247 <= 0) is 1073741824
[lola][I] Structural Bound for (p1110 <= 0) is 1073741824
[lola][I] Structural Bound for (p1233 <= 0) is 1073741824
[lola][I] Structural Bound for (p236 <= 0) is 1073741824
[lola][I] Structural Bound for (p1450 <= 0) is 1073741824
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 3/719 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 3/449 2/2000 StigmergyCommit-PT-04b-UpperBounds-09 315133 m, 63026 m/sec, 960983 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 3/719 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 3/899 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 8/716 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 8/449 3/2000 StigmergyCommit-PT-04b-UpperBounds-09 770036 m, 90980 m/sec, 2400547 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 8/716 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 8/896 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 13/711 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 13/449 4/2000 StigmergyCommit-PT-04b-UpperBounds-09 1098598 m, 65712 m/sec, 3898694 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 13/711 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 13/891 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 18/706 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 18/449 5/2000 StigmergyCommit-PT-04b-UpperBounds-09 1402533 m, 60787 m/sec, 5289100 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 18/706 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 18/886 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 23/701 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 23/449 7/2000 StigmergyCommit-PT-04b-UpperBounds-09 1770574 m, 73608 m/sec, 7116793 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 23/701 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 23/881 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 28/696 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 28/449 8/2000 StigmergyCommit-PT-04b-UpperBounds-09 2145799 m, 75045 m/sec, 8787750 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 28/696 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 28/876 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 33/691 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 33/449 9/2000 StigmergyCommit-PT-04b-UpperBounds-09 2515801 m, 74000 m/sec, 10543066 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 33/691 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 33/871 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 38/686 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 38/449 11/2000 StigmergyCommit-PT-04b-UpperBounds-09 2896707 m, 76181 m/sec, 12231502 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 38/686 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 38/866 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 43/681 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 43/449 12/2000 StigmergyCommit-PT-04b-UpperBounds-09 3291704 m, 78999 m/sec, 13923520 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 43/681 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 43/861 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 48/676 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 48/449 13/2000 StigmergyCommit-PT-04b-UpperBounds-09 3626538 m, 66966 m/sec, 15655301 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 48/676 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 48/856 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 53/671 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 53/449 14/2000 StigmergyCommit-PT-04b-UpperBounds-09 3986173 m, 71927 m/sec, 17199880 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 53/671 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 53/851 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 58/666 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 58/449 16/2000 StigmergyCommit-PT-04b-UpperBounds-09 4349253 m, 72616 m/sec, 18735225 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 58/666 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 58/846 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 BOUND FNDP 63/661 0/5 StigmergyCommit-PT-04b-UpperBounds-09 .
[lola][.] 74 BOUND EXCL 63/449 17/2000 StigmergyCommit-PT-04b-UpperBounds-09 4706792 m, 71507 m/sec, 20235756 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 63/661 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 63/841 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 74 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-09
[lola][I] markings : 4914166
[lola][I] fired transitions : 21118146
[lola][I] time used : 66
[lola][I] memory pages used : 18
[lola][W] CANCELED task # 72 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-09 (obsolete)
[lola][I] LAUNCH task # 95 (type EXCL) for 9 StigmergyCommit-PT-04b-UpperBounds-03
[lola][I] time limit : 504 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 81 (type FNDP) for 45 StigmergyCommit-PT-04b-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 68/833 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 68/833 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 2/706 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 2/504 1/2000 StigmergyCommit-PT-04b-UpperBounds-03 122114 m, 24422 m/sec, 427695 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 73/831 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 73/831 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 7/704 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 7/504 2/2000 StigmergyCommit-PT-04b-UpperBounds-03 495510 m, 74679 m/sec, 2055942 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 78/826 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 78/826 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 12/699 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 12/504 3/2000 StigmergyCommit-PT-04b-UpperBounds-03 818824 m, 64662 m/sec, 3692080 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 83/821 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 83/821 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 17/694 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 17/504 5/2000 StigmergyCommit-PT-04b-UpperBounds-03 1169867 m, 70208 m/sec, 5319738 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 88/816 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 88/816 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 22/689 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 22/504 6/2000 StigmergyCommit-PT-04b-UpperBounds-03 1523274 m, 70681 m/sec, 6969379 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 93/811 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 93/811 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 27/684 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 27/504 7/2000 StigmergyCommit-PT-04b-UpperBounds-03 1852104 m, 65766 m/sec, 8591004 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 98/806 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 98/806 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 32/679 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 32/504 8/2000 StigmergyCommit-PT-04b-UpperBounds-03 2195268 m, 68632 m/sec, 10188361 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 103/801 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 103/801 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 37/674 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 37/504 9/2000 StigmergyCommit-PT-04b-UpperBounds-03 2563384 m, 73623 m/sec, 11806005 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 108/796 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 108/796 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 42/669 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 42/504 11/2000 StigmergyCommit-PT-04b-UpperBounds-03 2876840 m, 62691 m/sec, 13105363 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 113/791 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 113/791 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 47/664 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 47/504 12/2000 StigmergyCommit-PT-04b-UpperBounds-03 3224750 m, 69582 m/sec, 14712796 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 118/786 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 118/786 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 52/659 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 52/504 13/2000 StigmergyCommit-PT-04b-UpperBounds-03 3564086 m, 67867 m/sec, 16292587 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 123/781 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 123/781 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 57/654 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 95 BOUND EXCL 57/504 14/2000 StigmergyCommit-PT-04b-UpperBounds-03 3907529 m, 68688 m/sec, 17801174 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 95 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-03
[lola][I] markings : 3927988
[lola][I] fired transitions : 17935677
[lola][I] time used : 57
[lola][I] memory pages used : 14
[lola][I] LAUNCH task # 93 (type EXCL) for 39 StigmergyCommit-PT-04b-UpperBounds-13
[lola][I] time limit : 579 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 128/1076 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 128/776 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 62/826 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 5/579 2/2000 StigmergyCommit-PT-04b-UpperBounds-13 333630 m, 66726 m/sec, 1330844 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 133/1071 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 133/771 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 67/821 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 10/579 3/2000 StigmergyCommit-PT-04b-UpperBounds-13 707545 m, 74783 m/sec, 3022788 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 138/1066 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 138/766 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 72/816 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 15/579 4/2000 StigmergyCommit-PT-04b-UpperBounds-13 1057968 m, 70084 m/sec, 4708064 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 143/1061 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 143/761 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 77/811 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 20/579 5/2000 StigmergyCommit-PT-04b-UpperBounds-13 1426305 m, 73667 m/sec, 6410639 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 148/1056 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 148/756 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 82/806 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 25/579 7/2000 StigmergyCommit-PT-04b-UpperBounds-13 1784765 m, 71692 m/sec, 8101557 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 153/1051 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 153/751 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 87/801 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 30/579 8/2000 StigmergyCommit-PT-04b-UpperBounds-13 2152778 m, 73602 m/sec, 9682133 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 158/1046 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 158/746 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 92/796 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 35/579 9/2000 StigmergyCommit-PT-04b-UpperBounds-13 2505772 m, 70598 m/sec, 11431765 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 163/1041 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 163/741 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 97/791 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 40/579 10/2000 StigmergyCommit-PT-04b-UpperBounds-13 2845040 m, 67853 m/sec, 12870864 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 168/1036 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 168/736 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 102/786 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 45/579 12/2000 StigmergyCommit-PT-04b-UpperBounds-13 3208086 m, 72609 m/sec, 14529017 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 173/1031 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 173/731 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 107/781 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 50/579 13/2000 StigmergyCommit-PT-04b-UpperBounds-13 3565951 m, 71573 m/sec, 16141711 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 178/1026 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 178/726 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 112/776 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 93 BOUND EXCL 55/579 14/2000 StigmergyCommit-PT-04b-UpperBounds-13 3912829 m, 69375 m/sec, 17714169 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 93 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-13
[lola][I] markings : 3927988
[lola][I] fired transitions : 17822205
[lola][I] time used : 55
[lola][I] memory pages used : 14
[lola][I] LAUNCH task # 89 (type EXCL) for 6 StigmergyCommit-PT-04b-UpperBounds-02
[lola][I] time limit : 684 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 183/1021 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 183/1021 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 117/1065 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 5/684 2/2000 StigmergyCommit-PT-04b-UpperBounds-02 357481 m, 71496 m/sec, 1448718 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 188/1016 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 188/1016 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 122/1060 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 10/684 3/2000 StigmergyCommit-PT-04b-UpperBounds-02 714085 m, 71320 m/sec, 3158874 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 193/1011 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 193/1011 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 127/1055 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 15/684 4/2000 StigmergyCommit-PT-04b-UpperBounds-02 1052279 m, 67638 m/sec, 4856292 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 198/1006 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 198/1006 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 132/1050 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 20/684 5/2000 StigmergyCommit-PT-04b-UpperBounds-02 1410770 m, 71698 m/sec, 6456392 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 203/1001 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 203/1001 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 137/1045 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 25/684 7/2000 StigmergyCommit-PT-04b-UpperBounds-02 1745148 m, 66875 m/sec, 8163456 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 208/996 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 208/996 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 142/1040 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 30/684 8/2000 StigmergyCommit-PT-04b-UpperBounds-02 2096896 m, 70349 m/sec, 9799569 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 213/991 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 213/991 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 147/1035 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 35/684 9/2000 StigmergyCommit-PT-04b-UpperBounds-02 2435064 m, 67633 m/sec, 11542835 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 218/986 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 218/986 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 152/1030 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 40/684 10/2000 StigmergyCommit-PT-04b-UpperBounds-02 2773537 m, 67694 m/sec, 13246578 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 223/981 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 223/981 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 157/1025 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 45/684 11/2000 StigmergyCommit-PT-04b-UpperBounds-02 3112563 m, 67805 m/sec, 14815049 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 228/976 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 228/976 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 162/1020 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 50/684 13/2000 StigmergyCommit-PT-04b-UpperBounds-02 3459166 m, 69320 m/sec, 16381714 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 233/971 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 233/971 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 167/1015 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 55/684 14/2000 StigmergyCommit-PT-04b-UpperBounds-02 3790927 m, 66352 m/sec, 17860224 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 238/966 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 238/966 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 172/1010 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 89 BOUND EXCL 60/684 15/2000 StigmergyCommit-PT-04b-UpperBounds-02 4130734 m, 67961 m/sec, 19254769 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 89 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-02
[lola][I] markings : 4193599
[lola][I] fired transitions : 19684715
[lola][I] time used : 61
[lola][I] memory pages used : 15
[lola][I] LAUNCH task # 86 (type EXCL) for 45 StigmergyCommit-PT-04b-UpperBounds-15
[lola][I] time limit : 839 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 243/1560 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 243/1560 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 177/1004 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 4/839 1/2000 StigmergyCommit-PT-04b-UpperBounds-15 245434 m, 49086 m/sec, 951339 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 248/1556 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 248/1556 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 182/1000 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 9/839 3/2000 StigmergyCommit-PT-04b-UpperBounds-15 623995 m, 75712 m/sec, 2653983 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 253/1551 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 253/1551 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 187/995 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 14/839 4/2000 StigmergyCommit-PT-04b-UpperBounds-15 993061 m, 73813 m/sec, 4423615 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 258/1546 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 258/1546 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 192/990 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 19/839 5/2000 StigmergyCommit-PT-04b-UpperBounds-15 1353475 m, 72082 m/sec, 6129739 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 263/1541 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 263/1541 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 197/985 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 24/839 6/2000 StigmergyCommit-PT-04b-UpperBounds-15 1705780 m, 70461 m/sec, 7851982 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 268/1536 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 268/1536 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 202/980 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 29/839 8/2000 StigmergyCommit-PT-04b-UpperBounds-15 2051036 m, 69051 m/sec, 9559314 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 273/1531 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 273/1531 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 207/975 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 34/839 9/2000 StigmergyCommit-PT-04b-UpperBounds-15 2451868 m, 80166 m/sec, 11297740 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 278/1526 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 278/1526 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 212/970 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 39/839 10/2000 StigmergyCommit-PT-04b-UpperBounds-15 2816731 m, 72972 m/sec, 12871142 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 283/1521 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 283/1521 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 217/965 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 44/839 12/2000 StigmergyCommit-PT-04b-UpperBounds-15 3166760 m, 70005 m/sec, 14475837 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 288/1516 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 288/1516 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 222/960 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 49/839 13/2000 StigmergyCommit-PT-04b-UpperBounds-15 3526058 m, 71859 m/sec, 16076383 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 293/1511 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 293/1511 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 81 BOUND FNDP 227/955 0/5 StigmergyCommit-PT-04b-UpperBounds-15 .
[lola][.] 86 BOUND EXCL 54/839 14/2000 StigmergyCommit-PT-04b-UpperBounds-15 3892736 m, 73335 m/sec, 17683099 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 86 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-15
[lola][I] markings : 3927988
[lola][I] fired transitions : 17922655
[lola][I] time used : 55
[lola][I] memory pages used : 14
[lola][W] CANCELED task # 81 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-15 (obsolete)
[lola][I] LAUNCH task # 84 (type EXCL) for 12 StigmergyCommit-PT-04b-UpperBounds-04
[lola][I] time limit : 1101 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 82 (type FNDP) for 12 StigmergyCommit-PT-04b-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 298/3304 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 298/1505 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 4/1652 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 4/1101 2/2000 StigmergyCommit-PT-04b-UpperBounds-04 326005 m, 65201 m/sec, 1270415 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 303/3300 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 303/1501 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 9/1648 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 9/1101 3/2000 StigmergyCommit-PT-04b-UpperBounds-04 704807 m, 75760 m/sec, 3055615 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 308/3295 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 308/1496 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 14/1643 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 14/1101 4/2000 StigmergyCommit-PT-04b-UpperBounds-04 1067000 m, 72438 m/sec, 4822984 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 313/3290 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 313/1491 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 19/1638 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 19/1101 6/2000 StigmergyCommit-PT-04b-UpperBounds-04 1449682 m, 76536 m/sec, 6575633 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 318/3285 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 318/1486 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 24/1633 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 24/1101 7/2000 StigmergyCommit-PT-04b-UpperBounds-04 1834326 m, 76928 m/sec, 8264684 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 323/3280 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 323/1481 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 29/1628 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 29/1101 8/2000 StigmergyCommit-PT-04b-UpperBounds-04 2186146 m, 70364 m/sec, 9990530 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 328/3275 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 328/1476 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 34/1623 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 34/1101 10/2000 StigmergyCommit-PT-04b-UpperBounds-04 2597410 m, 82252 m/sec, 11836169 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 333/3270 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 333/1471 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 39/1618 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 39/1101 11/2000 StigmergyCommit-PT-04b-UpperBounds-04 2951196 m, 70757 m/sec, 13291110 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 338/3265 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 338/1466 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 44/1613 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 44/1101 12/2000 StigmergyCommit-PT-04b-UpperBounds-04 3337817 m, 77324 m/sec, 15058241 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 0 1 2 0 1 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 343/3260 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 343/1461 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 82 BOUND FNDP 49/1608 0/5 StigmergyCommit-PT-04b-UpperBounds-04 .
[lola][.] 84 BOUND EXCL 49/1101 13/2000 StigmergyCommit-PT-04b-UpperBounds-04 3698904 m, 72217 m/sec, 16810121 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 84 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-04
[lola][I] markings : 3927988
[lola][I] fired transitions : 17822245
[lola][I] time used : 52
[lola][I] memory pages used : 14
[lola][W] CANCELED task # 82 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-04 (obsolete)
[lola][I] LAUNCH task # 80 (type EXCL) for 42 StigmergyCommit-PT-04b-UpperBounds-14
[lola][I] time limit : 1626 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 79 (type EQUN) for 42 StigmergyCommit-PT-04b-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 79 (type EQUN) for StigmergyCommit-PT-04b-UpperBounds-14
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 348/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 348/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 2/1626 1/2000 StigmergyCommit-PT-04b-UpperBounds-14 152142 m, 30428 m/sec, 547484 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 353/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 353/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 7/1626 2/2000 StigmergyCommit-PT-04b-UpperBounds-14 560821 m, 81735 m/sec, 2287525 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 358/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 358/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 12/1626 4/2000 StigmergyCommit-PT-04b-UpperBounds-14 962002 m, 80236 m/sec, 4190377 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 363/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 363/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 17/1626 5/2000 StigmergyCommit-PT-04b-UpperBounds-14 1350164 m, 77632 m/sec, 6075527 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 368/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 368/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 22/1626 7/2000 StigmergyCommit-PT-04b-UpperBounds-14 1719886 m, 73944 m/sec, 7978961 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 373/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 373/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 27/1626 8/2000 StigmergyCommit-PT-04b-UpperBounds-14 2079724 m, 71967 m/sec, 9910996 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 378/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 378/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 32/1626 9/2000 StigmergyCommit-PT-04b-UpperBounds-14 2449798 m, 74014 m/sec, 11674772 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 383/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 383/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 37/1626 10/2000 StigmergyCommit-PT-04b-UpperBounds-14 2790069 m, 68054 m/sec, 13365825 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 388/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 388/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 42/1626 12/2000 StigmergyCommit-PT-04b-UpperBounds-14 3169257 m, 75837 m/sec, 14759938 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 393/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 393/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 47/1626 13/2000 StigmergyCommit-PT-04b-UpperBounds-14 3489251 m, 63998 m/sec, 16484119 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 398/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 78 BOUND FNDP 398/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-14 .
[lola][.] 80 BOUND EXCL 52/1626 14/2000 StigmergyCommit-PT-04b-UpperBounds-14 3838528 m, 69855 m/sec, 18043981 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 18
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 80 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-14
[lola][I] markings : 3932316
[lola][I] fired transitions : 18543634
[lola][I] time used : 54
[lola][I] memory pages used : 14
[lola][W] CANCELED task # 78 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-14 (obsolete)
[lola][I] LAUNCH task # 77 (type EXCL) for 33 StigmergyCommit-PT-04b-UpperBounds-11
[lola][I] time limit : 3198 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 403/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 3/3198 1/2000 StigmergyCommit-PT-04b-UpperBounds-11 263573 m, 52714 m/sec, 992131 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 408/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 8/3198 3/2000 StigmergyCommit-PT-04b-UpperBounds-11 662958 m, 79877 m/sec, 2874106 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 413/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 13/3198 4/2000 StigmergyCommit-PT-04b-UpperBounds-11 1036725 m, 74753 m/sec, 4754745 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 418/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 18/3198 5/2000 StigmergyCommit-PT-04b-UpperBounds-11 1428392 m, 78333 m/sec, 6589884 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 423/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 23/3198 7/2000 StigmergyCommit-PT-04b-UpperBounds-11 1787060 m, 71733 m/sec, 8436009 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 428/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 28/3198 8/2000 StigmergyCommit-PT-04b-UpperBounds-11 2164415 m, 75471 m/sec, 10326071 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 433/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 33/3198 9/2000 StigmergyCommit-PT-04b-UpperBounds-11 2554131 m, 77943 m/sec, 12059572 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 438/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 38/3198 11/2000 StigmergyCommit-PT-04b-UpperBounds-11 2883605 m, 65894 m/sec, 13900668 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 443/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 43/3198 12/2000 StigmergyCommit-PT-04b-UpperBounds-11 3244393 m, 72157 m/sec, 15448162 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 448/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 48/3198 13/2000 StigmergyCommit-PT-04b-UpperBounds-11 3619083 m, 74938 m/sec, 17179212 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 450 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] StigmergyCommit-PT-04b-UpperBounds-00: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-01: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-02: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-03: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-04: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-05: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-06: BOUND 1 findpath
[lola][.] StigmergyCommit-PT-04b-UpperBounds-07: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-08: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-09: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-10: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-12: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-13: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-14: BOUND 1 state space
[lola][.] StigmergyCommit-PT-04b-UpperBounds-15: BOUND 1 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] StigmergyCommit-PT-04b-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 453/3598 0/5 StigmergyCommit-PT-04b-UpperBounds-11 .
[lola][.] 77 BOUND EXCL 53/3198 14/2000 StigmergyCommit-PT-04b-UpperBounds-11 4021468 m, 80477 m/sec, 18917930 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 455 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 77 (type EXCL) for StigmergyCommit-PT-04b-UpperBounds-11
[lola][I] markings : 4078495
[lola][I] fired transitions : 19276240
[lola][I] time used : 54
[lola][I] memory pages used : 15
[lola][W] CANCELED task # 75 (type FNDP) for StigmergyCommit-PT-04b-UpperBounds-11 (obsolete)
[lola][I] Portfolio finished: no open formulas

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="StigmergyCommit-PT-04b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is StigmergyCommit-PT-04b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r401-tall-171690533700133"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-04b.tgz
mv StigmergyCommit-PT-04b execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;