fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r379-smll-171683812000165
Last Updated
July 7, 2024

About the Execution of LoLA for SimpleLoadBal-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
670.831 404948.00 815021.00 1348.10 1 1 0 0 1 1 1 1 1 1 1 0 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.r379-smll-171683812000165.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 SimpleLoadBal-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r379-smll-171683812000165
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 8.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Apr 23 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 23 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 19 07:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 19:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 13 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Apr 13 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 13 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Apr 13 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 23 07:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 23 07:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 535K 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 SimpleLoadBal-PT-10-UpperBounds-00
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-01
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-02
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-03
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-04
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-05
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-06
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-07
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-08
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-09
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-10
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-11
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-12
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-13
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-14
FORMULA_NAME SimpleLoadBal-PT-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1717115011694

FORMULA SimpleLoadBal-PT-10-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-08 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-04 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-02 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-05 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-00 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-03 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-01 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-09 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-07 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-06 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-11 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-UpperBounds-12 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] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola]
[lola] Time elapsed: 405 secs. Pages in use: 7

BK_STOP 1717115416642

--------------------
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 (P-client_request_9 <= 0) is 1
[lola][I] LAUNCH task # 50 (type EXCL) for 30 SimpleLoadBal-PT-10-UpperBounds-10
[lola][I] time limit : 224 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 30 SimpleLoadBal-PT-10-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 30 SimpleLoadBal-PT-10-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-10
[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 SimpleLoadBal-PT-10-UpperBounds-10 (obsolete)
[lola][W] CANCELED task # 49 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-10 (obsolete)
[lola][I] Structural Bound for (P-client_idle_3 <= 0) is 1
[lola][I] LAUNCH task # 53 (type EXCL) for 24 SimpleLoadBal-PT-10-UpperBounds-08
[lola][I] time limit : 239 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 24 SimpleLoadBal-PT-10-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 24 SimpleLoadBal-PT-10-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-08
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 51 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-08 (obsolete)
[lola][W] CANCELED task # 52 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-08 (obsolete)
[lola][I] Structural Bound for (P-server_idle_2 <= 0) is 1
[lola][I] LAUNCH task # 56 (type EXCL) for 12 SimpleLoadBal-PT-10-UpperBounds-04
[lola][I] time limit : 257 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 54 (type FNDP) for 12 SimpleLoadBal-PT-10-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 55 (type EQUN) for 12 SimpleLoadBal-PT-10-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-10
[lola][I] time used : 0
[lola][I] FINISHED task # 56 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-04
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 54 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-04 (obsolete)
[lola][W] CANCELED task # 55 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-04 (obsolete)
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 51 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-08
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 48 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-10
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 54 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-04
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (P-lb_load_1_5 <= 0) is 1
[lola][I] LAUNCH task # 59 (type EXCL) for 15 SimpleLoadBal-PT-10-UpperBounds-05
[lola][I] time limit : 276 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 57 (type FNDP) for 15 SimpleLoadBal-PT-10-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 15 SimpleLoadBal-PT-10-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (P-server_notification_2 <= 0) is 0
[lola][I] LAUNCH task # 60 (type FNDP) for 6 SimpleLoadBal-PT-10-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 60 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-02
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] FINISHED task # 52 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-08
[lola][I] result : unknown
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] Structural Bound for (P-client_ack_5 <= 0) is 1
[lola][I] LAUNCH task # 63 (type FNDP) for 45 SimpleLoadBal-PT-10-UpperBounds-15
[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 SimpleLoadBal-PT-10-UpperBounds-15
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (P-server_processed_2 <= 0) is 1
[lola][I] LAUNCH task # 66 (type FNDP) for 0 SimpleLoadBal-PT-10-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (P-lb_load_1_1 <= 0) is 0
[lola][I] FINISHED task # 57 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-05
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][W] CANCELED task # 58 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-05 (obsolete)
[lola][W] CANCELED task # 59 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-05 (obsolete)
[lola][I] LAUNCH task # 68 (type EXCL) for 0 SimpleLoadBal-PT-10-UpperBounds-00
[lola][I] time limit : 359 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 69 (type FNDP) for 9 SimpleLoadBal-PT-10-UpperBounds-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 70 (type EQUN) for 9 SimpleLoadBal-PT-10-UpperBounds-03
[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 # 66 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-00
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][W] CANCELED task # 68 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-00 (obsolete)
[lola][I] LAUNCH task # 71 (type EXCL) for 9 SimpleLoadBal-PT-10-UpperBounds-03
[lola][I] time limit : 399 sec
[lola][I] memory limit: 2000 pages
[lola][I] Structural Bound for (P-lb_routing_1_2 <= 0) is 1
[lola][I] LAUNCH task # 72 (type FNDP) for 39 SimpleLoadBal-PT-10-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 71 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-03
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 69 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-03 (obsolete)
[lola][W] CANCELED task # 70 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-03 (obsolete)
[lola][I] LAUNCH task # 74 (type EXCL) for 39 SimpleLoadBal-PT-10-UpperBounds-13
[lola][I] time limit : 449 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 73 (type EQUN) for 39 SimpleLoadBal-PT-10-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 74 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-13
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 72 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-13 (obsolete)
[lola][W] CANCELED task # 73 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-13 (obsolete)
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 69 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-03
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 72 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-13
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 55 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-04
[lola][I] result : unknown
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 70 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-03
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 73 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-13
[lola][I] time used : 0
[lola][I] Structural Bound for (P-client_waiting_4 <= 0) is 1073741824
[lola][I] Structural Bound for (P-client_ack_10 <= 0) is 1073741824
[lola][I] LAUNCH task # 77 (type EXCL) for 3 SimpleLoadBal-PT-10-UpperBounds-01
[lola][I] time limit : 513 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 75 (type FNDP) for 3 SimpleLoadBal-PT-10-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 76 (type EQUN) for 3 SimpleLoadBal-PT-10-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 78 (type FNDP) for 21 SimpleLoadBal-PT-10-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 76 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-01
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 79 (type EQUN) for 21 SimpleLoadBal-PT-10-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 79 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-07
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (P-server_request_1_1 <= 0) is 1073741824
[lola][I] LAUNCH task # 81 (type FNDP) for 36 SimpleLoadBal-PT-10-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (P-client_waiting_6 <= 0) is 1073741824
[lola][I] Structural Bound for (P-client_waiting_7 <= 0) is 1073741824
[lola][I] Structural Bound for (P-lb_load_1_9 <= 0) is 1073741824
[lola][I] Structural Bound for (P-lb_routing_1_10 <= 0) is 1073741824
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 2/898 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 2/513 1/2000 SimpleLoadBal-PT-10-UpperBounds-01 72242 m, 14448 m/sec, 122274 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 2/898 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 2/898 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 7/897 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 7/513 1/2000 SimpleLoadBal-PT-10-UpperBounds-01 263964 m, 38344 m/sec, 511833 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 7/897 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 7/897 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 12/892 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 12/513 2/2000 SimpleLoadBal-PT-10-UpperBounds-01 440806 m, 35368 m/sec, 910198 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 12/892 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 12/892 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 17/887 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 17/513 3/2000 SimpleLoadBal-PT-10-UpperBounds-01 627258 m, 37290 m/sec, 1382149 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 17/887 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 17/887 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 22/882 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 22/513 3/2000 SimpleLoadBal-PT-10-UpperBounds-01 803084 m, 35165 m/sec, 1900617 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 22/882 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 22/882 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 27/877 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 27/513 4/2000 SimpleLoadBal-PT-10-UpperBounds-01 976148 m, 34612 m/sec, 2436153 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 27/877 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 27/877 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 32/872 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 32/513 4/2000 SimpleLoadBal-PT-10-UpperBounds-01 1147663 m, 34303 m/sec, 3019770 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 32/872 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 32/872 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 37/867 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 37/513 5/2000 SimpleLoadBal-PT-10-UpperBounds-01 1303703 m, 31208 m/sec, 3618021 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 37/867 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 37/867 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 42/862 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 42/513 5/2000 SimpleLoadBal-PT-10-UpperBounds-01 1468747 m, 33008 m/sec, 4259360 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 42/862 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 42/862 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 47/857 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 47/513 6/2000 SimpleLoadBal-PT-10-UpperBounds-01 1630254 m, 32301 m/sec, 4862454 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 47/857 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 47/857 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 75 BOUND FNDP 52/852 0/5 SimpleLoadBal-PT-10-UpperBounds-01 .
[lola][.] 77 BOUND EXCL 52/513 7/2000 SimpleLoadBal-PT-10-UpperBounds-01 1794855 m, 32920 m/sec, 5495902 t fired, result in [1,1073741824] .
[lola][.] 78 BOUND FNDP 52/852 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 52/852 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 77 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-01
[lola][I] markings : 1869082
[lola][I] fired transitions : 5770385
[lola][I] time used : 55
[lola][I] memory pages used : 7
[lola][W] CANCELED task # 75 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-01 (obsolete)
[lola][I] LAUNCH task # 89 (type EXCL) for 27 SimpleLoadBal-PT-10-UpperBounds-09
[lola][I] time limit : 590 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 90 (type FNDP) for 33 SimpleLoadBal-PT-10-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 57/1144 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 57/844 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 2/590 1/2000 SimpleLoadBal-PT-10-UpperBounds-09 112212 m, 22442 m/sec, 195137 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 2/885 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 62/1142 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 62/842 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 7/590 2/2000 SimpleLoadBal-PT-10-UpperBounds-09 306629 m, 38883 m/sec, 607637 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 7/883 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 67/1137 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 67/837 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 12/590 2/2000 SimpleLoadBal-PT-10-UpperBounds-09 493061 m, 37286 m/sec, 1031354 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 12/878 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 72/1132 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 72/832 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 17/590 3/2000 SimpleLoadBal-PT-10-UpperBounds-09 683347 m, 38057 m/sec, 1542510 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 17/873 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 77/1127 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 77/827 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 22/590 3/2000 SimpleLoadBal-PT-10-UpperBounds-09 854812 m, 34293 m/sec, 2059378 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 22/868 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 82/1122 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 82/822 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 27/590 4/2000 SimpleLoadBal-PT-10-UpperBounds-09 1030677 m, 35173 m/sec, 2618101 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 27/863 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 87/1117 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 87/817 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 32/590 5/2000 SimpleLoadBal-PT-10-UpperBounds-09 1199854 m, 33835 m/sec, 3213745 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 32/858 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 92/1112 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 92/812 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 37/590 5/2000 SimpleLoadBal-PT-10-UpperBounds-09 1359226 m, 31874 m/sec, 3803053 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 37/853 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 97/1107 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 97/807 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 42/590 6/2000 SimpleLoadBal-PT-10-UpperBounds-09 1517919 m, 31738 m/sec, 4466871 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 42/848 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 102/1102 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 102/802 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 47/590 6/2000 SimpleLoadBal-PT-10-UpperBounds-09 1683184 m, 33053 m/sec, 5054766 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 47/843 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 107/1097 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 107/797 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 89 BOUND EXCL 52/590 7/2000 SimpleLoadBal-PT-10-UpperBounds-09 1837157 m, 30794 m/sec, 5653278 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 52/838 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 89 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-09
[lola][I] markings : 1869082
[lola][I] fired transitions : 5770385
[lola][I] time used : 53
[lola][I] memory pages used : 7
[lola][I] LAUNCH task # 86 (type EXCL) for 42 SimpleLoadBal-PT-10-UpperBounds-14
[lola][I] time limit : 697 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 112/1091 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 112/1091 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 4/697 1/2000 SimpleLoadBal-PT-10-UpperBounds-14 163065 m, 32613 m/sec, 292930 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 57/1127 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 117/1087 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 117/1087 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 9/697 2/2000 SimpleLoadBal-PT-10-UpperBounds-14 351469 m, 37680 m/sec, 708239 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 62/1123 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 122/1082 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 122/1082 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 14/697 2/2000 SimpleLoadBal-PT-10-UpperBounds-14 536629 m, 37032 m/sec, 1136859 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 67/1118 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 127/1077 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 127/1077 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 19/697 3/2000 SimpleLoadBal-PT-10-UpperBounds-14 724256 m, 37525 m/sec, 1662473 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 72/1113 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 132/1072 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 132/1072 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 24/697 4/2000 SimpleLoadBal-PT-10-UpperBounds-14 893772 m, 33903 m/sec, 2174037 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 77/1108 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 137/1067 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 137/1067 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 29/697 4/2000 SimpleLoadBal-PT-10-UpperBounds-14 1070812 m, 35408 m/sec, 2752903 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 82/1103 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 142/1062 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 142/1062 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 34/697 5/2000 SimpleLoadBal-PT-10-UpperBounds-14 1224257 m, 30689 m/sec, 3328649 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 87/1098 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 147/1057 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 147/1057 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 39/697 5/2000 SimpleLoadBal-PT-10-UpperBounds-14 1387202 m, 32589 m/sec, 3901497 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 92/1093 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 152/1052 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 152/1052 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 44/697 6/2000 SimpleLoadBal-PT-10-UpperBounds-14 1543702 m, 31300 m/sec, 4560660 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 97/1088 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 1 1 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 157/1047 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 81 BOUND FNDP 157/1047 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 86 BOUND EXCL 49/697 6/2000 SimpleLoadBal-PT-10-UpperBounds-14 1707988 m, 32857 m/sec, 5146956 t fired, result in [1,1073741824] .
[lola][.] 90 BOUND FNDP 102/1083 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 86 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-14
[lola][I] markings : 1869082
[lola][I] fired transitions : 5770385
[lola][I] time used : 54
[lola][I] memory pages used : 7
[lola][I] LAUNCH task # 80 (type EXCL) for 21 SimpleLoadBal-PT-10-UpperBounds-07
[lola][I] time limit : 858 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 162/1636 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 0/858 1/2000 SimpleLoadBal-PT-10-UpperBounds-07 4034 m, 806 m/sec, 6825 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 162/1636 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 107/1073 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 167/1636 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 5/858 1/2000 SimpleLoadBal-PT-10-UpperBounds-07 152049 m, 29603 m/sec, 339457 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 167/1636 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 112/1073 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 172/1631 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 10/858 2/2000 SimpleLoadBal-PT-10-UpperBounds-07 296021 m, 28794 m/sec, 697723 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 172/1631 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 117/1068 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 177/1626 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 15/858 2/2000 SimpleLoadBal-PT-10-UpperBounds-07 432047 m, 27205 m/sec, 1073497 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 177/1626 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 122/1063 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 182/1621 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 20/858 2/2000 SimpleLoadBal-PT-10-UpperBounds-07 567369 m, 27064 m/sec, 1509107 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 182/1621 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 127/1058 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 187/1616 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 25/858 3/2000 SimpleLoadBal-PT-10-UpperBounds-07 703007 m, 27127 m/sec, 1945544 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 187/1616 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 132/1053 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 192/1611 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 30/858 3/2000 SimpleLoadBal-PT-10-UpperBounds-07 829842 m, 25367 m/sec, 2374451 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 192/1611 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 137/1048 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 197/1606 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 35/858 4/2000 SimpleLoadBal-PT-10-UpperBounds-07 957016 m, 25434 m/sec, 2848792 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 197/1606 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 142/1043 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 202/1601 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 40/858 4/2000 SimpleLoadBal-PT-10-UpperBounds-07 1084863 m, 25569 m/sec, 3379925 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 202/1601 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 147/1038 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 207/1596 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 45/858 5/2000 SimpleLoadBal-PT-10-UpperBounds-07 1204140 m, 23855 m/sec, 3946198 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 207/1596 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 152/1033 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 212/1591 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 50/858 5/2000 SimpleLoadBal-PT-10-UpperBounds-07 1315593 m, 22290 m/sec, 4445739 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 212/1591 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 157/1028 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 217/1586 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 55/858 5/2000 SimpleLoadBal-PT-10-UpperBounds-07 1426093 m, 22100 m/sec, 5029600 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 217/1586 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 162/1023 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 222/1581 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 60/858 6/2000 SimpleLoadBal-PT-10-UpperBounds-07 1537696 m, 22320 m/sec, 5580127 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 222/1581 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 167/1018 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 227/1576 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 65/858 6/2000 SimpleLoadBal-PT-10-UpperBounds-07 1650342 m, 22529 m/sec, 6134149 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 227/1576 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 172/1013 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 78 BOUND FNDP 232/1571 0/5 SimpleLoadBal-PT-10-UpperBounds-07 .
[lola][.] 80 BOUND EXCL 70/858 7/2000 SimpleLoadBal-PT-10-UpperBounds-07 1765102 m, 22952 m/sec, 6697542 t fired, result in [1,1073741824] .
[lola][.] 81 BOUND FNDP 232/1571 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 177/1008 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 80 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-07
[lola][I] markings : 1782539
[lola][I] fired transitions : 6791262
[lola][I] time used : 71
[lola][I] memory pages used : 7
[lola][W] CANCELED task # 78 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-07 (obsolete)
[lola][I] LAUNCH task # 95 (type EXCL) for 18 SimpleLoadBal-PT-10-UpperBounds-06
[lola][I] time limit : 1121 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 93 (type FNDP) for 18 SimpleLoadBal-PT-10-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 237/1565 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 182/1593 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 4/1682 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 4/1121 1/2000 SimpleLoadBal-PT-10-UpperBounds-06 129307 m, 25861 m/sec, 187537 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 242/1561 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 187/1589 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 9/1678 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 9/1121 1/2000 SimpleLoadBal-PT-10-UpperBounds-06 278937 m, 29926 m/sec, 432116 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 247/1556 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 192/1584 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 14/1673 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 14/1121 2/2000 SimpleLoadBal-PT-10-UpperBounds-06 419792 m, 28171 m/sec, 788406 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 252/1551 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 197/1579 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 19/1668 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 19/1121 2/2000 SimpleLoadBal-PT-10-UpperBounds-06 556257 m, 27293 m/sec, 1219876 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 257/1546 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 202/1574 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 24/1663 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 24/1121 3/2000 SimpleLoadBal-PT-10-UpperBounds-06 686092 m, 25967 m/sec, 1699127 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 262/1541 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 207/1569 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 29/1658 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 29/1121 3/2000 SimpleLoadBal-PT-10-UpperBounds-06 811175 m, 25016 m/sec, 2194385 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 267/1536 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 212/1564 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 34/1653 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 34/1121 4/2000 SimpleLoadBal-PT-10-UpperBounds-06 940142 m, 25793 m/sec, 2765526 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 272/1531 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 217/1559 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 39/1648 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 39/1121 4/2000 SimpleLoadBal-PT-10-UpperBounds-06 1061556 m, 24282 m/sec, 3305983 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 277/1526 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 222/1554 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 44/1643 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 44/1121 5/2000 SimpleLoadBal-PT-10-UpperBounds-06 1178796 m, 23448 m/sec, 3915871 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 0 1 2 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 282/1521 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 227/1549 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 93 BOUND FNDP 49/1638 0/5 SimpleLoadBal-PT-10-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 49/1121 5/2000 SimpleLoadBal-PT-10-UpperBounds-06 1290420 m, 22324 m/sec, 4638762 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 95 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-06
[lola][I] markings : 1382243
[lola][I] fired transitions : 5230120
[lola][I] time used : 53
[lola][I] memory pages used : 5
[lola][W] CANCELED task # 93 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-06 (obsolete)
[lola][I] LAUNCH task # 92 (type EXCL) for 33 SimpleLoadBal-PT-10-UpperBounds-11
[lola][I] time limit : 1655 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 82 (type EQUN) for 36 SimpleLoadBal-PT-10-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 82 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-12
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 91 (type EQUN) for 33 SimpleLoadBal-PT-10-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 91 (type EQUN) for SimpleLoadBal-PT-10-UpperBounds-11
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 287/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 232/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 1/1655 1/2000 SimpleLoadBal-PT-10-UpperBounds-11 29391 m, 5878 m/sec, 60690 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 292/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 237/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 6/1655 1/2000 SimpleLoadBal-PT-10-UpperBounds-11 161853 m, 26492 m/sec, 386652 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 297/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 242/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 11/1655 2/2000 SimpleLoadBal-PT-10-UpperBounds-11 299617 m, 27552 m/sec, 777908 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 302/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 247/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 16/1655 2/2000 SimpleLoadBal-PT-10-UpperBounds-11 430627 m, 26202 m/sec, 1175181 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 307/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 252/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 21/1655 2/2000 SimpleLoadBal-PT-10-UpperBounds-11 560065 m, 25887 m/sec, 1645255 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 312/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 257/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 26/1655 3/2000 SimpleLoadBal-PT-10-UpperBounds-11 684832 m, 24953 m/sec, 2119865 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 317/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 262/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 31/1655 3/2000 SimpleLoadBal-PT-10-UpperBounds-11 807269 m, 24487 m/sec, 2667493 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 322/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 267/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 36/1655 4/2000 SimpleLoadBal-PT-10-UpperBounds-11 923198 m, 23185 m/sec, 3201921 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 327/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 272/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 41/1655 4/2000 SimpleLoadBal-PT-10-UpperBounds-11 1038776 m, 23115 m/sec, 3579862 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 332/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 277/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 46/1655 4/2000 SimpleLoadBal-PT-10-UpperBounds-11 1156995 m, 23643 m/sec, 3907945 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 337/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 282/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 51/1655 5/2000 SimpleLoadBal-PT-10-UpperBounds-11 1276908 m, 23982 m/sec, 4220136 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 0 2 0 2 0 0 0
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 342/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 90 BOUND FNDP 287/3542 0/5 SimpleLoadBal-PT-10-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 56/1655 5/2000 SimpleLoadBal-PT-10-UpperBounds-11 1398900 m, 24398 m/sec, 4516720 t fired, result in [0,1073741824] .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 92 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-11
[lola][I] markings : 1433644
[lola][I] fired transitions : 4595914
[lola][I] time used : 58
[lola][I] memory pages used : 5
[lola][W] CANCELED task # 90 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-11 (obsolete)
[lola][I] LAUNCH task # 83 (type EXCL) for 36 SimpleLoadBal-PT-10-UpperBounds-12
[lola][I] time limit : 3253 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 347/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 3/3253 1/2000 SimpleLoadBal-PT-10-UpperBounds-12 99811 m, 19962 m/sec, 172558 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 352/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 8/3253 1/2000 SimpleLoadBal-PT-10-UpperBounds-12 238371 m, 27712 m/sec, 488523 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 357/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 13/3253 2/2000 SimpleLoadBal-PT-10-UpperBounds-12 371507 m, 26627 m/sec, 836803 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 362/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 18/3253 2/2000 SimpleLoadBal-PT-10-UpperBounds-12 500506 m, 25799 m/sec, 1242037 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 367/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 23/3253 3/2000 SimpleLoadBal-PT-10-UpperBounds-12 625398 m, 24978 m/sec, 1691107 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 372/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 28/3253 3/2000 SimpleLoadBal-PT-10-UpperBounds-12 749661 m, 24852 m/sec, 2169214 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 377/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 33/3253 3/2000 SimpleLoadBal-PT-10-UpperBounds-12 871499 m, 24367 m/sec, 2695388 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 382/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 38/3253 4/2000 SimpleLoadBal-PT-10-UpperBounds-12 988276 m, 23355 m/sec, 3255220 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 387/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 43/3253 4/2000 SimpleLoadBal-PT-10-UpperBounds-12 1104625 m, 23269 m/sec, 3674206 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 392/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 48/3253 5/2000 SimpleLoadBal-PT-10-UpperBounds-12 1223060 m, 23687 m/sec, 4051989 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] SimpleLoadBal-PT-10-UpperBounds-00: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-01: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-02: BOUND 0 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-03: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-04: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-05: BOUND 1 findpath
[lola][.] SimpleLoadBal-PT-10-UpperBounds-06: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-07: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-08: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-09: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-10: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-11: BOUND 0 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-13: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-14: BOUND 1 state space
[lola][.] SimpleLoadBal-PT-10-UpperBounds-15: BOUND 1 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] SimpleLoadBal-PT-10-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 397/3597 0/5 SimpleLoadBal-PT-10-UpperBounds-12 .
[lola][.] 83 BOUND EXCL 53/3253 5/2000 SimpleLoadBal-PT-10-UpperBounds-12 1344546 m, 24297 m/sec, 4396470 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 83 (type EXCL) for SimpleLoadBal-PT-10-UpperBounds-12
[lola][I] markings : 1462043
[lola][I] fired transitions : 4694337
[lola][I] time used : 58
[lola][I] memory pages used : 5
[lola][W] CANCELED task # 81 (type FNDP) for SimpleLoadBal-PT-10-UpperBounds-12 (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="SimpleLoadBal-PT-10"
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 SimpleLoadBal-PT-10, 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 r379-smll-171683812000165"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-10.tgz
mv SimpleLoadBal-PT-10 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 ;