About the Execution of LoLA for PGCD-COL-D03N050
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r247-tall-171654353900709.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 PGCD-COL-D03N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-171654353900709
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 6.1K Apr 11 15:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Apr 11 15:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 11 15:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Apr 11 15:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 6 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 6 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 6 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 6 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 11 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Apr 11 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 11 15:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 27K Apr 11 15:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 6 10:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 6 10:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_pt
-rw-r--r-- 1 mcc users 8 May 18 16:43 instance
-rw-r--r-- 1 mcc users 5 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 11K May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-00
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-01
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-02
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-03
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-04
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-05
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-06
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-07
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-08
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-09
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-10
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-11
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-12
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-13
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-14
FORMULA_NAME PGCD-COL-D03N050-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717102332770
FORMULA PGCD-COL-D03N050-UpperBounds-02 204 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D03N050-UpperBounds-05 204 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D03N050-UpperBounds-01 204 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D03N050-UpperBounds-15 204 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D03N050-UpperBounds-14 204 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717102631078
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains High-Level net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading HL formula in XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mUpperBounds.xml[0m
[[35mlola[0m][I] Places: 12, Transitions: 12
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 12 PGCD-COL-D03N050-UpperBounds-04
[[35mlola[0m][I] time limit : 224 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 12 PGCD-COL-D03N050-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 12 PGCD-COL-D03N050-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for PGCD-COL-D03N050-UpperBounds-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p8 + p9 + p10 + p11 <= 0) is 204
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 6 PGCD-COL-D03N050-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type EQUN) for 6 PGCD-COL-D03N050-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 204 (upper 204 threshold 0
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for PGCD-COL-D03N050-UpperBounds-02
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 52 (type EQUN) for PGCD-COL-D03N050-UpperBounds-02 (obsolete)
[[35mlola[0m][I] Structural Bound for (p8 + p9 + p10 + p11 <= 0) is 204
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 15 PGCD-COL-D03N050-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 15 PGCD-COL-D03N050-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type EQUN) for PGCD-COL-D03N050-UpperBounds-02
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 204 (upper 204 threshold 0
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for PGCD-COL-D03N050-UpperBounds-05
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 55 (type EQUN) for PGCD-COL-D03N050-UpperBounds-05 (obsolete)
[[35mlola[0m][I] Structural Bound for (p8 + p9 + p10 + p11 <= 0) is 204
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 3 PGCD-COL-D03N050-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 3 PGCD-COL-D03N050-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for PGCD-COL-D03N050-UpperBounds-05
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 204 (upper 204 threshold 0
[[35mlola[0m][I] FINISHED task # 57 (type FNDP) for PGCD-COL-D03N050-UpperBounds-01
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 58 (type EQUN) for PGCD-COL-D03N050-UpperBounds-01 (obsolete)
[[35mlola[0m][I] Structural Bound for (p8 + p9 + p10 + p11 <= 0) is 204
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 45 PGCD-COL-D03N050-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 61 (type EQUN) for 45 PGCD-COL-D03N050-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 61 (type EQUN) for PGCD-COL-D03N050-UpperBounds-15
[[35mlola[0m][I] time used : 1
[[35mlola[0m][W] CANCELED task # 60 (type FNDP) for PGCD-COL-D03N050-UpperBounds-15 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 204 (upper 204 threshold 0
[[35mlola[0m][I] FINISHED task # 60 (type FNDP) for PGCD-COL-D03N050-UpperBounds-15
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 33 PGCD-COL-D03N050-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 64 (type EQUN) for 33 PGCD-COL-D03N050-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 64 (type EQUN) for PGCD-COL-D03N050-UpperBounds-11
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 18 PGCD-COL-D03N050-UpperBounds-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 <= 0) is 1073741824
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for PGCD-COL-D03N050-UpperBounds-01
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] Structural Bound for (p8 + p9 + p10 + p11 <= 0) is 204
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p4 + p5 + p6 + p7 <= 0) is 204
[[35mlola[0m][I] Structural Bound for (p4 + p5 + p6 + p7 <= 0) is 204
[[35mlola[0m][I] Structural Bound for (p4 + p5 + p6 + p7 <= 0) is 204
[[35mlola[0m][I] Structural Bound for (p4 + p5 + p6 + p7 <= 0) is 204
[[35mlola[0m][I] Structural Bound for (p4 + p5 + p6 + p7 <= 0) is 204
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 3/511 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 3/299 4/2000 PGCD-COL-D03N050-UpperBounds-04 1105896 m, 221179 m/sec, 2343148 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 2/512 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 2/448 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 4
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 8/510 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 8/299 18/2000 PGCD-COL-D03N050-UpperBounds-04 5073030 m, 793426 m/sec, 11195519 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 7/511 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 7/447 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 13/505 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 13/299 31/2000 PGCD-COL-D03N050-UpperBounds-04 8878290 m, 761052 m/sec, 19848505 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 12/506 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 12/442 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 18/500 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 18/299 44/2000 PGCD-COL-D03N050-UpperBounds-04 12531495 m, 730641 m/sec, 28291266 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 17/501 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 17/437 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 44
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 23/495 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 23/299 56/2000 PGCD-COL-D03N050-UpperBounds-04 16192023 m, 732105 m/sec, 36702135 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 22/496 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 22/432 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 56
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 28/490 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 28/299 68/2000 PGCD-COL-D03N050-UpperBounds-04 19637143 m, 689024 m/sec, 44806101 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 27/491 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 27/427 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 68
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 33/485 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 33/299 80/2000 PGCD-COL-D03N050-UpperBounds-04 23217083 m, 715988 m/sec, 53164219 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 32/486 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 32/422 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 80
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 38/480 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 38/299 93/2000 PGCD-COL-D03N050-UpperBounds-04 26846220 m, 725827 m/sec, 61618130 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 37/481 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 37/417 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 93
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 43/475 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 43/299 105/2000 PGCD-COL-D03N050-UpperBounds-04 30440782 m, 718912 m/sec, 70100556 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 42/476 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 42/412 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 105
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 48/470 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 48/299 117/2000 PGCD-COL-D03N050-UpperBounds-04 33836124 m, 679068 m/sec, 78249708 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 47/471 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 47/407 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 117
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 53/465 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 53/299 128/2000 PGCD-COL-D03N050-UpperBounds-04 37200473 m, 672869 m/sec, 86402859 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 52/466 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 52/402 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 128
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 58/460 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 58/299 139/2000 PGCD-COL-D03N050-UpperBounds-04 40393596 m, 638624 m/sec, 94255927 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 57/461 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 57/397 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 139
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 63/455 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 63/299 150/2000 PGCD-COL-D03N050-UpperBounds-04 43441153 m, 609511 m/sec, 101850992 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 62/456 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 62/392 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 150
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 68/450 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 68/299 160/2000 PGCD-COL-D03N050-UpperBounds-04 46408673 m, 593504 m/sec, 109312864 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 67/451 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 67/387 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 160
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 73/445 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 73/299 170/2000 PGCD-COL-D03N050-UpperBounds-04 49330324 m, 584330 m/sec, 116678303 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 72/446 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 72/382 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 170
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 78/440 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 78/299 180/2000 PGCD-COL-D03N050-UpperBounds-04 52252881 m, 584511 m/sec, 124021265 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 77/441 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 77/377 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 180
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 83/435 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 83/299 189/2000 PGCD-COL-D03N050-UpperBounds-04 55042366 m, 557897 m/sec, 131131037 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 82/436 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 82/372 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 189
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 88/430 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 88/299 199/2000 PGCD-COL-D03N050-UpperBounds-04 57806477 m, 552822 m/sec, 138209540 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 87/431 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 87/367 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 199
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 93/425 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 93/299 209/2000 PGCD-COL-D03N050-UpperBounds-04 60650299 m, 568764 m/sec, 145388879 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 92/426 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 92/362 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 209
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 98/420 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 98/299 218/2000 PGCD-COL-D03N050-UpperBounds-04 63355485 m, 541037 m/sec, 152325065 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 97/421 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 97/357 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 218
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 103/415 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 103/299 227/2000 PGCD-COL-D03N050-UpperBounds-04 66070562 m, 543015 m/sec, 159269087 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 102/416 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 102/352 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 227
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 108/410 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 108/299 237/2000 PGCD-COL-D03N050-UpperBounds-04 68834840 m, 552855 m/sec, 166285426 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 107/411 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 107/347 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 237
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 113/405 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 113/299 246/2000 PGCD-COL-D03N050-UpperBounds-04 71622551 m, 557542 m/sec, 173363254 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 112/406 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 112/342 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 246
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 118/400 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 118/299 255/2000 PGCD-COL-D03N050-UpperBounds-04 74209378 m, 517365 m/sec, 180052753 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 117/401 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 117/337 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 255
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 123/395 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 123/299 264/2000 PGCD-COL-D03N050-UpperBounds-04 76781596 m, 514443 m/sec, 186714281 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 122/396 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 122/332 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 264
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 128/390 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 128/299 273/2000 PGCD-COL-D03N050-UpperBounds-04 79401067 m, 523894 m/sec, 193458696 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 127/391 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 127/327 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 273
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 133/385 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 133/299 282/2000 PGCD-COL-D03N050-UpperBounds-04 81936343 m, 507055 m/sec, 200044274 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 132/386 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 132/322 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 282
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 138/380 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 138/299 290/2000 PGCD-COL-D03N050-UpperBounds-04 84395189 m, 491769 m/sec, 206511309 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 137/381 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 137/317 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 290
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 143/375 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 143/299 299/2000 PGCD-COL-D03N050-UpperBounds-04 86863508 m, 493663 m/sec, 212979592 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 142/376 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 142/312 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 299
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 148/370 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 148/299 307/2000 PGCD-COL-D03N050-UpperBounds-04 89366827 m, 500663 m/sec, 219500431 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 147/371 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 147/307 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 307
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 153/365 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 153/299 316/2000 PGCD-COL-D03N050-UpperBounds-04 91872987 m, 501232 m/sec, 226015283 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 152/366 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 152/302 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 316
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 158/360 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 158/299 325/2000 PGCD-COL-D03N050-UpperBounds-04 94401617 m, 505726 m/sec, 232580449 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 157/361 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 157/297 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 325
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 163/355 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 163/299 333/2000 PGCD-COL-D03N050-UpperBounds-04 96799788 m, 479634 m/sec, 238885484 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 162/356 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 162/292 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 333
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 168/350 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 168/299 341/2000 PGCD-COL-D03N050-UpperBounds-04 99217326 m, 483507 m/sec, 245211527 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 167/351 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 167/287 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 341
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 173/345 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 173/299 349/2000 PGCD-COL-D03N050-UpperBounds-04 101641847 m, 484904 m/sec, 251582290 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 172/346 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 172/282 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 349
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 178/340 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 178/299 358/2000 PGCD-COL-D03N050-UpperBounds-04 104229922 m, 517615 m/sec, 258282575 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 177/341 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 177/277 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 358
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 183/335 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 183/299 366/2000 PGCD-COL-D03N050-UpperBounds-04 106591879 m, 472391 m/sec, 264525177 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 182/336 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 182/272 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 366
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 188/330 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 188/299 375/2000 PGCD-COL-D03N050-UpperBounds-04 109018419 m, 485308 m/sec, 270882287 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 187/331 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 187/267 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 375
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 193/325 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 193/299 383/2000 PGCD-COL-D03N050-UpperBounds-04 111440458 m, 484407 m/sec, 277240744 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 192/326 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 192/262 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 383
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 198/320 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 198/299 392/2000 PGCD-COL-D03N050-UpperBounds-04 114067876 m, 525483 m/sec, 283938446 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 197/321 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 197/257 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 392
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 203/315 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 203/299 400/2000 PGCD-COL-D03N050-UpperBounds-04 116424711 m, 471367 m/sec, 290160242 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 202/316 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 202/252 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 400
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 208/310 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 208/299 409/2000 PGCD-COL-D03N050-UpperBounds-04 118922297 m, 499517 m/sec, 296643952 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 207/311 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 207/247 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 409
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 213/305 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 213/299 417/2000 PGCD-COL-D03N050-UpperBounds-04 121324051 m, 480350 m/sec, 302949931 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 212/306 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 212/242 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 417
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 218/300 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 218/299 425/2000 PGCD-COL-D03N050-UpperBounds-04 123788025 m, 492794 m/sec, 309344641 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 217/301 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 217/237 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 425
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 223/295 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 223/299 434/2000 PGCD-COL-D03N050-UpperBounds-04 126173062 m, 477007 m/sec, 315615479 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 222/296 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 222/232 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 434
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 228/290 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 228/299 442/2000 PGCD-COL-D03N050-UpperBounds-04 128549768 m, 475341 m/sec, 321875873 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 227/291 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 66 BOUND FNDP 227/227 0/5 PGCD-COL-D03N050-UpperBounds-06 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 442
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 66 (type FNDP) for PGCD-COL-D03N050-UpperBounds-06 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 233/285 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 233/299 450/2000 PGCD-COL-D03N050-UpperBounds-04 130924814 m, 475009 m/sec, 328091309 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 232/286 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 450
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 27 PGCD-COL-D03N050-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 238/280 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 238/299 458/2000 PGCD-COL-D03N050-UpperBounds-04 133306800 m, 476397 m/sec, 334404344 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 237/281 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 69 BOUND FNDP 5/480 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 458
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 243/275 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 243/299 466/2000 PGCD-COL-D03N050-UpperBounds-04 135555933 m, 449826 m/sec, 340432754 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 242/276 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 69 BOUND FNDP 10/475 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 466
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 248/270 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 248/299 474/2000 PGCD-COL-D03N050-UpperBounds-04 137817582 m, 452329 m/sec, 346471487 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 247/271 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 69 BOUND FNDP 15/470 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 474
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 253/265 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 253/299 482/2000 PGCD-COL-D03N050-UpperBounds-04 140182502 m, 472984 m/sec, 352700870 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 252/266 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 69 BOUND FNDP 20/465 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 482
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 258/260 0/5 PGCD-COL-D03N050-UpperBounds-04 .
[[35mlola[0m][.] 50 BOUND EXCL 258/299 490/2000 PGCD-COL-D03N050-UpperBounds-04 142510602 m, 465620 m/sec, 358812297 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 63 BOUND FNDP 257/261 0/5 PGCD-COL-D03N050-UpperBounds-11 .
[[35mlola[0m][.] 69 BOUND FNDP 25/460 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 490
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for PGCD-COL-D03N050-UpperBounds-04 (local timeout)
[[35mlola[0m][W] CANCELED task # 63 (type FNDP) for PGCD-COL-D03N050-UpperBounds-11 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 263/299 498/2000 PGCD-COL-D03N050-UpperBounds-04 144915443 m, 480968 m/sec, 365092595 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 30/455 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 498
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 42 PGCD-COL-D03N050-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type EQUN) for 42 PGCD-COL-D03N050-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 204 (upper 204 threshold 0
[[35mlola[0m][I] FINISHED task # 72 (type FNDP) for PGCD-COL-D03N050-UpperBounds-14
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 73 (type EQUN) for PGCD-COL-D03N050-UpperBounds-14 (obsolete)
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 36 PGCD-COL-D03N050-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 76 (type EQUN) for 36 PGCD-COL-D03N050-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 76 (type EQUN) for PGCD-COL-D03N050-UpperBounds-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 78 (type FNDP) for 39 PGCD-COL-D03N050-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 73 (type EQUN) for PGCD-COL-D03N050-UpperBounds-14
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-14: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 268/327 506/2000 PGCD-COL-D03N050-UpperBounds-04 147303112 m, 477533 m/sec, 371352848 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 35/642 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.] 75 BOUND FNDP 5/666 0/5 PGCD-COL-D03N050-UpperBounds-12 .
[[35mlola[0m][.] 78 BOUND FNDP 5/555 0/5 PGCD-COL-D03N050-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 506
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-14: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 273/327 514/2000 PGCD-COL-D03N050-UpperBounds-04 149555678 m, 450513 m/sec, 377391406 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 40/637 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.] 75 BOUND FNDP 10/661 0/5 PGCD-COL-D03N050-UpperBounds-12 .
[[35mlola[0m][.] 78 BOUND FNDP 10/550 0/5 PGCD-COL-D03N050-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 514
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-14: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 278/327 522/2000 PGCD-COL-D03N050-UpperBounds-04 151986713 m, 486207 m/sec, 383792032 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 45/632 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.] 75 BOUND FNDP 15/656 0/5 PGCD-COL-D03N050-UpperBounds-12 .
[[35mlola[0m][.] 78 BOUND FNDP 15/545 0/5 PGCD-COL-D03N050-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 522
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-14: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 283/327 530/2000 PGCD-COL-D03N050-UpperBounds-04 154231389 m, 448935 m/sec, 389758204 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 50/627 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.] 75 BOUND FNDP 20/651 0/5 PGCD-COL-D03N050-UpperBounds-12 .
[[35mlola[0m][.] 78 BOUND FNDP 20/540 0/5 PGCD-COL-D03N050-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 530
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-14: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 288/327 535/2000 PGCD-COL-D03N050-UpperBounds-04 155771492 m, 308020 m/sec, 393862315 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 55/622 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.] 75 BOUND FNDP 25/646 0/5 PGCD-COL-D03N050-UpperBounds-12 .
[[35mlola[0m][.] 78 BOUND FNDP 25/535 0/5 PGCD-COL-D03N050-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 535
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-01: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-02: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-05: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-14: BOUND 204 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D03N050-UpperBounds-15: BOUND 204 state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-04: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-11: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D03N050-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 293/327 535/2000 PGCD-COL-D03N050-UpperBounds-04 155787739 m, 3249 m/sec, 393904454 t fired, result in [202,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 60/617 0/5 PGCD-COL-D03N050-UpperBounds-09 .
[[35mlola[0m][.] 75 BOUND FNDP 30/641 0/5 PGCD-COL-D03N050-UpperBounds-12 .
[[35mlola[0m][.] 78 BOUND FNDP 30/530 0/5 PGCD-COL-D03N050-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 535
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 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="PGCD-COL-D03N050"
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 PGCD-COL-D03N050, 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 r247-tall-171654353900709"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PGCD-COL-D03N050.tgz
mv PGCD-COL-D03N050 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 '
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 ;