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-171649614400597.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-22, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r225-tall-171649614400597
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K 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.6K 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 17K Apr 22 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Apr 13 14:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 13 14:52 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-22-UpperBounds-00
FORMULA_NAME Medical-PT-22-UpperBounds-01
FORMULA_NAME Medical-PT-22-UpperBounds-02
FORMULA_NAME Medical-PT-22-UpperBounds-03
FORMULA_NAME Medical-PT-22-UpperBounds-04
FORMULA_NAME Medical-PT-22-UpperBounds-05
FORMULA_NAME Medical-PT-22-UpperBounds-06
FORMULA_NAME Medical-PT-22-UpperBounds-07
FORMULA_NAME Medical-PT-22-UpperBounds-08
FORMULA_NAME Medical-PT-22-UpperBounds-09
FORMULA_NAME Medical-PT-22-UpperBounds-10
FORMULA_NAME Medical-PT-22-UpperBounds-11
FORMULA_NAME Medical-PT-22-UpperBounds-12
FORMULA_NAME Medical-PT-22-UpperBounds-13
FORMULA_NAME Medical-PT-22-UpperBounds-14
FORMULA_NAME Medical-PT-22-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1717079193290

FORMULA Medical-PT-22-UpperBounds-01 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-22-UpperBounds-13 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-22-UpperBounds-02 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-22-UpperBounds-09 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-22-UpperBounds-07 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-22-UpperBounds-06 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717079677384

