Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 39K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 82K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 52K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 147K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.6M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBNT-PT-S05J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527200331
=====================================================================

--------------------
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 PolyORBNT-PT-S05J20-UpperBounds-00
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-01
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-02
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-03
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-04
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-05
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-06
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-07
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-08
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-09
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-10
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-11
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-12
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-13
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-14
FORMULA_NAME PolyORBNT-PT-S05J20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527211103547

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J20 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1559/65536 symbol table entries, 146 collisions
lola: preprocessing...
lola: Size of bit vector: 11168
lola: finding significant places
lola: 349 places, 1210 transitions, 287 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 668 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J20-UpperBounds.task
lola: MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_1_7 + QueueJobB_1_8 + QueueJobB_1_9 + QueueJobB_1_10 + QueueJobB_1_11 + QueueJobB_1_12 + QueueJobB_1_13 + QueueJobB_1_14 + QueueJobB_1_15 + QueueJobB_1_16 + QueueJobB_1_17 + QueueJobB_1_18 + QueueJobB_1_19 + QueueJobB_1_20) : MAX(place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20) : MAX(place_520_1) : MAX(mi3) : MAX(CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_13_4 + CreatedJobs_13_3 + CreatedJobs_13_2 + CreatedJobs_13_1 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_12_5 + CreatedJobs_13_5 + CreatedJobs_14_5 + CreatedJobs_11_5 + CreatedJobs_10_5 + CreatedJobs_15_1 + CreatedJobs_15_2 + CreatedJobs_15_3 + CreatedJobs_15_4 + CreatedJobs_15_5) : MAX(mo1) : MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(CreatedJobs_17_4) : MAX(f3_10) : MAX(AvailableJobId_15) : MAX(FetchJobE_1_9) : MAX(Perform_Work_B_1_12) : MAX(FetchJobE_1_3) : MAX(Schedule_Task_E_1_PerformWork_7) : MAX(CreatedJobs_10_2)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_520_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_520_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mi3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mi3)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 17 markings, 16 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo1)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 18 markings, 17 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_17_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_17_4)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f3_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f3_10)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 74620 markings, 177003 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_15)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_9)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 146430 markings, 203033 edges, 29286 markings/sec, 0 secs
lola: 301464 markings, 424519 edges, 31007 markings/sec, 5 secs
lola: 454295 markings, 650668 edges, 30566 markings/sec, 10 secs
lola: 609254 markings, 900365 edges, 30992 markings/sec, 15 secs
lola: 789792 markings, 1136240 edges, 36108 markings/sec, 20 secs
lola: 963476 markings, 1368486 edges, 34737 markings/sec, 25 secs
lola: 1140572 markings, 1604128 edges, 35419 markings/sec, 30 secs
lola: 1315362 markings, 1837142 edges, 34958 markings/sec, 35 secs
lola: 1491050 markings, 2071273 edges, 35138 markings/sec, 40 secs
lola: 1668343 markings, 2313131 edges, 35459 markings/sec, 45 secs
lola: 1842000 markings, 2554936 edges, 34731 markings/sec, 50 secs
lola: 2015002 markings, 2802334 edges, 34600 markings/sec, 55 secs
lola: 2177895 markings, 3067796 edges, 32579 markings/sec, 60 secs
lola: 2301102 markings, 3286484 edges, 24641 markings/sec, 65 secs
lola: 2425637 markings, 3506447 edges, 24907 markings/sec, 70 secs
lola: 2546581 markings, 3726847 edges, 24189 markings/sec, 75 secs
lola: 2670184 markings, 3953401 edges, 24721 markings/sec, 80 secs
lola: 2793327 markings, 4189994 edges, 24629 markings/sec, 85 secs
lola: 2931778 markings, 4434168 edges, 27690 markings/sec, 90 secs
lola: 3087370 markings, 4653445 edges, 31118 markings/sec, 95 secs
lola: 3240471 markings, 4876402 edges, 30620 markings/sec, 100 secs
lola: 3391168 markings, 5112220 edges, 30139 markings/sec, 105 secs
lola: 3564496 markings, 5359224 edges, 34666 markings/sec, 110 secs
lola: 3738373 markings, 5590629 edges, 34775 markings/sec, 115 secs
lola: 3917047 markings, 5824996 edges, 35735 markings/sec, 120 secs
lola: 4092776 markings, 6058043 edges, 35146 markings/sec, 125 secs
lola: 4263515 markings, 6289514 edges, 34148 markings/sec, 130 secs
lola: 4439982 markings, 6527443 edges, 35293 markings/sec, 135 secs
lola: 4613815 markings, 6765793 edges, 34767 markings/sec, 140 secs
lola: 4786894 markings, 7010615 edges, 34616 markings/sec, 145 secs
lola: 4958663 markings, 7266478 edges, 34354 markings/sec, 150 secs
lola: 5096013 markings, 7508811 edges, 27470 markings/sec, 155 secs
lola: 5219611 markings, 7728343 edges, 24720 markings/sec, 160 secs
lola: 5341643 markings, 7947086 edges, 24406 markings/sec, 165 secs
lola: 5465346 markings, 8171798 edges, 24741 markings/sec, 170 secs
lola: 5587141 markings, 8401573 edges, 24359 markings/sec, 175 secs
lola: 5711023 markings, 8655780 edges, 24776 markings/sec, 180 secs
lola: 5866194 markings, 8874106 edges, 31034 markings/sec, 185 secs
lola: 6020013 markings, 9094892 edges, 30764 markings/sec, 190 secs
lola: 6173255 markings, 9323257 edges, 30648 markings/sec, 195 secs
lola: 6333663 markings, 9573975 edges, 32082 markings/sec, 200 secs
lola: 6507991 markings, 9806226 edges, 34866 markings/sec, 205 secs
lola: 6688479 markings, 10040923 edges, 36098 markings/sec, 210 secs
lola: 6862349 markings, 10274024 edges, 34774 markings/sec, 215 secs
lola: 7037926 markings, 10507796 edges, 35115 markings/sec, 220 secs
lola: 7210705 markings, 10742442 edges, 34556 markings/sec, 225 secs
lola: 7388217 markings, 10983501 edges, 35502 markings/sec, 230 secs
lola: 7562777 markings, 11226895 edges, 34912 markings/sec, 235 secs
lola: 7735855 markings, 11474952 edges, 34616 markings/sec, 240 secs
lola: 7890001 markings, 11735878 edges, 30829 markings/sec, 245 secs
lola: 8014912 markings, 11955071 edges, 24982 markings/sec, 250 secs
lola: 8137868 markings, 12173496 edges, 24591 markings/sec, 255 secs
lola: 8260923 markings, 12393730 edges, 24611 markings/sec, 260 secs
lola: 8383464 markings, 12621965 edges, 24508 markings/sec, 265 secs
lola: 8505406 markings, 12859411 edges, 24388 markings/sec, 270 secs
lola: 8649598 markings, 13100371 edges, 28838 markings/sec, 275 secs
lola: 8803101 markings, 13319023 edges, 30701 markings/sec, 280 secs
lola: 8956594 markings, 13543164 edges, 30699 markings/sec, 285 secs
lola: 9105860 markings, 13782077 edges, 29853 markings/sec, 290 secs
lola: 9279571 markings, 14024373 edges, 34742 markings/sec, 295 secs
lola: 9459161 markings, 14258386 edges, 35918 markings/sec, 300 secs
lola: 9632971 markings, 14490938 edges, 34762 markings/sec, 305 secs
lola: 9808643 markings, 14724922 edges, 35134 markings/sec, 310 secs
lola: 9983700 markings, 14958555 edges, 35011 markings/sec, 315 secs
lola: 10160274 markings, 15198116 edges, 35315 markings/sec, 320 secs
lola: 10334328 markings, 15438233 edges, 34811 markings/sec, 325 secs
lola: 10508497 markings, 15684069 edges, 34834 markings/sec, 330 secs
lola: 10678820 markings, 15943173 edges, 34065 markings/sec, 335 secs
lola: 10809058 markings, 16178589 edges, 26048 markings/sec, 340 secs
lola: 10934989 markings, 16400319 edges, 25186 markings/sec, 345 secs
lola: 11058873 markings, 16622643 edges, 24777 markings/sec, 350 secs
lola: 11184316 markings, 16851338 edges, 25089 markings/sec, 355 secs
lola: 11308223 markings, 17085619 edges, 24781 markings/sec, 360 secs
lola: 11440188 markings, 17339385 edges, 26393 markings/sec, 365 secs
lola: 11595838 markings, 17561413 edges, 31130 markings/sec, 370 secs
lola: 11750006 markings, 17789357 edges, 30834 markings/sec, 375 secs
lola: 11903164 markings, 18041296 edges, 30632 markings/sec, 380 secs
lola: 12085941 markings, 18280920 edges, 36555 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 775344 KB
lola: time consumption: 406 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_12)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 150130 markings, 207708 edges, 30026 markings/sec, 0 secs
lola: 304472 markings, 429710 edges, 30868 markings/sec, 5 secs
lola: 458363 markings, 658086 edges, 30778 markings/sec, 10 secs
lola: 608406 markings, 899346 edges, 30009 markings/sec, 15 secs
lola: 790127 markings, 1136705 edges, 36344 markings/sec, 20 secs
lola: 964740 markings, 1370545 edges, 34923 markings/sec, 25 secs
lola: 1142494 markings, 1606598 edges, 35551 markings/sec, 30 secs
lola: 1318433 markings, 1841267 edges, 35188 markings/sec, 35 secs
lola: 1496536 markings, 2078019 edges, 35621 markings/sec, 40 secs
lola: 1673214 markings, 2320841 edges, 35336 markings/sec, 45 secs
lola: 1849759 markings, 2565124 edges, 35309 markings/sec, 50 secs
lola: 2024357 markings, 2814770 edges, 34920 markings/sec, 55 secs
lola: 2184124 markings, 3080592 edges, 31953 markings/sec, 60 secs
lola: 2310359 markings, 3300968 edges, 25247 markings/sec, 65 secs
lola: 2432870 markings, 3521956 edges, 24502 markings/sec, 70 secs
lola: 2555998 markings, 3742432 edges, 24626 markings/sec, 75 secs
lola: 2680875 markings, 3972228 edges, 24975 markings/sec, 80 secs
lola: 2803358 markings, 4210990 edges, 24497 markings/sec, 85 secs
lola: 2946281 markings, 4453606 edges, 28585 markings/sec, 90 secs
lola: 3100527 markings, 4673317 edges, 30849 markings/sec, 95 secs
lola: 3255337 markings, 4898232 edges, 30962 markings/sec, 100 secs
lola: 3405289 markings, 5137624 edges, 29990 markings/sec, 105 secs
lola: 3579274 markings, 5381898 edges, 34797 markings/sec, 110 secs
lola: 3759102 markings, 5616179 edges, 35966 markings/sec, 115 secs
lola: 3933853 markings, 5849780 edges, 34950 markings/sec, 120 secs
lola: 4110033 markings, 6084341 edges, 35236 markings/sec, 125 secs
lola: 4285551 markings, 6318607 edges, 35104 markings/sec, 130 secs
lola: 4461503 markings, 6557404 edges, 35190 markings/sec, 135 secs
lola: 4632746 markings, 6793548 edges, 34249 markings/sec, 140 secs
lola: 4803833 markings, 7033986 edges, 34217 markings/sec, 145 secs
lola: 4974344 markings, 7291757 edges, 34102 markings/sec, 150 secs
lola: 5105322 markings, 7529025 edges, 26196 markings/sec, 155 secs
lola: 5226664 markings, 7743701 edges, 24268 markings/sec, 160 secs
lola: 5348386 markings, 7958949 edges, 24344 markings/sec, 165 secs
lola: 5469550 markings, 8180209 edges, 24233 markings/sec, 170 secs
lola: 5589546 markings, 8405422 edges, 23999 markings/sec, 175 secs
lola: 5710794 markings, 8655497 edges, 24250 markings/sec, 180 secs
lola: 5862850 markings, 8869804 edges, 30411 markings/sec, 185 secs
lola: 6015911 markings, 9087800 edges, 30612 markings/sec, 190 secs
lola: 6164962 markings, 9310707 edges, 29810 markings/sec, 195 secs
lola: 6321287 markings, 9556980 edges, 31265 markings/sec, 200 secs
lola: 6495206 markings, 9787089 edges, 34784 markings/sec, 205 secs
lola: 6667665 markings, 10016060 edges, 34492 markings/sec, 210 secs
lola: 6840364 markings, 10246232 edges, 34540 markings/sec, 215 secs
lola: 7012569 markings, 10475966 edges, 34441 markings/sec, 220 secs
lola: 7184440 markings, 10705469 edges, 34374 markings/sec, 225 secs
lola: 7359499 markings, 10942999 edges, 35012 markings/sec, 230 secs
lola: 7531449 markings, 11181364 edges, 34390 markings/sec, 235 secs
lola: 7700410 markings, 11423309 edges, 33792 markings/sec, 240 secs
lola: 7861869 markings, 11686130 edges, 32292 markings/sec, 245 secs
lola: 7984569 markings, 11901791 edges, 24540 markings/sec, 250 secs
lola: 8105413 markings, 12116174 edges, 24169 markings/sec, 255 secs
lola: 8225667 markings, 12331983 edges, 24051 markings/sec, 260 secs
lola: 8347858 markings, 12553710 edges, 24438 markings/sec, 265 secs
lola: 8468207 markings, 12783073 edges, 24070 markings/sec, 270 secs
lola: 8597529 markings, 13027894 edges, 25864 markings/sec, 275 secs
lola: 8749160 markings, 13241933 edges, 30326 markings/sec, 280 secs
lola: 8899687 markings, 13458921 edges, 30105 markings/sec, 285 secs
lola: 9048259 markings, 13684483 edges, 29714 markings/sec, 290 secs
lola: 9206464 markings, 13928298 edges, 31641 markings/sec, 295 secs
lola: 9382240 markings, 14157758 edges, 35155 markings/sec, 300 secs
lola: 9556071 markings, 14387061 edges, 34766 markings/sec, 305 secs
lola: 9730076 markings, 14616511 edges, 34801 markings/sec, 310 secs
lola: 9901580 markings, 14846125 edges, 34301 markings/sec, 315 secs
lola: 10069130 markings, 15074758 edges, 33510 markings/sec, 320 secs
lola: 10244374 markings, 15312198 edges, 35049 markings/sec, 325 secs
lola: 10414685 markings, 15550786 edges, 34062 markings/sec, 330 secs
lola: 10584633 markings, 15794546 edges, 33990 markings/sec, 335 secs
lola: 10736490 markings, 16051669 edges, 30371 markings/sec, 340 secs
lola: 10859856 markings, 16265909 edges, 24673 markings/sec, 345 secs
lola: 10979407 markings, 16480800 edges, 23910 markings/sec, 350 secs
lola: 11098765 markings, 16695627 edges, 23872 markings/sec, 355 secs
lola: 11219873 markings, 16918115 edges, 24222 markings/sec, 360 secs
lola: 11340387 markings, 17149642 edges, 24103 markings/sec, 365 secs
lola: 11478113 markings, 17394054 edges, 27545 markings/sec, 370 secs
lola: 11632985 markings, 17615835 edges, 30974 markings/sec, 375 secs
lola: 11786076 markings, 17843990 edges, 30618 markings/sec, 380 secs
lola: 11945295 markings, 18095088 edges, 31844 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 766448 KB
lola: time consumption: 801 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_3)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 158162 markings, 220168 edges, 31632 markings/sec, 0 secs
lola: 316424 markings, 445806 edges, 31652 markings/sec, 5 secs
lola: 471731 markings, 678011 edges, 31061 markings/sec, 10 secs
lola: 635604 markings, 934131 edges, 32775 markings/sec, 15 secs
lola: 813671 markings, 1171301 edges, 35613 markings/sec, 20 secs
lola: 999310 markings, 1412793 edges, 37128 markings/sec, 25 secs
lola: 1178170 markings, 1650779 edges, 35772 markings/sec, 30 secs
lola: 1356935 markings, 1890188 edges, 35753 markings/sec, 35 secs
lola: 1534062 markings, 2130036 edges, 35425 markings/sec, 40 secs
lola: 1712802 markings, 2375764 edges, 35748 markings/sec, 45 secs
lola: 1891794 markings, 2625307 edges, 35798 markings/sec, 50 secs
lola: 2069365 markings, 2883329 edges, 35514 markings/sec, 55 secs
lola: 2218876 markings, 3141722 edges, 29902 markings/sec, 60 secs
lola: 2345749 markings, 3365313 edges, 25375 markings/sec, 65 secs
lola: 2471738 markings, 3588992 edges, 25198 markings/sec, 70 secs
lola: 2596627 markings, 3816140 edges, 24978 markings/sec, 75 secs
lola: 2722027 markings, 4051446 edges, 25080 markings/sec, 80 secs
lola: 2845078 markings, 4304931 edges, 24610 markings/sec, 85 secs
lola: 3003684 markings, 4534315 edges, 31721 markings/sec, 90 secs
lola: 3159172 markings, 4757697 edges, 31098 markings/sec, 95 secs
lola: 3314949 markings, 4989001 edges, 31155 markings/sec, 100 secs
lola: 3477468 markings, 5243543 edges, 32504 markings/sec, 105 secs
lola: 3648192 markings, 5470223 edges, 34145 markings/sec, 110 secs
lola: 3827366 markings, 5706470 edges, 35835 markings/sec, 115 secs
lola: 4003926 markings, 5942306 edges, 35312 markings/sec, 120 secs
lola: 4181650 markings, 6179236 edges, 35545 markings/sec, 125 secs
lola: 4358488 markings, 6417087 edges, 35368 markings/sec, 130 secs
lola: 4537192 markings, 6661196 edges, 35741 markings/sec, 135 secs
lola: 4714274 markings, 6907638 edges, 35416 markings/sec, 140 secs
lola: 4889728 markings, 7159631 edges, 35091 markings/sec, 145 secs
lola: 5044334 markings, 7421947 edges, 30921 markings/sec, 150 secs
lola: 5170445 markings, 7643825 edges, 25222 markings/sec, 155 secs
lola: 5296426 markings, 7865279 edges, 25196 markings/sec, 160 secs
lola: 5418579 markings, 8088127 edges, 24431 markings/sec, 165 secs
lola: 5544509 markings, 8320006 edges, 25186 markings/sec, 170 secs
lola: 5666824 markings, 8561779 edges, 24463 markings/sec, 175 secs
lola: 5814303 markings, 8801296 edges, 29496 markings/sec, 180 secs
lola: 5970565 markings, 9023419 edges, 31252 markings/sec, 185 secs
lola: 6125387 markings, 9250604 edges, 30964 markings/sec, 190 secs
lola: 6275270 markings, 9500558 edges, 29977 markings/sec, 195 secs
lola: 6457253 markings, 9737827 edges, 36397 markings/sec, 200 secs
lola: 6637415 markings, 9975257 edges, 36032 markings/sec, 205 secs
lola: 6817007 markings, 10211682 edges, 35918 markings/sec, 210 secs
lola: 6994507 markings, 10448450 edges, 35500 markings/sec, 215 secs
lola: 7167451 markings, 10684100 edges, 34589 markings/sec, 220 secs
lola: 7347210 markings, 10928028 edges, 35952 markings/sec, 225 secs
lola: 7525764 markings, 11172967 edges, 35711 markings/sec, 230 secs
lola: 7699845 markings, 11422608 edges, 34816 markings/sec, 235 secs
lola: 7865846 markings, 11692117 edges, 33200 markings/sec, 240 secs
lola: 7991072 markings, 11913472 edges, 25045 markings/sec, 245 secs
lola: 8116976 markings, 12134667 edges, 25181 markings/sec, 250 secs
lola: 8240627 markings, 12357324 edges, 24730 markings/sec, 255 secs
lola: 8365186 markings, 12586107 edges, 24912 markings/sec, 260 secs
lola: 8488116 markings, 12823892 edges, 24586 markings/sec, 265 secs
lola: 8628101 markings, 13071064 edges, 27997 markings/sec, 270 secs
lola: 8784587 markings, 13292227 edges, 31297 markings/sec, 275 secs
lola: 8939341 markings, 13517303 edges, 30951 markings/sec, 280 secs
lola: 9091562 markings, 13755667 edges, 30444 markings/sec, 285 secs
lola: 9266191 markings, 14004516 edges, 34926 markings/sec, 290 secs
lola: 9443324 markings, 14239626 edges, 35427 markings/sec, 295 secs
lola: 9616890 markings, 14467574 edges, 34713 markings/sec, 300 secs
lola: 9795880 markings, 14705692 edges, 35798 markings/sec, 305 secs
lola: 9970496 markings, 14941829 edges, 34923 markings/sec, 310 secs
lola: 10149981 markings, 15184881 edges, 35897 markings/sec, 315 secs
lola: 10327078 markings, 15428569 edges, 35419 markings/sec, 320 secs
lola: 10503857 markings, 15677077 edges, 35356 markings/sec, 325 secs
lola: 10676007 markings, 15938141 edges, 34430 markings/sec, 330 secs
lola: 10807000 markings, 16175093 edges, 26199 markings/sec, 335 secs
lola: 10932594 markings, 16396720 edges, 25119 markings/sec, 340 secs
lola: 11056829 markings, 16619532 edges, 24847 markings/sec, 345 secs
lola: 11183104 markings, 16848608 edges, 25255 markings/sec, 350 secs
lola: 11307113 markings, 17083335 edges, 24802 markings/sec, 355 secs
lola: 11439248 markings, 17337746 edges, 26427 markings/sec, 360 secs
lola: 11595346 markings, 17560582 edges, 31220 markings/sec, 365 secs
lola: 11749360 markings, 17788289 edges, 30803 markings/sec, 370 secs
lola: 11902516 markings, 18040476 edges, 30631 markings/sec, 375 secs
lola: 12085659 markings, 18280467 edges, 36629 markings/sec, 380 secs
lola: 12267160 markings, 18520629 edges, 36300 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 784992 KB
lola: time consumption: 1196 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_E_1_PerformWork_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Schedule_Task_E_1_PerformWork_7)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 101615 markings, 139319 edges, 20323 markings/sec, 0 secs
lola: 257826 markings, 361521 edges, 31242 markings/sec, 5 secs
lola: 412452 markings, 588650 edges, 30925 markings/sec, 10 secs
lola: 564290 markings, 833115 edges, 30368 markings/sec, 15 secs
lola: 741782 markings, 1076327 edges, 35498 markings/sec, 20 secs
lola: 925674 markings, 1315189 edges, 36778 markings/sec, 25 secs
lola: 1101498 markings, 1550852 edges, 35165 markings/sec, 30 secs
lola: 1279295 markings, 1787738 edges, 35559 markings/sec, 35 secs
lola: 1456990 markings, 2025613 edges, 35539 markings/sec, 40 secs
lola: 1635685 markings, 2268904 edges, 35739 markings/sec, 45 secs
lola: 1811927 markings, 2513023 edges, 35248 markings/sec, 50 secs
lola: 1989317 markings, 2763620 edges, 35478 markings/sec, 55 secs
lola: 2157886 markings, 3036298 edges, 33714 markings/sec, 60 secs
lola: 2284918 markings, 3258295 edges, 25406 markings/sec, 65 secs
lola: 2409026 markings, 3479287 edges, 24822 markings/sec, 70 secs
lola: 2533043 markings, 3701350 edges, 24803 markings/sec, 75 secs
lola: 2657512 markings, 3929976 edges, 24894 markings/sec, 80 secs
lola: 2781664 markings, 4167642 edges, 24830 markings/sec, 85 secs
lola: 2919702 markings, 4416161 edges, 27608 markings/sec, 90 secs
lola: 3075424 markings, 4637111 edges, 31144 markings/sec, 95 secs
lola: 3231174 markings, 4862315 edges, 31150 markings/sec, 100 secs
lola: 3383354 markings, 5098623 edges, 30436 markings/sec, 105 secs
lola: 3557808 markings, 5349045 edges, 34891 markings/sec, 110 secs
lola: 3732131 markings, 5582928 edges, 34865 markings/sec, 115 secs
lola: 3914104 markings, 5820607 edges, 36395 markings/sec, 120 secs
lola: 4091479 markings, 6056285 edges, 35475 markings/sec, 125 secs
lola: 4264658 markings, 6291464 edges, 34636 markings/sec, 130 secs
lola: 4443168 markings, 6532421 edges, 35702 markings/sec, 135 secs
lola: 4620470 markings, 6775213 edges, 35460 markings/sec, 140 secs
lola: 4796092 markings, 7022871 edges, 35124 markings/sec, 145 secs
lola: 4968806 markings, 7282266 edges, 34543 markings/sec, 150 secs
lola: 5102955 markings, 7523403 edges, 26830 markings/sec, 155 secs
lola: 5226868 markings, 7743997 edges, 24783 markings/sec, 160 secs
lola: 5350917 markings, 7964552 edges, 24810 markings/sec, 165 secs
lola: 5474762 markings, 8190984 edges, 24769 markings/sec, 170 secs
lola: 5598300 markings, 8422928 edges, 24708 markings/sec, 175 secs
lola: 5725257 markings, 8676907 edges, 25391 markings/sec, 180 secs
lola: 5881507 markings, 8896974 edges, 31250 markings/sec, 185 secs
lola: 6036824 markings, 9119010 edges, 31063 markings/sec, 190 secs
lola: 6190441 markings, 9350219 edges, 30723 markings/sec, 195 secs
lola: 6347311 markings, 9594905 edges, 31374 markings/sec, 200 secs
lola: 6526669 markings, 9830149 edges, 35872 markings/sec, 205 secs
lola: 6706658 markings, 10066529 edges, 35998 markings/sec, 210 secs
lola: 6886074 markings, 10303568 edges, 35883 markings/sec, 215 secs
lola: 7060376 markings, 10538219 edges, 34860 markings/sec, 220 secs
lola: 7236837 markings, 10775672 edges, 35292 markings/sec, 225 secs
lola: 7412391 markings, 11017813 edges, 35111 markings/sec, 230 secs
lola: 7589243 markings, 11264125 edges, 35370 markings/sec, 235 secs
lola: 7764487 markings, 11518071 edges, 35049 markings/sec, 240 secs
lola: 7913389 markings, 11773842 edges, 29780 markings/sec, 245 secs
lola: 8038215 markings, 11993482 edges, 24965 markings/sec, 250 secs
lola: 8160314 markings, 12214234 edges, 24420 markings/sec, 255 secs
lola: 8284091 markings, 12438513 edges, 24755 markings/sec, 260 secs
lola: 8408893 markings, 12669950 edges, 24960 markings/sec, 265 secs
lola: 8530462 markings, 12913596 edges, 24314 markings/sec, 270 secs
lola: 8681743 markings, 13147540 edges, 30256 markings/sec, 275 secs
lola: 8837250 markings, 13368788 edges, 31101 markings/sec, 280 secs
lola: 8991995 markings, 13596524 edges, 30949 markings/sec, 285 secs
lola: 9144641 markings, 13846308 edges, 30529 markings/sec, 290 secs
lola: 9327507 markings, 14083161 edges, 36573 markings/sec, 295 secs
lola: 9501938 markings, 14317310 edges, 34886 markings/sec, 300 secs
lola: 9681610 markings, 14554005 edges, 35934 markings/sec, 305 secs
lola: 9857428 markings, 14789347 edges, 35164 markings/sec, 310 secs
lola: 10032895 markings, 15024714 edges, 35093 markings/sec, 315 secs
lola: 10212854 markings, 15268795 edges, 35992 markings/sec, 320 secs
lola: 10387272 markings, 15512175 edges, 34884 markings/sec, 325 secs
lola: 10561396 markings, 15761193 edges, 34825 markings/sec, 330 secs
lola: 10725226 markings, 16027944 edges, 32766 markings/sec, 335 secs
lola: 10849391 markings, 16248039 edges, 24833 markings/sec, 340 secs
lola: 10974058 markings, 16469072 edges, 24933 markings/sec, 345 secs
lola: 11095794 markings, 16690142 edges, 24347 markings/sec, 350 secs
lola: 11220060 markings, 16918466 edges, 24853 markings/sec, 355 secs
lola: 11343315 markings, 17156631 edges, 24651 markings/sec, 360 secs
lola: 11484819 markings, 17402434 edges, 28301 markings/sec, 365 secs
lola: 11639321 markings, 17625028 edges, 30900 markings/sec, 370 secs
lola: 11793084 markings, 17854808 edges, 30753 markings/sec, 375 secs
lola: 11953087 markings, 18107316 edges, 32001 markings/sec, 380 secs
lola: 12135065 markings, 18344714 edges, 36396 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 778420 KB
lola: time consumption: 1591 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_10_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_10_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 19 markings, 18 edges

