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 3.5M
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 56K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 170K 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 21K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 55K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 40K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K 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 56K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 191K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K 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 2.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBNT-PT-S05J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527200359
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527244422493

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J80 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J80 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J80 @ 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: 3539/65536 symbol table entries, 197 collisions
lola: preprocessing...
lola: Size of bit vector: 38048
lola: finding significant places
lola: 1189 places, 2350 transitions, 1007 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J80-UpperBounds.task
lola: MAX(NotifyEventEndOfCheckSourcesE_1) : 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 + QueueJobB_1_21 + QueueJobB_1_22 + QueueJobB_1_23 + QueueJobB_1_24 + QueueJobB_1_25 + QueueJobB_1_26 + QueueJobB_1_27 + QueueJobB_1_28 + QueueJobB_1_29 + QueueJobB_1_30 + QueueJobB_1_31 + QueueJobB_1_32 + QueueJobB_1_33 + QueueJobB_1_34 + QueueJobB_1_35 + QueueJobB_1_36 + QueueJobB_1_37 + QueueJobB_1_38 + QueueJobB_1_39 + QueueJobB_1_40 + QueueJobB_1_41 + QueueJobB_1_42 + QueueJobB_1_43 + QueueJobB_1_44 + QueueJobB_1_45 + QueueJobB_1_46 + QueueJobB_1_47 + QueueJobB_1_48 + QueueJobB_1_49 + QueueJobB_1_50 + QueueJobB_1_51 + QueueJobB_1_52 + QueueJobB_1_53 + QueueJobB_1_54 + QueueJobB_1_55 + QueueJobB_1_56 + QueueJobB_1_57 + QueueJobB_1_58 + QueueJobB_1_59 + QueueJobB_1_60 + QueueJobB_1_61 + QueueJobB_1_62 + QueueJobB_1_63 + QueueJobB_1_64 + QueueJobB_1_65 + QueueJobB_1_66 + QueueJobB_1_67 + QueueJobB_1_68 + QueueJobB_1_69 + QueueJobB_1_70 + QueueJobB_1_71 + QueueJobB_1_72 + QueueJobB_1_73 + QueueJobB_1_74 + QueueJobB_1_75 + QueueJobB_1_76 + QueueJobB_1_77 + QueueJobB_1_78 + QueueJobB_1_79 + QueueJobB_1_80) : MAX(block) : MAX(place_787_1) : MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Work_B_1_18 + Perform_Work_B_1_19 + Perform_Work_B_1_20 + Perform_Work_B_1_21 + Perform_Work_B_1_22 + Perform_Work_B_1_23 + Perform_Work_B_1_24 + Perform_Work_B_1_25 + Perform_Work_B_1_26 + Perform_Work_B_1_27 + Perform_Work_B_1_28 + Perform_Work_B_1_29 + Perform_Work_B_1_30 + Perform_Work_B_1_31 + Perform_Work_B_1_32 + Perform_Work_B_1_33 + Perform_Work_B_1_34 + Perform_Work_B_1_35 + Perform_Work_B_1_36 + Perform_Work_B_1_37 + Perform_Work_B_1_38 + Perform_Work_B_1_39 + Perform_Work_B_1_40 + Perform_Work_B_1_41 + Perform_Work_B_1_42 + Perform_Work_B_1_43 + Perform_Work_B_1_44 + Perform_Work_B_1_45 + Perform_Work_B_1_46 + Perform_Work_B_1_47 + Perform_Work_B_1_48 + Perform_Work_B_1_49 + Perform_Work_B_1_50 + Perform_Work_B_1_51 + Perform_Work_B_1_52 + Perform_Work_B_1_53 + Perform_Work_B_1_54 + Perform_Work_B_1_55 + Perform_Work_B_1_56 + Perform_Work_B_1_57 + Perform_Work_B_1_58 + Perform_Work_B_1_59 + Perform_Work_B_1_60 + Perform_Work_B_1_61 + Perform_Work_B_1_62 + Perform_Work_B_1_63 + Perform_Work_B_1_64 + Perform_Work_B_1_65 + Perform_Work_B_1_66 + Perform_Work_B_1_67 + Perform_Work_B_1_68 + Perform_Work_B_1_69 + Perform_Work_B_1_70 + Perform_Work_B_1_71 + Perform_Work_B_1_72 + Perform_Work_B_1_73 + Perform_Work_B_1_74 + Perform_Work_B_1_75 + Perform_Work_B_1_76 + Perform_Work_B_1_77 + Perform_Work_B_1_78 + Perform_Work_B_1_79 + Perform_Work_B_1_80) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40 + FetchJobE_1_41 + FetchJobE_1_42 + FetchJobE_1_43 + FetchJobE_1_44 + FetchJobE_1_45 + FetchJobE_1_46 + FetchJobE_1_47 + FetchJobE_1_48 + FetchJobE_1_49 + FetchJobE_1_50 + FetchJobE_1_51 + FetchJobE_1_52 + FetchJobE_1_53 + FetchJobE_1_54 + FetchJobE_1_55 + FetchJobE_1_56 + FetchJobE_1_57 + FetchJobE_1_58 + FetchJobE_1_59 + FetchJobE_1_60 + FetchJobE_1_61 + FetchJobE_1_62 + FetchJobE_1_63 + FetchJobE_1_64 + FetchJobE_1_65 + FetchJobE_1_66 + FetchJobE_1_67 + FetchJobE_1_68 + FetchJobE_1_69 + FetchJobE_1_70 + FetchJobE_1_71 + FetchJobE_1_72 + FetchJobE_1_73 + FetchJobE_1_74 + FetchJobE_1_75 + FetchJobE_1_76 + FetchJobE_1_77 + FetchJobE_1_78 + FetchJobE_1_79 + FetchJobE_1_80) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5) : MAX(place_787_1) : MAX(CreatedJobs_80_5) : MAX(Perform_Work_B_1_30) : MAX(Perform_Work_B_1_62) : MAX(CreatedJobs_30_2) : MAX(QueueJobB_1_36) : MAX(f1_70) : MAX(NotifyEventJobQueuedB_1_27) : MAX(NotifyEventJobQueuedB_1_63)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 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-S05J80-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-S05J80-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(block)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(block)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-2 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_787_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 3 markings, 2 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_787_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 3 markings, 2 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_80_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_80_5)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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-S05J80-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_30)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 44894 markings, 51248 edges, 8979 markings/sec, 30 secs
lola: 89487 markings, 106306 edges, 8919 markings/sec, 35 secs
lola: 140831 markings, 174416 edges, 10269 markings/sec, 40 secs
lola: 195000 markings, 240753 edges, 10834 markings/sec, 45 secs
lola: 249905 markings, 308900 edges, 10981 markings/sec, 50 secs
lola: 304224 markings, 377877 edges, 10864 markings/sec, 55 secs
lola: 356482 markings, 450420 edges, 10452 markings/sec, 60 secs
lola: 390873 markings, 508112 edges, 6878 markings/sec, 65 secs
lola: 424415 markings, 562646 edges, 6708 markings/sec, 70 secs
lola: 458308 markings, 619251 edges, 6779 markings/sec, 75 secs
lola: 491253 markings, 679464 edges, 6589 markings/sec, 80 secs
lola: 532900 markings, 735881 edges, 8329 markings/sec, 85 secs
lola: 576625 markings, 788370 edges, 8745 markings/sec, 90 secs
lola: 624712 markings, 853550 edges, 9617 markings/sec, 95 secs
lola: 677166 markings, 917631 edges, 10491 markings/sec, 100 secs
lola: 730852 markings, 983979 edges, 10737 markings/sec, 105 secs
lola: 784751 markings, 1051875 edges, 10780 markings/sec, 110 secs
lola: 836567 markings, 1120272 edges, 10363 markings/sec, 115 secs
lola: 876075 markings, 1184375 edges, 7902 markings/sec, 120 secs
lola: 908819 markings, 1237248 edges, 6549 markings/sec, 125 secs
lola: 942532 markings, 1292842 edges, 6743 markings/sec, 130 secs
lola: 975430 markings, 1350052 edges, 6580 markings/sec, 135 secs
lola: 1012000 markings, 1410420 edges, 7314 markings/sec, 140 secs
lola: 1055483 markings, 1461010 edges, 8697 markings/sec, 145 secs
lola: 1099812 markings, 1521840 edges, 8866 markings/sec, 150 secs
lola: 1151018 markings, 1584362 edges, 10241 markings/sec, 155 secs
lola: 1203256 markings, 1648572 edges, 10448 markings/sec, 160 secs
lola: 1257112 markings, 1715777 edges, 10771 markings/sec, 165 secs
lola: 1309554 markings, 1782973 edges, 10488 markings/sec, 170 secs
lola: 1357232 markings, 1854452 edges, 9536 markings/sec, 175 secs
lola: 1389790 markings, 1906682 edges, 6512 markings/sec, 180 secs
lola: 1422967 markings, 1960678 edges, 6635 markings/sec, 185 secs
lola: 1456263 markings, 2016772 edges, 6659 markings/sec, 190 secs
lola: 1488067 markings, 2077671 edges, 6361 markings/sec, 195 secs
lola: 1530812 markings, 2130633 edges, 8549 markings/sec, 200 secs
lola: 1574099 markings, 2183673 edges, 8657 markings/sec, 205 secs
lola: 1623748 markings, 2250135 edges, 9930 markings/sec, 210 secs
lola: 1676872 markings, 2315201 edges, 10625 markings/sec, 215 secs
lola: 1731203 markings, 2382618 edges, 10866 markings/sec, 220 secs
lola: 1784607 markings, 2450503 edges, 10681 markings/sec, 225 secs
lola: 1835848 markings, 2521385 edges, 10248 markings/sec, 230 secs
lola: 1869471 markings, 2578042 edges, 6725 markings/sec, 235 secs
lola: 1902557 markings, 2631802 edges, 6617 markings/sec, 240 secs
lola: 1936117 markings, 2687960 edges, 6712 markings/sec, 245 secs
lola: 1968131 markings, 2746653 edges, 6403 markings/sec, 250 secs
lola: 2008994 markings, 2802127 edges, 8173 markings/sec, 255 secs
lola: 2052045 markings, 2853967 edges, 8610 markings/sec, 260 secs
lola: 2099897 markings, 2918666 edges, 9570 markings/sec, 265 secs
lola: 2151451 markings, 2981812 edges, 10311 markings/sec, 270 secs
lola: 2205282 markings, 3048517 edges, 10766 markings/sec, 275 secs
lola: 2258714 markings, 3115997 edges, 10686 markings/sec, 280 secs
lola: 2310080 markings, 3184686 edges, 10273 markings/sec, 285 secs
lola: 2347032 markings, 3245937 edges, 7390 markings/sec, 290 secs
lola: 2379739 markings, 3298783 edges, 6541 markings/sec, 295 secs
lola: 2413277 markings, 3354564 edges, 6708 markings/sec, 300 secs
lola: 2445775 markings, 3412138 edges, 6500 markings/sec, 305 secs
lola: 2484288 markings, 3470261 edges, 7703 markings/sec, 310 secs
lola: 2527298 markings, 3521173 edges, 8602 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 341672 KB
lola: time consumption: 346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_62)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 45458 markings, 51873 edges, 9092 markings/sec, 30 secs
lola: 90357 markings, 107572 edges, 8980 markings/sec, 35 secs
lola: 142797 markings, 176680 edges, 10488 markings/sec, 40 secs
lola: 197479 markings, 243824 edges, 10936 markings/sec, 45 secs
lola: 253071 markings, 312818 edges, 11118 markings/sec, 50 secs
lola: 307750 markings, 382528 edges, 10936 markings/sec, 55 secs
lola: 360148 markings, 459071 edges, 10480 markings/sec, 60 secs
lola: 393913 markings, 513015 edges, 6753 markings/sec, 65 secs
lola: 427836 markings, 568095 edges, 6785 markings/sec, 70 secs
lola: 461893 markings, 625406 edges, 6811 markings/sec, 75 secs
lola: 494933 markings, 688195 edges, 6608 markings/sec, 80 secs
lola: 538445 markings, 742281 edges, 8702 markings/sec, 85 secs
lola: 582648 markings, 796271 edges, 8841 markings/sec, 90 secs
lola: 632826 markings, 863273 edges, 10036 markings/sec, 95 secs
lola: 685455 markings, 927848 edges, 10526 markings/sec, 100 secs
lola: 740101 markings, 995458 edges, 10929 markings/sec, 105 secs
lola: 794235 markings, 1063990 edges, 10827 markings/sec, 110 secs
lola: 846155 markings, 1134059 edges, 10384 markings/sec, 115 secs
lola: 882583 markings, 1194854 edges, 7286 markings/sec, 120 secs
lola: 915773 markings, 1248725 edges, 6638 markings/sec, 125 secs
lola: 949846 markings, 1305318 edges, 6815 markings/sec, 130 secs
lola: 982873 markings, 1364033 edges, 6605 markings/sec, 135 secs
lola: 1022579 markings, 1422438 edges, 7941 markings/sec, 140 secs
lola: 1066315 markings, 1474312 edges, 8747 markings/sec, 145 secs
lola: 1113136 markings, 1538039 edges, 9364 markings/sec, 150 secs
lola: 1165357 markings, 1601932 edges, 10444 markings/sec, 155 secs
lola: 1218838 markings, 1667822 edges, 10696 markings/sec, 160 secs
lola: 1272954 markings, 1735761 edges, 10823 markings/sec, 165 secs
lola: 1325415 markings, 1804220 edges, 10492 markings/sec, 170 secs
lola: 1367675 markings, 1871042 edges, 8452 markings/sec, 175 secs
lola: 1400442 markings, 1923918 edges, 6553 markings/sec, 180 secs
lola: 1434465 markings, 1979763 edges, 6805 markings/sec, 185 secs
lola: 1467751 markings, 2036969 edges, 6657 markings/sec, 190 secs
lola: 1503234 markings, 2098878 edges, 7097 markings/sec, 195 secs
lola: 1547090 markings, 2149814 edges, 8771 markings/sec, 200 secs
lola: 1591360 markings, 2210541 edges, 8854 markings/sec, 205 secs
lola: 1645058 markings, 2276107 edges, 10740 markings/sec, 210 secs
lola: 1699405 markings, 2342997 edges, 10869 markings/sec, 215 secs
lola: 1753965 markings, 2411350 edges, 10912 markings/sec, 220 secs
lola: 1807348 markings, 2480469 edges, 10677 markings/sec, 225 secs
lola: 1851803 markings, 2549589 edges, 8891 markings/sec, 230 secs
lola: 1884535 markings, 2602308 edges, 6546 markings/sec, 235 secs
lola: 1918606 markings, 2658223 edges, 6814 markings/sec, 240 secs
lola: 1951758 markings, 2715312 edges, 6630 markings/sec, 245 secs
lola: 1987301 markings, 2777188 edges, 7109 markings/sec, 250 secs
lola: 2030820 markings, 2827732 edges, 8704 markings/sec, 255 secs
lola: 2074759 markings, 2888056 edges, 8788 markings/sec, 260 secs
lola: 2127279 markings, 2952126 edges, 10504 markings/sec, 265 secs
lola: 2180675 markings, 3017867 edges, 10679 markings/sec, 270 secs
lola: 2235134 markings, 3085967 edges, 10892 markings/sec, 275 secs
lola: 2288202 markings, 3154558 edges, 10614 markings/sec, 280 secs
lola: 2333367 markings, 3223994 edges, 9033 markings/sec, 285 secs
lola: 2366190 markings, 3276754 edges, 6565 markings/sec, 290 secs
lola: 2400014 markings, 3332257 edges, 6765 markings/sec, 295 secs
lola: 2433468 markings, 3389462 edges, 6691 markings/sec, 300 secs
lola: 2468004 markings, 3451759 edges, 6907 markings/sec, 305 secs
lola: 2511703 markings, 3502255 edges, 8740 markings/sec, 310 secs
lola: 2555033 markings, 3561774 edges, 8666 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 344320 KB
lola: time consumption: 669 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_30_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_30_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_1_36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_1_36)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 44131 markings, 100140 edges, 8826 markings/sec, 30 secs
lola: 84110 markings, 193407 edges, 7996 markings/sec, 35 secs
lola: 124138 markings, 287051 edges, 8006 markings/sec, 40 secs
lola: 163820 markings, 379855 edges, 7936 markings/sec, 45 secs
lola: 203032 markings, 471611 edges, 7842 markings/sec, 50 secs
lola: 243002 markings, 565089 edges, 7994 markings/sec, 55 secs
lola: 283051 markings, 658771 edges, 8010 markings/sec, 60 secs
lola: 323843 markings, 754160 edges, 8158 markings/sec, 65 secs
lola: 363792 markings, 847629 edges, 7990 markings/sec, 70 secs
lola: 403775 markings, 941451 edges, 7997 markings/sec, 75 secs
lola: 443955 markings, 1035441 edges, 8036 markings/sec, 80 secs
lola: 482816 markings, 1126025 edges, 7772 markings/sec, 85 secs
lola: 522820 markings, 1219598 edges, 8001 markings/sec, 90 secs
lola: 561743 markings, 1310672 edges, 7785 markings/sec, 95 secs
lola: 600583 markings, 1401564 edges, 7768 markings/sec, 100 secs
lola: 640370 markings, 1494614 edges, 7957 markings/sec, 105 secs
lola: 679830 markings, 1586947 edges, 7892 markings/sec, 110 secs
lola: 720622 markings, 1682320 edges, 8158 markings/sec, 115 secs
lola: 758558 markings, 1771118 edges, 7587 markings/sec, 120 secs
lola: 797661 markings, 1862602 edges, 7821 markings/sec, 125 secs
lola: 836982 markings, 1954600 edges, 7864 markings/sec, 130 secs
lola: 875416 markings, 2044513 edges, 7687 markings/sec, 135 secs
lola: 914195 markings, 2135279 edges, 7756 markings/sec, 140 secs
lola: 951549 markings, 2222684 edges, 7471 markings/sec, 145 secs
lola: 991129 markings, 2315276 edges, 7916 markings/sec, 150 secs
lola: 1030144 markings, 2406566 edges, 7803 markings/sec, 155 secs
lola: 1068902 markings, 2497274 edges, 7752 markings/sec, 160 secs
lola: 1107356 markings, 2591064 edges, 7691 markings/sec, 165 secs
lola: 1152381 markings, 2708115 edges, 9005 markings/sec, 170 secs
lola: 1201782 markings, 2800361 edges, 9880 markings/sec, 175 secs
lola: 1255218 markings, 2894215 edges, 10687 markings/sec, 180 secs
lola: 1308443 markings, 2986482 edges, 10645 markings/sec, 185 secs
lola: 1362548 markings, 3081507 edges, 10821 markings/sec, 190 secs
lola: 1417349 markings, 3177662 edges, 10960 markings/sec, 195 secs
lola: 1473296 markings, 3274624 edges, 11189 markings/sec, 200 secs
lola: 1524171 markings, 3364113 edges, 10175 markings/sec, 205 secs
lola: 1577035 markings, 3456982 edges, 10573 markings/sec, 210 secs
lola: 1630823 markings, 3550223 edges, 10758 markings/sec, 215 secs
lola: 1684860 markings, 3645105 edges, 10807 markings/sec, 220 secs
lola: 1737271 markings, 3737209 edges, 10482 markings/sec, 225 secs
lola: 1791309 markings, 3830872 edges, 10808 markings/sec, 230 secs
lola: 1843818 markings, 3923159 edges, 10502 markings/sec, 235 secs
lola: 1896289 markings, 4015386 edges, 10494 markings/sec, 240 secs
lola: 1949986 markings, 4108444 edges, 10739 markings/sec, 245 secs
lola: 2002842 markings, 4201314 edges, 10571 markings/sec, 250 secs
lola: 2054787 markings, 4292622 edges, 10389 markings/sec, 255 secs
lola: 2107679 markings, 4384314 edges, 10578 markings/sec, 260 secs
lola: 2160439 markings, 4477047 edges, 10552 markings/sec, 265 secs
lola: 2212772 markings, 4568997 edges, 10467 markings/sec, 270 secs
lola: 2266709 markings, 4662505 edges, 10787 markings/sec, 275 secs
lola: 2318909 markings, 4754247 edges, 10440 markings/sec, 280 secs
lola: 2371852 markings, 4846013 edges, 10589 markings/sec, 285 secs
lola: 2426691 markings, 4942307 edges, 10968 markings/sec, 290 secs
lola: 2479174 markings, 5034544 edges, 10497 markings/sec, 295 secs
lola: 2532838 markings, 5128784 edges, 10733 markings/sec, 300 secs
lola: 2586872 markings, 5222403 edges, 10807 markings/sec, 305 secs
lola: 2638800 markings, 5313732 edges, 10386 markings/sec, 310 secs
lola: 2691091 markings, 5404389 edges, 10458 markings/sec, 315 secs
lola: 2744326 markings, 5497902 edges, 10647 markings/sec, 320 secs
lola: 2796565 markings, 5589737 edges, 10448 markings/sec, 325 secs
lola: 2847030 markings, 5677261 edges, 10093 markings/sec, 330 secs
lola: 2899674 markings, 5769802 edges, 10529 markings/sec, 335 secs
lola: 2953925 markings, 5865048 edges, 10850 markings/sec, 340 secs
lola: 3006329 markings, 5955916 edges, 10481 markings/sec, 345 secs
lola: 3059921 markings, 6050043 edges, 10718 markings/sec, 350 secs
lola: 3113373 markings, 6143949 edges, 10690 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown unknown unknown unknown
lola: memory consumption: 291928 KB
lola: time consumption: 1031 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_70)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_1_27)
lola: processed formula length: 31
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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