--------------------
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 (0 <= 0) is 0
[lola][I] LAUNCH task # 50 (type EXCL) for 3 Medical-PT-22-UpperBounds-01
[lola][I] time limit : 224 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 3 Medical-PT-22-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 3 Medical-PT-22-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EXCL) for Medical-PT-22-UpperBounds-01
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 48 (type FNDP) for Medical-PT-22-UpperBounds-01 (obsolete)
[lola][W] CANCELED task # 49 (type EQUN) for Medical-PT-22-UpperBounds-01 (obsolete)
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 53 (type EXCL) for 39 Medical-PT-22-UpperBounds-13
[lola][I] time limit : 239 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 39 Medical-PT-22-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 39 Medical-PT-22-UpperBounds-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type EXCL) for Medical-PT-22-UpperBounds-13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 51 (type FNDP) for Medical-PT-22-UpperBounds-13 (obsolete)
[lola][W] CANCELED task # 52 (type EQUN) for Medical-PT-22-UpperBounds-13 (obsolete)
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 56 (type EXCL) for 6 Medical-PT-22-UpperBounds-02
[lola][I] time limit : 256 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 54 (type FNDP) for 6 Medical-PT-22-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 55 (type EQUN) for 6 Medical-PT-22-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type EXCL) for Medical-PT-22-UpperBounds-02
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 54 (type FNDP) for Medical-PT-22-UpperBounds-02 (obsolete)
[lola][W] CANCELED task # 55 (type EQUN) for Medical-PT-22-UpperBounds-02 (obsolete)
[lola][I] FINISHED task # 49 (type EQUN) for Medical-PT-22-UpperBounds-01
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 55 (type EQUN) for Medical-PT-22-UpperBounds-02
[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 # 59 (type EXCL) for 27 Medical-PT-22-UpperBounds-09
[lola][I] time limit : 276 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 57 (type FNDP) for 27 Medical-PT-22-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 27 Medical-PT-22-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 59 (type EXCL) for Medical-PT-22-UpperBounds-09
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 57 (type FNDP) for Medical-PT-22-UpperBounds-09 (obsolete)
[lola][W] CANCELED task # 58 (type EQUN) for Medical-PT-22-UpperBounds-09 (obsolete)
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 57 (type FNDP) for Medical-PT-22-UpperBounds-09
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 52 (type EQUN) for Medical-PT-22-UpperBounds-13
[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 # 62 (type EXCL) for 21 Medical-PT-22-UpperBounds-07
[lola][I] time limit : 299 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 60 (type FNDP) for 21 Medical-PT-22-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 61 (type EQUN) for 21 Medical-PT-22-UpperBounds-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 62 (type EXCL) for Medical-PT-22-UpperBounds-07
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 60 (type FNDP) for Medical-PT-22-UpperBounds-07 (obsolete)
[lola][W] CANCELED task # 61 (type EQUN) for Medical-PT-22-UpperBounds-07 (obsolete)
[lola][I] FINISHED task # 61 (type EQUN) for Medical-PT-22-UpperBounds-07
[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 # 60 (type FNDP) for Medical-PT-22-UpperBounds-07
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (ch0_HQ_q1 <= 0) is 1073741824
[lola][I] LAUNCH task # 65 (type EXCL) for 24 Medical-PT-22-UpperBounds-08
[lola][I] time limit : 327 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 63 (type FNDP) for 24 Medical-PT-22-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 64 (type EQUN) for 24 Medical-PT-22-UpperBounds-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 64 (type EQUN) for Medical-PT-22-UpperBounds-08
[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-22-UpperBounds-02
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] FINISHED task # 58 (type EQUN) for Medical-PT-22-UpperBounds-09
[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 # 51 (type FNDP) for Medical-PT-22-UpperBounds-13
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 48 (type FNDP) for Medical-PT-22-UpperBounds-01
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] Structural Bound for (0 <= 0) is 0
[lola][I] LAUNCH task # 66 (type FNDP) for 18 Medical-PT-22-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 67 (type EQUN) for 18 Medical-PT-22-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 67 (type EQUN) for Medical-PT-22-UpperBounds-06
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (ch1_AA_q5 <= 0) is 1073741824
[lola][I] LAUNCH task # 69 (type FNDP) for 15 Medical-PT-22-UpperBounds-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (ch4_HQ_q3 <= 0) is 1073741824
[lola][I] Structural@Findpath: 0 (upper 0 threshold 0
[lola][I] FINISHED task # 66 (type FNDP) for Medical-PT-22-UpperBounds-06
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 72 (type FNDP) for 0 Medical-PT-22-UpperBounds-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (l2 <= 0) is 22
[lola][I] Structural Bound for (l6 <= 0) is 1
[lola][I] Structural Bound for (ch2_HA_q5 <= 0) is 1073741824
[lola][I] Structural Bound for (l3 <= 0) is 1073741824
[lola][I] Structural Bound for (x3_HQ_q1 <= 0) is 1073741824
[lola][I] Structural Bound for (p19 <= 0) is 1073741824
[lola][I] Structural Bound for (x1_AA_q1 <= 0) is 1073741824
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 2/512 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 2/359 4/2000 Medical-PT-22-UpperBounds-08 911744 m, 182348 m/sec, 911744 t fired, result in [303914,1073741824] .
[lola][.] 69 BOUND FNDP 2/598 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 2/598 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 7/511 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 7/359 14/2000 Medical-PT-22-UpperBounds-08 3285676 m, 474786 m/sec, 3285676 t fired, result in [1095225,1073741824] .
[lola][.] 69 BOUND FNDP 7/597 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 7/597 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 12/506 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 12/359 24/2000 Medical-PT-22-UpperBounds-08 5623775 m, 467619 m/sec, 5623774 t fired, result in [1874591,1073741824] .
[lola][.] 69 BOUND FNDP 12/592 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 12/592 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 24
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 17/501 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 17/359 34/2000 Medical-PT-22-UpperBounds-08 7951011 m, 465447 m/sec, 7951011 t fired, result in [2650336,1073741824] .
[lola][.] 69 BOUND FNDP 17/587 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 17/587 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 22/496 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 22/359 44/2000 Medical-PT-22-UpperBounds-08 10265533 m, 462904 m/sec, 10265533 t fired, result in [3421844,1073741824] .
[lola][.] 69 BOUND FNDP 22/582 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 22/582 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 44
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 27/491 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 27/359 53/2000 Medical-PT-22-UpperBounds-08 12571678 m, 461229 m/sec, 12571678 t fired, result in [4190559,1073741824] .
[lola][.] 69 BOUND FNDP 27/577 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 27/577 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 53
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 32/486 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 32/359 63/2000 Medical-PT-22-UpperBounds-08 14889585 m, 463581 m/sec, 14889585 t fired, result in [4963194,1073741824] .
[lola][.] 69 BOUND FNDP 32/572 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 32/572 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 63
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 37/481 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 37/359 73/2000 Medical-PT-22-UpperBounds-08 17189739 m, 460030 m/sec, 17189739 t fired, result in [5729912,1073741824] .
[lola][.] 69 BOUND FNDP 37/567 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 37/567 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 73
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 42/476 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 42/359 82/2000 Medical-PT-22-UpperBounds-08 19491757 m, 460403 m/sec, 19491757 t fired, result in [6497252,1073741824] .
[lola][.] 69 BOUND FNDP 42/562 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 42/562 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 82
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 47/471 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 47/359 92/2000 Medical-PT-22-UpperBounds-08 21782308 m, 458110 m/sec, 21782308 t fired, result in [7260769,1073741824] .
[lola][.] 69 BOUND FNDP 47/557 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 47/557 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 92
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 52/466 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 52/359 102/2000 Medical-PT-22-UpperBounds-08 24078951 m, 459328 m/sec, 24078950 t fired, result in [8026316,1073741824] .
[lola][.] 69 BOUND FNDP 52/552 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 52/552 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 102
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 57/461 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 57/359 111/2000 Medical-PT-22-UpperBounds-08 26375028 m, 459215 m/sec, 26375028 t fired, result in [8791675,1073741824] .
[lola][.] 69 BOUND FNDP 57/547 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 57/547 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 111
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 62/456 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 62/359 121/2000 Medical-PT-22-UpperBounds-08 28674540 m, 459902 m/sec, 28674539 t fired, result in [9558179,1073741824] .
[lola][.] 69 BOUND FNDP 62/542 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 62/542 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 121
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 67/451 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 67/359 130/2000 Medical-PT-22-UpperBounds-08 30958873 m, 456866 m/sec, 30958873 t fired, result in [10319624,1073741824] .
[lola][.] 69 BOUND FNDP 67/537 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 67/537 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 130
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 72/446 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 72/359 140/2000 Medical-PT-22-UpperBounds-08 33248622 m, 457949 m/sec, 33248621 t fired, result in [11082873,1073741824] .
[lola][.] 69 BOUND FNDP 72/532 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 72/532 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 140
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 77/441 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 77/359 150/2000 Medical-PT-22-UpperBounds-08 35536514 m, 457578 m/sec, 35536514 t fired, result in [11845504,1073741824] .
[lola][.] 69 BOUND FNDP 77/527 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 77/527 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 150
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 82/436 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 82/359 159/2000 Medical-PT-22-UpperBounds-08 37810965 m, 454890 m/sec, 37810964 t fired, result in [12603654,1073741824] .
[lola][.] 69 BOUND FNDP 82/522 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 82/522 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 159
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 87/431 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 87/359 169/2000 Medical-PT-22-UpperBounds-08 40099167 m, 457640 m/sec, 40099166 t fired, result in [13366388,1073741824] .
[lola][.] 69 BOUND FNDP 87/517 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 87/517 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 169
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 92/426 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 92/359 178/2000 Medical-PT-22-UpperBounds-08 42382481 m, 456662 m/sec, 42382481 t fired, result in [14127493,1073741824] .
[lola][.] 69 BOUND FNDP 92/512 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 92/512 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 178
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 97/421 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 97/359 188/2000 Medical-PT-22-UpperBounds-08 44661177 m, 455739 m/sec, 44661177 t fired, result in [14887058,1073741824] .
[lola][.] 69 BOUND FNDP 97/507 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 97/507 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 188
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 102/416 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 102/359 197/2000 Medical-PT-22-UpperBounds-08 46939494 m, 455663 m/sec, 46939493 t fired, result in [15646497,1073741824] .
[lola][.] 69 BOUND FNDP 102/502 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 102/502 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 197
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 107/411 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 107/359 207/2000 Medical-PT-22-UpperBounds-08 49218405 m, 455782 m/sec, 49218405 t fired, result in [16406134,1073741824] .
[lola][.] 69 BOUND FNDP 107/497 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 107/497 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 207
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 112/406 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 112/359 217/2000 Medical-PT-22-UpperBounds-08 51494832 m, 455285 m/sec, 51494832 t fired, result in [17164943,1073741824] .
[lola][.] 69 BOUND FNDP 112/492 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 112/492 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 217
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 117/401 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 117/359 226/2000 Medical-PT-22-UpperBounds-08 53763362 m, 453706 m/sec, 53763362 t fired, result in [17921120,1073741824] .
[lola][.] 69 BOUND FNDP 117/487 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 117/487 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 226
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 122/396 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 122/359 235/2000 Medical-PT-22-UpperBounds-08 55993617 m, 446051 m/sec, 55993617 t fired, result in [18664538,1073741824] .
[lola][.] 69 BOUND FNDP 122/482 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 122/482 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 235
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 127/391 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 127/359 245/2000 Medical-PT-22-UpperBounds-08 58209830 m, 443242 m/sec, 58209829 t fired, result in [19403276,1073741824] .
[lola][.] 69 BOUND FNDP 127/477 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 127/477 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 245
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 132/386 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 132/359 254/2000 Medical-PT-22-UpperBounds-08 60424710 m, 442976 m/sec, 60424709 t fired, result in [20141569,1073741824] .
[lola][.] 69 BOUND FNDP 132/472 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 132/472 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 254
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 137/381 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 137/359 263/2000 Medical-PT-22-UpperBounds-08 62617094 m, 438476 m/sec, 62617094 t fired, result in [20872364,1073741824] .
[lola][.] 69 BOUND FNDP 137/467 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 137/467 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 263
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 142/376 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 142/359 273/2000 Medical-PT-22-UpperBounds-08 64871949 m, 450971 m/sec, 64871948 t fired, result in [21623982,1073741824] .
[lola][.] 69 BOUND FNDP 142/462 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 142/462 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 273
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 147/371 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 147/359 282/2000 Medical-PT-22-UpperBounds-08 67114721 m, 448554 m/sec, 67114721 t fired, result in [22371573,1073741824] .
[lola][.] 69 BOUND FNDP 147/457 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 147/457 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 282
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 152/366 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 152/359 291/2000 Medical-PT-22-UpperBounds-08 69341349 m, 445325 m/sec, 69341348 t fired, result in [23113782,1073741824] .
[lola][.] 69 BOUND FNDP 152/452 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 152/452 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 291
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 157/361 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 157/359 301/2000 Medical-PT-22-UpperBounds-08 71580142 m, 447758 m/sec, 71580141 t fired, result in [23860047,1073741824] .
[lola][.] 69 BOUND FNDP 157/447 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 157/447 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 301
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 162/356 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 162/359 310/2000 Medical-PT-22-UpperBounds-08 73801020 m, 444175 m/sec, 73801020 t fired, result in [24600339,1073741824] .
[lola][.] 69 BOUND FNDP 162/442 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 162/442 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 310
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 167/351 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 167/359 320/2000 Medical-PT-22-UpperBounds-08 76030109 m, 445817 m/sec, 76030109 t fired, result in [25343369,1073741824] .
[lola][.] 69 BOUND FNDP 167/437 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 167/437 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 320
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 172/346 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 172/359 329/2000 Medical-PT-22-UpperBounds-08 78275579 m, 449094 m/sec, 78275579 t fired, result in [26091859,1073741824] .
[lola][.] 69 BOUND FNDP 172/432 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 172/432 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 329
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 177/341 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 177/359 338/2000 Medical-PT-22-UpperBounds-08 80511207 m, 447125 m/sec, 80511206 t fired, result in [26837068,1073741824] .
[lola][.] 69 BOUND FNDP 177/427 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 177/427 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 338
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 182/336 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 182/359 348/2000 Medical-PT-22-UpperBounds-08 82745953 m, 446949 m/sec, 82745953 t fired, result in [27581984,1073741824] .
[lola][.] 69 BOUND FNDP 182/422 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 182/422 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 348
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 187/331 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 187/359 357/2000 Medical-PT-22-UpperBounds-08 84977804 m, 446370 m/sec, 84977804 t fired, result in [28325934,1073741824] .
[lola][.] 69 BOUND FNDP 187/417 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 187/417 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 357
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 192/326 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 192/359 366/2000 Medical-PT-22-UpperBounds-08 87197318 m, 443902 m/sec, 87197317 t fired, result in [29065772,1073741824] .
[lola][.] 69 BOUND FNDP 192/412 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 192/412 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 366
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 197/321 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 197/359 376/2000 Medical-PT-22-UpperBounds-08 89421207 m, 444777 m/sec, 89421207 t fired, result in [29807068,1073741824] .
[lola][.] 69 BOUND FNDP 197/407 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 197/407 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 376
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 202/316 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 202/359 385/2000 Medical-PT-22-UpperBounds-08 91630865 m, 441931 m/sec, 91630865 t fired, result in [30543621,1073741824] .
[lola][.] 69 BOUND FNDP 202/402 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 202/402 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 385
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 207/311 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 207/359 394/2000 Medical-PT-22-UpperBounds-08 93845322 m, 442891 m/sec, 93845321 t fired, result in [31281773,1073741824] .
[lola][.] 69 BOUND FNDP 207/397 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 207/397 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 394
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 212/306 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 212/359 404/2000 Medical-PT-22-UpperBounds-08 96066930 m, 444321 m/sec, 96066929 t fired, result in [32022309,1073741824] .
[lola][.] 69 BOUND FNDP 212/392 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 212/392 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 404
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 217/301 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 217/359 413/2000 Medical-PT-22-UpperBounds-08 98287835 m, 444181 m/sec, 98287835 t fired, result in [32762611,1073741824] .
[lola][.] 69 BOUND FNDP 217/387 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 217/387 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 413
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 222/296 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 222/359 422/2000 Medical-PT-22-UpperBounds-08 100499627 m, 442358 m/sec, 100499627 t fired, result in [33499875,1073741824] .
[lola][.] 69 BOUND FNDP 222/382 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 222/382 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 422
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 227/291 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 227/359 432/2000 Medical-PT-22-UpperBounds-08 102755400 m, 451154 m/sec, 102755399 t fired, result in [34251799,1073741824] .
[lola][.] 69 BOUND FNDP 227/377 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 227/377 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 432
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 232/286 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 232/359 441/2000 Medical-PT-22-UpperBounds-08 104999132 m, 448746 m/sec, 104999132 t fired, result in [34999710,1073741824] .
[lola][.] 69 BOUND FNDP 232/372 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 232/372 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 441
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 237/281 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 237/359 450/2000 Medical-PT-22-UpperBounds-08 107240376 m, 448248 m/sec, 107240375 t fired, result in [35746791,1073741824] .
[lola][.] 69 BOUND FNDP 237/367 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 237/367 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 450
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 242/276 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 242/359 460/2000 Medical-PT-22-UpperBounds-08 109475799 m, 447084 m/sec, 109475798 t fired, result in [36491932,1073741824] .
[lola][.] 69 BOUND FNDP 242/362 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 242/362 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 460
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 247/271 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 247/359 469/2000 Medical-PT-22-UpperBounds-08 111693132 m, 443466 m/sec, 111693131 t fired, result in [37231043,1073741824] .
[lola][.] 69 BOUND FNDP 247/357 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 247/357 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 469
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 252/266 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 252/359 479/2000 Medical-PT-22-UpperBounds-08 113916705 m, 444714 m/sec, 113916704 t fired, result in [37972234,1073741824] .
[lola][.] 69 BOUND FNDP 252/352 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 252/352 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 479
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 2 0 2 0 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 63 BOUND FNDP 257/261 0/5 Medical-PT-22-UpperBounds-08 .
[lola][.] 65 BOUND EXCL 257/359 488/2000 Medical-PT-22-UpperBounds-08 116148687 m, 446396 m/sec, 116148687 t fired, result in [38716228,1073741824] .
[lola][.] 69 BOUND FNDP 257/347 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 257/347 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 488
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 63 (type FNDP) for Medical-PT-22-UpperBounds-08 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 262/359 497/2000 Medical-PT-22-UpperBounds-08 118373977 m, 445058 m/sec, 118373976 t fired, result in [39457992,1073741824] .
[lola][.] 69 BOUND FNDP 262/342 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 262/342 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 497
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 75 (type FNDP) for 45 Medical-PT-22-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 22 (upper 22 threshold 0
[lola][I] FINISHED task # 75 (type FNDP) for Medical-PT-22-UpperBounds-15
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 78 (type FNDP) for 33 Medical-PT-22-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural@Findpath: 1 (upper 1 threshold 0
[lola][I] FINISHED task # 78 (type FNDP) for Medical-PT-22-UpperBounds-11
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] LAUNCH task # 81 (type FNDP) for 12 Medical-PT-22-UpperBounds-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 267/449 506/2000 Medical-PT-22-UpperBounds-08 120581879 m, 441580 m/sec, 120581879 t fired, result in [40193959,1073741824] .
[lola][.] 69 BOUND FNDP 267/637 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 267/457 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 5/667 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 506
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 272/449 516/2000 Medical-PT-22-UpperBounds-08 122792472 m, 442118 m/sec, 122792472 t fired, result in [40930823,1073741824] .
[lola][.] 69 BOUND FNDP 272/632 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 272/452 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 10/662 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 516
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 277/449 525/2000 Medical-PT-22-UpperBounds-08 125009558 m, 443417 m/sec, 125009558 t fired, result in [41669852,1073741824] .
[lola][.] 69 BOUND FNDP 277/627 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 277/447 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 15/657 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 525
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 282/449 534/2000 Medical-PT-22-UpperBounds-08 127238991 m, 445886 m/sec, 127238990 t fired, result in [42412996,1073741824] .
[lola][.] 69 BOUND FNDP 282/622 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 282/442 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 20/652 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 534
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 287/449 544/2000 Medical-PT-22-UpperBounds-08 129476011 m, 447404 m/sec, 129476011 t fired, result in [43158670,1073741824] .
[lola][.] 69 BOUND FNDP 287/617 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 287/437 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 25/647 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 544
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 292/449 553/2000 Medical-PT-22-UpperBounds-08 131707614 m, 446320 m/sec, 131707614 t fired, result in [43902537,1073741824] .
[lola][.] 69 BOUND FNDP 292/612 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 292/432 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 30/642 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 553
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 297/449 563/2000 Medical-PT-22-UpperBounds-08 133933935 m, 445264 m/sec, 133933934 t fired, result in [44644644,1073741824] .
[lola][.] 69 BOUND FNDP 297/607 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 297/427 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 35/637 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 563
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 302/449 572/2000 Medical-PT-22-UpperBounds-08 136152177 m, 443648 m/sec, 136152176 t fired, result in [45384058,1073741824] .
[lola][.] 69 BOUND FNDP 302/602 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 302/422 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 40/632 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 572
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 307/449 581/2000 Medical-PT-22-UpperBounds-08 138352843 m, 440133 m/sec, 138352843 t fired, result in [46117614,1073741824] .
[lola][.] 69 BOUND FNDP 307/597 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 307/417 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 45/627 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 581
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 312/449 590/2000 Medical-PT-22-UpperBounds-08 140586804 m, 446792 m/sec, 140586803 t fired, result in [46862267,1073741824] .
[lola][.] 69 BOUND FNDP 312/592 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 312/412 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 50/622 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 590
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 317/449 600/2000 Medical-PT-22-UpperBounds-08 142806666 m, 443972 m/sec, 142806665 t fired, result in [47602221,1073741824] .
[lola][.] 69 BOUND FNDP 317/587 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 317/407 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 55/617 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 600
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 322/449 609/2000 Medical-PT-22-UpperBounds-08 145023952 m, 443457 m/sec, 145023952 t fired, result in [48341317,1073741824] .
[lola][.] 69 BOUND FNDP 322/582 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 322/402 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 60/612 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 609
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 327/449 618/2000 Medical-PT-22-UpperBounds-08 147209530 m, 437115 m/sec, 147209530 t fired, result in [49069843,1073741824] .
[lola][.] 69 BOUND FNDP 327/577 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 327/397 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 65/607 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 618
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 332/449 627/2000 Medical-PT-22-UpperBounds-08 149394063 m, 436906 m/sec, 149394062 t fired, result in [49798020,1073741824] .
[lola][.] 69 BOUND FNDP 332/572 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 332/392 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 70/602 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 627
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 337/449 637/2000 Medical-PT-22-UpperBounds-08 151597431 m, 440673 m/sec, 151597431 t fired, result in [50532476,1073741824] .
[lola][.] 69 BOUND FNDP 337/567 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 337/387 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 75/597 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 637
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 342/449 646/2000 Medical-PT-22-UpperBounds-08 153812844 m, 443082 m/sec, 153812843 t fired, result in [51270947,1073741824] .
[lola][.] 69 BOUND FNDP 342/562 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 342/382 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 80/592 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 646
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 347/449 655/2000 Medical-PT-22-UpperBounds-08 156002406 m, 437912 m/sec, 156002405 t fired, result in [52000801,1073741824] .
[lola][.] 69 BOUND FNDP 347/557 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 347/377 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 85/587 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 655
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 352/449 664/2000 Medical-PT-22-UpperBounds-08 158233614 m, 446241 m/sec, 158233613 t fired, result in [52744537,1073741824] .
[lola][.] 69 BOUND FNDP 352/552 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 352/372 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 90/582 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 664
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 357/449 674/2000 Medical-PT-22-UpperBounds-08 160455519 m, 444381 m/sec, 160455518 t fired, result in [53485172,1073741824] .
[lola][.] 69 BOUND FNDP 357/547 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 357/367 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 95/577 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 674
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 362/449 683/2000 Medical-PT-22-UpperBounds-08 162672783 m, 443452 m/sec, 162672782 t fired, result in [54224260,1073741824] .
[lola][.] 69 BOUND FNDP 362/542 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 72 BOUND FNDP 362/362 0/5 Medical-PT-22-UpperBounds-00 .
[lola][.] 81 BOUND FNDP 100/572 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 683
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 72 (type FNDP) for Medical-PT-22-UpperBounds-00 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 367/449 692/2000 Medical-PT-22-UpperBounds-08 164896919 m, 444827 m/sec, 164896919 t fired, result in [54965639,1073741824] .
[lola][.] 69 BOUND FNDP 367/537 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 105/567 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 692
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 84 (type FNDP) for 30 Medical-PT-22-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 372/449 702/2000 Medical-PT-22-UpperBounds-08 167120739 m, 444764 m/sec, 167120738 t fired, result in [55706912,1073741824] .
[lola][.] 69 BOUND FNDP 372/532 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 110/728 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 5/646 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 702
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 377/449 711/2000 Medical-PT-22-UpperBounds-08 169334415 m, 442735 m/sec, 169334414 t fired, result in [56444804,1073741824] .
[lola][.] 69 BOUND FNDP 377/527 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 115/723 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 10/641 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 711
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 382/449 720/2000 Medical-PT-22-UpperBounds-08 171556927 m, 444502 m/sec, 171556927 t fired, result in [57185642,1073741824] .
[lola][.] 69 BOUND FNDP 382/522 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 120/718 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 15/636 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 720
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 387/449 730/2000 Medical-PT-22-UpperBounds-08 173766383 m, 441891 m/sec, 173766383 t fired, result in [57922127,1073741824] .
[lola][.] 69 BOUND FNDP 387/517 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 125/713 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 20/631 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 730
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 392/449 739/2000 Medical-PT-22-UpperBounds-08 175959194 m, 438562 m/sec, 175959194 t fired, result in [58653064,1073741824] .
[lola][.] 69 BOUND FNDP 392/512 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 130/708 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 25/626 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 739
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 397/449 742/2000 Medical-PT-22-UpperBounds-08 176820247 m, 172210 m/sec, 176820246 t fired, result in [58940081,1073741824] .
[lola][.] 69 BOUND FNDP 397/507 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 135/703 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 30/621 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 742
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 403/449 743/2000 Medical-PT-22-UpperBounds-08 176853256 m, 6601 m/sec, 176853255 t fired, result in [58951085,1073741824] .
[lola][.] 69 BOUND FNDP 403/502 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 141/698 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 36/616 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 406 secs. Pages in use: 743
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 411/449 743/2000 Medical-PT-22-UpperBounds-08 176895895 m, 8527 m/sec, 176895895 t fired, result in [58965298,1073741824] .
[lola][.] 69 BOUND FNDP 411/496 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 149/692 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 45/610 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 743
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 438/449 743/2000 Medical-PT-22-UpperBounds-08 176896474 m, 115 m/sec, 176896474 t fired, result in [58965491,1073741824] .
[lola][.] 69 BOUND FNDP 439/486 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 178/682 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 74/600 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 743
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 1 0 2 1 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 BOUND EXCL 459/449 743/2000 Medical-PT-22-UpperBounds-08 176896989 m, 103 m/sec, 176896989 t fired, result in [58965662,1073741824] .
[lola][.] 69 BOUND FNDP 461/457 0/5 Medical-PT-22-UpperBounds-05 .
[lola][.] 81 BOUND FNDP 199/653 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 95/571 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 466 secs. Pages in use: 743
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 65 (type EXCL) for Medical-PT-22-UpperBounds-08 (local timeout)
[lola][W] CANCELED task # 69 (type FNDP) for Medical-PT-22-UpperBounds-05 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Medical-PT-22-UpperBounds-01: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-02: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-06: BOUND 0 findpath
[lola][.] Medical-PT-22-UpperBounds-07: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-09: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-11: BOUND 1 findpath
[lola][.] Medical-PT-22-UpperBounds-13: BOUND 0 state space
[lola][.] Medical-PT-22-UpperBounds-15: BOUND 22 findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Medical-PT-22-UpperBounds-00: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-05: BOUND 0 2 0 0 1 1 0 0
[lola][.] Medical-PT-22-UpperBounds-08: BOUND 0 0 0 0 2 2 0 0
[lola][.] Medical-PT-22-UpperBounds-10: BOUND 0 2 1 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Medical-PT-22-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 81 BOUND FNDP 216/631 0/5 Medical-PT-22-UpperBounds-04 .
[lola][.] 84 BOUND FNDP 111/549 0/5 Medical-PT-22-UpperBounds-10 .
[lola][.]
[lola][.] Time elapsed: 482 secs. Pages in use: 743
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 92 (type EXCL) for 9 Medical-PT-22-UpperBounds-03
[lola][I] time limit : 445 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 87 (type FNDP) for 42 Medical-PT-22-UpperBounds-14
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-22"
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-22, 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-171649614400597"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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