FORMULA PolyORBNT-PT-S05J20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: 104105 markings, 244595 edges, 20821 markings/sec, 0 secs
lola: 240230 markings, 514979 edges, 27225 markings/sec, 5 secs
lola: 368484 markings, 777453 edges, 25651 markings/sec, 10 secs
lola: 498433 markings, 1037293 edges, 25990 markings/sec, 15 secs
lola: 635492 markings, 1290628 edges, 27412 markings/sec, 20 secs
lola: 773993 markings, 1542491 edges, 27700 markings/sec, 25 secs
lola: 912065 markings, 1794042 edges, 27614 markings/sec, 30 secs
lola: 1045856 markings, 2039175 edges, 26758 markings/sec, 35 secs
lola: 1183788 markings, 2290834 edges, 27586 markings/sec, 40 secs
lola: 1318658 markings, 2537918 edges, 26974 markings/sec, 45 secs
lola: 1456951 markings, 2790816 edges, 27659 markings/sec, 50 secs
lola: 1591786 markings, 3039038 edges, 26967 markings/sec, 55 secs
lola: 1727150 markings, 3287338 edges, 27073 markings/sec, 60 secs
lola: 1862903 markings, 3537353 edges, 27151 markings/sec, 65 secs
lola: 2000238 markings, 3791081 edges, 27467 markings/sec, 70 secs
lola: 2138346 markings, 4045588 edges, 27622 markings/sec, 75 secs
lola: 2273094 markings, 4296131 edges, 26950 markings/sec, 80 secs
lola: 2409196 markings, 4550038 edges, 27220 markings/sec, 85 secs
lola: 2544172 markings, 4804093 edges, 26995 markings/sec, 90 secs
lola: 2678740 markings, 5060449 edges, 26914 markings/sec, 95 secs
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 2805787 markings, 5319219 edges