FORMULA PolyORBNT-PT-S05J80-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_1_63)
lola: processed formula length: 31
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 634 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 44598 markings, 50858 edges, 8920 markings/sec, 30 secs
lola: 88738 markings, 105269 edges, 8828 markings/sec, 35 secs
lola: 139542 markings, 172713 edges, 10161 markings/sec, 40 secs
lola: 192683 markings, 237857 edges, 10628 markings/sec, 45 secs
lola: 247137 markings, 305446 edges, 10891 markings/sec, 50 secs
lola: 298550 markings, 370624 edges, 10283 markings/sec, 55 secs
lola: 350657 markings, 441067 edges, 10421 markings/sec, 60 secs
lola: 386614 markings, 501322 edges, 7191 markings/sec, 65 secs
lola: 420081 markings, 555406 edges, 6693 markings/sec, 70 secs
lola: 453702 markings, 611402 edges, 6724 markings/sec, 75 secs
lola: 486593 markings, 669989 edges, 6578 markings/sec, 80 secs
lola: 526324 markings, 728263 edges, 7946 markings/sec, 85 secs
lola: 569608 markings, 779476 edges, 8657 markings/sec, 90 secs
lola: 614488 markings, 840946 edges, 8976 markings/sec, 95 secs
lola: 662557 markings, 899617 edges, 9614 markings/sec, 100 secs
lola: 715093 markings, 964345 edges, 10507 markings/sec, 105 secs
lola: 768368 markings, 1031060 edges, 10655 markings/sec, 110 secs
lola: 820397 markings, 1098257 edges, 10406 markings/sec, 115 secs
lola: 865055 markings, 1166964 edges, 8932 markings/sec, 120 secs
lola: 897616 markings, 1219076 edges, 6512 markings/sec, 125 secs
lola: 929408 markings, 1271142 edges, 6358 markings/sec, 130 secs
lola: 962560 markings, 1327101 edges, 6630 markings/sec, 135 secs
lola: 994456 markings, 1390560 edges, 6379 markings/sec, 140 secs
lola: 1037548 markings, 1439756 edges, 8618 markings/sec, 145 secs
lola: 1080723 markings, 1492868 edges, 8635 markings/sec, 150 secs
lola: 1129075 markings, 1557457 edges, 9670 markings/sec, 155 secs
lola: 1179425 markings, 1619263 edges, 10070 markings/sec, 160 secs
lola: 1232469 markings, 1684797 edges, 10609 markings/sec, 165 secs
lola: 1284999 markings, 1751141 edges, 10506 markings/sec, 170 secs
lola: 1335828 markings, 1818618 edges, 10166 markings/sec, 175 secs
lola: 1373701 markings, 1880768 edges, 7575 markings/sec, 180 secs
lola: 1405965 markings, 1932891 edges, 6453 markings/sec, 185 secs
lola: 1439263 markings, 1987884 edges, 6660 markings/sec, 190 secs
lola: 1471851 markings, 2044438 edges, 6518 markings/sec, 195 secs
lola: 1508073 markings, 2104420 edges, 7244 markings/sec, 200 secs
lola: 1551062 markings, 2154616 edges, 8598 markings/sec, 205 secs
lola: 1595129 markings, 2215147 edges, 8813 markings/sec, 210 secs
lola: 1647517 markings, 2279201 edges, 10478 markings/sec, 215 secs
lola: 1700367 markings, 2344271 edges, 10570 markings/sec, 220 secs
lola: 1753717 markings, 2410998 edges, 10670 markings/sec, 225 secs
lola: 1805833 markings, 2478389 edges, 10423 markings/sec, 230 secs
lola: 1850134 markings, 2546892 edges, 8860 markings/sec, 235 secs
lola: 1882309 markings, 2598686 edges, 6435 markings/sec, 240 secs
lola: 1915508 markings, 2653211 edges, 6640 markings/sec, 245 secs
lola: 1948363 markings, 2709223 edges, 6571 markings/sec, 250 secs
lola: 1982006 markings, 2771250 edges, 6729 markings/sec, 255 secs
lola: 2024969 markings, 2820786 edges, 8593 markings/sec, 260 secs
lola: 2067683 markings, 2876256 edges, 8543 markings/sec, 265 secs
lola: 2117940 markings, 2940702 edges, 10051 markings/sec, 270 secs
lola: 2169597 markings, 3004205 edges, 10331 markings/sec, 275 secs
lola: 2222936 markings, 3070598 edges, 10668 markings/sec, 280 secs
lola: 2275092 markings, 3137214 edges, 10431 markings/sec, 285 secs
lola: 2324560 markings, 3210019 edges, 9894 markings/sec, 290 secs
lola: 2356595 markings, 3261318 edges, 6407 markings/sec, 295 secs
lola: 2389526 markings, 3314875 edges, 6586 markings/sec, 300 secs
lola: 2422627 markings, 3370546 edges, 6620 markings/sec, 305 secs
lola: 2454305 markings, 3429868 edges, 6336 markings/sec, 310 secs
lola: 2495813 markings, 3483629 edges, 8302 markings/sec, 315 secs
lola: 2538509 markings, 3535440 edges, 8539 markings/sec, 320 secs
lola: 2585864 markings, 3599440 edges, 9471 markings/sec, 325 secs
lola: 2636270 markings, 3661047 edges, 10081 markings/sec, 330 secs
lola: 2688966 markings, 3726429 edges, 10539 markings/sec, 335 secs
lola: 2741508 markings, 3792751 edges, 10508 markings/sec, 340 secs
lola: 2792235 markings, 3860257 edges, 10145 markings/sec, 345 secs
lola: 2829422 markings, 3921649 edges, 7437 markings/sec, 350 secs
lola: 2861565 markings, 3973615 edges, 6429 markings/sec, 355 secs
lola: 2894998 markings, 4028970 edges, 6687 markings/sec, 360 secs
lola: 2927325 markings, 4085789 edges, 6465 markings/sec, 365 secs
lola: 2964930 markings, 4144720 edges, 7521 markings/sec, 370 secs
lola: 3007915 markings, 4195477 edges, 8597 markings/sec, 375 secs
lola: 3053625 markings, 4258016 edges, 9142 markings/sec, 380 secs
lola: 3104465 markings, 4320302 edges, 10168 markings/sec, 385 secs
lola: 3156602 markings, 4384712 edges, 10427 markings/sec, 390 secs
lola: 3209497 markings, 4451301 edges, 10579 markings/sec, 395 secs
lola: 3259007 markings, 4516265 edges, 9902 markings/sec, 400 secs
lola: 3298312 markings, 4579404 edges, 7861 markings/sec, 405 secs
lola: 3329894 markings, 4630303 edges, 6316 markings/sec, 410 secs
lola: 3363148 markings, 4685258 edges, 6651 markings/sec, 415 secs
lola: 3394655 markings, 4740063 edges, 6301 markings/sec, 420 secs
lola: 3429689 markings, 4798992 edges, 7007 markings/sec, 425 secs
lola: 3471015 markings, 4847243 edges, 8265 markings/sec, 430 secs
lola: 3515135 markings, 4907845 edges, 8824 markings/sec, 435 secs
lola: 3566109 markings, 4970113 edges, 10195 markings/sec, 440 secs
lola: 3615053 markings, 5030462 edges, 9789 markings/sec, 445 secs
lola: 3667952 markings, 5096654 edges, 10580 markings/sec, 450 secs
lola: 3718078 markings, 5161464 edges, 10025 markings/sec, 455 secs
lola: 3761354 markings, 5227922 edges, 8655 markings/sec, 460 secs
lola: 3792624 markings, 5278103 edges, 6254 markings/sec, 465 secs
lola: 3825836 markings, 5332545 edges, 6642 markings/sec, 470 secs
lola: 3858089 markings, 5387476 edges, 6451 markings/sec, 475 secs
lola: 3889207 markings, 5447453 edges, 6224 markings/sec, 480 secs
lola: 3932255 markings, 5497041 edges, 8610 markings/sec, 485 secs
lola: 3975260 markings, 5552297 edges, 8601 markings/sec, 490 secs
lola: 4023806 markings, 5615208 edges, 9709 markings/sec, 495 secs
lola: 4073496 markings, 5676408 edges, 9938 markings/sec, 500 secs
lola: 4126240 markings, 5742090 edges, 10549 markings/sec, 505 secs
lola: 4175991 markings, 5805569 edges, 9950 markings/sec, 510 secs
lola: 4220615 markings, 5867419 edges, 8925 markings/sec, 515 secs
lola: 4253753 markings, 5923360 edges, 6628 markings/sec, 520 secs
lola: 4286176 markings, 5976135 edges, 6485 markings/sec, 525 secs
lola: 4319696 markings, 6032244 edges, 6704 markings/sec, 530 secs
lola: 4350245 markings, 6088303 edges, 6110 markings/sec, 535 secs
lola: 4390686 markings, 6143827 edges, 8088 markings/sec, 540 secs
lola: 4433522 markings, 6196059 edges, 8567 markings/sec, 545 secs
lola: 4482356 markings, 6261650 edges, 9767 markings/sec, 550 secs
lola: 4534262 markings, 6325456 edges, 10381 markings/sec, 555 secs
lola: 4586349 markings, 6390268 edges, 10417 markings/sec, 560 secs
lola: 4637384 markings, 6455364 edges, 10207 markings/sec, 565 secs
lola: 4686748 markings, 6524863 edges, 9873 markings/sec, 570 secs
lola: 4718570 markings, 6578397 edges, 6364 markings/sec, 575 secs
lola: 4750535 markings, 6630548 edges, 6393 markings/sec, 580 secs
lola: 4782904 markings, 6685111 edges, 6474 markings/sec, 585 secs
lola: 4813842 markings, 6744609 edges, 6188 markings/sec, 590 secs
lola: 4854522 markings, 6795268 edges, 8136 markings/sec, 595 secs
lola: 4895960 markings, 6846353 edges, 8288 markings/sec, 600 secs
lola: 4943324 markings, 6909876 edges, 9473 markings/sec, 605 secs
lola: 4993877 markings, 6971935 edges, 10111 markings/sec, 610 secs
lola: 5046289 markings, 7037273 edges, 10482 markings/sec, 615 secs
lola: 5095566 markings, 7099995 edges, 9855 markings/sec, 620 secs
lola: 5144983 markings, 7169023 edges, 9883 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: memory consumption: 649512 KB
lola: time consumption: 1667 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 634 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Wo... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Wo... (shortened)
lola: processed formula length: 1774
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 31458 markings, 35682 edges, 6292 markings/sec, 0 secs
lola: 77671 markings, 90753 edges, 9243 markings/sec, 5 secs
lola: 128195 markings, 159027 edges, 10105 markings/sec, 10 secs
lola: 183918 markings, 227187 edges, 11145 markings/sec, 15 secs
lola: 240361 markings, 296960 edges, 11289 markings/sec, 20 secs
lola: 296020 markings, 367302 edges, 11132 markings/sec, 25 secs
lola: 350176 markings, 440370 edges, 10831 markings/sec, 30 secs
lola: 387867 markings, 503317 edges, 7538 markings/sec, 35 secs
lola: 422597 markings, 559542 edges, 6946 markings/sec, 40 secs
lola: 457193 markings, 617339 edges, 6919 markings/sec, 45 secs
lola: 491045 markings, 679055 edges, 6770 markings/sec, 50 secs
lola: 534172 markings, 737310 edges, 8625 markings/sec, 55 secs
lola: 579531 markings, 792118 edges, 9072 markings/sec, 60 secs
lola: 630019 markings, 859850 edges, 10098 markings/sec, 65 secs
lola: 683655 markings, 925532 edges, 10727 markings/sec, 70 secs
lola: 739284 markings, 994513 edges, 11126 markings/sec, 75 secs
lola: 794121 markings, 1063852 edges, 10967 markings/sec, 80 secs
lola: 846953 markings, 1135308 edges, 10566 markings/sec, 85 secs
lola: 883829 markings, 1196840 edges, 7375 markings/sec, 90 secs
lola: 918054 markings, 1252327 edges, 6845 markings/sec, 95 secs
lola: 952429 markings, 1309601 edges, 6875 markings/sec, 100 secs
lola: 985831 markings, 1369990 edges, 6680 markings/sec, 105 secs
lola: 1027841 markings, 1428501 edges, 8402 markings/sec, 110 secs
lola: 1072799 markings, 1482434 edges, 8992 markings/sec, 115 secs
lola: 1121731 markings, 1548572 edges, 9786 markings/sec, 120 secs
lola: 1174886 markings, 1613544 edges, 10631 markings/sec, 125 secs
lola: 1229808 markings, 1681469 edges, 10984 markings/sec, 130 secs
lola: 1284460 markings, 1750452 edges, 10930 markings/sec, 135 secs
lola: 1337308 markings, 1820771 edges, 10570 markings/sec, 140 secs
lola: 1376110 markings, 1884725 edges, 7760 markings/sec, 145 secs
lola: 1409954 markings, 1939404 edges, 6769 markings/sec, 150 secs
lola: 1444315 markings, 1996391 edges, 6872 markings/sec, 155 secs
lola: 1477853 markings, 2055612 edges, 6708 markings/sec, 160 secs
lola: 1518194 markings, 2116028 edges, 8068 markings/sec, 165 secs
lola: 1563319 markings, 2169711 edges, 9025 markings/sec, 170 secs
lola: 1612583 markings, 2236386 edges, 9853 markings/sec, 175 secs
lola: 1667268 markings, 2303377 edges, 10937 markings/sec, 180 secs
lola: 1722991 markings, 2372414 edges, 11145 markings/sec, 185 secs
lola: 1777802 markings, 2441741 edges, 10962 markings/sec, 190 secs
lola: 1831056 markings, 2513782 edges, 10651 markings/sec, 195 secs
lola: 1867672 markings, 2575082 edges, 7323 markings/sec, 200 secs
lola: 1901848 markings, 2630556 edges, 6835 markings/sec, 205 secs
lola: 1936076 markings, 2687903 edges, 6846 markings/sec, 210 secs
lola: 1969288 markings, 2749182 edges, 6642 markings/sec, 215 secs
lola: 2012546 markings, 2806171 edges, 8652 markings/sec, 220 secs
lola: 2057475 markings, 2861118 edges, 8986 markings/sec, 225 secs
lola: 2108184 markings, 2928877 edges, 10142 markings/sec, 230 secs
lola: 2161982 markings, 2994775 edges, 10760 markings/sec, 235 secs
lola: 2217525 markings, 3063808 edges, 11109 markings/sec, 240 secs
lola: 2271844 markings, 3133027 edges, 10864 markings/sec, 245 secs
lola: 2323974 markings, 3207929 edges, 10426 markings/sec, 250 secs
lola: 2357589 markings, 3262891 edges, 6723 markings/sec, 255 secs
lola: 2391825 markings, 3318695 edges, 6847 markings/sec, 260 secs
lola: 2425980 markings, 3376327 edges, 6831 markings/sec, 265 secs
lola: 2459301 markings, 3441843 edges, 6664 markings/sec, 270 secs
lola: 2504159 markings, 3493373 edges, 8972 markings/sec, 275 secs
lola: 2549090 markings, 3550246 edges, 8986 markings/sec, 280 secs
lola: 2600549 markings, 3617380 edges, 10292 markings/sec, 285 secs
lola: 2654264 markings, 3683242 edges, 10743 markings/sec, 290 secs
lola: 2709351 markings, 3751862 edges, 11017 markings/sec, 295 secs
lola: 2763208 markings, 3820863 edges, 10771 markings/sec, 300 secs
lola: 2812543 markings, 3894525 edges, 9867 markings/sec, 305 secs
lola: 2846024 markings, 3948403 edges, 6696 markings/sec, 310 secs
lola: 2880437 markings, 4004613 edges, 6883 markings/sec, 315 secs
lola: 2914443 markings, 4062404 edges, 6801 markings/sec, 320 secs
lola: 2949232 markings, 4126813 edges, 6958 markings/sec, 325 secs
lola: 2994592 markings, 4179331 edges, 9072 markings/sec, 330 secs
lola: 3039997 markings, 4241422 edges, 9081 markings/sec, 335 secs
lola: 3094907 markings, 4308474 edges, 10982 markings/sec, 340 secs
lola: 3149877 markings, 4376402 edges, 10994 markings/sec, 345 secs
lola: 3205130 markings, 4445709 edges, 11051 markings/sec, 350 secs
lola: 3258686 markings, 4515875 edges, 10711 markings/sec, 355 secs
lola: 3300730 markings, 4583178 edges, 8409 markings/sec, 360 secs
lola: 3334468 markings, 4637896 edges, 6748 markings/sec, 365 secs
lola: 3369011 markings, 4695211 edges, 6909 markings/sec, 370 secs
lola: 3402477 markings, 4754740 edges, 6693 markings/sec, 375 secs
lola: 3443396 markings, 4814732 edges, 8184 markings/sec, 380 secs
lola: 3488430 markings, 4868847 edges, 9007 markings/sec, 385 secs
lola: 3537959 markings, 4935778 edges, 9906 markings/sec, 390 secs
lola: 3591477 markings, 5001402 edges, 10704 markings/sec, 395 secs
lola: 3646768 markings, 5070023 edges, 11058 markings/sec, 400 secs
lola: 3701034 markings, 5139082 edges, 10853 markings/sec, 405 secs
lola: 3752954 markings, 5212240 edges, 10384 markings/sec, 410 secs
lola: 3786713 markings, 5268568 edges, 6752 markings/sec, 415 secs
lola: 3820981 markings, 5324550 edges, 6854 markings/sec, 420 secs
lola: 3855215 markings, 5382443 edges, 6847 markings/sec, 425 secs
lola: 3889033 markings, 5447267 edges, 6764 markings/sec, 430 secs
lola: 3934155 markings, 5499288 edges, 9024 markings/sec, 435 secs
lola: 3978618 markings, 5560271 edges, 8893 markings/sec, 440 secs
lola: 4031491 markings, 5624617 edges, 10575 markings/sec, 445 secs
lola: 4085613 markings, 5691350 edges, 10824 markings/sec, 450 secs
lola: 4140359 markings, 5759842 edges, 10949 markings/sec, 455 secs
lola: 4193667 markings, 5828960 edges, 10662 markings/sec, 460 secs
lola: 4238070 markings, 5898191 edges, 8881 markings/sec, 465 secs
lola: 4271583 markings, 5952101 edges, 6703 markings/sec, 470 secs
lola: 4306000 markings, 6009027 edges, 6883 markings/sec, 475 secs
lola: 4339607 markings, 6067582 edges, 6721 markings/sec, 480 secs
lola: 4377945 markings, 6129050 edges, 7668 markings/sec, 485 secs
lola: 4422563 markings, 6181969 edges, 8924 markings/sec, 490 secs
lola: 4470723 markings, 6247433 edges, 9632 markings/sec, 495 secs
lola: 4524718 markings, 6313641 edges, 10799 markings/sec, 500 secs
lola: 4579828 markings, 6382063 edges, 11022 markings/sec, 505 secs
lola: 4633947 markings, 6450870 edges, 10824 markings/sec, 510 secs
lola: 4686350 markings, 6524143 edges, 10481 markings/sec, 515 secs
lola: 4720695 markings, 6581752 edges, 6869 markings/sec, 520 secs
lola: 4755040 markings, 6638012 edges, 6869 markings/sec, 525 secs
lola: 4788875 markings, 6695552 edges, 6767 markings/sec, 530 secs
lola: 4823641 markings, 6759692 edges, 6953 markings/sec, 535 secs
lola: 4868253 markings, 6811505 edges, 8922 markings/sec, 540 secs
lola: 4913185 markings, 6873150 edges, 8986 markings/sec, 545 secs
lola: 4966364 markings, 6938155 edges, 10636 markings/sec, 550 secs
lola: 5020887 markings, 7005417 edges, 10905 markings/sec, 555 secs
lola: 5075202 markings, 7073799 edges, 10863 markings/sec, 560 secs
lola: 5128062 markings, 7143485 edges, 10572 markings/sec, 565 secs
lola: 5168177 markings, 7208777 edges, 8023 markings/sec, 570 secs
lola: 5202267 markings, 7264143 edges, 6818 markings/sec, 575 secs
lola: 5236497 markings, 7321367 edges, 6846 markings/sec, 580 secs
lola: 5267978 markings, 7378609 edges, 6296 markings/sec, 585 secs
lola: 5309313 markings, 7436105 edges, 8267 markings/sec, 590 secs
lola: 5349747 markings, 7485153 edges, 8087 markings/sec, 595 secs
lola: 5397998 markings, 7550265 edges, 9650 markings/sec, 600 secs
lola: 5450197 markings, 7614423 edges, 10440 markings/sec, 605 secs
lola: 5504284 markings, 7681662 edges, 10817 markings/sec, 610 secs
lola: 5557236 markings, 7749251 edges, 10590 markings/sec, 615 secs
lola: 5607795 markings, 7823443 edges, 10112 markings/sec, 620 secs
lola: 5641005 markings, 7876674 edges, 6642 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: memory consumption: 697516 KB
lola: time consumption: 2301 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 634 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: processed formula length: 1369
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 35173 markings, 39970 edges, 7035 markings/sec, 0 secs
lola: 80256 markings, 94027 edges, 9017 markings/sec, 5 secs
lola: 130109 markings, 161208 edges, 9971 markings/sec, 10 secs
lola: 184268 markings, 227551 edges, 10832 markings/sec, 15 secs
lola: 239169 markings, 295443 edges, 10980 markings/sec, 20 secs
lola: 291742 markings, 361851 edges, 10515 markings/sec, 25 secs
lola: 345259 markings, 433134 edges, 10703 markings/sec, 30 secs
lola: 384354 markings, 497537 edges, 7819 markings/sec, 35 secs
lola: 418598 markings, 553023 edges, 6849 markings/sec, 40 secs
lola: 452936 markings, 610046 edges, 6868 markings/sec, 45 secs
lola: 486639 markings, 670056 edges, 6741 markings/sec, 50 secs
lola: 527542 markings, 729706 edges, 8181 markings/sec, 55 secs
lola: 572350 markings, 782956 edges, 8962 markings/sec, 60 secs
lola: 620684 markings, 848475 edges, 9667 markings/sec, 65 secs
lola: 673964 markings, 913607 edges, 10656 markings/sec, 70 secs
lola: 728154 markings, 980684 edges, 10838 markings/sec, 75 secs
lola: 782484 markings, 1048915 edges, 10866 markings/sec, 80 secs
lola: 834997 markings, 1118051 edges, 10503 markings/sec, 85 secs
lola: 875625 markings, 1183738 edges, 8126 markings/sec, 90 secs
lola: 909194 markings, 1237979 edges, 6714 markings/sec, 95 secs
lola: 943510 markings, 1294504 edges, 6863 markings/sec, 100 secs
lola: 976948 markings, 1352821 edges, 6688 markings/sec, 105 secs
lola: 1015179 markings, 1413995 edges, 7646 markings/sec, 110 secs
lola: 1059652 markings, 1466084 edges, 8895 markings/sec, 115 secs
lola: 1105728 markings, 1529132 edges, 9215 markings/sec, 120 secs
lola: 1158093 markings, 1592936 edges, 10473 markings/sec, 125 secs
lola: 1211770 markings, 1659046 edges, 10735 markings/sec, 130 secs
lola: 1265739 markings, 1726592 edges, 10794 markings/sec, 135 secs
lola: 1318616 markings, 1795037 edges, 10575 markings/sec, 140 secs
lola: 1363522 markings, 1864559 edges, 8981 markings/sec, 145 secs
lola: 1397018 markings, 1918343 edges, 6699 markings/sec, 150 secs
lola: 1431109 markings, 1974174 edges, 6818 markings/sec, 155 secs
lola: 1464644 markings, 2031451 edges, 6707 markings/sec, 160 secs
lola: 1499890 markings, 2095080 edges, 7049 markings/sec, 165 secs
lola: 1544663 markings, 2146908 edges, 8955 markings/sec, 170 secs
lola: 1589158 markings, 2207987 edges, 8899 markings/sec, 175 secs
lola: 1643338 markings, 2273953 edges, 10836 markings/sec, 180 secs
lola: 1697694 markings, 2341013 edges, 10871 markings/sec, 185 secs
lola: 1752163 markings, 2409086 edges, 10894 markings/sec, 190 secs
lola: 1805556 markings, 2478111 edges, 10679 markings/sec, 195 secs
lola: 1850877 markings, 2548171 edges, 9064 markings/sec, 200 secs
lola: 1884207 markings, 2601830 edges, 6666 markings/sec, 205 secs
lola: 1918550 markings, 2658144 edges, 6869 markings/sec, 210 secs
lola: 1952012 markings, 2715798 edges, 6692 markings/sec, 215 secs
lola: 1988470 markings, 2778524 edges, 7292 markings/sec, 220 secs
lola: 2032922 markings, 2830305 edges, 8890 markings/sec, 225 secs
lola: 2078333 markings, 2892402 edges, 9082 markings/sec, 230 secs
lola: 2131339 markings, 2957248 edges, 10601 markings/sec, 235 secs
lola: 2185413 markings, 3023744 edges, 10815 markings/sec, 240 secs
lola: 2239622 markings, 3091675 edges, 10842 markings/sec, 245 secs
lola: 2292561 markings, 3160340 edges, 10588 markings/sec, 250 secs
lola: 2336583 markings, 3229145 edges, 8804 markings/sec, 255 secs
lola: 2369885 markings, 3282771 edges, 6660 markings/sec, 260 secs
lola: 2404095 markings, 3339118 edges, 6842 markings/sec, 265 secs
lola: 2437661 markings, 3397020 edges, 6713 markings/sec, 270 secs
lola: 2474617 markings, 3459194 edges, 7391 markings/sec, 275 secs
lola: 2518931 markings, 3510952 edges, 8863 markings/sec, 280 secs
lola: 2564320 markings, 3573125 edges, 9078 markings/sec, 285 secs
lola: 2616748 markings, 3637074 edges, 10486 markings/sec, 290 secs
lola: 2670107 markings, 3702940 edges, 10672 markings/sec, 295 secs
lola: 2724086 markings, 3770533 edges, 10796 markings/sec, 300 secs
lola: 2776844 markings, 3839030 edges, 10552 markings/sec, 305 secs
lola: 2820788 markings, 3907696 edges, 8789 markings/sec, 310 secs
lola: 2853994 markings, 3961187 edges, 6641 markings/sec, 315 secs
lola: 2888145 markings, 4017478 edges, 6830 markings/sec, 320 secs
lola: 2921618 markings, 4075253 edges, 6695 markings/sec, 325 secs
lola: 2958572 markings, 4137488 edges, 7391 markings/sec, 330 secs
lola: 3003389 markings, 4190011 edges, 8963 markings/sec, 335 secs
lola: 3050230 markings, 4253875 edges, 9368 markings/sec, 340 secs
lola: 3104222 markings, 4320045 edges, 10798 markings/sec, 345 secs
lola: 3159068 markings, 4387817 edges, 10969 markings/sec, 350 secs
lola: 3213276 markings, 4456173 edges, 10842 markings/sec, 355 secs
lola: 3266062 markings, 4526084 edges, 10557 markings/sec, 360 secs
lola: 3305090 markings, 4590188 edges, 7806 markings/sec, 365 secs
lola: 3338937 markings, 4645081 edges, 6769 markings/sec, 370 secs
lola: 3372965 markings, 4701901 edges, 6806 markings/sec, 375 secs
lola: 3406014 markings, 4761768 edges, 6610 markings/sec, 380 secs
lola: 3447748 markings, 4819795 edges, 8347 markings/sec, 385 secs
lola: 3492319 markings, 4873928 edges, 8914 markings/sec, 390 secs
lola: 3541920 markings, 4940532 edges, 9920 markings/sec, 395 secs
lola: 3595008 markings, 5005669 edges, 10618 markings/sec, 400 secs
lola: 3649719 markings, 5073683 edges, 10942 markings/sec, 405 secs
lola: 3703199 markings, 5141866 edges, 10696 markings/sec, 410 secs
lola: 3754445 markings, 5215833 edges, 10249 markings/sec, 415 secs
lola: 3787592 markings, 5269994 edges, 6629 markings/sec, 420 secs
lola: 3821652 markings, 5325567 edges, 6812 markings/sec, 425 secs
lola: 3855339 markings, 5382703 edges, 6737 markings/sec, 430 secs
lola: 3888951 markings, 5447151 edges, 6722 markings/sec, 435 secs
lola: 3933628 markings, 5498604 edges, 8935 markings/sec, 440 secs
lola: 3977757 markings, 5557135 edges, 8826 markings/sec, 445 secs
lola: 4029727 markings, 5622483 edges, 10394 markings/sec, 450 secs
lola: 4083189 markings, 5688350 edges, 10692 markings/sec, 455 secs
lola: 4137361 markings, 5756015 edges, 10834 markings/sec, 460 secs
lola: 4190161 markings, 5824278 edges, 10560 markings/sec, 465 secs
lola: 4235840 markings, 5894480 edges, 9136 markings/sec, 470 secs
lola: 4268887 markings, 5947730 edges, 6609 markings/sec, 475 secs
lola: 4303048 markings, 6004013 edges, 6832 markings/sec, 480 secs
lola: 4336442 markings, 6061701 edges, 6679 markings/sec, 485 secs
lola: 4373298 markings, 6123777 edges, 7371 markings/sec, 490 secs
lola: 4417605 markings, 6175843 edges, 8861 markings/sec, 495 secs
lola: 4463933 markings, 6239199 edges, 9266 markings/sec, 500 secs
lola: 4517307 markings, 6304517 edges, 10675 markings/sec, 505 secs
lola: 4571546 markings, 6371764 edges, 10848 markings/sec, 510 secs
lola: 4625088 markings, 6439436 edges, 10708 markings/sec, 515 secs
lola: 4677190 markings, 6509473 edges, 10420 markings/sec, 520 secs
lola: 4714325 markings, 6571542 edges, 7427 markings/sec, 525 secs
lola: 4748112 markings, 6626556 edges, 6757 markings/sec, 530 secs
lola: 4781938 markings, 6683383 edges, 6765 markings/sec, 535 secs
lola: 4814371 markings, 6746166 edges, 6487 markings/sec, 540 secs
lola: 4858073 markings, 6799409 edges, 8740 markings/sec, 545 secs
lola: 4902117 markings, 6855235 edges, 8809 markings/sec, 550 secs
lola: 4953012 markings, 6921699 edges, 10179 markings/sec, 555 secs
lola: 5006375 markings, 6987400 edges, 10673 markings/sec, 560 secs
lola: 5060031 markings, 7054560 edges, 10731 markings/sec, 565 secs
lola: 5112692 markings, 7122595 edges, 10532 markings/sec, 570 secs
lola: 5158038 markings, 7192593 edges, 9069 markings/sec, 575 secs
lola: 5191461 markings, 7246411 edges, 6685 markings/sec, 580 secs
lola: 5225498 markings, 7302722 edges, 6807 markings/sec, 585 secs
lola: 5258748 markings, 7360717 edges, 6650 markings/sec, 590 secs
lola: 5296812 markings, 7421589 edges, 7613 markings/sec, 595 secs
lola: 5340804 markings, 7473705 edges, 8798 markings/sec, 600 secs
lola: 5387554 markings, 7537550 edges, 9350 markings/sec, 605 secs
lola: 5438975 markings, 7600582 edges, 10284 markings/sec, 610 secs
lola: 5492927 markings, 7667502 edges, 10790 markings/sec, 615 secs
lola: 5546046 markings, 7734777 edges, 10624 markings/sec, 620 secs
lola: 5597588 markings, 7804351 edges, 10308 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: memory consumption: 693900 KB
lola: time consumption: 2935 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 635 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 + QueueJobB_1_21 + QueueJobB_1_22 + QueueJobB_1_23 ... (shortened)
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 + QueueJobB_1_21 + QueueJobB_1_22 + QueueJobB_1_23 ... (shortened)
lola: processed formula length: 1369
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 18443 markings, 32128 edges, 3689 markings/sec, 30 secs
lola: 37518 markings, 65070 edges, 3815 markings/sec, 35 secs
lola: 56442 markings, 97791 edges, 3785 markings/sec, 40 secs
lola: 74571 markings, 129493 edges, 3626 markings/sec, 45 secs
lola: 93931 markings, 162716 edges, 3872 markings/sec, 50 secs
lola: 113257 markings, 195862 edges, 3865 markings/sec, 55 secs
lola: 132563 markings, 228961 edges, 3861 markings/sec, 60 secs
lola: 151602 markings, 265591 edges, 3808 markings/sec, 65 secs
lola: 170392 markings, 299846 edges, 3758 markings/sec, 70 secs
lola: 189221 markings, 334986 edges, 3766 markings/sec, 75 secs
lola: 208463 markings, 367898 edges, 3848 markings/sec, 80 secs
lola: 227730 markings, 400784 edges, 3853 markings/sec, 85 secs
lola: 246965 markings, 433616 edges, 3847 markings/sec, 90 secs
lola: 266126 markings, 467396 edges, 3832 markings/sec, 95 secs
lola: 284699 markings, 504217 edges, 3715 markings/sec, 100 secs
lola: 303441 markings, 538696 edges, 3748 markings/sec, 105 secs
lola: 321803 markings, 570271 edges, 3672 markings/sec, 110 secs
lola: 341167 markings, 603106 edges, 3873 markings/sec, 115 secs
lola: 360274 markings, 639110 edges, 3821 markings/sec, 120 secs
lola: 378919 markings, 674147 edges, 3729 markings/sec, 125 secs
lola: 398099 markings, 708106 edges, 3836 markings/sec, 130 secs
lola: 417485 markings, 740825 edges, 3877 markings/sec, 135 secs
lola: 436454 markings, 777389 edges, 3794 markings/sec, 140 secs
lola: 455122 markings, 812816 edges, 3734 markings/sec, 145 secs
lola: 474513 markings, 845431 edges, 3878 markings/sec, 150 secs
lola: 493726 markings, 880216 edges, 3843 markings/sec, 155 secs
lola: 512177 markings, 917114 edges, 3690 markings/sec, 160 secs
lola: 531511 markings, 949563 edges, 3867 markings/sec, 165 secs
lola: 550572 markings, 985569 edges, 3812 markings/sec, 170 secs
lola: 569063 markings, 1020776 edges, 3698 markings/sec, 175 secs
lola: 588557 markings, 1053331 edges, 3899 markings/sec, 180 secs
lola: 606609 markings, 1089295 edges, 3610 markings/sec, 185 secs
lola: 625677 markings, 1123696 edges, 3814 markings/sec, 190 secs
lola: 644769 markings, 1159368 edges, 3818 markings/sec, 195 secs
lola: 663377 markings, 1194528 edges, 3722 markings/sec, 200 secs
lola: 682802 markings, 1226804 edges, 3885 markings/sec, 205 secs
lola: 701369 markings, 1265523 edges, 3713 markings/sec, 210 secs
lola: 718359 markings, 1294612 edges, 3398 markings/sec, 215 secs
lola: 737148 markings, 1333449 edges, 3758 markings/sec, 220 secs
lola: 756776 markings, 1365845 edges, 3926 markings/sec, 225 secs
lola: 775339 markings, 1404236 edges, 3713 markings/sec, 230 secs
lola: 794352 markings, 1440162 edges, 3803 markings/sec, 235 secs
lola: 813352 markings, 1474497 edges, 3800 markings/sec, 240 secs
lola: 832022 markings, 1512785 edges, 3734 markings/sec, 245 secs
lola: 849731 markings, 1542519 edges, 3542 markings/sec, 250 secs
lola: 866513 markings, 1578217 edges, 3356 markings/sec, 255 secs
lola: 885766 markings, 1615368 edges, 3851 markings/sec, 260 secs
lola: 902861 markings, 1645746 edges, 3419 markings/sec, 265 secs
lola: 918777 markings, 1680097 edges, 3183 markings/sec, 270 secs
lola: 937746 markings, 1716133 edges, 3794 markings/sec, 275 secs
lola: 956781 markings, 1753093 edges, 3807 markings/sec, 280 secs
lola: 976200 markings, 1787884 edges, 3884 markings/sec, 285 secs
lola: 993686 markings, 1823818 edges, 3497 markings/sec, 290 secs
lola: 1012815 markings, 1861771 edges, 3826 markings/sec, 295 secs
lola: 1029297 markings, 1896248 edges, 3296 markings/sec, 300 secs
lola: 1047792 markings, 1933160 edges, 3699 markings/sec, 305 secs
lola: 1067186 markings, 1971125 edges, 3879 markings/sec, 310 secs
lola: 1086367 markings, 2012663 edges, 3836 markings/sec, 315 secs
lola: 1105343 markings, 2052433 edges, 3795 markings/sec, 320 secs
lola: 1124777 markings, 2090090 edges, 3887 markings/sec, 325 secs
lola: 1143781 markings, 2131952 edges, 3801 markings/sec, 330 secs
lola: 1163115 markings, 2170722 edges, 3867 markings/sec, 335 secs
lola: 1180744 markings, 2210678 edges, 3526 markings/sec, 340 secs
lola: 1199926 markings, 2248705 edges, 3836 markings/sec, 345 secs
lola: 1218753 markings, 2291092 edges, 3765 markings/sec, 350 secs
lola: 1237641 markings, 2333285 edges, 3778 markings/sec, 355 secs
lola: 1256105 markings, 2374689 edges, 3693 markings/sec, 360 secs
lola: 1273599 markings, 2418812 edges, 3499 markings/sec, 365 secs
lola: 1292312 markings, 2461671 edges, 3743 markings/sec, 370 secs
lola: 1310715 markings, 2507883 edges, 3681 markings/sec, 375 secs
lola: 1329228 markings, 2553833 edges, 3703 markings/sec, 380 secs
lola: 1347351 markings, 2604290 edges, 3625 markings/sec, 385 secs
lola: 1365238 markings, 2659035 edges, 3577 markings/sec, 390 secs
lola: 1383024 markings, 2717798 edges, 3557 markings/sec, 395 secs
lola: 1398073 markings, 2786321 edges, 3010 markings/sec, 400 secs
lola: 1411587 markings, 2858993 edges, 2703 markings/sec, 405 secs
lola: 1427065 markings, 2900445 edges, 3096 markings/sec, 410 secs
lola: 1443297 markings, 2943488 edges, 3246 markings/sec, 415 secs
lola: 1457667 markings, 2979970 edges, 2874 markings/sec, 420 secs
lola: 1474011 markings, 3023162 edges, 3269 markings/sec, 425 secs
lola: 1490168 markings, 3065866 edges, 3231 markings/sec, 430 secs
lola: 1506454 markings, 3108800 edges, 3257 markings/sec, 435 secs
lola: 1522690 markings, 3151546 edges, 3247 markings/sec, 440 secs
lola: 1538821 markings, 3195244 edges, 3226 markings/sec, 445 secs
lola: 1555052 markings, 3238880 edges, 3246 markings/sec, 450 secs
lola: 1571291 markings, 3281426 edges, 3248 markings/sec, 455 secs
lola: 1587372 markings, 3324827 edges, 3216 markings/sec, 460 secs
lola: 1603610 markings, 3368155 edges, 3248 markings/sec, 465 secs
lola: 1619757 markings, 3412439 edges, 3229 markings/sec, 470 secs
lola: 1635936 markings, 3454533 edges, 3236 markings/sec, 475 secs
lola: 1652467 markings, 3499465 edges, 3306 markings/sec, 480 secs
lola: 1668574 markings, 3543345 edges, 3221 markings/sec, 485 secs
lola: 1684691 markings, 3588554 edges, 3223 markings/sec, 490 secs
lola: 1701225 markings, 3633729 edges, 3307 markings/sec, 495 secs
lola: 1717279 markings, 3678600 edges, 3211 markings/sec, 500 secs
lola: 1733879 markings, 3724862 edges, 3320 markings/sec, 505 secs
lola: 1750712 markings, 3772205 edges, 3367 markings/sec, 510 secs
lola: 1767508 markings, 3820120 edges, 3359 markings/sec, 515 secs
lola: 1784257 markings, 3868485 edges, 3350 markings/sec, 520 secs
lola: 1800898 markings, 3917117 edges, 3328 markings/sec, 525 secs
lola: 1817507 markings, 3966520 edges, 3322 markings/sec, 530 secs
lola: 1833923 markings, 4017872 edges, 3283 markings/sec, 535 secs
lola: 1850130 markings, 4070762 edges, 3241 markings/sec, 540 secs
lola: 1866008 markings, 4129089 edges, 3176 markings/sec, 545 secs
lola: 1883552 markings, 4186079 edges, 3509 markings/sec, 550 secs
lola: 1902745 markings, 4219183 edges, 3839 markings/sec, 555 secs
lola: 1921406 markings, 4255265 edges, 3732 markings/sec, 560 secs
lola: 1939974 markings, 4288560 edges, 3714 markings/sec, 565 secs
lola: 1958547 markings, 4322025 edges, 3715 markings/sec, 570 secs
lola: 1977201 markings, 4355664 edges, 3731 markings/sec, 575 secs
lola: 1996082 markings, 4389651 edges, 3776 markings/sec, 580 secs
lola: 2013071 markings, 4419784 edges, 3398 markings/sec, 585 secs
lola: 2031972 markings, 4452299 edges, 3780 markings/sec, 590 secs
lola: 2051056 markings, 4485063 edges, 3817 markings/sec, 595 secs
lola: 2070148 markings, 4517766 edges, 3818 markings/sec, 600 secs
lola: 2089078 markings, 4550263 edges, 3786 markings/sec, 605 secs
lola: 2107555 markings, 4586344 edges, 3695 markings/sec, 610 secs
lola: 2125874 markings, 4620029 edges, 3664 markings/sec, 615 secs
lola: 2144541 markings, 4654268 edges, 3733 markings/sec, 620 secs
lola: 2163450 markings, 4686581 edges, 3782 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: memory consumption: 321252 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_30)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-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: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: memory consumption: 25640 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola: memory consumption: 25640 KB
lola:
preliminary result: 1 unknown 3 1 unknown unknown unknown 1 1 unknown unknown 1 unknown 1 1 1
lola: time consumption: 3570 seconds

BK_STOP 1527247992883

--------------------
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-S05J80"
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-S05J80.tgz
mv PolyORBNT-PT-S05J80 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-S05J80, 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-152673527200359"
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 ;