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

About the Execution of LoLA for Medical-PT-18

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16201.075 443343.00 451741.00 1401.60 0 0 ? ? 0 ? 0 0 ? 0 0 0 ? 0 0 0 normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 22 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 22 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 108K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 19 15:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 3.1M May 18 16:42 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1717078947152

FORMULA Medical-PT-18-UpperBounds-01 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-04 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-11 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-15 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-14 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-13 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-10 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-09 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-07 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-06 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-18-UpperBounds-00 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717079390495

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from UpperBounds.xml
[lola][I] Rule S: 5204 transitions removed,242 places removed
[lola][I] Structural Bound for (x1_AA_q5 <= 0) is 1073741824
[lola][I] LAUNCH task # 50 (type EXCL) for 36 Medical-PT-18-UpperBounds-12
[lola][I] time limit : 189 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 36 Medical-PT-18-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 36 Medical-PT-18-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type EQUN) for Medical-PT-18-UpperBounds-12
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 51 (type FNDP) for 3 Medical-PT-18-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 3 Medical-PT-18-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 51 (type FNDP) for Medical-PT-18-UpperBounds-01
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][W] CANCELED task # 52 (type EQUN) for Medical-PT-18-UpperBounds-01 (obsolete)
[lola][I] FINISHED task # 52 (type EQUN) for Medical-PT-18-UpperBounds-01
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 54 (type FNDP) for 12 Medical-PT-18-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 55 (type EQUN) for 12 Medical-PT-18-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 55 (type EQUN) for Medical-PT-18-UpperBounds-04
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 54 (type FNDP) for Medical-PT-18-UpperBounds-04
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 57 (type FNDP) for 33 Medical-PT-18-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 33 Medical-PT-18-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 57 (type FNDP) for Medical-PT-18-UpperBounds-11
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][W] CANCELED task # 58 (type EQUN) for Medical-PT-18-UpperBounds-11 (obsolete)
[lola][I] FINISHED task # 58 (type EQUN) for Medical-PT-18-UpperBounds-11
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 60 (type FNDP) for 45 Medical-PT-18-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 61 (type EQUN) for 45 Medical-PT-18-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] FINISHED task # 61 (type EQUN) for Medical-PT-18-UpperBounds-15
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 63 (type FNDP) for 39 Medical-PT-18-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 60 (type FNDP) for Medical-PT-18-UpperBounds-15
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 66 (type FNDP) for 42 Medical-PT-18-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 66 (type FNDP) for Medical-PT-18-UpperBounds-14
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 69 (type FNDP) for 30 Medical-PT-18-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 63 (type FNDP) for Medical-PT-18-UpperBounds-13
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 72 (type FNDP) for 27 Medical-PT-18-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 69 (type FNDP) for Medical-PT-18-UpperBounds-10
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 73 (type FNDP) for 18 Medical-PT-18-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 72 (type FNDP) for Medical-PT-18-UpperBounds-09
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 78 (type FNDP) for 21 Medical-PT-18-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 78 (type FNDP) for Medical-PT-18-UpperBounds-07
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 74 (type EQUN) for 18 Medical-PT-18-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 73 (type FNDP) for Medical-PT-18-UpperBounds-06
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][W] CANCELED task # 74 (type EQUN) for Medical-PT-18-UpperBounds-06 (obsolete)
[lola][I] FINISHED task # 74 (type EQUN) for Medical-PT-18-UpperBounds-06
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 81 (type FNDP) for 0 Medical-PT-18-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 82 (type EQUN) for 0 Medical-PT-18-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 82 (type EQUN) for Medical-PT-18-UpperBounds-00
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (ch1_HA_q3 <= 0) is 1073741824
[lola][I] LAUNCH task # 84 (type FNDP) for 9 Medical-PT-18-UpperBounds-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 81 (type FNDP) for Medical-PT-18-UpperBounds-00
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 85 (type EQUN) for 9 Medical-PT-18-UpperBounds-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 85 (type EQUN) for Medical-PT-18-UpperBounds-03
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (x6_HA_q5 <= 0) is 1073741824
[lola][I] LAUNCH task # 87 (type FNDP) for 24 Medical-PT-18-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (x5_AA_q5 <= 0) is 1073741824
[lola][I] Structural Bound for (x3_AA_q2 <= 0) is 1
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 3/1797 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 3/719 6/2000 Medical-PT-18-UpperBounds-12 1277884 m, 255576 m/sec, 1277887 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 2/1198 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 2/1198 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 8/1796 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 8/719 16/2000 Medical-PT-18-UpperBounds-12 3743673 m, 493157 m/sec, 3743675 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 7/1197 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 7/1197 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 13/1791 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 13/719 26/2000 Medical-PT-18-UpperBounds-12 6172863 m, 485838 m/sec, 6172865 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 12/1192 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 12/1192 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 18/1786 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 18/719 37/2000 Medical-PT-18-UpperBounds-12 8592761 m, 483979 m/sec, 8592764 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 17/1187 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 17/1187 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 37
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 23/1781 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 23/719 47/2000 Medical-PT-18-UpperBounds-12 10998875 m, 481222 m/sec, 10998878 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 22/1182 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 22/1182 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 47
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 28/1776 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 28/719 57/2000 Medical-PT-18-UpperBounds-12 13383603 m, 476945 m/sec, 13383606 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 27/1177 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 27/1177 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 57
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 33/1771 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 33/719 67/2000 Medical-PT-18-UpperBounds-12 15761882 m, 475655 m/sec, 15761885 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 32/1172 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 32/1172 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 67
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 38/1766 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 38/719 77/2000 Medical-PT-18-UpperBounds-12 18147551 m, 477133 m/sec, 18147554 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 37/1167 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 37/1167 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 77
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 43/1761 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 43/719 87/2000 Medical-PT-18-UpperBounds-12 20520656 m, 474621 m/sec, 20520658 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 42/1162 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 42/1162 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 87
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 48/1756 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 48/719 97/2000 Medical-PT-18-UpperBounds-12 22890842 m, 474037 m/sec, 22890844 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 47/1157 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 47/1157 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 97
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 53/1751 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 53/719 106/2000 Medical-PT-18-UpperBounds-12 25258348 m, 473501 m/sec, 25258350 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 52/1152 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 52/1152 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 106
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 58/1746 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 58/719 116/2000 Medical-PT-18-UpperBounds-12 27624992 m, 473328 m/sec, 27624994 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 57/1147 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 57/1147 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 116
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 63/1741 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 63/719 126/2000 Medical-PT-18-UpperBounds-12 29993530 m, 473707 m/sec, 29993533 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 62/1142 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 62/1142 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 126
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 68/1736 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 68/719 136/2000 Medical-PT-18-UpperBounds-12 32355195 m, 472333 m/sec, 32355197 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 67/1137 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 67/1137 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 136
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 73/1731 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 73/719 146/2000 Medical-PT-18-UpperBounds-12 34717742 m, 472509 m/sec, 34717744 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 72/1132 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 72/1132 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 146
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 78/1726 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 78/719 156/2000 Medical-PT-18-UpperBounds-12 37083455 m, 473142 m/sec, 37083458 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 77/1127 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 77/1127 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 156
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 83/1721 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 83/719 166/2000 Medical-PT-18-UpperBounds-12 39436416 m, 470592 m/sec, 39436418 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 82/1122 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 82/1122 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 166
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 88/1716 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 88/719 176/2000 Medical-PT-18-UpperBounds-12 41779924 m, 468701 m/sec, 41779927 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 87/1117 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 87/1117 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 176
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 93/1711 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 93/719 186/2000 Medical-PT-18-UpperBounds-12 44137192 m, 471453 m/sec, 44137194 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 92/1112 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 92/1112 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 186
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 98/1706 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 98/719 196/2000 Medical-PT-18-UpperBounds-12 46471873 m, 466936 m/sec, 46471876 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 97/1107 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 97/1107 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 196
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 103/1701 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 103/719 205/2000 Medical-PT-18-UpperBounds-12 48812887 m, 468202 m/sec, 48812889 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 102/1102 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 102/1102 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 205
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 108/1696 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 108/719 215/2000 Medical-PT-18-UpperBounds-12 51160276 m, 469477 m/sec, 51160278 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 107/1097 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 107/1097 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 215
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 113/1691 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 113/719 225/2000 Medical-PT-18-UpperBounds-12 53508787 m, 469702 m/sec, 53508790 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 112/1092 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 112/1092 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 225
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 118/1686 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 118/719 235/2000 Medical-PT-18-UpperBounds-12 55849043 m, 468051 m/sec, 55849046 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 117/1087 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 117/1087 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 235
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 123/1681 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 123/719 245/2000 Medical-PT-18-UpperBounds-12 58183894 m, 466970 m/sec, 58183897 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 122/1082 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 122/1082 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 245
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 128/1676 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 128/719 254/2000 Medical-PT-18-UpperBounds-12 60525053 m, 468231 m/sec, 60525055 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 127/1077 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 127/1077 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 254
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 133/1671 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 133/719 264/2000 Medical-PT-18-UpperBounds-12 62858799 m, 466749 m/sec, 62858802 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 132/1072 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 132/1072 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 264
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 138/1666 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 138/719 274/2000 Medical-PT-18-UpperBounds-12 65201948 m, 468629 m/sec, 65201950 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 137/1067 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 137/1067 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 274
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 143/1661 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 143/719 284/2000 Medical-PT-18-UpperBounds-12 67531381 m, 465886 m/sec, 67531384 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 142/1062 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 142/1062 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 284
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 148/1656 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 148/719 294/2000 Medical-PT-18-UpperBounds-12 69882959 m, 470315 m/sec, 69882962 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 147/1057 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 147/1057 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 294
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 153/1651 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 153/719 304/2000 Medical-PT-18-UpperBounds-12 72218914 m, 467191 m/sec, 72218917 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 152/1052 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 152/1052 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 304
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 158/1646 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 158/719 313/2000 Medical-PT-18-UpperBounds-12 74545840 m, 465385 m/sec, 74545842 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 157/1047 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 157/1047 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 313
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 163/1641 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 163/719 323/2000 Medical-PT-18-UpperBounds-12 76877506 m, 466333 m/sec, 76877509 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 162/1042 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 162/1042 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 323
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 168/1636 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 168/719 333/2000 Medical-PT-18-UpperBounds-12 79174515 m, 459401 m/sec, 79174518 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 167/1037 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 167/1037 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 333
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 173/1631 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 173/719 342/2000 Medical-PT-18-UpperBounds-12 81447651 m, 454627 m/sec, 81447654 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 172/1032 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 172/1032 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 342
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 178/1626 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 178/719 352/2000 Medical-PT-18-UpperBounds-12 83716976 m, 453865 m/sec, 83716978 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 177/1027 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 177/1027 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 352
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 183/1621 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 183/719 361/2000 Medical-PT-18-UpperBounds-12 86019151 m, 460435 m/sec, 86019154 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 182/1022 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 182/1022 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 361
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 188/1616 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 188/719 371/2000 Medical-PT-18-UpperBounds-12 88306264 m, 457422 m/sec, 88306266 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 187/1017 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 187/1017 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 371
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 193/1611 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 193/719 381/2000 Medical-PT-18-UpperBounds-12 90585804 m, 455908 m/sec, 90585807 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 192/1012 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 192/1012 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 381
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 198/1606 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 198/719 390/2000 Medical-PT-18-UpperBounds-12 92860057 m, 454850 m/sec, 92860059 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 197/1007 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 197/1007 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 390
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 203/1601 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 203/719 400/2000 Medical-PT-18-UpperBounds-12 95134312 m, 454851 m/sec, 95134314 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 202/1002 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 202/1002 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 400
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 208/1596 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 208/719 409/2000 Medical-PT-18-UpperBounds-12 97401444 m, 453426 m/sec, 97401446 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 207/997 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 207/997 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 409
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 213/1591 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 213/719 419/2000 Medical-PT-18-UpperBounds-12 99685928 m, 456896 m/sec, 99685930 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 212/992 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 212/992 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 419
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 218/1586 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 218/719 428/2000 Medical-PT-18-UpperBounds-12 101982335 m, 459281 m/sec, 101982337 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 217/987 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 217/987 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 428
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 223/1581 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 223/719 438/2000 Medical-PT-18-UpperBounds-12 104280143 m, 459561 m/sec, 104280145 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 222/982 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 222/982 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 438
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 228/1576 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 228/719 448/2000 Medical-PT-18-UpperBounds-12 106601764 m, 464324 m/sec, 106601766 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 227/977 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 227/977 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 448
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 233/1571 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 233/719 457/2000 Medical-PT-18-UpperBounds-12 108897548 m, 459156 m/sec, 108897550 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 232/972 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 232/972 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 457
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 238/1566 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 238/719 467/2000 Medical-PT-18-UpperBounds-12 111209146 m, 462319 m/sec, 111209148 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 237/967 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 237/967 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 467
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 243/1561 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 243/719 477/2000 Medical-PT-18-UpperBounds-12 113515400 m, 461250 m/sec, 113515402 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 242/962 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 242/962 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 477
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 248/1556 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 248/719 486/2000 Medical-PT-18-UpperBounds-12 115812604 m, 459440 m/sec, 115812606 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 247/957 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 247/957 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 486
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 253/1551 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 253/719 496/2000 Medical-PT-18-UpperBounds-12 118117784 m, 461036 m/sec, 118117787 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 252/952 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 252/952 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 496
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 258/1546 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 258/719 506/2000 Medical-PT-18-UpperBounds-12 120444980 m, 465439 m/sec, 120444982 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 257/947 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 257/947 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 506
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 263/1541 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 263/719 516/2000 Medical-PT-18-UpperBounds-12 122756314 m, 462266 m/sec, 122756317 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 262/942 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 262/942 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 516
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 268/1536 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 268/719 525/2000 Medical-PT-18-UpperBounds-12 125064160 m, 461569 m/sec, 125064163 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 267/937 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 267/937 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 525
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 273/1531 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 273/719 535/2000 Medical-PT-18-UpperBounds-12 127377980 m, 462764 m/sec, 127377982 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 272/932 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 272/932 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 535
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 278/1526 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 278/719 545/2000 Medical-PT-18-UpperBounds-12 129678416 m, 460087 m/sec, 129678418 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 277/927 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 277/927 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 545
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 283/1521 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 283/719 554/2000 Medical-PT-18-UpperBounds-12 131977419 m, 459800 m/sec, 131977421 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 282/922 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 282/922 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 554
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 288/1516 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 288/719 564/2000 Medical-PT-18-UpperBounds-12 134268858 m, 458287 m/sec, 134268861 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 287/917 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 287/917 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 564
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 293/1511 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 293/719 574/2000 Medical-PT-18-UpperBounds-12 136610914 m, 468411 m/sec, 136610917 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 292/912 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 292/912 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 574
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 298/1506 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 298/719 584/2000 Medical-PT-18-UpperBounds-12 138940568 m, 465930 m/sec, 138940570 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 297/907 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 297/907 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 584
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 303/1501 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 303/719 593/2000 Medical-PT-18-UpperBounds-12 141264736 m, 464833 m/sec, 141264738 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 302/902 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 302/902 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 593
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 308/1496 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 308/719 603/2000 Medical-PT-18-UpperBounds-12 143578540 m, 462760 m/sec, 143578542 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 307/897 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 307/897 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 603
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 313/1491 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 313/719 613/2000 Medical-PT-18-UpperBounds-12 145905988 m, 465489 m/sec, 145905990 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 312/892 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 312/892 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 613
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 318/1486 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 318/719 622/2000 Medical-PT-18-UpperBounds-12 148223787 m, 463559 m/sec, 148223790 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 317/887 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 317/887 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 622
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 323/1481 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 323/719 632/2000 Medical-PT-18-UpperBounds-12 150525370 m, 460316 m/sec, 150525372 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 322/882 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 322/882 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 632
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 328/1476 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 328/719 642/2000 Medical-PT-18-UpperBounds-12 152852844 m, 465494 m/sec, 152852846 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 327/877 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 327/877 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 642
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 333/1471 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 333/719 652/2000 Medical-PT-18-UpperBounds-12 155168813 m, 463193 m/sec, 155168815 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 332/872 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 332/872 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 652
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 338/1466 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 338/719 661/2000 Medical-PT-18-UpperBounds-12 157481319 m, 462501 m/sec, 157481321 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 337/867 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 337/867 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 661
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 343/1461 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 343/719 671/2000 Medical-PT-18-UpperBounds-12 159785979 m, 460932 m/sec, 159785982 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 342/862 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 342/862 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 671
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 348/1456 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 348/719 681/2000 Medical-PT-18-UpperBounds-12 162103169 m, 463438 m/sec, 162103172 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 347/857 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 347/857 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 681
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 353/1451 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 353/719 690/2000 Medical-PT-18-UpperBounds-12 164397029 m, 458772 m/sec, 164397032 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 352/852 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 352/852 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 690
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 358/1446 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 358/719 700/2000 Medical-PT-18-UpperBounds-12 166681385 m, 456871 m/sec, 166681388 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 357/847 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 357/847 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 700
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 363/1441 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 363/719 710/2000 Medical-PT-18-UpperBounds-12 168979539 m, 459630 m/sec, 168979542 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 362/842 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 362/842 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 710
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 368/1436 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 368/719 719/2000 Medical-PT-18-UpperBounds-12 171263176 m, 456727 m/sec, 171263178 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 367/837 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 367/837 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 719
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 373/1431 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 373/719 729/2000 Medical-PT-18-UpperBounds-12 173516952 m, 450755 m/sec, 173516954 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 372/832 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 372/832 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 729
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 378/1426 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 378/719 738/2000 Medical-PT-18-UpperBounds-12 175767580 m, 450125 m/sec, 175767583 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 377/827 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 377/827 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 738
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 383/1421 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 383/719 747/2000 Medical-PT-18-UpperBounds-12 178001586 m, 446801 m/sec, 178001589 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 382/822 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 382/822 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 747
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 388/1416 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 388/719 757/2000 Medical-PT-18-UpperBounds-12 180270723 m, 453827 m/sec, 180270726 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 387/817 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 387/817 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 757
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 393/1411 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 393/719 767/2000 Medical-PT-18-UpperBounds-12 182555313 m, 456918 m/sec, 182555315 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 392/812 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 392/812 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 767
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 398/1406 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 398/719 776/2000 Medical-PT-18-UpperBounds-12 184818087 m, 452554 m/sec, 184818089 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 397/807 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 397/807 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 776
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 403/1401 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 403/719 786/2000 Medical-PT-18-UpperBounds-12 187109727 m, 458328 m/sec, 187109729 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 402/802 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 402/802 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 786
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 408/1396 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 408/719 795/2000 Medical-PT-18-UpperBounds-12 189379888 m, 454032 m/sec, 189379890 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 407/797 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 407/797 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 795
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 413/1391 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 413/719 805/2000 Medical-PT-18-UpperBounds-12 191643906 m, 452803 m/sec, 191643908 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 412/792 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 412/792 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 805
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 418/1386 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 418/719 814/2000 Medical-PT-18-UpperBounds-12 193918088 m, 454836 m/sec, 193918091 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 417/787 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 417/787 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 814
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 423/1381 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 423/719 824/2000 Medical-PT-18-UpperBounds-12 196188634 m, 454109 m/sec, 196188636 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 422/782 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 422/782 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 824
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 428/1376 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 428/719 833/2000 Medical-PT-18-UpperBounds-12 198456427 m, 453558 m/sec, 198456430 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 427/777 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 427/777 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 833
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 433/1371 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 433/719 843/2000 Medical-PT-18-UpperBounds-12 200706984 m, 450111 m/sec, 200706986 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 432/772 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 432/772 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 843
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-18-UpperBounds-00: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-01: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-04: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-07: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-09: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-10: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-11: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-13: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-14: BOUND 0 findpath
[lola][.] Medical-PT-18-UpperBounds-15: BOUND 0 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-18-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[lola][.] Medical-PT-18-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-18-UpperBounds-12: BOUND 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 438/1366 0/5 Medical-PT-18-UpperBounds-12 .
[lola][.] 50 BOUND EXCL 438/719 852/2000 Medical-PT-18-UpperBounds-12 202998516 m, 458306 m/sec, 202998519 t fired, result in [0,1073741824] .
[lola][.] 84 BOUND FNDP 437/767 0/5 Medical-PT-18-UpperBounds-03 .
[lola][.] 87 BOUND FNDP 437/767 0/5 Medical-PT-18-UpperBounds-08 .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 852
[lola][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 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="Medical-PT-18"
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 Medical-PT-18, 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 r225-tall-171649614400581"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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