FORMULA PolyORBNT-PT-S05J20-UpperBounds-1 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_1_7 + QueueJobB_1_8 + QueueJobB_1_9 + QueueJobB_1_10 + QueueJobB_1_11 + QueueJobB_1_12 + QueueJobB_1_13 + QueueJobB_1_14 + QueueJobB_1_15 + QueueJobB_1_16 + QueueJobB_1_17 + QueueJobB_1_18 + QueueJobB_1_19 + QueueJobB_1_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_1_7 + QueueJobB_1_8 + QueueJobB_1_9 + QueueJobB_1_10 + QueueJobB_1_11 + QueueJobB_1_12 + QueueJobB_1_13 + QueueJobB_1_14 + QueueJobB_1_15 + QueueJobB_1_16 + QueueJobB_1_17 + QueueJobB_1_18 + QueueJobB_1_19 + QueueJobB_1_20)
lola: processed formula length: 349
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 62437 markings, 114751 edges, 12487 markings/sec, 30 secs
lola: 123000 markings, 264470 edges, 12113 markings/sec, 35 secs
lola: 186917 markings, 397872 edges, 12783 markings/sec, 40 secs
lola: 248083 markings, 532989 edges, 12233 markings/sec, 45 secs
lola: 309395 markings, 676468 edges, 12262 markings/sec, 50 secs
lola: 371131 markings, 802268 edges, 12347 markings/sec, 55 secs
lola: 430369 markings, 947891 edges, 11848 markings/sec, 60 secs
lola: 491737 markings, 1081832 edges, 12274 markings/sec, 65 secs
lola: 552548 markings, 1211511 edges, 12162 markings/sec, 70 secs
lola: 611588 markings, 1359349 edges, 11808 markings/sec, 75 secs
lola: 672876 markings, 1491290 edges, 12258 markings/sec, 80 secs
lola: 733491 markings, 1621473 edges, 12123 markings/sec, 85 secs
lola: 792844 markings, 1765311 edges, 11871 markings/sec, 90 secs
lola: 852780 markings, 1905456 edges, 11987 markings/sec, 95 secs
lola: 913937 markings, 2037363 edges, 12231 markings/sec, 100 secs
lola: 973450 markings, 2173035 edges, 11903 markings/sec, 105 secs
lola: 1032563 markings, 2315017 edges, 11823 markings/sec, 110 secs
lola: 1091673 markings, 2458113 edges, 11822 markings/sec, 115 secs
lola: 1152139 markings, 2604157 edges, 12093 markings/sec, 120 secs
lola: 1213031 markings, 2745894 edges, 12178 markings/sec, 125 secs
lola: 1274167 markings, 2886658 edges, 12227 markings/sec, 130 secs
lola: 1333943 markings, 3031580 edges, 11955 markings/sec, 135 secs
lola: 1393603 markings, 3176437 edges, 11932 markings/sec, 140 secs
lola: 1453592 markings, 3320581 edges, 11998 markings/sec, 145 secs
lola: 1514580 markings, 3464309 edges, 12198 markings/sec, 150 secs
lola: 1575451 markings, 3608746 edges, 12174 markings/sec, 155 secs
lola: 1635163 markings, 3765562 edges, 11942 markings/sec, 160 secs
lola: 1695617 markings, 3914056 edges, 12091 markings/sec, 165 secs
lola: 1755368 markings, 4071611 edges, 11950 markings/sec, 170 secs
lola: 1815760 markings, 4221427 edges, 12078 markings/sec, 175 secs
lola: 1875350 markings, 4381078 edges, 11918 markings/sec, 180 secs
lola: 1934374 markings, 4548363 edges, 11805 markings/sec, 185 secs
lola: 1993524 markings, 4712239 edges, 11830 markings/sec, 190 secs
lola: 2051691 markings, 4890932 edges, 11633 markings/sec, 195 secs
lola: 2109342 markings, 5079764 edges, 11530 markings/sec, 200 secs
lola: 2163416 markings, 5317349 edges, 10815 markings/sec, 205 secs
lola: 2218303 markings, 5484283 edges, 10977 markings/sec, 210 secs
lola: 2272753 markings, 5646586 edges, 10890 markings/sec, 215 secs
lola: 2325997 markings, 5811855 edges, 10649 markings/sec, 220 secs
lola: 2376659 markings, 5970453 edges, 10132 markings/sec, 225 secs
lola: 2429524 markings, 6131954 edges, 10573 markings/sec, 230 secs
lola: 2482313 markings, 6296512 edges, 10558 markings/sec, 235 secs
lola: 2536084 markings, 6461783 edges, 10754 markings/sec, 240 secs
lola: 2589775 markings, 6634830 edges, 10738 markings/sec, 245 secs
lola: 2643137 markings, 6805763 edges, 10672 markings/sec, 250 secs
lola: 2697255 markings, 6984556 edges, 10824 markings/sec, 255 secs
lola: 2751128 markings, 7163085 edges, 10775 markings/sec, 260 secs
lola: 2804406 markings, 7352391 edges, 10656 markings/sec, 265 secs
lola: 2857597 markings, 7563634 edges, 10638 markings/sec, 270 secs
lola: 2921749 markings, 7685138 edges, 12830 markings/sec, 275 secs
lola: 2981145 markings, 7828622 edges, 11879 markings/sec, 280 secs
lola: 3042618 markings, 7964254 edges, 12295 markings/sec, 285 secs
lola: 3103574 markings, 8094467 edges, 12191 markings/sec, 290 secs
lola: 3163412 markings, 8239302 edges, 11968 markings/sec, 295 secs
lola: 3225022 markings, 8361213 edges, 12322 markings/sec, 300 secs
lola: 3283365 markings, 8503547 edges, 11669 markings/sec, 305 secs
lola: 3340799 markings, 8630655 edges, 11487 markings/sec, 310 secs
lola: 3400533 markings, 8758788 edges, 11947 markings/sec, 315 secs
lola: 3459063 markings, 8904221 edges, 11706 markings/sec, 320 secs
lola: 3519663 markings, 9034052 edges, 12120 markings/sec, 325 secs
lola: 3579228 markings, 9163711 edges, 11913 markings/sec, 330 secs
lola: 3637851 markings, 9307183 edges, 11725 markings/sec, 335 secs
lola: 3697757 markings, 9442959 edges, 11981 markings/sec, 340 secs
lola: 3758201 markings, 9572213 edges, 12089 markings/sec, 345 secs
lola: 3815911 markings, 9707966 edges, 11542 markings/sec, 350 secs
lola: 3874075 markings, 9849787 edges, 11633 markings/sec, 355 secs
lola: 3932438 markings, 9992782 edges, 11673 markings/sec, 360 secs
lola: 3993233 markings, 10130762 edges, 12159 markings/sec, 365 secs
lola: 4054132 markings, 10271725 edges, 12180 markings/sec, 370 secs
lola: 4114761 markings, 10412324 edges, 12126 markings/sec, 375 secs
lola: 4174091 markings, 10555356 edges, 11866 markings/sec, 380 secs
lola: 4230527 markings, 10690393 edges, 11287 markings/sec, 385 secs
lola: 4289465 markings, 10832338 edges, 11788 markings/sec, 390 secs
lola: 4348423 markings, 10981234 edges, 11792 markings/sec, 395 secs
lola: 4408936 markings, 11126415 edges, 12103 markings/sec, 400 secs
lola: 4469178 markings, 11270365 edges, 12048 markings/sec, 405 secs
lola: 4528523 markings, 11427104 edges, 11869 markings/sec, 410 secs
lola: 4588650 markings, 11574321 edges, 12025 markings/sec, 415 secs
lola: 4647559 markings, 11733049 edges, 11782 markings/sec, 420 secs
lola: 4706467 markings, 11890777 edges, 11782 markings/sec, 425 secs
lola: 4765751 markings, 12049344 edges, 11857 markings/sec, 430 secs
lola: 4824804 markings, 12207686 edges, 11811 markings/sec, 435 secs
lola: 4882800 markings, 12380336 edges, 11599 markings/sec, 440 secs
lola: 4939601 markings, 12565022 edges, 11360 markings/sec, 445 secs
lola: 4994605 markings, 12778813 edges, 11001 markings/sec, 450 secs
lola: 5047591 markings, 12972022 edges, 10597 markings/sec, 455 secs
lola: 5101411 markings, 13136034 edges, 10764 markings/sec, 460 secs
lola: 5154130 markings, 13293656 edges, 10544 markings/sec, 465 secs
lola: 5206454 markings, 13456408 edges, 10465 markings/sec, 470 secs
lola: 5258673 markings, 13618577 edges, 10444 markings/sec, 475 secs
lola: 5310979 markings, 13780362 edges, 10461 markings/sec, 480 secs
lola: 5363536 markings, 13942880 edges, 10511 markings/sec, 485 secs
lola: 5417549 markings, 14117041 edges, 10803 markings/sec, 490 secs
lola: 5469753 markings, 14282268 edges, 10441 markings/sec, 495 secs
lola: 5523671 markings, 14456784 edges, 10784 markings/sec, 500 secs
lola: 5577462 markings, 14634647 edges, 10758 markings/sec, 505 secs
lola: 5630608 markings, 14819641 edges, 10629 markings/sec, 510 secs
lola: 5682811 markings, 15015903 edges, 10441 markings/sec, 515 secs
lola: 5742133 markings, 15176025 edges, 11864 markings/sec, 520 secs
lola: 5801289 markings, 15321445 edges, 11831 markings/sec, 525 secs
lola: 5864303 markings, 15442609 edges, 12603 markings/sec, 530 secs
lola: 5922591 markings, 15589077 edges, 11658 markings/sec, 535 secs
lola: 5985809 markings, 15711327 edges, 12644 markings/sec, 540 secs
lola: 6043634 markings, 15850666 edges, 11565 markings/sec, 545 secs
lola: 6102896 markings, 15988044 edges, 11852 markings/sec, 550 secs
lola: 6163375 markings, 16111489 edges, 12096 markings/sec, 555 secs
lola: 6220819 markings, 16253479 edges, 11489 markings/sec, 560 secs
lola: 6281297 markings, 16383124 edges, 12096 markings/sec, 565 secs
lola: 6339953 markings, 16512820 edges, 11731 markings/sec, 570 secs
lola: 6397564 markings, 16655171 edges, 11522 markings/sec, 575 secs
lola: 6457276 markings, 16785969 edges, 11942 markings/sec, 580 secs
lola: 6516842 markings, 16912460 edges, 11913 markings/sec, 585 secs
lola: 6574954 markings, 17055026 edges, 11622 markings/sec, 590 secs
lola: 6632905 markings, 17196977 edges, 11590 markings/sec, 595 secs
lola: 6692891 markings, 17327696 edges, 11997 markings/sec, 600 secs
lola: 6752469 markings, 17456323 edges, 11916 markings/sec, 605 secs
lola: 6811036 markings, 17597600 edges, 11713 markings/sec, 610 secs
lola: 6871044 markings, 17740138 edges, 12002 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 4 unknown 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown 1
lola: memory consumption: 427652 KB
lola: time consumption: 2322 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20)
lola: processed formula length: 160
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges

