About the Execution of LoLA for S_PolyORBNT-PT-S10J40
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
713.630 | 3539383.00 | 3546534.00 | 11076.40 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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)
............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBNT-PT-S10J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231600155
=====================================================================
--------------------
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-COL-S10J40-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496347264967
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-PT-S10J40: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S10J40: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S10J40 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13194/65536 symbol table entries, 4678 collisions
lola: preprocessing...
lola: finding significant places
lola: 854 places, 12340 transitions, 742 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2698 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J40-UpperBounds.task
lola: MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(place_460) : MAX(mi3) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_29_6 + CreatedJobs_29_7 + CreatedJobs_29_8 + CreatedJobs_29_9 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_0_6 + CreatedJobs_0_7 + CreatedJobs_0_8 + CreatedJobs_0_9 + CreatedJobs_32_10 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_17_6 + CreatedJobs_17_7 + CreatedJobs_17_8 + CreatedJobs_17_9 + CreatedJobs_3_10 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_1_6 + CreatedJobs_1_7 + CreatedJobs_1_8 + CreatedJobs_1_9 + CreatedJobs_40_1 + CreatedJobs_40_2 + CreatedJobs_40_3 + CreatedJobs_40_4 + CreatedJobs_40_5 + CreatedJobs_40_6 + CreatedJobs_40_7 + CreatedJobs_40_8 + CreatedJobs_40_9 + CreatedJobs_13_10 + CreatedJobs_25_10 + CreatedJobs_37_10 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_18_6 + CreatedJobs_18_7 + CreatedJobs_18_8 + CreatedJobs_18_9 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_2_6 + CreatedJobs_2_7 + CreatedJobs_2_8 + CreatedJobs_2_9 + CreatedJobs_8_10 + CreatedJobs_18_10 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_19_6 + CreatedJobs_19_7 + CreatedJobs_19_8 + CreatedJobs_19_9 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_3_6 + CreatedJobs_3_7 + CreatedJobs_3_8 + CreatedJobs_3_9 + CreatedJobs_31_10 + CreatedJobs_2_10 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_4_6 + CreatedJobs_4_7 + CreatedJobs_4_8 + CreatedJobs_4_9 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_30_6 + CreatedJobs_30_7 + CreatedJobs_30_8 + CreatedJobs_30_9 + CreatedJobs_12_10 + CreatedJobs_24_10 + CreatedJobs_36_10 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_5_6 + CreatedJobs_5_7 + CreatedJobs_5_8 + CreatedJobs_5_9 + CreatedJobs_31_1 + CreatedJobs_31_2 + CreatedJobs_31_3 + CreatedJobs_31_4 + CreatedJobs_31_5 + CreatedJobs_31_6 + CreatedJobs_31_7 + CreatedJobs_31_8 + CreatedJobs_31_9 + CreatedJobs_7_10 + CreatedJobs_17_10 + CreatedJobs_29_10 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_6_6 + CreatedJobs_6_7 + CreatedJobs_6_8 + CreatedJobs_6_9 + CreatedJobs_30_10 + CreatedJobs_32_1 + CreatedJobs_32_2 + CreatedJobs_32_3 + CreatedJobs_32_4 + CreatedJobs_32_5 + CreatedJobs_32_6 + CreatedJobs_32_7 + CreatedJobs_32_8 + CreatedJobs_32_9 + CreatedJobs_1_10 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_7_6 + CreatedJobs_7_7 + CreatedJobs_7_8 + CreatedJobs_7_9 + CreatedJobs_33_1 + CreatedJobs_33_2 + CreatedJobs_33_3 + CreatedJobs_33_4 + CreatedJobs_33_5 + CreatedJobs_33_6 + CreatedJobs_33_7 + CreatedJobs_33_8 + CreatedJobs_33_9 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_20_6 + CreatedJobs_20_7 + CreatedJobs_20_8 + CreatedJobs_20_9 + CreatedJobs_11_10 + CreatedJobs_23_10 + CreatedJobs_35_10 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_8_6 + CreatedJobs_8_7 + CreatedJobs_8_8 + CreatedJobs_8_9 + CreatedJobs_34_1 + CreatedJobs_34_2 + CreatedJobs_34_3 + CreatedJobs_34_4 + CreatedJobs_34_5 + CreatedJobs_34_6 + CreatedJobs_34_7 + CreatedJobs_34_8 + CreatedJobs_34_9 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_21_6 + CreatedJobs_21_7 + CreatedJobs_21_8 + CreatedJobs_21_9 + CreatedJobs_6_10 + CreatedJobs_28_10 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_9_6 + CreatedJobs_9_7 + CreatedJobs_9_8 + CreatedJobs_9_9 + CreatedJobs_35_1 + CreatedJobs_35_2 + CreatedJobs_35_3 + CreatedJobs_35_4 + CreatedJobs_35_5 + CreatedJobs_35_6 + CreatedJobs_35_7 + CreatedJobs_35_8 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_22_5 + CreatedJobs_22_6 + CreatedJobs_22_7 + CreatedJobs_22_8 + CreatedJobs_22_9 + CreatedJobs_0_10 + CreatedJobs_36_1 + CreatedJobs_36_2 + CreatedJobs_36_3 + CreatedJobs_36_4 + CreatedJobs_36_5 + CreatedJobs_36_6 + CreatedJobs_36_7 + CreatedJobs_36_8 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_23_5 + CreatedJobs_23_6 + CreatedJobs_23_7 + CreatedJobs_23_8 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_10_5 + CreatedJobs_10_6 + CreatedJobs_10_7 + CreatedJobs_10_8 + CreatedJobs_10_9 + CreatedJobs_37_1 + CreatedJobs_37_2 + CreatedJobs_37_3 + CreatedJobs_37_4 + CreatedJobs_37_5 + CreatedJobs_37_6 + CreatedJobs_37_7 + CreatedJobs_37_8 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_24_5 + CreatedJobs_24_6 + CreatedJobs_24_7 + CreatedJobs_24_8 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_11_5 + CreatedJobs_11_6 + CreatedJobs_11_7 + CreatedJobs_11_8 + CreatedJobs_5_10 + CreatedJobs_28_8 + CreatedJobs_28_7 + CreatedJobs_15_10 + CreatedJobs_27_10 + CreatedJobs_39_10 + CreatedJobs_38_1 + CreatedJobs_38_2 + CreatedJobs_38_3 + CreatedJobs_38_4 + CreatedJobs_38_5 + CreatedJobs_38_6 + CreatedJobs_38_7 + CreatedJobs_38_8 + CreatedJobs_38_9 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_25_5 + CreatedJobs_25_6 + CreatedJobs_25_7 + CreatedJobs_25_8 + CreatedJobs_28_6 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_12_5 + CreatedJobs_12_6 + CreatedJobs_12_7 + CreatedJobs_12_8 + CreatedJobs_28_5 + CreatedJobs_28_4 + CreatedJobs_39_1 + CreatedJobs_39_2 + CreatedJobs_39_3 + CreatedJobs_39_4 + CreatedJobs_39_5 + CreatedJobs_39_6 + CreatedJobs_39_7 + CreatedJobs_39_8 + CreatedJobs_28_3 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_26_5 + CreatedJobs_26_6 + CreatedJobs_26_7 + CreatedJobs_26_8 + CreatedJobs_26_9 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_13_6 + CreatedJobs_13_7 + CreatedJobs_13_8 + CreatedJobs_28_2 + CreatedJobs_28_1 + CreatedJobs_14_8 + CreatedJobs_14_7 + CreatedJobs_14_6 + CreatedJobs_14_5 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_27_8 + CreatedJobs_27_7 + CreatedJobs_27_6 + CreatedJobs_27_5 + CreatedJobs_27_4 + CreatedJobs_27_1 + CreatedJobs_27_2 + CreatedJobs_27_3 + CreatedJobs_27_9 + CreatedJobs_33_10 + CreatedJobs_21_10 + CreatedJobs_14_9 + CreatedJobs_4_10 + CreatedJobs_14_10 + CreatedJobs_26_10 + CreatedJobs_38_10 + CreatedJobs_13_9 + CreatedJobs_39_9 + CreatedJobs_40_10 + CreatedJobs_12_9 + CreatedJobs_25_9 + CreatedJobs_28_9 + CreatedJobs_11_9 + CreatedJobs_24_9 + CreatedJobs_37_9 + CreatedJobs_34_10 + CreatedJobs_22_10 + CreatedJobs_10_10 + CreatedJobs_23_9 + CreatedJobs_36_9 + CreatedJobs_35_9 + CreatedJobs_16_10 + CreatedJobs_15_1 + CreatedJobs_15_2 + CreatedJobs_15_3 + CreatedJobs_15_4 + CreatedJobs_15_5 + CreatedJobs_15_6 + CreatedJobs_15_7 + CreatedJobs_15_8 + CreatedJobs_15_9 + CreatedJobs_9_10 + CreatedJobs_19_10) : MAX(NotifyEventJobQueuedE_1) : MAX(place_460) : MAX(NotifyEventEndOfCheckSourcesB_1) : MAX(mo1) : MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueuedB_1_26 + NotifyEventJobQueuedB_1_25 + NotifyEventJobQueuedB_1_24 + NotifyEventJobQueuedB_1_23 + NotifyEventJobQueuedB_1_22 + NotifyEventJobQueuedB_1_21 + NotifyEventJobQueuedB_1_20 + NotifyEventJobQueuedB_1_19 + NotifyEventJobQueuedB_1_18 + NotifyEventJobQueuedB_1_17 + NotifyEventJobQueuedB_1_16 + NotifyEventJobQueuedB_1_15 + NotifyEventJobQueuedB_1_14 + NotifyEventJobQueuedB_1_13 + NotifyEventJobQueuedB_1_12 + NotifyEventJobQueuedB_1_11 + NotifyEventJobQueuedB_1_10 + NotifyEventJobQueuedB_1_40 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6 + NotifyEventJobQueuedB_1_7 + NotifyEventJobQueuedB_1_8 + NotifyEventJobQueuedB_1_9) : MAX(place_521_1) : MAX(mi3) : MAX(ModifiedSrc_10 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6 + ModifiedSrc_7 + ModifiedSrc_8 + ModifiedSrc_9) : MAX(NotifyEventJobQueuedE_1) : MAX(cJobCnt) : 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 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40) : MAX(place_522_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8083 markings, 9153 edges, 1617 markings/sec, 0 secs
lola: 16123 markings, 18603 edges, 1608 markings/sec, 5 secs
lola: 24091 markings, 29674 edges, 1594 markings/sec, 10 secs
lola: 33931 markings, 41891 edges, 1968 markings/sec, 15 secs
lola: 43770 markings, 53961 edges, 1968 markings/sec, 20 secs
lola: 53644 markings, 66160 edges, 1975 markings/sec, 25 secs
lola: 63499 markings, 78453 edges, 1971 markings/sec, 30 secs
lola: 73322 markings, 90955 edges, 1965 markings/sec, 35 secs
lola: 83147 markings, 104065 edges, 1965 markings/sec, 40 secs
lola: 90654 markings, 116479 edges, 1501 markings/sec, 45 secs
lola: 96598 markings, 125923 edges, 1189 markings/sec, 50 secs
lola: 102388 markings, 135401 edges, 1158 markings/sec, 55 secs
lola: 108301 markings, 145154 edges, 1183 markings/sec, 60 secs
lola: 114135 markings, 155196 edges, 1167 markings/sec, 65 secs
lola: 119932 markings, 166526 edges, 1159 markings/sec, 70 secs
lola: 127785 markings, 176592 edges, 1571 markings/sec, 75 secs
lola: 135806 markings, 185990 edges, 1604 markings/sec, 80 secs
lola: 143791 markings, 196541 edges, 1597 markings/sec, 85 secs
lola: 153504 markings, 209135 edges, 1943 markings/sec, 90 secs
lola: 163309 markings, 221112 edges, 1961 markings/sec, 95 secs
lola: 173068 markings, 233161 edges, 1952 markings/sec, 100 secs
lola: 182897 markings, 245440 edges, 1966 markings/sec, 105 secs
lola: 192725 markings, 257914 edges, 1966 markings/sec, 110 secs
lola: 202496 markings, 270861 edges, 1954 markings/sec, 115 secs
lola: 210348 markings, 283604 edges, 1570 markings/sec, 120 secs
lola: 216251 markings, 293061 edges, 1181 markings/sec, 125 secs
lola: 222084 markings, 302525 edges, 1167 markings/sec, 130 secs
lola: 227946 markings, 312211 edges, 1172 markings/sec, 135 secs
lola: 233768 markings, 322149 edges, 1164 markings/sec, 140 secs
lola: 239436 markings, 332784 edges, 1134 markings/sec, 145 secs
lola: 246513 markings, 342905 edges, 1415 markings/sec, 150 secs
lola: 254042 markings, 351637 edges, 1506 markings/sec, 155 secs
lola: 261601 markings, 361001 edges, 1512 markings/sec, 160 secs
lola: 270083 markings, 372703 edges, 1696 markings/sec, 165 secs
lola: 279465 markings, 384148 edges, 1876 markings/sec, 170 secs
lola: 288749 markings, 395556 edges, 1857 markings/sec, 175 secs
lola: 297837 markings, 406858 edges, 1818 markings/sec, 180 secs
lola: 307270 markings, 418659 edges, 1887 markings/sec, 185 secs
lola: 316709 markings, 430822 edges, 1888 markings/sec, 190 secs
lola: 326086 markings, 443779 edges, 1875 markings/sec, 195 secs
lola: 332379 markings, 454471 edges, 1259 markings/sec, 200 secs
lola: 337913 markings, 463353 edges, 1107 markings/sec, 205 secs
lola: 343369 markings, 472303 edges, 1091 markings/sec, 210 secs
lola: 349019 markings, 481667 edges, 1130 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_460)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8411 markings, 38241 edges, 1682 markings/sec, 0 secs
lola: 16651 markings, 82185 edges, 1648 markings/sec, 5 secs
lola: 25076 markings, 123966 edges, 1685 markings/sec, 10 secs
lola: 33451 markings, 167522 edges, 1675 markings/sec, 15 secs
lola: 41968 markings, 207218 edges, 1703 markings/sec, 20 secs
lola: 50393 markings, 248765 edges, 1685 markings/sec, 25 secs
lola: 58774 markings, 291624 edges, 1676 markings/sec, 30 secs
lola: 67241 markings, 332510 edges, 1693 markings/sec, 35 secs
lola: 75675 markings, 373678 edges, 1687 markings/sec, 40 secs
lola: 84075 markings, 415880 edges, 1680 markings/sec, 45 secs
lola: 92488 markings, 457633 edges, 1683 markings/sec, 50 secs
lola: 100954 markings, 498459 edges, 1693 markings/sec, 55 secs
lola: 109349 markings, 540410 edges, 1679 markings/sec, 60 secs
lola: 117727 markings, 583319 edges, 1676 markings/sec, 65 secs
lola: 126215 markings, 623145 edges, 1698 markings/sec, 70 secs
lola: 134633 markings, 664750 edges, 1684 markings/sec, 75 secs
lola: 142992 markings, 707859 edges, 1672 markings/sec, 80 secs
lola: 151465 markings, 748238 edges, 1695 markings/sec, 85 secs
lola: 159886 markings, 789334 edges, 1684 markings/sec, 90 secs
lola: 168250 markings, 831786 edges, 1673 markings/sec, 95 secs
lola: 176645 markings, 872926 edges, 1679 markings/sec, 100 secs
lola: 185113 markings, 914083 edges, 1694 markings/sec, 105 secs
lola: 193496 markings, 955933 edges, 1677 markings/sec, 110 secs
lola: 201864 markings, 998354 edges, 1674 markings/sec, 115 secs
lola: 210325 markings, 1038503 edges, 1692 markings/sec, 120 secs
lola: 218741 markings, 1080109 edges, 1683 markings/sec, 125 secs
lola: 227063 markings, 1123255 edges, 1664 markings/sec, 130 secs
lola: 235483 markings, 1162932 edges, 1684 markings/sec, 135 secs
lola: 243849 markings, 1203885 edges, 1673 markings/sec, 140 secs
lola: 252189 markings, 1246227 edges, 1668 markings/sec, 145 secs
lola: 260605 markings, 1287078 edges, 1683 markings/sec, 150 secs
lola: 269286 markings, 1329146 edges, 1736 markings/sec, 155 secs
lola: 278651 markings, 1370675 edges, 1873 markings/sec, 160 secs
lola: 287962 markings, 1412411 edges, 1862 markings/sec, 165 secs
lola: 297312 markings, 1454369 edges, 1870 markings/sec, 170 secs
lola: 306648 markings, 1496606 edges, 1867 markings/sec, 175 secs
lola: 315946 markings, 1538836 edges, 1860 markings/sec, 180 secs
lola: 325208 markings, 1580446 edges, 1852 markings/sec, 185 secs
lola: 334529 markings, 1621629 edges, 1864 markings/sec, 190 secs
lola: 343784 markings, 1662953 edges, 1851 markings/sec, 195 secs
lola: 352976 markings, 1704270 edges, 1838 markings/sec, 200 secs
lola: 362186 markings, 1745561 edges, 1842 markings/sec, 205 secs
lola: 371403 markings, 1787160 edges, 1843 markings/sec, 210 secs
lola: 380240 markings, 1825043 edges, 1767 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mi3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 5218 markings, 9551 edges, 1044 markings/sec, 0 secs
lola: 10298 markings, 19069 edges, 1016 markings/sec, 5 secs
lola: 15268 markings, 28449 edges, 994 markings/sec, 10 secs
lola: 20212 markings, 37858 edges, 989 markings/sec, 15 secs
lola: 25018 markings, 47074 edges, 961 markings/sec, 20 secs
lola: 30388 markings, 57306 edges, 1074 markings/sec, 25 secs
lola: 35647 markings, 67619 edges, 1052 markings/sec, 30 secs
lola: 40996 markings, 78024 edges, 1070 markings/sec, 35 secs
lola: 46211 markings, 88490 edges, 1043 markings/sec, 40 secs
lola: 51516 markings, 99215 edges, 1061 markings/sec, 45 secs
lola: 56900 markings, 110371 edges, 1077 markings/sec, 50 secs
lola: 62147 markings, 121622 edges, 1049 markings/sec, 55 secs
lola: 67395 markings, 133792 edges, 1050 markings/sec, 60 secs
lola: 72644 markings, 150711 edges, 1050 markings/sec, 65 secs
lola: 77904 markings, 161057 edges, 1052 markings/sec, 70 secs
lola: 83244 markings, 171619 edges, 1068 markings/sec, 75 secs
lola: 88553 markings, 182180 edges, 1062 markings/sec, 80 secs
lola: 93815 markings, 192700 edges, 1052 markings/sec, 85 secs
lola: 99012 markings, 203159 edges, 1039 markings/sec, 90 secs
lola: 103528 markings, 212037 edges, 903 markings/sec, 95 secs
lola: 108435 markings, 221998 edges, 981 markings/sec, 100 secs
lola: 113476 markings, 232331 edges, 1008 markings/sec, 105 secs
lola: 118785 markings, 242857 edges, 1062 markings/sec, 110 secs
lola: 124093 markings, 253766 edges, 1062 markings/sec, 115 secs
lola: 129399 markings, 264417 edges, 1061 markings/sec, 120 secs
lola: 134517 markings, 275243 edges, 1024 markings/sec, 125 secs
lola: 139882 markings, 286259 edges, 1073 markings/sec, 130 secs
lola: 145157 markings, 297234 edges, 1055 markings/sec, 135 secs
lola: 150466 markings, 308281 edges, 1062 markings/sec, 140 secs
lola: 155800 markings, 319597 edges, 1067 markings/sec, 145 secs
lola: 161074 markings, 330845 edges, 1055 markings/sec, 150 secs
lola: 166296 markings, 342381 edges, 1044 markings/sec, 155 secs
lola: 171538 markings, 354116 edges, 1048 markings/sec, 160 secs
lola: 176827 markings, 366361 edges, 1058 markings/sec, 165 secs
lola: 182000 markings, 380079 edges, 1035 markings/sec, 170 secs
lola: 185929 markings, 393247 edges, 786 markings/sec, 175 secs
lola: 189257 markings, 402241 edges, 666 markings/sec, 180 secs
lola: 192644 markings, 411318 edges, 677 markings/sec, 185 secs
lola: 196035 markings, 420372 edges, 678 markings/sec, 190 secs
lola: 199433 markings, 429622 edges, 680 markings/sec, 195 secs
lola: 202851 markings, 438780 edges, 684 markings/sec, 200 secs
lola: 206139 markings, 447929 edges, 658 markings/sec, 205 secs
lola: 209520 markings, 457037 edges, 676 markings/sec, 210 secs
lola: 212963 markings, 466465 edges, 689 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_29_6 + CreatedJobs_29_7 + CreatedJobs_29_8 + CreatedJobs_29_9 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 2442 markings, 3581 edges, 488 markings/sec, 0 secs
lola: 4891 markings, 6729 edges, 490 markings/sec, 5 secs
lola: 7338 markings, 9874 edges, 489 markings/sec, 10 secs
lola: 9782 markings, 13027 edges, 489 markings/sec, 15 secs
lola: 12234 markings, 16162 edges, 490 markings/sec, 20 secs
lola: 14680 markings, 19299 edges, 489 markings/sec, 25 secs
lola: 17135 markings, 26131 edges, 491 markings/sec, 30 secs
lola: 19601 markings, 29290 edges, 493 markings/sec, 35 secs
lola: 22073 markings, 32450 edges, 494 markings/sec, 40 secs
lola: 24541 markings, 35605 edges, 494 markings/sec, 45 secs
lola: 27000 markings, 38772 edges, 492 markings/sec, 50 secs
lola: 29454 markings, 41925 edges, 491 markings/sec, 55 secs
lola: 31902 markings, 48741 edges, 490 markings/sec, 60 secs
lola: 34370 markings, 51928 edges, 494 markings/sec, 65 secs
lola: 36842 markings, 55088 edges, 494 markings/sec, 70 secs
lola: 39313 markings, 58249 edges, 494 markings/sec, 75 secs
lola: 41795 markings, 61419 edges, 496 markings/sec, 80 secs
lola: 44267 markings, 64590 edges, 494 markings/sec, 85 secs
lola: 46739 markings, 71440 edges, 494 markings/sec, 90 secs
lola: 49208 markings, 74619 edges, 494 markings/sec, 95 secs
lola: 51682 markings, 77810 edges, 495 markings/sec, 100 secs
lola: 54155 markings, 80979 edges, 495 markings/sec, 105 secs
lola: 56629 markings, 84140 edges, 495 markings/sec, 110 secs
lola: 59107 markings, 87303 edges, 496 markings/sec, 115 secs
lola: 61573 markings, 94156 edges, 493 markings/sec, 120 secs
lola: 64056 markings, 97334 edges, 497 markings/sec, 125 secs
lola: 66533 markings, 100522 edges, 495 markings/sec, 130 secs
lola: 69011 markings, 103713 edges, 496 markings/sec, 135 secs
lola: 71491 markings, 106887 edges, 496 markings/sec, 140 secs
lola: 73972 markings, 110058 edges, 496 markings/sec, 145 secs
lola: 76448 markings, 116920 edges, 495 markings/sec, 150 secs
lola: 78931 markings, 120096 edges, 497 markings/sec, 155 secs
lola: 81405 markings, 123279 edges, 495 markings/sec, 160 secs
lola: 83877 markings, 126468 edges, 494 markings/sec, 165 secs
lola: 86368 markings, 129655 edges, 498 markings/sec, 170 secs
lola: 88845 markings, 136521 edges, 495 markings/sec, 175 secs
lola: 91334 markings, 139698 edges, 498 markings/sec, 180 secs
lola: 93823 markings, 142878 edges, 498 markings/sec, 185 secs
lola: 96306 markings, 146073 edges, 497 markings/sec, 190 secs
lola: 98785 markings, 149270 edges, 496 markings/sec, 195 secs
lola: 101268 markings, 152448 edges, 497 markings/sec, 200 secs
lola: 103744 markings, 159314 edges, 495 markings/sec, 205 secs
lola: 106224 markings, 162482 edges, 496 markings/sec, 210 secs
lola: 108707 markings, 165651 edges, 497 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 7463 markings, 11471 edges, 1493 markings/sec, 0 secs
lola: 14873 markings, 23045 edges, 1482 markings/sec, 5 secs
lola: 22203 markings, 34586 edges, 1466 markings/sec, 10 secs
lola: 29542 markings, 46326 edges, 1468 markings/sec, 15 secs
lola: 36912 markings, 58225 edges, 1474 markings/sec, 20 secs
lola: 44309 markings, 70374 edges, 1479 markings/sec, 25 secs
lola: 51518 markings, 82919 edges, 1442 markings/sec, 30 secs
lola: 58822 markings, 97101 edges, 1461 markings/sec, 35 secs
lola: 67238 markings, 112612 edges, 1683 markings/sec, 40 secs
lola: 76148 markings, 126279 edges, 1782 markings/sec, 45 secs
lola: 85107 markings, 139962 edges, 1792 markings/sec, 50 secs
lola: 93777 markings, 153463 edges, 1734 markings/sec, 55 secs
lola: 102814 markings, 167259 edges, 1807 markings/sec, 60 secs
lola: 111608 markings, 180949 edges, 1759 markings/sec, 65 secs
lola: 120507 markings, 194806 edges, 1780 markings/sec, 70 secs
lola: 129392 markings, 208765 edges, 1777 markings/sec, 75 secs
lola: 138302 markings, 222775 edges, 1782 markings/sec, 80 secs
lola: 147023 markings, 236815 edges, 1744 markings/sec, 85 secs
lola: 155903 markings, 251152 edges, 1776 markings/sec, 90 secs
lola: 164659 markings, 265818 edges, 1751 markings/sec, 95 secs
lola: 173396 markings, 281362 edges, 1747 markings/sec, 100 secs
lola: 180181 markings, 296613 edges, 1357 markings/sec, 105 secs
lola: 185056 markings, 306767 edges, 975 markings/sec, 110 secs
lola: 189787 markings, 316799 edges, 946 markings/sec, 115 secs
lola: 194676 markings, 326978 edges, 978 markings/sec, 120 secs
lola: 199494 markings, 337220 edges, 964 markings/sec, 125 secs
lola: 204433 markings, 347538 edges, 988 markings/sec, 130 secs
lola: 209222 markings, 357767 edges, 958 markings/sec, 135 secs
lola: 213820 markings, 367693 edges, 920 markings/sec, 140 secs
lola: 218561 markings, 377863 edges, 948 markings/sec, 145 secs
lola: 223145 markings, 388008 edges, 917 markings/sec, 150 secs
lola: 227811 markings, 398396 edges, 933 markings/sec, 155 secs
lola: 232426 markings, 409162 edges, 923 markings/sec, 160 secs
lola: 236955 markings, 420305 edges, 906 markings/sec, 165 secs
lola: 242162 markings, 434705 edges, 1041 markings/sec, 170 secs
lola: 249446 markings, 446056 edges, 1457 markings/sec, 175 secs
lola: 256830 markings, 457476 edges, 1477 markings/sec, 180 secs
lola: 263955 markings, 468868 edges, 1425 markings/sec, 185 secs
lola: 271339 markings, 480525 edges, 1477 markings/sec, 190 secs
lola: 278611 markings, 492283 edges, 1454 markings/sec, 195 secs
lola: 285734 markings, 504258 edges, 1425 markings/sec, 200 secs
lola: 292996 markings, 516903 edges, 1452 markings/sec, 205 secs
lola: 300131 markings, 531454 edges, 1427 markings/sec, 210 secs
lola: 308828 markings, 546457 edges, 1739 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_460)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8443 markings, 38438 edges, 1689 markings/sec, 0 secs
lola: 16645 markings, 82167 edges, 1640 markings/sec, 5 secs
lola: 25110 markings, 124128 edges, 1693 markings/sec, 10 secs
lola: 33529 markings, 168129 edges, 1684 markings/sec, 15 secs
lola: 42085 markings, 207731 edges, 1711 markings/sec, 20 secs
lola: 50548 markings, 249562 edges, 1693 markings/sec, 25 secs
lola: 58965 markings, 292876 edges, 1683 markings/sec, 30 secs
lola: 67494 markings, 333661 edges, 1706 markings/sec, 35 secs
lola: 75763 markings, 374035 edges, 1654 markings/sec, 40 secs
lola: 84194 markings, 416623 edges, 1686 markings/sec, 45 secs
lola: 92662 markings, 458319 edges, 1694 markings/sec, 50 secs
lola: 101158 markings, 499543 edges, 1699 markings/sec, 55 secs
lola: 109597 markings, 541713 edges, 1688 markings/sec, 60 secs
lola: 117877 markings, 583703 edges, 1656 markings/sec, 65 secs
lola: 126400 markings, 624125 edges, 1705 markings/sec, 70 secs
lola: 134522 markings, 664174 edges, 1624 markings/sec, 75 secs
lola: 142928 markings, 707487 edges, 1681 markings/sec, 80 secs
lola: 151436 markings, 748118 edges, 1702 markings/sec, 85 secs
lola: 159564 markings, 787913 edges, 1626 markings/sec, 90 secs
lola: 167978 markings, 830126 edges, 1683 markings/sec, 95 secs
lola: 176267 markings, 871683 edges, 1658 markings/sec, 100 secs
lola: 184823 markings, 912540 edges, 1711 markings/sec, 105 secs
lola: 193246 markings, 954580 edges, 1685 markings/sec, 110 secs
lola: 201658 markings, 997761 edges, 1682 markings/sec, 115 secs
lola: 210162 markings, 1037640 edges, 1701 markings/sec, 120 secs
lola: 218625 markings, 1079448 edges, 1693 markings/sec, 125 secs
lola: 226989 markings, 1122692 edges, 1673 markings/sec, 130 secs
lola: 235408 markings, 1162694 edges, 1684 markings/sec, 135 secs
lola: 243693 markings, 1203169 edges, 1657 markings/sec, 140 secs
lola: 251952 markings, 1244753 edges, 1652 markings/sec, 145 secs
lola: 260232 markings, 1285821 edges, 1656 markings/sec, 150 secs
lola: 268823 markings, 1327448 edges, 1718 markings/sec, 155 secs
lola: 278088 markings, 1368772 edges, 1853 markings/sec, 160 secs
lola: 287405 markings, 1410139 edges, 1863 markings/sec, 165 secs
lola: 296617 markings, 1451259 edges, 1842 markings/sec, 170 secs
lola: 305979 markings, 1493261 edges, 1872 markings/sec, 175 secs
lola: 315329 markings, 1535423 edges, 1870 markings/sec, 180 secs
lola: 324647 markings, 1577738 edges, 1864 markings/sec, 185 secs
lola: 333868 markings, 1619794 edges, 1844 markings/sec, 190 secs
lola: 343021 markings, 1660150 edges, 1831 markings/sec, 195 secs
lola: 352196 markings, 1700985 edges, 1835 markings/sec, 200 secs
lola: 361517 markings, 1742583 edges, 1864 markings/sec, 205 secs
lola: 370854 markings, 1784484 edges, 1867 markings/sec, 210 secs
lola: 379752 markings, 1823256 edges, 1780 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 7720 markings, 8713 edges, 1544 markings/sec, 0 secs
lola: 15351 markings, 17662 edges, 1526 markings/sec, 5 secs
lola: 22908 markings, 27463 edges, 1511 markings/sec, 10 secs
lola: 31930 markings, 39511 edges, 1804 markings/sec, 15 secs
lola: 41268 markings, 50861 edges, 1868 markings/sec, 20 secs
lola: 50614 markings, 62365 edges, 1869 markings/sec, 25 secs
lola: 59989 markings, 74012 edges, 1875 markings/sec, 30 secs
lola: 69356 markings, 85833 edges, 1873 markings/sec, 35 secs
lola: 78764 markings, 98092 edges, 1882 markings/sec, 40 secs
lola: 87855 markings, 111934 edges, 1818 markings/sec, 45 secs
lola: 93452 markings, 120889 edges, 1119 markings/sec, 50 secs
lola: 98726 markings, 129374 edges, 1055 markings/sec, 55 secs
lola: 103613 markings, 137415 edges, 977 markings/sec, 60 secs
lola: 108468 markings, 145494 edges, 971 markings/sec, 65 secs
lola: 113508 markings, 154083 edges, 1008 markings/sec, 70 secs
lola: 119377 markings, 165211 edges, 1174 markings/sec, 75 secs
lola: 127110 markings, 175793 edges, 1547 markings/sec, 80 secs
lola: 135150 markings, 185181 edges, 1608 markings/sec, 85 secs
lola: 143169 markings, 195530 edges, 1604 markings/sec, 90 secs
lola: 152681 markings, 208122 edges, 1902 markings/sec, 95 secs
lola: 162522 markings, 220213 edges, 1968 markings/sec, 100 secs
lola: 172476 markings, 232414 edges, 1991 markings/sec, 105 secs
lola: 182311 markings, 244668 edges, 1967 markings/sec, 110 secs
lola: 192128 markings, 257121 edges, 1963 markings/sec, 115 secs
lola: 201953 markings, 270122 edges, 1965 markings/sec, 120 secs
lola: 210086 markings, 283202 edges, 1627 markings/sec, 125 secs
lola: 215997 markings, 292625 edges, 1182 markings/sec, 130 secs
lola: 221839 markings, 302161 edges, 1168 markings/sec, 135 secs
lola: 227734 markings, 311882 edges, 1179 markings/sec, 140 secs
lola: 233649 markings, 321940 edges, 1183 markings/sec, 145 secs
lola: 239468 markings, 332861 edges, 1164 markings/sec, 150 secs
lola: 247082 markings, 343550 edges, 1523 markings/sec, 155 secs
lola: 255156 markings, 352945 edges, 1615 markings/sec, 160 secs
lola: 263152 markings, 363175 edges, 1599 markings/sec, 165 secs
lola: 272570 markings, 375811 edges, 1884 markings/sec, 170 secs
lola: 282482 markings, 387870 edges, 1982 markings/sec, 175 secs
lola: 292284 markings, 399927 edges, 1960 markings/sec, 180 secs
lola: 302122 markings, 412219 edges, 1968 markings/sec, 185 secs
lola: 312025 markings, 424712 edges, 1981 markings/sec, 190 secs
lola: 321804 markings, 437613 edges, 1956 markings/sec, 195 secs
lola: 330149 markings, 450874 edges, 1669 markings/sec, 200 secs
lola: 335947 markings, 460242 edges, 1160 markings/sec, 205 secs
lola: 341900 markings, 469823 edges, 1191 markings/sec, 210 secs
lola: 347775 markings, 479530 edges, 1175 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8746 markings, 9892 edges, 1749 markings/sec, 0 secs
lola: 17386 markings, 20139 edges, 1728 markings/sec, 5 secs
lola: 26512 markings, 32855 edges, 1825 markings/sec, 10 secs
lola: 37672 markings, 46484 edges, 2232 markings/sec, 15 secs
lola: 48758 markings, 60134 edges, 2217 markings/sec, 20 secs
lola: 59960 markings, 73981 edges, 2240 markings/sec, 25 secs
lola: 71052 markings, 88001 edges, 2218 markings/sec, 30 secs
lola: 82186 markings, 102734 edges, 2227 markings/sec, 35 secs
lola: 90622 markings, 116429 edges, 1687 markings/sec, 40 secs
lola: 96823 markings, 126380 edges, 1240 markings/sec, 45 secs
lola: 103067 markings, 136507 edges, 1249 markings/sec, 50 secs
lola: 109322 markings, 146875 edges, 1251 markings/sec, 55 secs
lola: 115500 markings, 157643 edges, 1236 markings/sec, 60 secs
lola: 122133 markings, 170168 edges, 1327 markings/sec, 65 secs
lola: 130802 markings, 180068 edges, 1734 markings/sec, 70 secs
lola: 139426 markings, 190452 edges, 1725 markings/sec, 75 secs
lola: 149017 markings, 203704 edges, 1918 markings/sec, 80 secs
lola: 160085 markings, 217168 edges, 2214 markings/sec, 85 secs
lola: 171244 markings, 230897 edges, 2232 markings/sec, 90 secs
lola: 182278 markings, 244631 edges, 2207 markings/sec, 95 secs
lola: 193371 markings, 258739 edges, 2219 markings/sec, 100 secs
lola: 204363 markings, 273522 edges, 2198 markings/sec, 105 secs
lola: 211926 markings, 286138 edges, 1513 markings/sec, 110 secs
lola: 218197 markings, 296176 edges, 1254 markings/sec, 115 secs
lola: 224323 markings, 306239 edges, 1225 markings/sec, 120 secs
lola: 230585 markings, 316653 edges, 1252 markings/sec, 125 secs
lola: 236717 markings, 327455 edges, 1226 markings/sec, 130 secs
lola: 243689 markings, 339698 edges, 1394 markings/sec, 135 secs
lola: 252283 markings, 349563 edges, 1719 markings/sec, 140 secs
lola: 260871 markings, 360017 edges, 1718 markings/sec, 145 secs
lola: 270744 markings, 373533 edges, 1975 markings/sec, 150 secs
lola: 281847 markings, 387076 edges, 2221 markings/sec, 155 secs
lola: 292992 markings, 400847 edges, 2229 markings/sec, 160 secs
lola: 304124 markings, 414737 edges, 2226 markings/sec, 165 secs
lola: 315290 markings, 428974 edges, 2233 markings/sec, 170 secs
lola: 326386 markings, 444243 edges, 2219 markings/sec, 175 secs
lola: 333318 markings, 455954 edges, 1386 markings/sec, 180 secs
lola: 339471 markings, 465949 edges, 1231 markings/sec, 185 secs
lola: 345729 markings, 476187 edges, 1252 markings/sec, 190 secs
lola: 351948 markings, 486620 edges, 1244 markings/sec, 195 secs
lola: 358164 markings, 497769 edges, 1243 markings/sec, 200 secs
lola: 365799 markings, 509853 edges, 1527 markings/sec, 205 secs
lola: 374432 markings, 519939 edges, 1727 markings/sec, 210 secs
lola: 383070 markings, 531257 edges, 1728 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueue... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 2437 markings, 3575 edges, 487 markings/sec, 0 secs
lola: 4894 markings, 6732 edges, 491 markings/sec, 5 secs
lola: 7349 markings, 9889 edges, 491 markings/sec, 10 secs
lola: 9802 markings, 13049 edges, 491 markings/sec, 15 secs
lola: 12216 markings, 16142 edges, 483 markings/sec, 20 secs
lola: 14539 markings, 19109 edges, 465 markings/sec, 25 secs
lola: 16863 markings, 25766 edges, 465 markings/sec, 30 secs
lola: 19177 markings, 28749 edges, 463 markings/sec, 35 secs
lola: 21504 markings, 31738 edges, 465 markings/sec, 40 secs
lola: 23965 markings, 34893 edges, 492 markings/sec, 45 secs
lola: 26427 markings, 38042 edges, 492 markings/sec, 50 secs
lola: 28888 markings, 41186 edges, 492 markings/sec, 55 secs
lola: 31335 markings, 48016 edges, 489 markings/sec, 60 secs
lola: 33795 markings, 51159 edges, 492 markings/sec, 65 secs
lola: 36247 markings, 54304 edges, 490 markings/sec, 70 secs
lola: 38696 markings, 57450 edges, 490 markings/sec, 75 secs
lola: 41146 markings, 60598 edges, 490 markings/sec, 80 secs
lola: 43603 markings, 63762 edges, 491 markings/sec, 85 secs
lola: 46051 markings, 70576 edges, 490 markings/sec, 90 secs
lola: 48505 markings, 73731 edges, 491 markings/sec, 95 secs
lola: 50960 markings, 76880 edges, 491 markings/sec, 100 secs
lola: 53421 markings, 80028 edges, 492 markings/sec, 105 secs
lola: 55878 markings, 83168 edges, 491 markings/sec, 110 secs
lola: 58329 markings, 86305 edges, 490 markings/sec, 115 secs
lola: 60774 markings, 93131 edges, 489 markings/sec, 120 secs
lola: 63232 markings, 96277 edges, 492 markings/sec, 125 secs
lola: 65685 markings, 99429 edges, 491 markings/sec, 130 secs
lola: 68154 markings, 102613 edges, 494 markings/sec, 135 secs
lola: 70630 markings, 105787 edges, 495 markings/sec, 140 secs
lola: 73106 markings, 108957 edges, 495 markings/sec, 145 secs
lola: 75576 markings, 115814 edges, 494 markings/sec, 150 secs
lola: 78059 markings, 118984 edges, 497 markings/sec, 155 secs
lola: 80536 markings, 122153 edges, 495 markings/sec, 160 secs
lola: 83007 markings, 125333 edges, 494 markings/sec, 165 secs
lola: 85484 markings, 128527 edges, 495 markings/sec, 170 secs
lola: 87964 markings, 131703 edges, 496 markings/sec, 175 secs
lola: 90445 markings, 138573 edges, 496 markings/sec, 180 secs
lola: 92927 markings, 141743 edges, 496 markings/sec, 185 secs
lola: 95417 markings, 144923 edges, 498 markings/sec, 190 secs
lola: 97892 markings, 148109 edges, 495 markings/sec, 195 secs
lola: 100365 markings, 151301 edges, 495 markings/sec, 200 secs
lola: 102842 markings, 158149 edges, 495 markings/sec, 205 secs
lola: 105321 markings, 161331 edges, 496 markings/sec, 210 secs
lola: 107795 markings, 164500 edges, 495 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_521_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8483 markings, 9629 edges, 1697 markings/sec, 0 secs
lola: 17332 markings, 20085 edges, 1770 markings/sec, 5 secs
lola: 26679 markings, 33055 edges, 1869 markings/sec, 10 secs
lola: 37934 markings, 46851 edges, 2251 markings/sec, 15 secs
lola: 49305 markings, 60748 edges, 2274 markings/sec, 20 secs
lola: 60629 markings, 74832 edges, 2265 markings/sec, 25 secs
lola: 71967 markings, 89192 edges, 2268 markings/sec, 30 secs
lola: 83266 markings, 104251 edges, 2260 markings/sec, 35 secs
lola: 91374 markings, 117586 edges, 1622 markings/sec, 40 secs
lola: 97629 markings, 127663 edges, 1251 markings/sec, 45 secs
lola: 103985 markings, 138033 edges, 1271 markings/sec, 50 secs
lola: 110329 markings, 148595 edges, 1269 markings/sec, 55 secs
lola: 116580 markings, 159636 edges, 1250 markings/sec, 60 secs
lola: 123855 markings, 172099 edges, 1455 markings/sec, 65 secs
lola: 132659 markings, 182231 edges, 1761 markings/sec, 70 secs
lola: 141407 markings, 193045 edges, 1750 markings/sec, 75 secs
lola: 151860 markings, 207111 edges, 2091 markings/sec, 80 secs
lola: 163105 markings, 220864 edges, 2249 markings/sec, 85 secs
lola: 174384 markings, 234783 edges, 2256 markings/sec, 90 secs
lola: 185710 markings, 248976 edges, 2265 markings/sec, 95 secs
lola: 197006 markings, 263473 edges, 2259 markings/sec, 100 secs
lola: 207929 markings, 279737 edges, 2185 markings/sec, 105 secs
lola: 214189 markings, 289773 edges, 1252 markings/sec, 110 secs
lola: 220498 markings, 299976 edges, 1262 markings/sec, 115 secs
lola: 226813 markings, 310334 edges, 1263 markings/sec, 120 secs
lola: 233127 markings, 321022 edges, 1263 markings/sec, 125 secs
lola: 239368 markings, 332654 edges, 1248 markings/sec, 130 secs
lola: 247646 markings, 344191 edges, 1656 markings/sec, 135 secs
lola: 256360 markings, 354406 edges, 1743 markings/sec, 140 secs
lola: 265099 markings, 366656 edges, 1748 markings/sec, 145 secs
lola: 276330 markings, 380319 edges, 2246 markings/sec, 150 secs
lola: 287533 markings, 394054 edges, 2241 markings/sec, 155 secs
lola: 298680 markings, 407891 edges, 2229 markings/sec, 160 secs
lola: 309812 markings, 421917 edges, 2226 markings/sec, 165 secs
lola: 320979 markings, 436499 edges, 2233 markings/sec, 170 secs
lola: 329883 markings, 450498 edges, 1781 markings/sec, 175 secs
lola: 336076 markings, 460435 edges, 1239 markings/sec, 180 secs
lola: 342295 markings, 470522 edges, 1244 markings/sec, 185 secs
lola: 348521 markings, 480830 edges, 1245 markings/sec, 190 secs
lola: 354721 markings, 491442 edges, 1240 markings/sec, 195 secs
lola: 360834 markings, 503788 edges, 1223 markings/sec, 200 secs
lola: 369491 markings, 514123 edges, 1731 markings/sec, 205 secs
lola: 378113 markings, 524444 edges, 1724 markings/sec, 210 secs
lola: 387593 markings, 537556 edges, 1896 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mi3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 5406 markings, 9939 edges, 1081 markings/sec, 0 secs
lola: 10688 markings, 19871 edges, 1056 markings/sec, 5 secs
lola: 15962 markings, 29953 edges, 1055 markings/sec, 10 secs
lola: 21357 markings, 39990 edges, 1079 markings/sec, 15 secs
lola: 26561 markings, 50038 edges, 1041 markings/sec, 20 secs
lola: 31922 markings, 60222 edges, 1072 markings/sec, 25 secs
lola: 37125 markings, 70443 edges, 1041 markings/sec, 30 secs
lola: 42430 markings, 80933 edges, 1061 markings/sec, 35 secs
lola: 47572 markings, 91307 edges, 1028 markings/sec, 40 secs
lola: 52866 markings, 101993 edges, 1059 markings/sec, 45 secs
lola: 58063 markings, 112959 edges, 1039 markings/sec, 50 secs
lola: 63308 markings, 124344 edges, 1049 markings/sec, 55 secs
lola: 68590 markings, 136693 edges, 1056 markings/sec, 60 secs
lola: 73923 markings, 152914 edges, 1067 markings/sec, 65 secs
lola: 78990 markings, 162994 edges, 1013 markings/sec, 70 secs
lola: 84132 markings, 173399 edges, 1028 markings/sec, 75 secs
lola: 89339 markings, 183850 edges, 1041 markings/sec, 80 secs
lola: 94557 markings, 194276 edges, 1044 markings/sec, 85 secs
lola: 99835 markings, 204732 edges, 1056 markings/sec, 90 secs
lola: 105135 markings, 215202 edges, 1060 markings/sec, 95 secs
lola: 110371 markings, 225844 edges, 1047 markings/sec, 100 secs
lola: 115512 markings, 236372 edges, 1028 markings/sec, 105 secs
lola: 120705 markings, 246878 edges, 1039 markings/sec, 110 secs
lola: 126045 markings, 257633 edges, 1068 markings/sec, 115 secs
lola: 131202 markings, 268223 edges, 1031 markings/sec, 120 secs
lola: 136331 markings, 278964 edges, 1026 markings/sec, 125 secs
lola: 141621 markings, 289841 edges, 1058 markings/sec, 130 secs
lola: 146805 markings, 300683 edges, 1037 markings/sec, 135 secs
lola: 152040 markings, 311593 edges, 1047 markings/sec, 140 secs
lola: 157290 markings, 322782 edges, 1050 markings/sec, 145 secs
lola: 162510 markings, 334032 edges, 1044 markings/sec, 150 secs
lola: 167704 markings, 345417 edges, 1039 markings/sec, 155 secs
lola: 172913 markings, 357238 edges, 1042 markings/sec, 160 secs
lola: 178035 markings, 369438 edges, 1024 markings/sec, 165 secs
lola: 183147 markings, 384198 edges, 1022 markings/sec, 170 secs
lola: 186702 markings, 395357 edges, 711 markings/sec, 175 secs
lola: 190034 markings, 404190 edges, 666 markings/sec, 180 secs
lola: 193367 markings, 413158 edges, 667 markings/sec, 185 secs
lola: 196701 markings, 422201 edges, 667 markings/sec, 190 secs
lola: 199982 markings, 431145 edges, 656 markings/sec, 195 secs
lola: 203246 markings, 440117 edges, 653 markings/sec, 200 secs
lola: 206608 markings, 449122 edges, 672 markings/sec, 205 secs
lola: 210001 markings, 458301 edges, 679 markings/sec, 210 secs
lola: 213240 markings, 467398 edges, 648 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_10 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6 + ModifiedSrc_7 + ModifiedSrc_8 + ModifiedSrc_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8071 markings, 10521 edges, 1614 markings/sec, 0 secs
lola: 16074 markings, 19901 edges, 1601 markings/sec, 5 secs
lola: 24002 markings, 30465 edges, 1586 markings/sec, 10 secs
lola: 33598 markings, 42858 edges, 1919 markings/sec, 15 secs
lola: 42911 markings, 54251 edges, 1863 markings/sec, 20 secs
lola: 52733 markings, 66369 edges, 1964 markings/sec, 25 secs
lola: 62090 markings, 78016 edges, 1871 markings/sec, 30 secs
lola: 71498 markings, 89904 edges, 1882 markings/sec, 35 secs
lola: 80789 markings, 102123 edges, 1858 markings/sec, 40 secs
lola: 89253 markings, 115361 edges, 1693 markings/sec, 45 secs
lola: 95022 markings, 124681 edges, 1154 markings/sec, 50 secs
lola: 100901 markings, 134160 edges, 1176 markings/sec, 55 secs
lola: 106751 markings, 143810 edges, 1170 markings/sec, 60 secs
lola: 112608 markings, 153707 edges, 1171 markings/sec, 65 secs
lola: 118435 markings, 164248 edges, 1165 markings/sec, 70 secs
lola: 125528 markings, 175410 edges, 1419 markings/sec, 75 secs
lola: 133537 markings, 184643 edges, 1602 markings/sec, 80 secs
lola: 141512 markings, 194485 edges, 1595 markings/sec, 85 secs
lola: 150530 markings, 206860 edges, 1804 markings/sec, 90 secs
lola: 160235 markings, 218755 edges, 1941 markings/sec, 95 secs
lola: 170032 markings, 230754 edges, 1959 markings/sec, 100 secs
lola: 179854 markings, 242957 edges, 1964 markings/sec, 105 secs
lola: 189643 markings, 255289 edges, 1958 markings/sec, 110 secs
lola: 199363 markings, 267926 edges, 1944 markings/sec, 115 secs
lola: 208690 markings, 282111 edges, 1865 markings/sec, 120 secs
lola: 214462 markings, 291422 edges, 1154 markings/sec, 125 secs
lola: 220289 markings, 300833 edges, 1165 markings/sec, 130 secs
lola: 226198 markings, 310473 edges, 1182 markings/sec, 135 secs
lola: 232020 markings, 320308 edges, 1164 markings/sec, 140 secs
lola: 237856 markings, 330681 edges, 1167 markings/sec, 145 secs
lola: 244596 markings, 342131 edges, 1348 markings/sec, 150 secs
lola: 252631 markings, 351338 edges, 1607 markings/sec, 155 secs
lola: 260572 markings, 360987 edges, 1588 markings/sec, 160 secs
lola: 269333 markings, 373157 edges, 1752 markings/sec, 165 secs
lola: 279010 markings, 385024 edges, 1935 markings/sec, 170 secs
lola: 288791 markings, 396981 edges, 1956 markings/sec, 175 secs
lola: 298628 markings, 409162 edges, 1967 markings/sec, 180 secs
lola: 308385 markings, 421463 edges, 1951 markings/sec, 185 secs
lola: 318173 markings, 434053 edges, 1958 markings/sec, 190 secs
lola: 327804 markings, 447840 edges, 1926 markings/sec, 195 secs
lola: 333887 markings, 458096 edges, 1217 markings/sec, 200 secs
lola: 339734 markings, 467515 edges, 1169 markings/sec, 205 secs
lola: 345557 markings, 477077 edges, 1165 markings/sec, 210 secs
lola: 351395 markings, 486856 edges, 1168 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 7200 markings, 11007 edges, 1440 markings/sec, 0 secs
lola: 14174 markings, 21886 edges, 1395 markings/sec, 5 secs
lola: 20975 markings, 32648 edges, 1360 markings/sec, 10 secs
lola: 27980 markings, 43762 edges, 1401 markings/sec, 15 secs
lola: 34845 markings, 54885 edges, 1373 markings/sec, 20 secs
lola: 41855 markings, 66352 edges, 1402 markings/sec, 25 secs
lola: 48740 markings, 77952 edges, 1377 markings/sec, 30 secs
lola: 55563 markings, 90378 edges, 1365 markings/sec, 35 secs
lola: 62862 markings, 106023 edges, 1460 markings/sec, 40 secs
lola: 71247 markings, 118718 edges, 1677 markings/sec, 45 secs
lola: 79584 markings, 131499 edges, 1667 markings/sec, 50 secs
lola: 87900 markings, 144239 edges, 1663 markings/sec, 55 secs
lola: 95940 markings, 156727 edges, 1608 markings/sec, 60 secs
lola: 104243 markings, 169526 edges, 1661 markings/sec, 65 secs
lola: 112689 markings, 182653 edges, 1689 markings/sec, 70 secs
lola: 121145 markings, 195792 edges, 1691 markings/sec, 75 secs
lola: 129452 markings, 208870 edges, 1661 markings/sec, 80 secs
lola: 137819 markings, 222078 edges, 1673 markings/sec, 85 secs
lola: 146167 markings, 235404 edges, 1670 markings/sec, 90 secs
lola: 154465 markings, 248838 edges, 1660 markings/sec, 95 secs
lola: 162827 markings, 262719 edges, 1672 markings/sec, 100 secs
lola: 171117 markings, 277124 edges, 1658 markings/sec, 105 secs
lola: 178656 markings, 293429 edges, 1508 markings/sec, 110 secs
lola: 183181 markings, 302888 edges, 905 markings/sec, 115 secs
lola: 187848 markings, 312569 edges, 933 markings/sec, 120 secs
lola: 192463 markings, 322257 edges, 923 markings/sec, 125 secs
lola: 196974 markings, 331863 edges, 902 markings/sec, 130 secs
lola: 201733 markings, 341704 edges, 952 markings/sec, 135 secs
lola: 206259 markings, 351468 edges, 905 markings/sec, 140 secs
lola: 210898 markings, 361382 edges, 928 markings/sec, 145 secs
lola: 215612 markings, 371461 edges, 943 markings/sec, 150 secs
lola: 220199 markings, 381495 edges, 917 markings/sec, 155 secs
lola: 224824 markings, 391759 edges, 925 markings/sec, 160 secs
lola: 229475 markings, 402313 edges, 930 markings/sec, 165 secs
lola: 234138 markings, 413300 edges, 933 markings/sec, 170 secs
lola: 238741 markings, 425232 edges, 921 markings/sec, 175 secs
lola: 244815 markings, 438758 edges, 1215 markings/sec, 180 secs
lola: 252064 markings, 450047 edges, 1450 markings/sec, 185 secs
lola: 259426 markings, 461567 edges, 1472 markings/sec, 190 secs
lola: 266722 markings, 473158 edges, 1459 markings/sec, 195 secs
lola: 273976 markings, 484835 edges, 1451 markings/sec, 200 secs
lola: 281390 markings, 496951 edges, 1483 markings/sec, 205 secs
lola: 288599 markings, 509150 edges, 1442 markings/sec, 210 secs
lola: 295888 markings, 522225 edges, 1458 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 4742 markings, 5344 edges, 948 markings/sec, 0 secs
lola: 9483 markings, 10782 edges, 948 markings/sec, 5 secs
lola: 14242 markings, 16348 edges, 952 markings/sec, 10 secs
lola: 18990 markings, 22149 edges, 950 markings/sec, 15 secs
lola: 23655 markings, 28703 edges, 933 markings/sec, 20 secs
lola: 29618 markings, 36633 edges, 1193 markings/sec, 25 secs
lola: 35737 markings, 44094 edges, 1224 markings/sec, 30 secs
lola: 41873 markings, 51620 edges, 1227 markings/sec, 35 secs
lola: 47907 markings, 59030 edges, 1207 markings/sec, 40 secs
lola: 54016 markings, 66579 edges, 1222 markings/sec, 45 secs
lola: 60196 markings, 74285 edges, 1236 markings/sec, 50 secs
lola: 66683 markings, 82444 edges, 1297 markings/sec, 55 secs
lola: 77990 markings, 97052 edges, 2261 markings/sec, 60 secs
lola: 88302 markings, 112720 edges, 2062 markings/sec, 65 secs
lola: 94574 markings, 122766 edges, 1254 markings/sec, 70 secs
lola: 100861 markings, 132932 edges, 1257 markings/sec, 75 secs
lola: 107159 markings, 143269 edges, 1260 markings/sec, 80 secs
lola: 113392 markings, 153911 edges, 1247 markings/sec, 85 secs
lola: 119591 markings, 165690 edges, 1240 markings/sec, 90 secs
lola: 128068 markings, 176875 edges, 1695 markings/sec, 95 secs
lola: 136745 markings, 187114 edges, 1735 markings/sec, 100 secs
lola: 145717 markings, 199670 edges, 1794 markings/sec, 105 secs
lola: 156858 markings, 213281 edges, 2228 markings/sec, 110 secs
lola: 168105 markings, 227024 edges, 2249 markings/sec, 115 secs
lola: 179410 markings, 241046 edges, 2261 markings/sec, 120 secs
lola: 190585 markings, 255156 edges, 2235 markings/sec, 125 secs
lola: 201763 markings, 269863 edges, 2236 markings/sec, 130 secs
lola: 210589 markings, 283952 edges, 1765 markings/sec, 135 secs
lola: 216875 markings, 294024 edges, 1257 markings/sec, 140 secs
lola: 223039 markings, 304123 edges, 1233 markings/sec, 145 secs
lola: 229267 markings, 314462 edges, 1246 markings/sec, 150 secs
lola: 235502 markings, 325255 edges, 1247 markings/sec, 155 secs
lola: 242176 markings, 337956 edges, 1335 markings/sec, 160 secs
lola: 250852 markings, 347881 edges, 1735 markings/sec, 165 secs
lola: 259535 markings, 358298 edges, 1737 markings/sec, 170 secs
lola: 269154 markings, 371595 edges, 1924 markings/sec, 175 secs
lola: 280290 markings, 385172 edges, 2227 markings/sec, 180 secs
lola: 291561 markings, 399044 edges, 2254 markings/sec, 185 secs
lola: 302782 markings, 412995 edges, 2244 markings/sec, 190 secs
lola: 313918 markings, 427179 edges, 2227 markings/sec, 195 secs
lola: 325063 markings, 442212 edges, 2229 markings/sec, 200 secs
lola: 332603 markings, 454794 edges, 1508 markings/sec, 205 secs
lola: 338742 markings, 464776 edges, 1228 markings/sec, 210 secs
lola: 345048 markings, 475007 edges, 1261 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
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 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 5424 markings, 9976 edges, 1085 markings/sec, 0 secs
lola: 10721 markings, 19938 edges, 1059 markings/sec, 5 secs
lola: 16043 markings, 30074 edges, 1064 markings/sec, 10 secs
lola: 21452 markings, 40137 edges, 1082 markings/sec, 15 secs
lola: 26630 markings, 50181 edges, 1036 markings/sec, 20 secs
lola: 32040 markings, 60579 edges, 1082 markings/sec, 25 secs
lola: 37306 markings, 70716 edges, 1053 markings/sec, 30 secs
lola: 42540 markings, 81166 edges, 1047 markings/sec, 35 secs
lola: 47790 markings, 91639 edges, 1050 markings/sec, 40 secs
lola: 53092 markings, 102345 edges, 1060 markings/sec, 45 secs
lola: 58266 markings, 113262 edges, 1035 markings/sec, 50 secs
lola: 63526 markings, 124676 edges, 1052 markings/sec, 55 secs
lola: 68596 markings, 136711 edges, 1014 markings/sec, 60 secs
lola: 73945 markings, 152954 edges, 1070 markings/sec, 65 secs
lola: 78994 markings, 163004 edges, 1010 markings/sec, 70 secs
lola: 84132 markings, 173399 edges, 1028 markings/sec, 75 secs
lola: 89328 markings, 183829 edges, 1039 markings/sec, 80 secs
lola: 94527 markings, 194232 edges, 1040 markings/sec, 85 secs
lola: 99781 markings, 204662 edges, 1051 markings/sec, 90 secs
lola: 105104 markings, 215155 edges, 1065 markings/sec, 95 secs
lola: 110398 markings, 225901 edges, 1059 markings/sec, 100 secs
lola: 115551 markings, 236470 edges, 1031 markings/sec, 105 secs
lola: 120888 markings, 247160 edges, 1067 markings/sec, 110 secs
lola: 126189 markings, 258046 edges, 1060 markings/sec, 115 secs
lola: 131460 markings, 268789 edges, 1054 markings/sec, 120 secs
lola: 136609 markings, 279504 edges, 1030 markings/sec, 125 secs
lola: 141822 markings, 290324 edges, 1043 markings/sec, 130 secs
lola: 147121 markings, 301336 edges, 1060 markings/sec, 135 secs
lola: 152454 markings, 312453 edges, 1067 markings/sec, 140 secs
lola: 157556 markings, 323414 edges, 1020 markings/sec, 145 secs
lola: 162796 markings, 334712 edges, 1048 markings/sec, 150 secs
lola: 168174 markings, 346437 edges, 1076 markings/sec, 155 secs
lola: 173312 markings, 358188 edges, 1028 markings/sec, 160 secs
lola: 178485 markings, 370625 edges, 1035 markings/sec, 165 secs
lola: 183581 markings, 387338 edges, 1019 markings/sec, 170 secs
lola: 186932 markings, 396130 edges, 670 markings/sec, 175 secs
lola: 190299 markings, 405104 edges, 673 markings/sec, 180 secs
lola: 193645 markings, 414098 edges, 669 markings/sec, 185 secs
lola: 196965 markings, 423089 edges, 664 markings/sec, 190 secs
lola: 200279 markings, 432151 edges, 663 markings/sec, 195 secs
lola: 203679 markings, 441144 edges, 680 markings/sec, 200 secs
lola: 207074 markings, 450338 edges, 679 markings/sec, 205 secs
lola: 210378 markings, 459476 edges, 661 markings/sec, 210 secs
lola: 213746 markings, 468539 edges, 674 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_522_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2968 bytes per marking, with 0 unused bits
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: 8784 markings, 40266 edges, 1757 markings/sec, 0 secs
lola: 17404 markings, 86233 edges, 1724 markings/sec, 5 secs
lola: 26179 markings, 130293 edges, 1755 markings/sec, 10 secs
lola: 35011 markings, 173392 edges, 1766 markings/sec, 15 secs
lola: 43820 markings, 216280 edges, 1762 markings/sec, 20 secs
lola: 52563 markings, 261331 edges, 1749 markings/sec, 25 secs
lola: 61434 markings, 303265 edges, 1774 markings/sec, 30 secs
lola: 70211 markings, 346743 edges, 1755 markings/sec, 35 secs
lola: 78939 markings, 391908 edges, 1746 markings/sec, 40 secs
lola: 87817 markings, 433490 edges, 1776 markings/sec, 45 secs
lola: 96584 markings, 477453 edges, 1753 markings/sec, 50 secs
lola: 105335 markings, 521187 edges, 1750 markings/sec, 55 secs
lola: 114181 markings, 563945 edges, 1769 markings/sec, 60 secs
lola: 122937 markings, 607914 edges, 1751 markings/sec, 65 secs
lola: 131737 markings, 651003 edges, 1760 markings/sec, 70 secs
lola: 140279 markings, 692651 edges, 1708 markings/sec, 75 secs
lola: 149099 markings, 737475 edges, 1764 markings/sec, 80 secs
lola: 158037 markings, 780491 edges, 1788 markings/sec, 85 secs
lola: 166887 markings, 823968 edges, 1770 markings/sec, 90 secs
lola: 175665 markings, 869829 edges, 1756 markings/sec, 95 secs
lola: 184640 markings, 911534 edges, 1795 markings/sec, 100 secs
lola: 193473 markings, 955823 edges, 1767 markings/sec, 105 secs
lola: 202324 markings, 999900 edges, 1770 markings/sec, 110 secs
lola: 211227 markings, 1042992 edges, 1781 markings/sec, 115 secs
lola: 220074 markings, 1087867 edges, 1769 markings/sec, 120 secs
lola: 228937 markings, 1130763 edges, 1773 markings/sec, 125 secs
lola: 237745 markings, 1173909 edges, 1762 markings/sec, 130 secs
lola: 246498 markings, 1219329 edges, 1751 markings/sec, 135 secs
lola: 255397 markings, 1261005 edges, 1780 markings/sec, 140 secs
lola: 264265 markings, 1304289 edges, 1774 markings/sec, 145 secs
lola: 273870 markings, 1349185 edges, 1921 markings/sec, 150 secs
lola: 283660 markings, 1394244 edges, 1958 markings/sec, 155 secs
lola: 293540 markings, 1437380 edges, 1976 markings/sec, 160 secs
lola: 303398 markings, 1481747 edges, 1972 markings/sec, 165 secs
lola: 313191 markings, 1526895 edges, 1959 markings/sec, 170 secs
lola: 323027 markings, 1569742 edges, 1967 markings/sec, 175 secs
lola: 332803 markings, 1613711 edges, 1955 markings/sec, 180 secs
lola: 342541 markings, 1658313 edges, 1948 markings/sec, 185 secs
lola: 352332 markings, 1701533 edges, 1958 markings/sec, 190 secs
lola: 362101 markings, 1745174 edges, 1954 markings/sec, 195 secs
lola: 371869 markings, 1789705 edges, 1954 markings/sec, 200 secs
lola: 381207 markings, 1829524 edges, 1868 markings/sec, 205 secs
lola: 390086 markings, 1873127 edges, 1776 markings/sec, 210 secs
lola: 399029 markings, 1915847 edges, 1789 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S10J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496350804350
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="S_PolyORBNT-PT-S10J40"
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/S_PolyORBNT-PT-S10J40.tgz
mv S_PolyORBNT-PT-S10J40 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBNT-PT-S10J40, 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 r138-smll-149479231600155"
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 '
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 ;