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

About the Execution of LoLA for ClientsAndServers-PT-N0050P0

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
0.000 436241.00 0.00 0.00 400 100 100 400 100 100 ? 100 400 200 100 200 400 100 100 100 normal

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r071-tall-171620507300485.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 ClientsAndServers-PT-N0050P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-tall-171620507300485
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 22 14:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 22 14:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Apr 12 22:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Apr 12 22:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 12 22:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 105K Apr 12 22:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 22 14:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 8 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 9.2K May 18 16:42 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 ClientsAndServers-PT-N0050P0-UpperBounds-00
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-01
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-02
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-03
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-04
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-05
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-06
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-07
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-08
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-09
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0050P0-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1717048493217

FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-08 400 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-00 400 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-02 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-10 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-07 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-09 200 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-03 400 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-01 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-11 200 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-12 400 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-15 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-14 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-13 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-05 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-04 100 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717048929458

--------------------
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 (CR <= 0) is 400
[lola][I] LAUNCH task # 50 (type EXCL) for 24 ClientsAndServers-PT-N0050P0-UpperBounds-08
[lola][I] time limit : 225 sec
[lola][I] memory limit: 2000 pages
[lola][I] Structural Bound for (CwG <= 0) is 400
[lola][I] LAUNCH task # 48 (type FNDP) for 24 ClientsAndServers-PT-N0050P0-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 24 ClientsAndServers-PT-N0050P0-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 0 ClientsAndServers-PT-N0050P0-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-08
[lola][I] markings : 401
[lola][I] fired transitions : 400
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 48 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-08 (obsolete)
[lola][W] CANCELED task # 49 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-08 (obsolete)
[lola][I] LAUNCH task # 53 (type EXCL) for 0 ClientsAndServers-PT-N0050P0-UpperBounds-00
[lola][I] time limit : 240 sec
[lola][I] memory limit: 2000 pages
[lola][I] Structural Bound for (MpA <= 0) is 100
[lola][I] Structural Bound for (StR <= 0) is 100
[lola][I] LAUNCH task # 52 (type EQUN) for 0 ClientsAndServers-PT-N0050P0-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-00
[lola][I] markings : 401
[lola][I] fired transitions : 400
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 51 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-00 (obsolete)
[lola][W] CANCELED task # 52 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-00 (obsolete)
[lola][I] Structural Bound for (StF <= 0) is 100
[lola][I] Structural Bound for (SpA <= 0) is 100
[lola][I] LAUNCH task # 56 (type EXCL) for 6 ClientsAndServers-PT-N0050P0-UpperBounds-02
[lola][I] time limit : 257 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 54 (type FNDP) for 6 ClientsAndServers-PT-N0050P0-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 55 (type EQUN) for 6 ClientsAndServers-PT-N0050P0-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 60 (type FNDP) for 21 ClientsAndServers-PT-N0050P0-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-02
[lola][I] markings : 101
[lola][I] fired transitions : 100
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 54 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-02 (obsolete)
[lola][W] CANCELED task # 55 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-02 (obsolete)
[lola][I] LAUNCH task # 59 (type EXCL) for 30 ClientsAndServers-PT-N0050P0-UpperBounds-10
[lola][I] time limit : 276 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 57 (type FNDP) for 30 ClientsAndServers-PT-N0050P0-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 30 ClientsAndServers-PT-N0050P0-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (Cb <= 0) is 200
[lola][I] FINISHED task # 52 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-00
[lola][I] time used : 0
[lola][I] FINISHED task # 55 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-02
[lola][I] time used : 0
[lola][I] FINISHED task # 59 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-10
[lola][I] markings : 3827
[lola][I] fired transitions : 3837
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 57 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-10 (obsolete)
[lola][W] CANCELED task # 58 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-10 (obsolete)
[lola][I] Structural@Findpath: 400 (upper 400 threshold 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] LAUNCH task # 68 (type EXCL) for 27 ClientsAndServers-PT-N0050P0-UpperBounds-09
[lola][I] time limit : 300 sec
[lola][I] memory limit: 2000 pages
[lola][I] Structural Bound for (MwU <= 0) is 100
[lola][I] LAUNCH task # 63 (type FNDP) for 45 ClientsAndServers-PT-N0050P0-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 400 (upper 400 threshold 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] Structural Bound for (CG <= 0) is 200
[lola][I] Structural Bound for (CA <= 0) is 400
[lola][I] LAUNCH task # 64 (type EQUN) for 45 ClientsAndServers-PT-N0050P0-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 48 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-08
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 58 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-10
[lola][I] time used : 0
[lola][I] FINISHED task # 57 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-10
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 68 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-09
[lola][I] markings : 1001
[lola][I] fired transitions : 1000
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] Structural Bound for (Ci <= 0) is 400
[lola][I] FINISHED task # 51 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-00
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 60 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-07
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 74 (type EXCL) for 9 ClientsAndServers-PT-N0050P0-UpperBounds-03
[lola][I] time limit : 450 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 69 (type FNDP) for 3 ClientsAndServers-PT-N0050P0-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 74 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-03
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 77 (type EXCL) for 33 ClientsAndServers-PT-N0050P0-UpperBounds-11
[lola][I] time limit : 450 sec
[lola][I] memory limit: 2000 pages
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 69 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-01
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 78 (type FNDP) for 36 ClientsAndServers-PT-N0050P0-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 77 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-11
[lola][I] markings : 1001
[lola][I] fired transitions : 1000
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 80 (type EXCL) for 36 ClientsAndServers-PT-N0050P0-UpperBounds-12
[lola][I] time limit : 514 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 80 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-12
[lola][I] markings : 3601
[lola][I] fired transitions : 3600
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 78 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-12 (obsolete)
[lola][I] LAUNCH task # 65 (type EXCL) for 45 ClientsAndServers-PT-N0050P0-UpperBounds-15
[lola][I] time limit : 600 sec
[lola][I] memory limit: 2000 pages
[lola][I] Structural Bound for (MpG <= 0) is 100
[lola][I] FINISHED task # 65 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-15
[lola][I] markings : 3509
[lola][I] fired transitions : 3511
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 63 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-15 (obsolete)
[lola][W] CANCELED task # 64 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-15 (obsolete)
[lola][I] LAUNCH task # 83 (type EXCL) for 42 ClientsAndServers-PT-N0050P0-UpperBounds-14
[lola][I] time limit : 720 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 81 (type FNDP) for 42 ClientsAndServers-PT-N0050P0-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 82 (type EQUN) for 42 ClientsAndServers-PT-N0050P0-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 83 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-14
[lola][I] markings : 301
[lola][I] fired transitions : 300
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 81 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-14 (obsolete)
[lola][W] CANCELED task # 82 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-14 (obsolete)
[lola][I] Structural Bound for (SwA <= 0) is 100
[lola][I] LAUNCH task # 86 (type EXCL) for 39 ClientsAndServers-PT-N0050P0-UpperBounds-13
[lola][I] time limit : 900 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 84 (type FNDP) for 39 ClientsAndServers-PT-N0050P0-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 85 (type EQUN) for 39 ClientsAndServers-PT-N0050P0-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 86 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-13
[lola][I] markings : 3456
[lola][I] fired transitions : 3469
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 84 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-13 (obsolete)
[lola][W] CANCELED task # 85 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-13 (obsolete)
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 63 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-15
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 49 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-08
[lola][I] time used : 0
[lola][I] FINISHED task # 82 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-14
[lola][I] time used : 0
[lola][I] Structural Bound for (SR <= 0) is 100
[lola][I] LAUNCH task # 89 (type EXCL) for 15 ClientsAndServers-PT-N0050P0-UpperBounds-05
[lola][I] time limit : 1200 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 87 (type FNDP) for 15 ClientsAndServers-PT-N0050P0-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (SG <= 0) is 100
[lola][I] LAUNCH task # 88 (type EQUN) for 15 ClientsAndServers-PT-N0050P0-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 90 (type FNDP) for 12 ClientsAndServers-PT-N0050P0-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 89 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-05
[lola][I] markings : 201
[lola][I] fired transitions : 200
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 87 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-05 (obsolete)
[lola][W] CANCELED task # 88 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-05 (obsolete)
[lola][I] LAUNCH task # 92 (type EXCL) for 12 ClientsAndServers-PT-N0050P0-UpperBounds-04
[lola][I] time limit : 1800 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 91 (type EQUN) for 12 ClientsAndServers-PT-N0050P0-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 92 (type EXCL) for ClientsAndServers-PT-N0050P0-UpperBounds-04
[lola][I] markings : 401
[lola][I] fired transitions : 400
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 90 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-04 (obsolete)
[lola][W] CANCELED task # 91 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-04 (obsolete)
[lola][I] FINISHED task # 91 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-04
[lola][I] time used : 0
[lola][I] FINISHED task # 88 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-05
[lola][I] time used : 0
[lola][I] Structural@Findpath: 400 (upper 400 threshold 0
[lola][I] FINISHED task # 78 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-12
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 54 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-02
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 87 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-05
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 81 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-14
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 84 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-13
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 85 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-13
[lola][I] time used : 0
[lola][I] FINISHED task # 64 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-15
[lola][I] time used : 0
[lola][I] Structural@Findpath: 100 (upper 100 threshold 0
[lola][I] FINISHED task # 90 (type FNDP) for ClientsAndServers-PT-N0050P0-UpperBounds-04
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (CwA <= 0) is 1073741824
[lola][I] LAUNCH task # 95 (type EXCL) for 18 ClientsAndServers-PT-N0050P0-UpperBounds-06
[lola][I] time limit : 3600 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 93 (type FNDP) for 18 ClientsAndServers-PT-N0050P0-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 94 (type EQUN) for 18 ClientsAndServers-PT-N0050P0-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 94 (type EQUN) for ClientsAndServers-PT-N0050P0-UpperBounds-06
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 5/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 5/3600 22/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 6333463 m, 1266692 m/sec, 8150480 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 22
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 10/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 10/3600 44/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 12944166 m, 1322140 m/sec, 16707232 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 44
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 15/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 15/3600 66/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 19628245 m, 1336815 m/sec, 25368385 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 66
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 20/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 20/3600 87/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 25793499 m, 1233050 m/sec, 33512204 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 87
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 25/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 25/3600 107/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 31771265 m, 1195553 m/sec, 41356943 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 107
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 30/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 30/3600 127/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 37718026 m, 1189352 m/sec, 49168367 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 127
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 35/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 35/3600 147/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 43639851 m, 1184365 m/sec, 56945117 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 147
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 40/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 40/3600 167/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 49518535 m, 1175736 m/sec, 64666710 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 167
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 45/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 45/3600 186/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 55242694 m, 1144831 m/sec, 72184606 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 186
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 50/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 50/3600 206/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 61064676 m, 1164396 m/sec, 79832498 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 206
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 55/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 55/3600 225/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 66721967 m, 1131458 m/sec, 87263533 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 225
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 60/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 60/3600 244/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 72320360 m, 1119678 m/sec, 94616822 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 244
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 65/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 65/3600 263/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 77907813 m, 1117490 m/sec, 101955396 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 263
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 70/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 70/3600 281/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 83480207 m, 1114478 m/sec, 109273943 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 281
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 75/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 75/3600 300/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 88962448 m, 1096448 m/sec, 116475521 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 300
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 80/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 80/3600 318/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 94514670 m, 1110444 m/sec, 123767095 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 318
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 85/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 85/3600 337/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 99943663 m, 1085798 m/sec, 130898225 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 337
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 90/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 90/3600 355/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 105363883 m, 1084044 m/sec, 138017748 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 355
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 95/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 95/3600 373/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 110825144 m, 1092252 m/sec, 145191092 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 373
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 100/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 100/3600 392/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 116244014 m, 1083774 m/sec, 152306446 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 392
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 105/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 105/3600 410/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 121630407 m, 1077278 m/sec, 159380938 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 410
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 110/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 110/3600 428/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 126999671 m, 1073852 m/sec, 166432748 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 428
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 115/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 115/3600 446/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 132443204 m, 1088706 m/sec, 173582030 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 446
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 120/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 120/3600 464/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 137800406 m, 1071440 m/sec, 180617685 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 464
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 125/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 125/3600 482/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 143165904 m, 1073099 m/sec, 187664130 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 482
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 130/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 130/3600 500/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 148500277 m, 1066874 m/sec, 194669493 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 500
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 135/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 135/3600 518/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 153845515 m, 1069047 m/sec, 201688990 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 518
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 140/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 140/3600 536/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 159187909 m, 1068478 m/sec, 208704690 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 536
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 145/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 145/3600 554/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 164559398 m, 1074297 m/sec, 215758353 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 554
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 150/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 150/3600 572/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 169884311 m, 1064982 m/sec, 222750797 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 572
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 155/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 155/3600 590/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 175161788 m, 1055495 m/sec, 229682411 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 590
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 160/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 160/3600 607/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 180435168 m, 1054676 m/sec, 236607601 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 607
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 165/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 165/3600 625/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 185691207 m, 1051207 m/sec, 243509141 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 625
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 170/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 170/3600 643/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 190960647 m, 1053888 m/sec, 250428197 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 643
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 175/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 175/3600 661/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 196257808 m, 1059432 m/sec, 257383425 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 661
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 180/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 180/3600 678/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 201481793 m, 1044797 m/sec, 264244828 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 678
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 185/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 185/3600 696/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 206727539 m, 1049149 m/sec, 271132645 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 696
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 190/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 190/3600 714/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 212017150 m, 1057922 m/sec, 278077687 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 714
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 195/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 195/3600 731/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 217310774 m, 1058724 m/sec, 285027834 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 731
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 200/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 200/3600 749/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 222552305 m, 1048306 m/sec, 291912707 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 749
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 205/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 205/3600 767/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 227823360 m, 1054211 m/sec, 298832601 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 767
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 210/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 210/3600 785/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 233128717 m, 1061071 m/sec, 305797813 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 785
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 215/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 215/3600 802/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 238335884 m, 1041433 m/sec, 312637058 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 802
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 220/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 220/3600 820/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 243598300 m, 1052483 m/sec, 319545634 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 820
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 225/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 225/3600 838/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 248907215 m, 1061783 m/sec, 326515147 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 838
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 230/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 230/3600 855/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 254118232 m, 1042203 m/sec, 333359593 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 855
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 235/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 235/3600 873/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 259389369 m, 1054227 m/sec, 340278973 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 873
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 240/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 240/3600 891/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 264716611 m, 1065448 m/sec, 347272104 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 891
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 245/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 245/3600 908/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 269880561 m, 1032790 m/sec, 354054313 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 908
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 250/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 250/3600 926/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 275318714 m, 1087630 m/sec, 361192839 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 926
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 255/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 255/3600 944/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 280587851 m, 1053827 m/sec, 368111582 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 944
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 260/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 260/3600 962/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 285905616 m, 1063553 m/sec, 375093420 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 962
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 265/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 265/3600 980/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 291262472 m, 1071371 m/sec, 382124866 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 980
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 270/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 270/3600 998/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 296492717 m, 1046049 m/sec, 388993989 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 998
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 275/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 275/3600 1016/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 301876062 m, 1076669 m/sec, 396059975 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 1016
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 280/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 280/3600 1033/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 307085400 m, 1041867 m/sec, 402901494 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 1033
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 285/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 285/3600 1051/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 312357967 m, 1054513 m/sec, 409821866 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 1051
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 290/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 290/3600 1069/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 317617874 m, 1051981 m/sec, 416726882 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 1069
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 295/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 295/3600 1086/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 322853438 m, 1047112 m/sec, 423601135 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 1086
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 300/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 300/3600 1104/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 328169894 m, 1063291 m/sec, 430578520 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 1104
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 305/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 305/3600 1121/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 333333019 m, 1032625 m/sec, 437359423 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 1121
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 310/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 310/3600 1139/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 338672946 m, 1067985 m/sec, 444367361 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 1139
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 315/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 315/3600 1157/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 343831676 m, 1031746 m/sec, 451142301 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 1157
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 320/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 320/3600 1175/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 349165926 m, 1066850 m/sec, 458142564 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 1175
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 325/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 325/3600 1192/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 354329106 m, 1032636 m/sec, 464923298 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 1192
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 330/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 330/3600 1210/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 359648653 m, 1063909 m/sec, 471903985 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 1210
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 335/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 335/3600 1227/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 364818662 m, 1034001 m/sec, 478693730 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 1227
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 340/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 340/3600 1245/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 370132790 m, 1062825 m/sec, 485666987 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 1245
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 345/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 345/3600 1263/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 375312532 m, 1035948 m/sec, 492469450 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 1263
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 350/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 350/3600 1280/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 380602084 m, 1057910 m/sec, 499410206 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 1280
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 355/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 355/3600 1297/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 385686856 m, 1016954 m/sec, 506087810 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 1297
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 360/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 360/3600 1315/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 390950788 m, 1052786 m/sec, 512994666 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 1315
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 365/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 365/3600 1332/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 396057420 m, 1021326 m/sec, 519700995 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 1332
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 370/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 370/3600 1350/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 401296944 m, 1047904 m/sec, 526575513 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 1350
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 375/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 375/3600 1367/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 406414118 m, 1023434 m/sec, 533295515 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 1367
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 380/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 380/3600 1385/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 411600666 m, 1037309 m/sec, 540103117 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 1385
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 385/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 385/3600 1402/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 416927758 m, 1065418 m/sec, 547095941 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 1402
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 390/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 390/3600 1420/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 422177042 m, 1049856 m/sec, 553988513 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 1420
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 395/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 395/3600 1438/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 427521696 m, 1068930 m/sec, 561001416 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 1438
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 400/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 400/3600 1455/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 432696162 m, 1034893 m/sec, 567797090 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 1455
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 405/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 405/3600 1473/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 438061215 m, 1073010 m/sec, 574835008 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 1473
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 410/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 410/3600 1491/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 443232851 m, 1034327 m/sec, 581626581 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 1491
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 415/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 415/3600 1509/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 448592045 m, 1071838 m/sec, 588656929 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 1509
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 420/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 420/3600 1526/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 453698664 m, 1021323 m/sec, 595363019 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 1526
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 425/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 425/3600 1543/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 458842865 m, 1028840 m/sec, 602113806 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 1543
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 430/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 430/3600 1558/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 463188263 m, 869079 m/sec, 607817106 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 1558
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-00: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-01: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-02: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-03: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-04: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-05: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-07: BOUND 100 findpath
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-08: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-09: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-10: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-11: BOUND 200 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-12: BOUND 400 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-13: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-14: BOUND 100 state space
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-15: BOUND 100 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ClientsAndServers-PT-N0050P0-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 93 BOUND FNDP 435/3600 0/5 ClientsAndServers-PT-N0050P0-UpperBounds-06 .
[lola][.] 95 BOUND EXCL 435/3600 1560/2000 ClientsAndServers-PT-N0050P0-UpperBounds-06 463668158 m, 95979 m/sec, 608447307 t fired, result in [400,1073741824] .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 1560
[lola][.] # running tasks: 2 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 407 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

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="ClientsAndServers-PT-N0050P0"
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 ClientsAndServers-PT-N0050P0, 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 r071-tall-171620507300485"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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