FORMULA PolyORBNT-PT-S05J20-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_18_1 + Created... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_18_1 + Created... (shortened)
lola: processed formula length: 1947
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 61867 markings, 95011 edges, 12373 markings/sec, 30 secs
lola: 122729 markings, 199310 edges, 12172 markings/sec, 35 secs
lola: 182033 markings, 311210 edges, 11861 markings/sec, 40 secs
lola: 241111 markings, 407947 edges, 11816 markings/sec, 45 secs
lola: 299733 markings, 522500 edges, 11724 markings/sec, 50 secs
lola: 359271 markings, 619811 edges, 11908 markings/sec, 55 secs
lola: 416364 markings, 734165 edges, 11419 markings/sec, 60 secs
lola: 476326 markings, 830267 edges, 11992 markings/sec, 65 secs
lola: 534765 markings, 948085 edges, 11688 markings/sec, 70 secs
lola: 595270 markings, 1044887 edges, 12101 markings/sec, 75 secs
lola: 654334 markings, 1163496 edges, 11813 markings/sec, 80 secs
lola: 713746 markings, 1257153 edges, 11882 markings/sec, 85 secs
lola: 772178 markings, 1374987 edges, 11686 markings/sec, 90 secs
lola: 832030 markings, 1472689 edges, 11970 markings/sec, 95 secs
lola: 890600 markings, 1590709 edges, 11714 markings/sec, 100 secs
lola: 950879 markings, 1687234 edges, 12056 markings/sec, 105 secs
lola: 1009834 markings, 1805695 edges, 11791 markings/sec, 110 secs
lola: 1069071 markings, 1904403 edges, 11847 markings/sec, 115 secs
lola: 1127670 markings, 2018920 edges, 11720 markings/sec, 120 secs
lola: 1186491 markings, 2127654 edges, 11764 markings/sec, 125 secs
lola: 1246940 markings, 2235734 edges, 12090 markings/sec, 130 secs
lola: 1306567 markings, 2355089 edges, 11925 markings/sec, 135 secs
lola: 1365617 markings, 2456183 edges, 11810 markings/sec, 140 secs
lola: 1424425 markings, 2570084 edges, 11762 markings/sec, 145 secs
lola: 1482894 markings, 2687970 edges, 11694 markings/sec, 150 secs
lola: 1541840 markings, 2789797 edges, 11789 markings/sec, 155 secs
lola: 1600287 markings, 2904141 edges, 11689 markings/sec, 160 secs
lola: 1658438 markings, 3019861 edges, 11630 markings/sec, 165 secs
lola: 1716831 markings, 3126253 edges, 11679 markings/sec, 170 secs
lola: 1776609 markings, 3240525 edges, 11956 markings/sec, 175 secs
lola: 1835490 markings, 3357178 edges, 11776 markings/sec, 180 secs
lola: 1893641 markings, 3474634 edges, 11630 markings/sec, 185 secs
lola: 1952259 markings, 3592717 edges, 11724 markings/sec, 190 secs
lola: 2010732 markings, 3712352 edges, 11695 markings/sec, 195 secs
lola: 2069194 markings, 3824144 edges, 11692 markings/sec, 200 secs
lola: 2127866 markings, 3938744 edges, 11734 markings/sec, 205 secs
lola: 2185485 markings, 4059079 edges, 11524 markings/sec, 210 secs
lola: 2243427 markings, 4184130 edges, 11588 markings/sec, 215 secs
lola: 2301470 markings, 4303225 edges, 11609 markings/sec, 220 secs
lola: 2359529 markings, 4422351 edges, 11612 markings/sec, 225 secs
lola: 2417096 markings, 4546113 edges, 11513 markings/sec, 230 secs
lola: 2474436 markings, 4675648 edges, 11468 markings/sec, 235 secs
lola: 2532336 markings, 4803397 edges, 11580 markings/sec, 240 secs
lola: 2589568 markings, 4934578 edges, 11446 markings/sec, 245 secs
lola: 2646487 markings, 5070632 edges, 11384 markings/sec, 250 secs
lola: 2703090 markings, 5215938 edges, 11321 markings/sec, 255 secs
lola: 2759326 markings, 5369546 edges, 11247 markings/sec, 260 secs
lola: 2815004 markings, 5544296 edges, 11136 markings/sec, 265 secs
lola: 2870377 markings, 5734295 edges, 11075 markings/sec, 270 secs
lola: 2930888 markings, 5829366 edges, 12102 markings/sec, 275 secs
lola: 2989690 markings, 5949416 edges, 11760 markings/sec, 280 secs
lola: 3049333 markings, 6041611 edges, 11929 markings/sec, 285 secs
lola: 3107709 markings, 6146232 edges, 11675 markings/sec, 290 secs
lola: 3167790 markings, 6255590 edges, 12016 markings/sec, 295 secs
lola: 3227639 markings, 6362616 edges, 11970 markings/sec, 300 secs
lola: 3288202 markings, 6472132 edges, 12113 markings/sec, 305 secs
lola: 3348405 markings, 6577315 edges, 12041 markings/sec, 310 secs
lola: 3408280 markings, 6688179 edges, 11975 markings/sec, 315 secs
lola: 3467976 markings, 6789246 edges, 11939 markings/sec, 320 secs
lola: 3526681 markings, 6902128 edges, 11741 markings/sec, 325 secs
lola: 3585086 markings, 7003291 edges, 11681 markings/sec, 330 secs
lola: 3644489 markings, 7115310 edges, 11881 markings/sec, 335 secs
lola: 3703658 markings, 7227985 edges, 11834 markings/sec, 340 secs
lola: 3764008 markings, 7332426 edges, 12070 markings/sec, 345 secs
lola: 3823337 markings, 7451416 edges, 11866 markings/sec, 350 secs
lola: 3883389 markings, 7547617 edges, 12010 markings/sec, 355 secs
lola: 3942371 markings, 7666171 edges, 11796 markings/sec, 360 secs
lola: 4003009 markings, 7770183 edges, 12128 markings/sec, 365 secs
lola: 4062835 markings, 7886260 edges, 11965 markings/sec, 370 secs
lola: 4122041 markings, 8005087 edges, 11841 markings/sec, 375 secs
lola: 4182669 markings, 8107314 edges, 12126 markings/sec, 380 secs
lola: 4242534 markings, 8225210 edges, 11973 markings/sec, 385 secs
lola: 4302100 markings, 8344491 edges, 11913 markings/sec, 390 secs
lola: 4361918 markings, 8447456 edges, 11964 markings/sec, 395 secs
lola: 4421140 markings, 8562764 edges, 11844 markings/sec, 400 secs
lola: 4480299 markings, 8681514 edges, 11832 markings/sec, 405 secs
lola: 4539768 markings, 8802445 edges, 11894 markings/sec, 410 secs
lola: 4599816 markings, 8909225 edges, 12010 markings/sec, 415 secs
lola: 4659179 markings, 9026474 edges, 11873 markings/sec, 420 secs
lola: 4718203 markings, 9145050 edges, 11805 markings/sec, 425 secs
lola: 4777286 markings, 9263725 edges, 11817 markings/sec, 430 secs
lola: 4836072 markings, 9383776 edges, 11757 markings/sec, 435 secs
lola: 4894356 markings, 9501413 edges, 11657 markings/sec, 440 secs
lola: 4952627 markings, 9620801 edges, 11654 markings/sec, 445 secs
lola: 5011133 markings, 9745749 edges, 11701 markings/sec, 450 secs
lola: 5069266 markings, 9878105 edges, 11627 markings/sec, 455 secs
lola: 5127623 markings, 9997596 edges, 11671 markings/sec, 460 secs
lola: 5185792 markings, 10122137 edges, 11634 markings/sec, 465 secs
lola: 5243806 markings, 10256094 edges, 11603 markings/sec, 470 secs
lola: 5301239 markings, 10391060 edges, 11487 markings/sec, 475 secs
lola: 5358697 markings, 10527828 edges, 11492 markings/sec, 480 secs
lola: 5416037 markings, 10678788 edges, 11468 markings/sec, 485 secs
lola: 5473036 markings, 10830400 edges, 11400 markings/sec, 490 secs
lola: 5528733 markings, 11010464 edges, 11139 markings/sec, 495 secs
lola: 5583767 markings, 11194762 edges, 11007 markings/sec, 500 secs
lola: 5642467 markings, 11289258 edges, 11740 markings/sec, 505 secs
lola: 5700384 markings, 11406399 edges, 11583 markings/sec, 510 secs
lola: 5759929 markings, 11500245 edges, 11909 markings/sec, 515 secs
lola: 5818198 markings, 11619577 edges, 11654 markings/sec, 520 secs
lola: 5878090 markings, 11712913 edges, 11978 markings/sec, 525 secs
lola: 5936934 markings, 11819089 edges, 11769 markings/sec, 530 secs
lola: 5996143 markings, 11925575 edges, 11842 markings/sec, 535 secs
lola: 6055020 markings, 12032628 edges, 11775 markings/sec, 540 secs
lola: 6113343 markings, 12137992 edges, 11665 markings/sec, 545 secs
lola: 6171606 markings, 12240707 edges, 11653 markings/sec, 550 secs
lola: 6230661 markings, 12350519 edges, 11811 markings/sec, 555 secs
lola: 6289388 markings, 12457398 edges, 11745 markings/sec, 560 secs
lola: 6348463 markings, 12563698 edges, 11815 markings/sec, 565 secs
lola: 6406723 markings, 12676987 edges, 11652 markings/sec, 570 secs
lola: 6464479 markings, 12774593 edges, 11551 markings/sec, 575 secs
lola: 6522154 markings, 12891455 edges, 11535 markings/sec, 580 secs
lola: 6580829 markings, 12989416 edges, 11735 markings/sec, 585 secs
lola: 6639017 markings, 13103405 edges, 11638 markings/sec, 590 secs
lola: 6698142 markings, 13209015 edges, 11825 markings/sec, 595 secs
lola: 6756749 markings, 13318269 edges, 11721 markings/sec, 600 secs
lola: 6812186 markings, 13430510 edges, 11087 markings/sec, 605 secs
lola: 6871197 markings, 13530669 edges, 11802 markings/sec, 610 secs
lola: 6929182 markings, 13644385 edges, 11597 markings/sec, 615 secs
lola: 6986854 markings, 13761249 edges, 11534 markings/sec, 620 secs
lola: 7044958 markings, 13862012 edges, 11621 markings/sec, 625 secs
lola: 7102465 markings, 13974011 edges, 11501 markings/sec, 630 secs
lola: 7159977 markings, 14090030 edges, 11502 markings/sec, 635 secs
lola: 7218261 markings, 14209414 edges, 11657 markings/sec, 640 secs
lola: 7276520 markings, 14308619 edges, 11652 markings/sec, 645 secs
lola: 7334510 markings, 14424146 edges, 11598 markings/sec, 650 secs
lola: 7392646 markings, 14541587 edges, 11627 markings/sec, 655 secs
lola: 7450744 markings, 14658975 edges, 11620 markings/sec, 660 secs
lola: 7508546 markings, 14776023 edges, 11560 markings/sec, 665 secs
lola: 7566430 markings, 14893319 edges, 11577 markings/sec, 670 secs
lola: 7623633 markings, 15011158 edges, 11441 markings/sec, 675 secs
lola: 7681319 markings, 15129796 edges, 11537 markings/sec, 680 secs
lola: 7738956 markings, 15248367 edges, 11527 markings/sec, 685 secs
lola: 7796189 markings, 15373461 edges, 11447 markings/sec, 690 secs
lola: 7852730 markings, 15500957 edges, 11308 markings/sec, 695 secs
lola: 7909981 markings, 15619514 edges, 11450 markings/sec, 700 secs
lola: 7967164 markings, 15754170 edges, 11437 markings/sec, 705 secs
lola: 8023765 markings, 15881265 edges, 11320 markings/sec, 710 secs
lola: 8079904 markings, 16019058 edges, 11228 markings/sec, 715 secs
lola: 8136160 markings, 16156844 edges, 11251 markings/sec, 720 secs
lola: 8191415 markings, 16315317 edges, 11051 markings/sec, 725 secs
lola: 8246532 markings, 16485495 edges, 11023 markings/sec, 730 secs
lola: 8301119 markings, 16668739 edges, 10917 markings/sec, 735 secs
lola: 8360554 markings, 16765951 edges, 11887 markings/sec, 740 secs
lola: 8418980 markings, 16881977 edges, 11685 markings/sec, 745 secs
lola: 8477731 markings, 16978297 edges, 11750 markings/sec, 750 secs
lola: 8535661 markings, 17091972 edges, 11586 markings/sec, 755 secs
lola: 8594436 markings, 17188311 edges, 11755 markings/sec, 760 secs
lola: 8652284 markings, 17303619 edges, 11570 markings/sec, 765 secs
lola: 8710990 markings, 17399873 edges, 11741 markings/sec, 770 secs
lola: 8768886 markings, 17515243 edges, 11579 markings/sec, 775 secs
lola: 8827457 markings, 17613107 edges, 11714 markings/sec, 780 secs
lola: 8885225 markings, 17726551 edges, 11554 markings/sec, 785 secs
lola: 8943515 markings, 17824043 edges, 11658 markings/sec, 790 secs
lola: 9001180 markings, 17935613 edges, 11533 markings/sec, 795 secs
lola: 9059083 markings, 18039655 edges, 11581 markings/sec, 800 secs
lola: 9117096 markings, 18148132 edges, 11603 markings/sec, 805 secs
lola: 9174666 markings, 18264846 edges, 11514 markings/sec, 810 secs
lola: 9233329 markings, 18362800 edges, 11733 markings/sec, 815 secs
lola: 9291347 markings, 18476590 edges, 11604 markings/sec, 820 secs
lola: 9348839 markings, 18594957 edges, 11498 markings/sec, 825 secs
lola: 9407733 markings, 18691475 edges, 11779 markings/sec, 830 secs
lola: 9465634 markings, 18806860 edges, 11580 markings/sec, 835 secs
lola: 9523226 markings, 18923611 edges, 11518 markings/sec, 840 secs
lola: 9581177 markings, 19024171 edges, 11590 markings/sec, 845 secs
lola: 9638538 markings, 19137107 edges, 11472 markings/sec, 850 secs
lola: 9695688 markings, 19253293 edges, 11430 markings/sec, 855 secs
lola: 9753098 markings, 19369831 edges, 11482 markings/sec, 860 secs
lola: 9810732 markings, 19477023 edges, 11527 markings/sec, 865 secs
lola: 9868377 markings, 19588571 edges, 11529 markings/sec, 870 secs
lola: 9926053 markings, 19703669 edges, 11535 markings/sec, 875 secs
lola: 9983729 markings, 19820543 edges, 11535 markings/sec, 880 secs
lola: 10041541 markings, 19937560 edges, 11562 markings/sec, 885 secs
lola: 10098631 markings, 20057221 edges, 11418 markings/sec, 890 secs
lola: 10155515 markings, 20176566 edges, 11377 markings/sec, 895 secs
lola: 10212478 markings, 20296039 edges, 11393 markings/sec, 900 secs
lola: 10269258 markings, 20419608 edges, 11356 markings/sec, 905 secs
lola: 10326477 markings, 20541184 edges, 11444 markings/sec, 910 secs
lola: 10383485 markings, 20673838 edges, 11402 markings/sec, 915 secs
lola: 10440107 markings, 20801683 edges, 11324 markings/sec, 920 secs
lola: 10496385 markings, 20935157 edges, 11256 markings/sec, 925 secs
lola: 10552427 markings, 21076228 edges, 11208 markings/sec, 930 secs
lola: 10608444 markings, 21222534 edges, 11203 markings/sec, 935 secs
lola: 10663680 markings, 21384481 edges, 11047 markings/sec, 940 secs
lola: 10716626 markings, 21592398 edges, 10589 markings/sec, 945 secs
lola: 10775767 markings, 21702352 edges, 11828 markings/sec, 950 secs
lola: 10834485 markings, 21810960 edges, 11744 markings/sec, 955 secs
lola: 10893487 markings, 21915429 edges, 11800 markings/sec, 960 secs
lola: 10952088 markings, 22022113 edges, 11720 markings/sec, 965 secs
lola: 11010957 markings, 22126406 edges, 11774 markings/sec, 970 secs
lola: 11069408 markings, 22232908 edges, 11690 markings/sec, 975 secs
lola: 11128593 markings, 22341128 edges, 11837 markings/sec, 980 secs
lola: 11187021 markings, 22458967 edges, 11686 markings/sec, 985 secs
lola: 11246193 markings, 22555819 edges, 11834 markings/sec, 990 secs
lola: 11304572 markings, 22671811 edges, 11676 markings/sec, 995 secs
lola: 11364204 markings, 22771997 edges, 11926 markings/sec, 1000 secs
lola: 11422918 markings, 22885671 edges, 11743 markings/sec, 1005 secs
lola: 11481220 markings, 22997265 edges, 11660 markings/sec, 1010 secs
lola: 11540394 markings, 23101956 edges, 11835 markings/sec, 1015 secs
lola: 11598825 markings, 23218009 edges, 11686 markings/sec, 1020 secs
lola: 11656809 markings, 23318613 edges, 11597 markings/sec, 1025 secs
lola: 11713720 markings, 23429208 edges, 11382 markings/sec, 1030 secs
lola: 11772298 markings, 23547236 edges, 11716 markings/sec, 1035 secs
lola: 11831077 markings, 23650632 edges, 11756 markings/sec, 1040 secs
lola: 11889716 markings, 23763424 edges, 11728 markings/sec, 1045 secs
lola: 11948159 markings, 23879529 edges, 11689 markings/sec, 1050 secs
lola: 12006399 markings, 23998844 edges, 11648 markings/sec, 1055 secs
lola: 12064732 markings, 24103456 edges, 11667 markings/sec, 1060 secs
lola: 12122567 markings, 24216994 edges, 11567 markings/sec, 1065 secs
lola: 12180312 markings, 24332557 edges, 11549 markings/sec, 1070 secs
lola: 12238080 markings, 24450920 edges, 11554 markings/sec, 1075 secs
lola: 12296283 markings, 24566709 edges, 11641 markings/sec, 1080 secs
lola: 12354567 markings, 24686084 edges, 11657 markings/sec, 1085 secs
lola: 12412524 markings, 24803310 edges, 11591 markings/sec, 1090 secs
lola: 12470007 markings, 24923459 edges, 11497 markings/sec, 1095 secs
lola: 12527109 markings, 25046614 edges, 11420 markings/sec, 1100 secs
lola: 12584191 markings, 25172353 edges, 11416 markings/sec, 1105 secs
lola: 12641652 markings, 25292447 edges, 11492 markings/sec, 1110 secs
lola: 12698997 markings, 25427309 edges, 11469 markings/sec, 1115 secs
lola: 12756311 markings, 25549003 edges, 11463 markings/sec, 1120 secs
lola: 12813051 markings, 25683080 edges, 11348 markings/sec, 1125 secs
lola: 12868923 markings, 25829186 edges, 11174 markings/sec, 1130 secs
lola: 12925930 markings, 25968909 edges, 11401 markings/sec, 1135 secs
lola: 12981618 markings, 26137549 edges, 11138 markings/sec, 1140 secs
lola: 13035814 markings, 26333994 edges, 10839 markings/sec, 1145 secs
lola: 13094024 markings, 26461115 edges, 11642 markings/sec, 1150 secs
lola: 13152732 markings, 26562656 edges, 11742 markings/sec, 1155 secs
lola: 13211634 markings, 26672271 edges, 11780 markings/sec, 1160 secs
lola: 13270568 markings, 26772329 edges, 11787 markings/sec, 1165 secs
lola: 13328959 markings, 26884824 edges, 11678 markings/sec, 1170 secs
lola: 13387370 markings, 26984244 edges, 11682 markings/sec, 1175 secs
lola: 13446129 markings, 27097188 edges, 11752 markings/sec, 1180 secs
lola: 13504909 markings, 27202334 edges, 11756 markings/sec, 1185 secs
lola: 13563726 markings, 27310110 edges, 11763 markings/sec, 1190 secs
lola: 13621906 markings, 27419752 edges, 11636 markings/sec, 1195 secs
lola: 13681933 markings, 27525547 edges, 12005 markings/sec, 1200 secs
lola: 13740924 markings, 27644088 edges, 11798 markings/sec, 1205 secs
lola: 13799775 markings, 27742293 edges, 11770 markings/sec, 1210 secs
lola: 13858293 markings, 27857803 edges, 11704 markings/sec, 1215 secs
lola: 13916919 markings, 27963427 edges, 11725 markings/sec, 1220 secs
lola: 13976582 markings, 28074009 edges, 11933 markings/sec, 1225 secs
lola: 14035708 markings, 28192721 edges, 11825 markings/sec, 1230 secs
lola: 14094680 markings, 28301655 edges, 11794 markings/sec, 1235 secs
lola: 14153322 markings, 28409179 edges, 11728 markings/sec, 1240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 4 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown 1
lola: memory consumption: 892244 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_9)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: unknown 4 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown 1
lola:
preliminary result: unknown 4 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 4 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown 1
lola: memory consumption: 20828 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 4 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown 1
lola: memory consumption: 20828 KB
lola: time consumption: 3570 seconds

BK_STOP 1527214673777

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

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="PolyORBNT-PT-S05J20"
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"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S05J20.tgz
mv PolyORBNT-PT-S05J20 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBNT-PT-S05J20, 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 r124-smll-152673527200331"
echo "====================================================================="
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
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 ;