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

About the Execution of LoLA for Raft-PT-09

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16207.436 472908.00 481664.00 1937.70 [undef] Cannot compute

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.r313-tall-171662340500461.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 Raft-PT-09, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r313-tall-171662340500461
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 636K
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 23 07:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 23 07:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 23 07:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 11 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Apr 11 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Apr 11 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Apr 11 18:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 23 07:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 23 07:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 196K May 18 16:43 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1717330975206


BK_STOP 1717331448114

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from UpperBounds.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] Structural Bound for (p318 <= 0) is 1073741824
[lola][I] LAUNCH task # 50 (type EXCL) for 6 Raft-PT-09-UpperBounds-02
[lola][I] time limit : 224 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 6 Raft-PT-09-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 6 Raft-PT-09-UpperBounds-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type EQUN) for Raft-PT-09-UpperBounds-02
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (p328 <= 0) is 1073741824
[lola][I] LAUNCH task # 51 (type FNDP) for 30 Raft-PT-09-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 30 Raft-PT-09-UpperBounds-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 52 (type EQUN) for Raft-PT-09-UpperBounds-10
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Structural Bound for (p198 <= 0) is 1073741824
[lola][I] LAUNCH task # 54 (type FNDP) for 18 Raft-PT-09-UpperBounds-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Structural Bound for (p223 <= 0) is 1073741824
[lola][I] Structural Bound for (p343 <= 0) is 1073741824
[lola][I] Structural Bound for (p213 <= 0) is 1073741824
[lola][I] Structural Bound for (p51 <= 0) is 1073741824
[lola][I] Structural Bound for (p368 <= 0) is 1073741824
[lola][I] Structural Bound for (p384 <= 0) is 1073741824
[lola][I] Structural Bound for (p28 <= 0) is 1073741824
[lola][I] Structural Bound for (p356 <= 0) is 1073741824
[lola][I] Structural Bound for (p352 <= 0) is 1073741824
[lola][I] Structural Bound for (p162 <= 0) is 1073741824
[lola][I] Structural Bound for (p378 <= 0) is 1073741824
[lola][I] Structural Bound for (p379 <= 0) is 1073741824
[lola][I] Structural Bound for (p82 <= 0) is 1073741824
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 4/358 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 4/224 3/2000 Raft-PT-09-UpperBounds-02 576540 m, 115308 m/sec, 1187275 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 4/358 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 4/358 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 9/355 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 9/224 5/2000 Raft-PT-09-UpperBounds-02 1422643 m, 169220 m/sec, 2928010 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 9/355 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 9/355 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 14/350 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 14/224 8/2000 Raft-PT-09-UpperBounds-02 2276997 m, 170870 m/sec, 4686247 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 14/350 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 14/350 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 19/345 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 19/224 11/2000 Raft-PT-09-UpperBounds-02 3128770 m, 170354 m/sec, 6445662 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 19/345 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 19/345 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 24/340 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 24/224 14/2000 Raft-PT-09-UpperBounds-02 3958722 m, 165990 m/sec, 8152564 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 24/340 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 24/340 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 29/335 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 29/224 17/2000 Raft-PT-09-UpperBounds-02 4793502 m, 166956 m/sec, 9869311 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 29/335 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 29/335 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 34/330 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 34/224 20/2000 Raft-PT-09-UpperBounds-02 5641318 m, 169563 m/sec, 11616323 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 34/330 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 34/330 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 39/325 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 39/224 23/2000 Raft-PT-09-UpperBounds-02 6483458 m, 168428 m/sec, 13353479 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 39/325 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 39/325 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 44/320 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 44/224 26/2000 Raft-PT-09-UpperBounds-02 7321682 m, 167644 m/sec, 15085492 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 44/320 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 44/320 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 49/315 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 49/224 29/2000 Raft-PT-09-UpperBounds-02 8176772 m, 171018 m/sec, 16845789 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 49/315 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 49/315 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 54/310 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 54/224 32/2000 Raft-PT-09-UpperBounds-02 9024922 m, 169630 m/sec, 18593675 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 54/310 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 54/310 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 32
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 59/305 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 59/224 35/2000 Raft-PT-09-UpperBounds-02 9888466 m, 172708 m/sec, 20372877 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 59/305 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 59/305 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 35
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 64/300 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 64/224 38/2000 Raft-PT-09-UpperBounds-02 10734943 m, 169295 m/sec, 22118901 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 64/300 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 64/300 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 38
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 69/295 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 69/224 41/2000 Raft-PT-09-UpperBounds-02 11591146 m, 171240 m/sec, 23889471 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 69/295 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 69/295 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 41
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 74/290 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 74/224 44/2000 Raft-PT-09-UpperBounds-02 12433456 m, 168462 m/sec, 25621161 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 74/290 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 74/290 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 44
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 79/285 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 79/224 47/2000 Raft-PT-09-UpperBounds-02 13282205 m, 169749 m/sec, 27372382 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 79/285 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 79/285 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 47
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 84/280 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 84/224 50/2000 Raft-PT-09-UpperBounds-02 14128678 m, 169294 m/sec, 29116118 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 84/280 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 84/280 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 50
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 89/275 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 89/224 53/2000 Raft-PT-09-UpperBounds-02 14985653 m, 171395 m/sec, 30880067 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 89/275 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 89/275 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 53
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 94/270 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 94/224 56/2000 Raft-PT-09-UpperBounds-02 15819552 m, 166779 m/sec, 32597365 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 94/270 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 94/270 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 56
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 99/265 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 99/224 59/2000 Raft-PT-09-UpperBounds-02 16651611 m, 166411 m/sec, 34308019 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 99/265 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 99/265 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 59
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 104/260 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 104/224 62/2000 Raft-PT-09-UpperBounds-02 17510054 m, 171688 m/sec, 36075383 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 104/260 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 104/260 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 62
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 109/255 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 109/224 65/2000 Raft-PT-09-UpperBounds-02 18357397 m, 169468 m/sec, 37828366 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 109/255 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 109/255 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 65
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 114/250 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 114/224 68/2000 Raft-PT-09-UpperBounds-02 19224590 m, 173438 m/sec, 39622142 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 114/250 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 114/250 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 68
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 119/245 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 119/224 71/2000 Raft-PT-09-UpperBounds-02 20073957 m, 169873 m/sec, 41367979 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 119/245 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 119/245 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 71
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 124/240 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 124/224 73/2000 Raft-PT-09-UpperBounds-02 20912892 m, 167787 m/sec, 43087360 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 124/240 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 124/240 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 73
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 129/235 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 129/224 76/2000 Raft-PT-09-UpperBounds-02 21758469 m, 169115 m/sec, 44833691 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 129/235 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 129/235 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 76
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 134/230 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 134/224 79/2000 Raft-PT-09-UpperBounds-02 22585284 m, 165363 m/sec, 46539829 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 134/230 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 134/230 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 79
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 139/225 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 139/224 82/2000 Raft-PT-09-UpperBounds-02 23424001 m, 167743 m/sec, 48266545 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 139/225 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 139/225 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 82
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 144/220 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 144/224 85/2000 Raft-PT-09-UpperBounds-02 24257137 m, 166627 m/sec, 49979641 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 144/220 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 144/220 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 85
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 149/215 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 149/224 88/2000 Raft-PT-09-UpperBounds-02 25094652 m, 167503 m/sec, 51711004 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 149/215 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 149/215 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 88
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 154/210 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 154/224 91/2000 Raft-PT-09-UpperBounds-02 25939463 m, 168962 m/sec, 53451774 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 154/210 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 154/210 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 91
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 159/205 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 159/224 94/2000 Raft-PT-09-UpperBounds-02 26775926 m, 167292 m/sec, 55176619 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 159/205 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 159/205 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 94
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 164/200 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 164/224 97/2000 Raft-PT-09-UpperBounds-02 27597887 m, 164392 m/sec, 56867089 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 164/200 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 164/200 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 97
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 169/195 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 169/224 100/2000 Raft-PT-09-UpperBounds-02 28432083 m, 166839 m/sec, 58582862 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 169/195 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 169/195 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 100
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 174/190 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 174/224 103/2000 Raft-PT-09-UpperBounds-02 29272090 m, 168001 m/sec, 60317034 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 174/190 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 174/190 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 103
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 2 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 BOUND FNDP 179/185 0/5 Raft-PT-09-UpperBounds-02 .
[lola][.] 50 BOUND EXCL 179/224 106/2000 Raft-PT-09-UpperBounds-02 30107659 m, 167113 m/sec, 62037661 t fired, result in [1,1073741824] .
[lola][.] 51 BOUND FNDP 179/185 0/5 Raft-PT-09-UpperBounds-10 .
[lola][.] 54 BOUND FNDP 179/185 0/5 Raft-PT-09-UpperBounds-06 .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 106
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 48 (type FNDP) for Raft-PT-09-UpperBounds-02 (local timeout)
[lola][W] CANCELED task # 51 (type FNDP) for Raft-PT-09-UpperBounds-10 (local timeout)
[lola][W] CANCELED task # 54 (type FNDP) for Raft-PT-09-UpperBounds-06 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 184/224 108/2000 Raft-PT-09-UpperBounds-02 30940565 m, 166581 m/sec, 63746597 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 108
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 57 (type FNDP) for 27 Raft-PT-09-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 27 Raft-PT-09-UpperBounds-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 60 (type FNDP) for 36 Raft-PT-09-UpperBounds-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 58 (type EQUN) for Raft-PT-09-UpperBounds-09
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 63 (type FNDP) for 33 Raft-PT-09-UpperBounds-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 189/224 111/2000 Raft-PT-09-UpperBounds-02 31764072 m, 164701 m/sec, 65442215 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 5/379 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 5/379 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 5/426 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 111
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 194/224 114/2000 Raft-PT-09-UpperBounds-02 32591116 m, 165408 m/sec, 67145721 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 10/374 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 10/374 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 10/421 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 114
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 199/224 117/2000 Raft-PT-09-UpperBounds-02 33423263 m, 166429 m/sec, 68859584 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 15/369 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 15/369 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 15/416 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 117
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 204/224 120/2000 Raft-PT-09-UpperBounds-02 34248897 m, 165126 m/sec, 70556016 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 20/364 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 20/364 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 20/411 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 120
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 209/224 123/2000 Raft-PT-09-UpperBounds-02 35074395 m, 165099 m/sec, 72256132 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 25/359 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 25/359 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 25/406 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 123
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 214/224 126/2000 Raft-PT-09-UpperBounds-02 35898385 m, 164798 m/sec, 73954526 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 30/354 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 30/354 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 30/401 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 126
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 219/224 129/2000 Raft-PT-09-UpperBounds-02 36713949 m, 163112 m/sec, 75629066 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 35/349 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 35/349 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 35/396 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 129
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 1 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 BOUND EXCL 224/224 131/2000 Raft-PT-09-UpperBounds-02 37541926 m, 165595 m/sec, 77339198 t fired, result in [1,1073741824] .
[lola][.] 57 BOUND FNDP 40/344 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 40/344 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 40/391 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 131
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 50 (type EXCL) for Raft-PT-09-UpperBounds-02 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 45/339 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 45/339 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 45/386 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 92 (type EXCL) for 24 Raft-PT-09-UpperBounds-08
[lola][I] time limit : 224 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 50/334 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 50/334 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 50/381 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 5/224 4/2000 Raft-PT-09-UpperBounds-08 1027402 m, 205480 m/sec, 1650938 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 55/329 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 55/329 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 55/376 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 10/224 8/2000 Raft-PT-09-UpperBounds-08 2029635 m, 200446 m/sec, 3260099 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 60/324 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 60/324 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 60/371 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 15/224 12/2000 Raft-PT-09-UpperBounds-08 3041981 m, 202469 m/sec, 4885796 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 65/319 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 65/319 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 65/366 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 20/224 16/2000 Raft-PT-09-UpperBounds-08 4054724 m, 202548 m/sec, 6509264 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 70/314 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 70/314 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 70/361 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 25/224 19/2000 Raft-PT-09-UpperBounds-08 5068870 m, 202829 m/sec, 8137519 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 75/309 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 75/309 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 75/356 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 30/224 23/2000 Raft-PT-09-UpperBounds-08 6073887 m, 201003 m/sec, 9752146 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 80/304 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 80/304 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 80/351 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 35/224 27/2000 Raft-PT-09-UpperBounds-08 7082526 m, 201727 m/sec, 11374419 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 85/299 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 85/299 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 85/346 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 40/224 31/2000 Raft-PT-09-UpperBounds-08 8095194 m, 202533 m/sec, 13001042 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 90/294 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 90/294 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 90/341 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 45/224 35/2000 Raft-PT-09-UpperBounds-08 9094688 m, 199898 m/sec, 14603607 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 95/289 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 95/289 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 95/336 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 50/224 38/2000 Raft-PT-09-UpperBounds-08 10084216 m, 197905 m/sec, 16193778 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 100/284 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 100/284 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 100/331 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 55/224 42/2000 Raft-PT-09-UpperBounds-08 11071855 m, 197527 m/sec, 17780013 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 105/279 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 105/279 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 105/326 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 60/224 46/2000 Raft-PT-09-UpperBounds-08 12057411 m, 197111 m/sec, 19366810 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 110/274 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 110/274 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 110/321 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 65/224 49/2000 Raft-PT-09-UpperBounds-08 13051832 m, 198884 m/sec, 20969512 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 115/269 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 115/269 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 115/316 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 70/224 53/2000 Raft-PT-09-UpperBounds-08 14049979 m, 199629 m/sec, 22577077 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 120/264 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 120/264 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 120/311 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 75/224 57/2000 Raft-PT-09-UpperBounds-08 15068142 m, 203632 m/sec, 24211412 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 125/259 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 125/259 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 125/306 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 80/224 60/2000 Raft-PT-09-UpperBounds-08 16072714 m, 200914 m/sec, 25825111 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 130/254 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 130/254 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 130/301 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 85/224 64/2000 Raft-PT-09-UpperBounds-08 17046063 m, 194669 m/sec, 27389621 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 135/249 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 135/249 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 135/296 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 90/224 68/2000 Raft-PT-09-UpperBounds-08 18006474 m, 192082 m/sec, 28931213 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 140/244 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 140/244 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 140/291 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 95/224 71/2000 Raft-PT-09-UpperBounds-08 18997971 m, 198299 m/sec, 30528251 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 145/239 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 145/239 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 145/286 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 100/224 75/2000 Raft-PT-09-UpperBounds-08 19991947 m, 198795 m/sec, 32123377 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 150/234 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 150/234 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 150/281 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 105/224 79/2000 Raft-PT-09-UpperBounds-08 20984133 m, 198437 m/sec, 33722970 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 155/229 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 155/229 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 155/276 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 110/224 82/2000 Raft-PT-09-UpperBounds-08 21971057 m, 197384 m/sec, 35309466 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 160/224 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 160/224 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 160/271 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 115/224 86/2000 Raft-PT-09-UpperBounds-08 22947911 m, 195370 m/sec, 36887876 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 165/219 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 165/219 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 165/266 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 120/224 89/2000 Raft-PT-09-UpperBounds-08 23879356 m, 186289 m/sec, 38388096 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 170/214 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 170/214 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 170/261 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 125/224 93/2000 Raft-PT-09-UpperBounds-08 24801348 m, 184398 m/sec, 39872359 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 175/209 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 175/209 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 175/256 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 130/224 96/2000 Raft-PT-09-UpperBounds-08 25728496 m, 185429 m/sec, 41366031 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 180/204 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 180/204 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 180/251 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 135/224 100/2000 Raft-PT-09-UpperBounds-08 26656020 m, 185504 m/sec, 42859612 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 185/199 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 185/199 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 185/246 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 140/224 103/2000 Raft-PT-09-UpperBounds-08 27571536 m, 183103 m/sec, 44332927 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 BOUND FNDP 190/194 0/5 Raft-PT-09-UpperBounds-09 .
[lola][.] 60 BOUND FNDP 190/194 0/5 Raft-PT-09-UpperBounds-12 .
[lola][.] 63 BOUND FNDP 190/241 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 145/224 106/2000 Raft-PT-09-UpperBounds-08 28480867 m, 181866 m/sec, 45795410 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 57 (type FNDP) for Raft-PT-09-UpperBounds-09 (local timeout)
[lola][W] CANCELED task # 60 (type FNDP) for Raft-PT-09-UpperBounds-12 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-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 195/236 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 92 BOUND EXCL 150/224 110/2000 Raft-PT-09-UpperBounds-08 29393372 m, 182501 m/sec, 47261366 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 66 (type FNDP) for 42 Raft-PT-09-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 67 (type EQUN) for 42 Raft-PT-09-UpperBounds-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 67 (type EQUN) for Raft-PT-09-UpperBounds-14
[lola][I] result : unknown
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 69 (type FNDP) for 3 Raft-PT-09-UpperBounds-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 200/292 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 5/402 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 5/402 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 155/224 113/2000 Raft-PT-09-UpperBounds-08 30311984 m, 183722 m/sec, 48736777 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 205/287 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 10/397 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 10/397 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 160/224 117/2000 Raft-PT-09-UpperBounds-08 31231580 m, 183919 m/sec, 50225014 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 210/282 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 15/392 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 15/392 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 165/224 120/2000 Raft-PT-09-UpperBounds-08 32145999 m, 182883 m/sec, 51700586 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 215/277 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 20/387 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 20/387 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 170/224 124/2000 Raft-PT-09-UpperBounds-08 33113874 m, 193575 m/sec, 53255624 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 220/272 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 25/382 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 25/382 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 175/224 127/2000 Raft-PT-09-UpperBounds-08 34095112 m, 196247 m/sec, 54835820 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 225/267 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 30/377 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 30/377 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 180/224 131/2000 Raft-PT-09-UpperBounds-08 35068883 m, 194754 m/sec, 56406468 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 230/262 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 35/372 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 35/372 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 185/224 134/2000 Raft-PT-09-UpperBounds-08 36050396 m, 196302 m/sec, 57990990 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 235/257 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 40/367 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 40/367 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 190/224 138/2000 Raft-PT-09-UpperBounds-08 37033505 m, 196621 m/sec, 59577862 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 138
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 240/252 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 45/362 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 45/362 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 195/224 142/2000 Raft-PT-09-UpperBounds-08 38012739 m, 195846 m/sec, 61151472 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 142
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-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 245/247 0/5 Raft-PT-09-UpperBounds-11 .
[lola][.] 66 BOUND FNDP 50/357 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 50/357 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 200/224 145/2000 Raft-PT-09-UpperBounds-08 38981624 m, 193777 m/sec, 62718329 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 145
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 63 (type FNDP) for Raft-PT-09-UpperBounds-11 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 55/352 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 55/352 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 92 BOUND EXCL 205/224 149/2000 Raft-PT-09-UpperBounds-08 39949385 m, 193552 m/sec, 64272910 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 149
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 75 (type FNDP) for 45 Raft-PT-09-UpperBounds-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 60/405 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 60/405 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 75 BOUND FNDP 5/395 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.] 92 BOUND EXCL 210/224 152/2000 Raft-PT-09-UpperBounds-08 40920525 m, 194228 m/sec, 65833953 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 152
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 65/400 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 65/400 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 75 BOUND FNDP 10/390 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.] 92 BOUND EXCL 215/224 156/2000 Raft-PT-09-UpperBounds-08 41902022 m, 196299 m/sec, 67419236 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 156
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 70/395 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 70/395 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 75 BOUND FNDP 15/385 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.] 92 BOUND EXCL 220/224 160/2000 Raft-PT-09-UpperBounds-08 42893640 m, 198323 m/sec, 69013627 t fired, result in [1,1073741824] .
[lola][.]
[lola][.] Time elapsed: 450 secs. Pages in use: 160
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 92 (type EXCL) for Raft-PT-09-UpperBounds-08 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 75/390 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 75/390 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 75 BOUND FNDP 20/380 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.]
[lola][.] Time elapsed: 455 secs. Pages in use: 163
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 74 (type EXCL) for 15 Raft-PT-09-UpperBounds-05
[lola][I] time limit : 224 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 80/385 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 80/385 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 74 BOUND EXCL 5/224 4/2000 Raft-PT-09-UpperBounds-05 877601 m, 175520 m/sec, 1331079 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 25/375 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.]
[lola][.] Time elapsed: 460 secs. Pages in use: 163
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 85/380 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 85/380 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 74 BOUND EXCL 10/224 7/2000 Raft-PT-09-UpperBounds-05 1756048 m, 175689 m/sec, 2651049 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 30/370 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.]
[lola][.] Time elapsed: 465 secs. Pages in use: 163
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Raft-PT-09-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-02: BOUND 0 0 0 0 2 2 0 0
[lola][.] Raft-PT-09-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-06: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-08: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-09: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-10: BOUND 0 1 0 0 2 1 0 0
[lola][.] Raft-PT-09-UpperBounds-11: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-12: BOUND 0 2 0 0 1 1 0 0
[lola][.] Raft-PT-09-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[lola][.] Raft-PT-09-UpperBounds-14: BOUND 0 1 1 0 2 0 0 0
[lola][.] Raft-PT-09-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 66 BOUND FNDP 91/375 0/5 Raft-PT-09-UpperBounds-14 .
[lola][.] 69 BOUND FNDP 91/375 0/5 Raft-PT-09-UpperBounds-01 .
[lola][.] 74 BOUND EXCL 16/224 8/2000 Raft-PT-09-UpperBounds-05 2258849 m, 100560 m/sec, 3407737 t fired, result in [1,1073741824] .
[lola][.] 75 BOUND FNDP 36/365 0/5 Raft-PT-09-UpperBounds-15 .
[lola][.]
[lola][.] Time elapsed: 471 secs. Pages in use: 163
[lola][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

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

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

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