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 PolyORBNT-PT-S10J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200155
=====================================================================

--------------------
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 1494735452652


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S10J40 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 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: 8017 markings, 9087 edges, 1603 markings/sec, 0 secs
lola: 16041 markings, 18488 edges, 1605 markings/sec, 5 secs
lola: 23937 markings, 29291 edges, 1579 markings/sec, 10 secs
lola: 33645 markings, 41602 edges, 1942 markings/sec, 15 secs
lola: 43444 markings, 53582 edges, 1960 markings/sec, 20 secs
lola: 53342 markings, 65733 edges, 1980 markings/sec, 25 secs
lola: 63159 markings, 77984 edges, 1963 markings/sec, 30 secs
lola: 72970 markings, 90471 edges, 1962 markings/sec, 35 secs
lola: 82742 markings, 103491 edges, 1954 markings/sec, 40 secs
lola: 90476 markings, 116091 edges, 1547 markings/sec, 45 secs
lola: 96243 markings, 125419 edges, 1153 markings/sec, 50 secs
lola: 102135 markings, 134988 edges, 1178 markings/sec, 55 secs
lola: 107966 markings, 144649 edges, 1166 markings/sec, 60 secs
lola: 113811 markings, 154643 edges, 1169 markings/sec, 65 secs
lola: 119624 markings, 165748 edges, 1163 markings/sec, 70 secs
lola: 127364 markings, 176096 edges, 1548 markings/sec, 75 secs
lola: 135340 markings, 185422 edges, 1595 markings/sec, 80 secs
lola: 143308 markings, 195748 edges, 1594 markings/sec, 85 secs
lola: 152810 markings, 208273 edges, 1900 markings/sec, 90 secs
lola: 162569 markings, 220260 edges, 1952 markings/sec, 95 secs
lola: 172440 markings, 232361 edges, 1974 markings/sec, 100 secs
lola: 182192 markings, 244523 edges, 1950 markings/sec, 105 secs
lola: 191931 markings, 256897 edges, 1948 markings/sec, 110 secs
lola: 201657 markings, 269707 edges, 1945 markings/sec, 115 secs
lola: 209880 markings, 282796 edges, 1645 markings/sec, 120 secs
lola: 215611 markings, 292070 edges, 1146 markings/sec, 125 secs
lola: 221445 markings, 301481 edges, 1167 markings/sec, 130 secs
lola: 227266 markings, 311098 edges, 1164 markings/sec, 135 secs
lola: 233107 markings, 320994 edges, 1168 markings/sec, 140 secs
lola: 238899 markings, 331648 edges, 1158 markings/sec, 145 secs
lola: 246281 markings, 342609 edges, 1476 markings/sec, 150 secs
lola: 254269 markings, 351885 edges, 1598 markings/sec, 155 secs
lola: 262247 markings, 361883 edges, 1596 markings/sec, 160 secs
lola: 271335 markings, 374258 edges, 1818 markings/sec, 165 secs
lola: 281113 markings, 386199 edges, 1956 markings/sec, 170 secs
lola: 290812 markings, 398129 edges, 1940 markings/sec, 175 secs
lola: 300721 markings, 410408 edges, 1982 markings/sec, 180 secs
lola: 310486 markings, 422773 edges, 1953 markings/sec, 185 secs
lola: 320234 markings, 435475 edges, 1950 markings/sec, 190 secs
lola: 329109 markings, 449252 edges, 1775 markings/sec, 195 secs
lola: 334988 markings, 458636 edges, 1176 markings/sec, 200 secs
lola: 340772 markings, 468054 edges, 1157 markings/sec, 205 secs
lola: 346654 markings, 477668 edges, 1176 markings/sec, 210 secs
lola: 352448 markings, 487493 edges, 1159 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: 8488 markings, 38698 edges, 1698 markings/sec, 0 secs
lola: 16810 markings, 82892 edges, 1664 markings/sec, 5 secs
lola: 25304 markings, 125272 edges, 1699 markings/sec, 10 secs
lola: 33760 markings, 168817 edges, 1691 markings/sec, 15 secs
lola: 42345 markings, 209113 edges, 1717 markings/sec, 20 secs
lola: 50842 markings, 251112 edges, 1699 markings/sec, 25 secs
lola: 59286 markings, 295104 edges, 1689 markings/sec, 30 secs
lola: 67869 markings, 335062 edges, 1717 markings/sec, 35 secs
lola: 76359 markings, 377014 edges, 1698 markings/sec, 40 secs
lola: 84807 markings, 420518 edges, 1690 markings/sec, 45 secs
lola: 93377 markings, 461365 edges, 1714 markings/sec, 50 secs
lola: 101870 markings, 502854 edges, 1699 markings/sec, 55 secs
lola: 110325 markings, 546014 edges, 1691 markings/sec, 60 secs
lola: 118869 markings, 587430 edges, 1709 markings/sec, 65 secs
lola: 127372 markings, 628909 edges, 1701 markings/sec, 70 secs
lola: 135842 markings, 671601 edges, 1694 markings/sec, 75 secs
lola: 144323 markings, 713395 edges, 1696 markings/sec, 80 secs
lola: 152858 markings, 754860 edges, 1707 markings/sec, 85 secs
lola: 161334 markings, 797174 edges, 1695 markings/sec, 90 secs
lola: 169757 markings, 839584 edges, 1685 markings/sec, 95 secs
lola: 178323 markings, 880393 edges, 1713 markings/sec, 100 secs
lola: 186817 markings, 922875 edges, 1699 markings/sec, 105 secs
lola: 195237 markings, 965923 edges, 1684 markings/sec, 110 secs
lola: 203806 markings, 1006369 edges, 1714 markings/sec, 115 secs
lola: 212281 markings, 1048210 edges, 1695 markings/sec, 120 secs
lola: 220721 markings, 1092199 edges, 1688 markings/sec, 125 secs
lola: 229564 markings, 1133461 edges, 1769 markings/sec, 130 secs
lola: 238368 markings, 1177246 edges, 1761 markings/sec, 135 secs
lola: 247152 markings, 1221800 edges, 1757 markings/sec, 140 secs
lola: 256076 markings, 1264449 edges, 1785 markings/sec, 145 secs
lola: 264964 markings, 1308171 edges, 1778 markings/sec, 150 secs
lola: 274654 markings, 1353497 edges, 1938 markings/sec, 155 secs
lola: 284519 markings, 1397062 edges, 1973 markings/sec, 160 secs
lola: 294354 markings, 1441083 edges, 1967 markings/sec, 165 secs
lola: 304162 markings, 1485974 edges, 1962 markings/sec, 170 secs
lola: 313968 markings, 1529364 edges, 1961 markings/sec, 175 secs
lola: 323751 markings, 1573028 edges, 1957 markings/sec, 180 secs
lola: 333520 markings, 1617564 edges, 1954 markings/sec, 185 secs
lola: 343267 markings, 1660943 edges, 1949 markings/sec, 190 secs
lola: 353068 markings, 1704728 edges, 1960 markings/sec, 195 secs
lola: 362845 markings, 1748961 edges, 1955 markings/sec, 200 secs
lola: 372648 markings, 1792958 edges, 1961 markings/sec, 205 secs
lola: 381901 markings, 1832830 edges, 1851 markings/sec, 210 secs
lola: 390727 markings, 1877101 edges, 1765 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: 5467 markings, 10058 edges, 1093 markings/sec, 0 secs
lola: 10811 markings, 20247 edges, 1069 markings/sec, 5 secs
lola: 16231 markings, 30362 edges, 1084 markings/sec, 10 secs
lola: 21690 markings, 40667 edges, 1092 markings/sec, 15 secs
lola: 26836 markings, 50731 edges, 1029 markings/sec, 20 secs
lola: 32261 markings, 61034 edges, 1085 markings/sec, 25 secs
lola: 37604 markings, 71439 edges, 1069 markings/sec, 30 secs
lola: 42841 markings, 81942 edges, 1047 markings/sec, 35 secs
lola: 48259 markings, 92606 edges, 1084 markings/sec, 40 secs
lola: 53521 markings, 103330 edges, 1052 markings/sec, 45 secs
lola: 58724 markings, 114231 edges, 1041 markings/sec, 50 secs
lola: 63801 markings, 125332 edges, 1015 markings/sec, 55 secs
lola: 68861 markings, 137354 edges, 1012 markings/sec, 60 secs
lola: 74074 markings, 153211 edges, 1043 markings/sec, 65 secs
lola: 78970 markings, 162964 edges, 979 markings/sec, 70 secs
lola: 83909 markings, 173052 edges, 988 markings/sec, 75 secs
lola: 88945 markings, 183111 edges, 1007 markings/sec, 80 secs
lola: 94048 markings, 193256 edges, 1021 markings/sec, 85 secs
lola: 99103 markings, 203378 edges, 1011 markings/sec, 90 secs
lola: 104131 markings, 213512 edges, 1006 markings/sec, 95 secs
lola: 109192 markings, 223713 edges, 1012 markings/sec, 100 secs
lola: 114373 markings, 233896 edges, 1036 markings/sec, 105 secs
lola: 119463 markings, 244258 edges, 1018 markings/sec, 110 secs
lola: 124387 markings, 254476 edges, 985 markings/sec, 115 secs
lola: 129590 markings, 264923 edges, 1041 markings/sec, 120 secs
lola: 134479 markings, 275149 edges, 978 markings/sec, 125 secs
lola: 139669 markings, 285754 edges, 1038 markings/sec, 130 secs
lola: 144740 markings, 296196 edges, 1014 markings/sec, 135 secs
lola: 149771 markings, 306829 edges, 1006 markings/sec, 140 secs
lola: 154691 markings, 317306 edges, 984 markings/sec, 145 secs
lola: 159840 markings, 328173 edges, 1030 markings/sec, 150 secs
lola: 164927 markings, 339211 edges, 1017 markings/sec, 155 secs
lola: 169930 markings, 350296 edges, 1001 markings/sec, 160 secs
lola: 174904 markings, 361908 edges, 995 markings/sec, 165 secs
lola: 179895 markings, 374292 edges, 998 markings/sec, 170 secs
lola: 184462 markings, 389383 edges, 913 markings/sec, 175 secs
lola: 187588 markings, 397744 edges, 625 markings/sec, 180 secs
lola: 190788 markings, 406448 edges, 640 markings/sec, 185 secs
lola: 194003 markings, 415155 edges, 643 markings/sec, 190 secs
lola: 197217 markings, 423832 edges, 643 markings/sec, 195 secs
lola: 200451 markings, 432508 edges, 647 markings/sec, 200 secs
lola: 203709 markings, 441202 edges, 652 markings/sec, 205 secs
lola: 207022 markings, 450217 edges, 663 markings/sec, 210 secs
lola: 210336 markings, 459334 edges, 663 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: 2429 markings, 3566 edges, 486 markings/sec, 0 secs
lola: 4862 markings, 6687 edges, 487 markings/sec, 5 secs
lola: 7292 markings, 9809 edges, 486 markings/sec, 10 secs
lola: 9722 markings, 12929 edges, 486 markings/sec, 15 secs
lola: 12156 markings, 16058 edges, 487 markings/sec, 20 secs
lola: 14595 markings, 19196 edges, 488 markings/sec, 25 secs
lola: 17041 markings, 26002 edges, 489 markings/sec, 30 secs
lola: 19505 markings, 29174 edges, 493 markings/sec, 35 secs
lola: 21977 markings, 32340 edges, 494 markings/sec, 40 secs
lola: 24447 markings, 35497 edges, 494 markings/sec, 45 secs
lola: 26910 markings, 38645 edges, 493 markings/sec, 50 secs
lola: 29349 markings, 41775 edges, 488 markings/sec, 55 secs
lola: 31818 markings, 48620 edges, 494 markings/sec, 60 secs
lola: 34285 markings, 51792 edges, 493 markings/sec, 65 secs
lola: 36742 markings, 54951 edges, 491 markings/sec, 70 secs
lola: 39198 markings, 58114 edges, 491 markings/sec, 75 secs
lola: 41659 markings, 61269 edges, 492 markings/sec, 80 secs
lola: 44126 markings, 64423 edges, 493 markings/sec, 85 secs
lola: 46583 markings, 71261 edges, 491 markings/sec, 90 secs
lola: 49014 markings, 74376 edges, 486 markings/sec, 95 secs
lola: 51157 markings, 77108 edges, 429 markings/sec, 100 secs
lola: 53557 markings, 80186 edges, 480 markings/sec, 105 secs
lola: 56001 markings, 83331 edges, 489 markings/sec, 110 secs
lola: 58450 markings, 86478 edges, 490 markings/sec, 115 secs
lola: 60913 markings, 93313 edges, 493 markings/sec, 120 secs
lola: 63376 markings, 96493 edges, 493 markings/sec, 125 secs
lola: 65848 markings, 99655 edges, 494 markings/sec, 130 secs
lola: 68324 markings, 102823 edges, 495 markings/sec, 135 secs
lola: 70800 markings, 105983 edges, 495 markings/sec, 140 secs
lola: 73264 markings, 109145 edges, 493 markings/sec, 145 secs
lola: 75732 markings, 115993 edges, 494 markings/sec, 150 secs
lola: 78197 markings, 119165 edges, 493 markings/sec, 155 secs
lola: 80661 markings, 122342 edges, 493 markings/sec, 160 secs
lola: 83130 markings, 125502 edges, 494 markings/sec, 165 secs
lola: 85602 markings, 128667 edges, 494 markings/sec, 170 secs
lola: 88078 markings, 131831 edges, 495 markings/sec, 175 secs
lola: 90549 markings, 138687 edges, 494 markings/sec, 180 secs
lola: 93026 markings, 141856 edges, 495 markings/sec, 185 secs
lola: 95498 markings, 145037 edges, 494 markings/sec, 190 secs
lola: 97967 markings, 148225 edges, 494 markings/sec, 195 secs
lola: 100440 markings, 151387 edges, 495 markings/sec, 200 secs
lola: 102907 markings, 158238 edges, 493 markings/sec, 205 secs
lola: 105375 markings, 161399 edges, 494 markings/sec, 210 secs
lola: 107845 markings, 164555 edges, 494 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: 7253 markings, 11101 edges, 1451 markings/sec, 0 secs
lola: 14290 markings, 22091 edges, 1407 markings/sec, 5 secs
lola: 21235 markings, 33105 edges, 1389 markings/sec, 10 secs
lola: 28228 markings, 44277 edges, 1399 markings/sec, 15 secs
lola: 35392 markings, 55712 edges, 1433 markings/sec, 20 secs
lola: 42333 markings, 67183 edges, 1388 markings/sec, 25 secs
lola: 49385 markings, 79086 edges, 1410 markings/sec, 30 secs
lola: 56335 markings, 91890 edges, 1390 markings/sec, 35 secs
lola: 63805 markings, 107480 edges, 1494 markings/sec, 40 secs
lola: 72618 markings, 120929 edges, 1763 markings/sec, 45 secs
lola: 81523 markings, 134533 edges, 1781 markings/sec, 50 secs
lola: 90520 markings, 148273 edges, 1799 markings/sec, 55 secs
lola: 99197 markings, 161762 edges, 1735 markings/sec, 60 secs
lola: 108103 markings, 175530 edges, 1781 markings/sec, 65 secs
lola: 116979 markings, 189308 edges, 1775 markings/sec, 70 secs
lola: 125727 markings, 203056 edges, 1750 markings/sec, 75 secs
lola: 134714 markings, 217091 edges, 1797 markings/sec, 80 secs
lola: 143505 markings, 231121 edges, 1758 markings/sec, 85 secs
lola: 152214 markings, 245161 edges, 1742 markings/sec, 90 secs
lola: 161049 markings, 259726 edges, 1767 markings/sec, 95 secs
lola: 169818 markings, 274729 edges, 1754 markings/sec, 100 secs
lola: 178021 markings, 292317 edges, 1641 markings/sec, 105 secs
lola: 182876 markings, 302355 edges, 971 markings/sec, 110 secs
lola: 187880 markings, 312628 edges, 1001 markings/sec, 115 secs
lola: 192643 markings, 322757 edges, 953 markings/sec, 120 secs
lola: 197593 markings, 333044 edges, 990 markings/sec, 125 secs
lola: 202389 markings, 343232 edges, 959 markings/sec, 130 secs
lola: 207284 markings, 353627 edges, 979 markings/sec, 135 secs
lola: 212275 markings, 364227 edges, 998 markings/sec, 140 secs
lola: 217069 markings, 374676 edges, 959 markings/sec, 145 secs
lola: 222001 markings, 385464 edges, 986 markings/sec, 150 secs
lola: 226852 markings, 396328 edges, 970 markings/sec, 155 secs
lola: 231773 markings, 407566 edges, 984 markings/sec, 160 secs
lola: 236543 markings, 419258 edges, 954 markings/sec, 165 secs
lola: 241839 markings, 434154 edges, 1059 markings/sec, 170 secs
lola: 249214 markings, 445597 edges, 1475 markings/sec, 175 secs
lola: 256457 markings, 456995 edges, 1449 markings/sec, 180 secs
lola: 263782 markings, 468495 edges, 1465 markings/sec, 185 secs
lola: 271042 markings, 480140 edges, 1452 markings/sec, 190 secs
lola: 278365 markings, 491963 edges, 1465 markings/sec, 195 secs
lola: 285627 markings, 504066 edges, 1452 markings/sec, 200 secs
lola: 292894 markings, 516724 edges, 1453 markings/sec, 205 secs
lola: 300018 markings, 531173 edges, 1425 markings/sec, 210 secs
lola: 308687 markings, 546248 edges, 1734 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: 8767 markings, 40188 edges, 1753 markings/sec, 0 secs
lola: 17370 markings, 86064 edges, 1721 markings/sec, 5 secs
lola: 26145 markings, 130061 edges, 1755 markings/sec, 10 secs
lola: 34963 markings, 173131 edges, 1764 markings/sec, 15 secs
lola: 43772 markings, 216008 edges, 1762 markings/sec, 20 secs
lola: 52510 markings, 261008 edges, 1748 markings/sec, 25 secs
lola: 61374 markings, 303054 edges, 1773 markings/sec, 30 secs
lola: 70083 markings, 346019 edges, 1742 markings/sec, 35 secs
lola: 78797 markings, 391599 edges, 1743 markings/sec, 40 secs
lola: 87672 markings, 432858 edges, 1775 markings/sec, 45 secs
lola: 96429 markings, 476612 edges, 1751 markings/sec, 50 secs
lola: 105151 markings, 520621 edges, 1744 markings/sec, 55 secs
lola: 114020 markings, 563047 edges, 1774 markings/sec, 60 secs
lola: 122772 markings, 606919 edges, 1750 markings/sec, 65 secs
lola: 131557 markings, 650228 edges, 1757 markings/sec, 70 secs
lola: 140377 markings, 693059 edges, 1764 markings/sec, 75 secs
lola: 149092 markings, 737432 edges, 1743 markings/sec, 80 secs
lola: 157913 markings, 780087 edges, 1764 markings/sec, 85 secs
lola: 166669 markings, 822920 edges, 1751 markings/sec, 90 secs
lola: 175353 markings, 867788 edges, 1737 markings/sec, 95 secs
lola: 184258 markings, 909735 edges, 1781 markings/sec, 100 secs
lola: 193057 markings, 953401 edges, 1760 markings/sec, 105 secs
lola: 201832 markings, 998213 edges, 1755 markings/sec, 110 secs
lola: 210709 markings, 1040386 edges, 1775 markings/sec, 115 secs
lola: 219480 markings, 1084292 edges, 1754 markings/sec, 120 secs
lola: 228154 markings, 1127428 edges, 1735 markings/sec, 125 secs
lola: 236953 markings, 1170199 edges, 1760 markings/sec, 130 secs
lola: 245670 markings, 1213936 edges, 1743 markings/sec, 135 secs
lola: 254475 markings, 1256964 edges, 1761 markings/sec, 140 secs
lola: 263334 markings, 1299176 edges, 1772 markings/sec, 145 secs
lola: 272752 markings, 1344196 edges, 1884 markings/sec, 150 secs
lola: 282508 markings, 1387893 edges, 1951 markings/sec, 155 secs
lola: 292242 markings, 1432291 edges, 1947 markings/sec, 160 secs
lola: 302060 markings, 1475888 edges, 1964 markings/sec, 165 secs
lola: 311576 markings, 1518391 edges, 1903 markings/sec, 170 secs
lola: 320915 markings, 1560324 edges, 1868 markings/sec, 175 secs
lola: 330248 markings, 1602542 edges, 1867 markings/sec, 180 secs
lola: 339527 markings, 1644650 edges, 1856 markings/sec, 185 secs
lola: 348701 markings, 1686113 edges, 1835 markings/sec, 190 secs
lola: 357889 markings, 1726716 edges, 1838 markings/sec, 195 secs
lola: 367234 markings, 1768209 edges, 1869 markings/sec, 200 secs
lola: 376561 markings, 1810147 edges, 1865 markings/sec, 205 secs
lola: 384932 markings, 1849947 edges, 1674 markings/sec, 210 secs
lola: 393555 markings, 1888934 edges, 1725 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: 7746 markings, 8739 edges, 1549 markings/sec, 0 secs
lola: 15377 markings, 17699 edges, 1526 markings/sec, 5 secs
lola: 22982 markings, 27571 edges, 1521 markings/sec, 10 secs
lola: 32040 markings, 39665 edges, 1812 markings/sec, 15 secs
lola: 41479 markings, 51116 edges, 1888 markings/sec, 20 secs
lola: 50884 markings, 62691 edges, 1881 markings/sec, 25 secs
lola: 60253 markings, 74361 edges, 1874 markings/sec, 30 secs
lola: 69602 markings, 86152 edges, 1870 markings/sec, 35 secs
lola: 78933 markings, 98312 edges, 1866 markings/sec, 40 secs
lola: 87951 markings, 112070 edges, 1804 markings/sec, 45 secs
lola: 93529 markings, 120997 edges, 1116 markings/sec, 50 secs
lola: 99049 markings, 129965 edges, 1104 markings/sec, 55 secs
lola: 104660 markings, 139151 edges, 1122 markings/sec, 60 secs
lola: 110348 markings, 148638 edges, 1138 markings/sec, 65 secs
lola: 116186 markings, 158899 edges, 1168 markings/sec, 70 secs
lola: 122669 markings, 170750 edges, 1297 markings/sec, 75 secs
lola: 130671 markings, 179921 edges, 1600 markings/sec, 80 secs
lola: 138724 markings, 189555 edges, 1611 markings/sec, 85 secs
lola: 147273 markings, 201542 edges, 1710 markings/sec, 90 secs
lola: 157044 markings, 213471 edges, 1954 markings/sec, 95 secs
lola: 166894 markings, 225525 edges, 1970 markings/sec, 100 secs
lola: 176780 markings, 237759 edges, 1977 markings/sec, 105 secs
lola: 186653 markings, 250168 edges, 1975 markings/sec, 110 secs
lola: 196476 markings, 262794 edges, 1965 markings/sec, 115 secs
lola: 206266 markings, 276388 edges, 1958 markings/sec, 120 secs
lola: 212646 markings, 287297 edges, 1276 markings/sec, 125 secs
lola: 218512 markings, 296747 edges, 1173 markings/sec, 130 secs
lola: 224387 markings, 306323 edges, 1175 markings/sec, 135 secs
lola: 230271 markings, 316146 edges, 1177 markings/sec, 140 secs
lola: 236147 markings, 326405 edges, 1175 markings/sec, 145 secs
lola: 242433 markings, 338284 edges, 1257 markings/sec, 150 secs
lola: 250442 markings, 347413 edges, 1602 markings/sec, 155 secs
lola: 258406 markings, 356906 edges, 1593 markings/sec, 160 secs
lola: 266683 markings, 368584 edges, 1655 markings/sec, 165 secs
lola: 276571 markings, 380609 edges, 1978 markings/sec, 170 secs
lola: 286367 markings, 392618 edges, 1959 markings/sec, 175 secs
lola: 296167 markings, 404734 edges, 1960 markings/sec, 180 secs
lola: 305878 markings, 416909 edges, 1942 markings/sec, 185 secs
lola: 315272 markings, 428943 edges, 1879 markings/sec, 190 secs
lola: 324590 markings, 441535 edges, 1864 markings/sec, 195 secs
lola: 331353 markings, 452871 edges, 1353 markings/sec, 200 secs
lola: 336881 markings, 461717 edges, 1106 markings/sec, 205 secs
lola: 342552 markings, 470886 edges, 1134 markings/sec, 210 secs
lola: 348124 markings, 480159 edges, 1114 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: 8323 markings, 9409 edges, 1665 markings/sec, 0 secs
lola: 16510 markings, 19084 edges, 1637 markings/sec, 5 secs
lola: 24891 markings, 30888 edges, 1676 markings/sec, 10 secs
lola: 35421 markings, 43710 edges, 2106 markings/sec, 15 secs
lola: 46052 markings, 56780 edges, 2126 markings/sec, 20 secs
lola: 56685 markings, 69892 edges, 2127 markings/sec, 25 secs
lola: 67258 markings, 83192 edges, 2115 markings/sec, 30 secs
lola: 77833 markings, 96834 edges, 2115 markings/sec, 35 secs
lola: 88006 markings, 112174 edges, 2035 markings/sec, 40 secs
lola: 93854 markings, 121601 edges, 1170 markings/sec, 45 secs
lola: 99840 markings, 131235 edges, 1197 markings/sec, 50 secs
lola: 105845 markings, 141108 edges, 1201 markings/sec, 55 secs
lola: 112112 markings, 151664 edges, 1253 markings/sec, 60 secs
lola: 118250 markings, 162834 edges, 1228 markings/sec, 65 secs
lola: 126063 markings, 174608 edges, 1563 markings/sec, 70 secs
lola: 134445 markings, 184323 edges, 1676 markings/sec, 75 secs
lola: 142599 markings, 194696 edges, 1631 markings/sec, 80 secs
lola: 152586 markings, 208027 edges, 1997 markings/sec, 85 secs
lola: 163250 markings, 221043 edges, 2133 markings/sec, 90 secs
lola: 173991 markings, 234354 edges, 2148 markings/sec, 95 secs
lola: 185102 markings, 248193 edges, 2222 markings/sec, 100 secs
lola: 196241 markings, 262452 edges, 2228 markings/sec, 105 secs
lola: 207209 markings, 278100 edges, 2194 markings/sec, 110 secs
lola: 213552 markings, 288733 edges, 1269 markings/sec, 115 secs
lola: 219777 markings, 298786 edges, 1245 markings/sec, 120 secs
lola: 225985 markings, 308958 edges, 1242 markings/sec, 125 secs
lola: 232137 markings, 319342 edges, 1230 markings/sec, 130 secs
lola: 238324 markings, 330510 edges, 1237 markings/sec, 135 secs
lola: 246052 markings, 342367 edges, 1546 markings/sec, 140 secs
lola: 254703 markings, 352395 edges, 1730 markings/sec, 145 secs
lola: 263273 markings, 363367 edges, 1714 markings/sec, 150 secs
lola: 273900 markings, 377398 edges, 2125 markings/sec, 155 secs
lola: 285008 markings, 390949 edges, 2222 markings/sec, 160 secs
lola: 296042 markings, 404586 edges, 2207 markings/sec, 165 secs
lola: 307078 markings, 418451 edges, 2207 markings/sec, 170 secs
lola: 318155 markings, 432707 edges, 2215 markings/sec, 175 secs
lola: 328629 markings, 448501 edges, 2095 markings/sec, 180 secs
lola: 334827 markings, 458382 edges, 1240 markings/sec, 185 secs
lola: 340935 markings, 468320 edges, 1222 markings/sec, 190 secs
lola: 347190 markings, 478570 edges, 1251 markings/sec, 195 secs
lola: 353355 markings, 489047 edges, 1233 markings/sec, 200 secs
lola: 359514 markings, 500438 edges, 1232 markings/sec, 205 secs
lola: 367541 markings, 511882 edges, 1605 markings/sec, 210 secs
lola: 376147 markings, 522019 edges, 1721 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: 2447 markings, 3591 edges, 489 markings/sec, 0 secs
lola: 4897 markings, 6738 edges, 490 markings/sec, 5 secs
lola: 7346 markings, 9886 edges, 490 markings/sec, 10 secs
lola: 9797 markings, 13043 edges, 490 markings/sec, 15 secs
lola: 12249 markings, 16183 edges, 490 markings/sec, 20 secs
lola: 14703 markings, 19326 edges, 491 markings/sec, 25 secs
lola: 17162 markings, 26169 edges, 492 markings/sec, 30 secs
lola: 19633 markings, 29327 edges, 494 markings/sec, 35 secs
lola: 22108 markings, 32487 edges, 495 markings/sec, 40 secs
lola: 24571 markings, 35647 edges, 493 markings/sec, 45 secs
lola: 27029 markings, 38811 edges, 492 markings/sec, 50 secs
lola: 29483 markings, 41975 edges, 491 markings/sec, 55 secs
lola: 31944 markings, 48797 edges, 492 markings/sec, 60 secs
lola: 34403 markings, 51963 edges, 492 markings/sec, 65 secs
lola: 36860 markings, 55114 edges, 491 markings/sec, 70 secs
lola: 39321 markings, 58262 edges, 492 markings/sec, 75 secs
lola: 41790 markings, 61414 edges, 494 markings/sec, 80 secs
lola: 44253 markings, 64571 edges, 493 markings/sec, 85 secs
lola: 46713 markings, 71407 edges, 492 markings/sec, 90 secs
lola: 49172 markings, 74568 edges, 492 markings/sec, 95 secs
lola: 51618 markings, 77712 edges, 489 markings/sec, 100 secs
lola: 54075 markings, 80881 edges, 491 markings/sec, 105 secs
lola: 56538 markings, 84032 edges, 493 markings/sec, 110 secs
lola: 59000 markings, 87183 edges, 492 markings/sec, 115 secs
lola: 61452 markings, 94021 edges, 490 markings/sec, 120 secs
lola: 63917 markings, 97173 edges, 493 markings/sec, 125 secs
lola: 66385 markings, 100324 edges, 494 markings/sec, 130 secs
lola: 68828 markings, 103453 edges, 489 markings/sec, 135 secs
lola: 71275 markings, 106598 edges, 489 markings/sec, 140 secs
lola: 73714 markings, 109730 edges, 488 markings/sec, 145 secs
lola: 76161 markings, 116545 edges, 489 markings/sec, 150 secs
lola: 78604 markings, 119687 edges, 489 markings/sec, 155 secs
lola: 81048 markings, 122827 edges, 489 markings/sec, 160 secs
lola: 83494 markings, 125974 edges, 489 markings/sec, 165 secs
lola: 85948 markings, 129121 edges, 491 markings/sec, 170 secs
lola: 88398 markings, 135946 edges, 490 markings/sec, 175 secs
lola: 90854 markings, 139096 edges, 491 markings/sec, 180 secs
lola: 93312 markings, 142241 edges, 492 markings/sec, 185 secs
lola: 95776 markings, 145388 edges, 493 markings/sec, 190 secs
lola: 98231 markings, 148530 edges, 491 markings/sec, 195 secs
lola: 100681 markings, 151679 edges, 490 markings/sec, 200 secs
lola: 103132 markings, 158501 edges, 490 markings/sec, 205 secs
lola: 105580 markings, 161648 edges, 490 markings/sec, 210 secs
lola: 108026 markings, 164791 edges, 489 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: 8250 markings, 9320 edges, 1650 markings/sec, 0 secs
lola: 16847 markings, 19490 edges, 1719 markings/sec, 5 secs
lola: 25757 markings, 32025 edges, 1782 markings/sec, 10 secs
lola: 36871 markings, 45484 edges, 2223 markings/sec, 15 secs
lola: 48021 markings, 59166 edges, 2230 markings/sec, 20 secs
lola: 59177 markings, 73014 edges, 2231 markings/sec, 25 secs
lola: 70194 markings, 86907 edges, 2203 markings/sec, 30 secs
lola: 81298 markings, 101491 edges, 2221 markings/sec, 35 secs
lola: 90073 markings, 115518 edges, 1755 markings/sec, 40 secs
lola: 96293 markings, 125491 edges, 1244 markings/sec, 45 secs
lola: 102583 markings, 135677 edges, 1258 markings/sec, 50 secs
lola: 108807 markings, 146005 edges, 1245 markings/sec, 55 secs
lola: 114962 markings, 156660 edges, 1231 markings/sec, 60 secs
lola: 121483 markings, 169416 edges, 1304 markings/sec, 65 secs
lola: 130145 markings, 179297 edges, 1732 markings/sec, 70 secs
lola: 138773 markings, 189625 edges, 1726 markings/sec, 75 secs
lola: 148207 markings, 202668 edges, 1887 markings/sec, 80 secs
lola: 159391 markings, 216332 edges, 2237 markings/sec, 85 secs
lola: 170441 markings, 229944 edges, 2210 markings/sec, 90 secs
lola: 181659 markings, 243873 edges, 2244 markings/sec, 95 secs
lola: 192742 markings, 257940 edges, 2217 markings/sec, 100 secs
lola: 203836 markings, 272745 edges, 2219 markings/sec, 105 secs
lola: 211690 markings, 285758 edges, 1571 markings/sec, 110 secs
lola: 217871 markings, 295704 edges, 1236 markings/sec, 115 secs
lola: 224181 markings, 305941 edges, 1262 markings/sec, 120 secs
lola: 230314 markings, 316207 edges, 1227 markings/sec, 125 secs
lola: 236514 markings, 327066 edges, 1240 markings/sec, 130 secs
lola: 243540 markings, 339516 edges, 1405 markings/sec, 135 secs
lola: 252269 markings, 349538 edges, 1746 markings/sec, 140 secs
lola: 260956 markings, 360152 edges, 1737 markings/sec, 145 secs
lola: 270996 markings, 373885 edges, 2008 markings/sec, 150 secs
lola: 282296 markings, 387617 edges, 2260 markings/sec, 155 secs
lola: 293420 markings, 401337 edges, 2225 markings/sec, 160 secs
lola: 304695 markings, 415404 edges, 2255 markings/sec, 165 secs
lola: 315888 markings, 429732 edges, 2239 markings/sec, 170 secs
lola: 326985 markings, 445214 edges, 2219 markings/sec, 175 secs
lola: 333614 markings, 456508 edges, 1326 markings/sec, 180 secs
lola: 339965 markings, 466657 edges, 1270 markings/sec, 185 secs
lola: 346218 markings, 476933 edges, 1251 markings/sec, 190 secs
lola: 352404 markings, 487393 edges, 1237 markings/sec, 195 secs
lola: 358640 markings, 498650 edges, 1247 markings/sec, 200 secs
lola: 366474 markings, 510645 edges, 1567 markings/sec, 205 secs
lola: 375195 markings, 520855 edges, 1744 markings/sec, 210 secs
lola: 383853 markings, 533076 edges, 1732 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: 5400 markings, 9921 edges, 1080 markings/sec, 0 secs
lola: 10681 markings, 19850 edges, 1056 markings/sec, 5 secs
lola: 15948 markings, 29927 edges, 1053 markings/sec, 10 secs
lola: 21329 markings, 39952 edges, 1076 markings/sec, 15 secs
lola: 26546 markings, 50009 edges, 1043 markings/sec, 20 secs
lola: 31892 markings, 60178 edges, 1069 markings/sec, 25 secs
lola: 37116 markings, 70422 edges, 1045 markings/sec, 30 secs
lola: 42416 markings, 80907 edges, 1060 markings/sec, 35 secs
lola: 47544 markings, 91269 edges, 1026 markings/sec, 40 secs
lola: 52838 markings, 101955 edges, 1059 markings/sec, 45 secs
lola: 58050 markings, 112936 edges, 1042 markings/sec, 50 secs
lola: 63287 markings, 124311 edges, 1047 markings/sec, 55 secs
lola: 68577 markings, 136670 edges, 1058 markings/sec, 60 secs
lola: 73929 markings, 152936 edges, 1070 markings/sec, 65 secs
lola: 79018 markings, 163032 edges, 1018 markings/sec, 70 secs
lola: 84162 markings, 173443 edges, 1029 markings/sec, 75 secs
lola: 89350 markings, 183867 edges, 1038 markings/sec, 80 secs
lola: 94584 markings, 194311 edges, 1047 markings/sec, 85 secs
lola: 99853 markings, 204771 edges, 1054 markings/sec, 90 secs
lola: 105180 markings, 215263 edges, 1065 markings/sec, 95 secs
lola: 110400 markings, 225907 edges, 1044 markings/sec, 100 secs
lola: 115536 markings, 236436 edges, 1027 markings/sec, 105 secs
lola: 120765 markings, 246966 edges, 1046 markings/sec, 110 secs
lola: 126092 markings, 257721 edges, 1065 markings/sec, 115 secs
lola: 131263 markings, 268314 edges, 1034 markings/sec, 120 secs
lola: 136366 markings, 279046 edges, 1021 markings/sec, 125 secs
lola: 141657 markings, 289927 edges, 1058 markings/sec, 130 secs
lola: 146841 markings, 300769 edges, 1037 markings/sec, 135 secs
lola: 152112 markings, 311701 edges, 1054 markings/sec, 140 secs
lola: 157328 markings, 322876 edges, 1043 markings/sec, 145 secs
lola: 162382 markings, 333680 edges, 1011 markings/sec, 150 secs
lola: 167367 markings, 344733 edges, 997 markings/sec, 155 secs
lola: 172340 markings, 355955 edges, 995 markings/sec, 160 secs
lola: 177222 markings, 367571 edges, 976 markings/sec, 165 secs
lola: 182253 markings, 380982 edges, 1006 markings/sec, 170 secs
lola: 186091 markings, 393768 edges, 768 markings/sec, 175 secs
lola: 189398 markings, 402527 edges, 661 markings/sec, 180 secs
lola: 192749 markings, 411537 edges, 670 markings/sec, 185 secs
lola: 196107 markings, 420686 edges, 672 markings/sec, 190 secs
lola: 199455 markings, 429681 edges, 670 markings/sec, 195 secs
lola: 202825 markings, 438709 edges, 674 markings/sec, 200 secs
lola: 206101 markings, 447800 edges, 655 markings/sec, 205 secs
lola: 209431 markings, 456850 edges, 666 markings/sec, 210 secs
lola: 212859 markings, 466103 edges, 686 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: 8044 markings, 10494 edges, 1609 markings/sec, 0 secs
lola: 16015 markings, 19842 edges, 1594 markings/sec, 5 secs
lola: 23916 markings, 30309 edges, 1580 markings/sec, 10 secs
lola: 33614 markings, 42881 edges, 1940 markings/sec, 15 secs
lola: 43389 markings, 54825 edges, 1955 markings/sec, 20 secs
lola: 53116 markings, 66842 edges, 1945 markings/sec, 25 secs
lola: 62924 markings, 79092 edges, 1962 markings/sec, 30 secs
lola: 72740 markings, 91527 edges, 1963 markings/sec, 35 secs
lola: 82433 markings, 104370 edges, 1939 markings/sec, 40 secs
lola: 90347 markings, 117193 edges, 1583 markings/sec, 45 secs
lola: 96282 markings, 126625 edges, 1187 markings/sec, 50 secs
lola: 102029 markings, 136020 edges, 1149 markings/sec, 55 secs
lola: 107878 markings, 145677 edges, 1170 markings/sec, 60 secs
lola: 113754 markings, 155664 edges, 1175 markings/sec, 65 secs
lola: 119519 markings, 166458 edges, 1153 markings/sec, 70 secs
lola: 127019 markings, 177098 edges, 1500 markings/sec, 75 secs
lola: 134967 markings, 186353 edges, 1590 markings/sec, 80 secs
lola: 142928 markings, 196435 edges, 1592 markings/sec, 85 secs
lola: 152268 markings, 208976 edges, 1868 markings/sec, 90 secs
lola: 161948 markings, 220812 edges, 1936 markings/sec, 95 secs
lola: 171741 markings, 232882 edges, 1959 markings/sec, 100 secs
lola: 181490 markings, 244998 edges, 1950 markings/sec, 105 secs
lola: 191266 markings, 257350 edges, 1955 markings/sec, 110 secs
lola: 200962 markings, 270050 edges, 1939 markings/sec, 115 secs
lola: 209594 markings, 283588 edges, 1726 markings/sec, 120 secs
lola: 215349 markings, 292846 edges, 1151 markings/sec, 125 secs
lola: 221203 markings, 302284 edges, 1171 markings/sec, 130 secs
lola: 227027 markings, 311898 edges, 1165 markings/sec, 135 secs
lola: 232864 markings, 321751 edges, 1167 markings/sec, 140 secs
lola: 238666 markings, 332233 edges, 1160 markings/sec, 145 secs
lola: 245678 markings, 343346 edges, 1402 markings/sec, 150 secs
lola: 253602 markings, 352501 edges, 1585 markings/sec, 155 secs
lola: 261564 markings, 362275 edges, 1592 markings/sec, 160 secs
lola: 270431 markings, 374495 edges, 1773 markings/sec, 165 secs
lola: 280184 markings, 386439 edges, 1951 markings/sec, 170 secs
lola: 289876 markings, 398354 edges, 1938 markings/sec, 175 secs
lola: 299681 markings, 410478 edges, 1961 markings/sec, 180 secs
lola: 309407 markings, 422727 edges, 1945 markings/sec, 185 secs
lola: 319124 markings, 435334 edges, 1943 markings/sec, 190 secs
lola: 328503 markings, 449534 edges, 1876 markings/sec, 195 secs
lola: 334369 markings, 458869 edges, 1173 markings/sec, 200 secs
lola: 340185 markings, 468256 edges, 1163 markings/sec, 205 secs
lola: 346050 markings, 477849 edges, 1173 markings/sec, 210 secs
lola: 351827 markings, 487581 edges, 1155 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: 7421 markings, 11398 edges, 1484 markings/sec, 0 secs
lola: 14692 markings, 22814 edges, 1454 markings/sec, 5 secs
lola: 22044 markings, 34303 edges, 1470 markings/sec, 10 secs
lola: 29197 markings, 45720 edges, 1431 markings/sec, 15 secs
lola: 36482 markings, 57508 edges, 1457 markings/sec, 20 secs
lola: 43704 markings, 69462 edges, 1444 markings/sec, 25 secs
lola: 50911 markings, 81848 edges, 1441 markings/sec, 30 secs
lola: 58193 markings, 95773 edges, 1456 markings/sec, 35 secs
lola: 66405 markings, 111534 edges, 1642 markings/sec, 40 secs
lola: 75308 markings, 125073 edges, 1781 markings/sec, 45 secs
lola: 84221 markings, 138680 edges, 1783 markings/sec, 50 secs
lola: 93228 markings, 152507 edges, 1801 markings/sec, 55 secs
lola: 101969 markings, 165973 edges, 1748 markings/sec, 60 secs
lola: 110794 markings, 179783 edges, 1765 markings/sec, 65 secs
lola: 119685 markings, 193602 edges, 1778 markings/sec, 70 secs
lola: 128639 markings, 207553 edges, 1791 markings/sec, 75 secs
lola: 137481 markings, 221510 edges, 1768 markings/sec, 80 secs
lola: 146405 markings, 235746 edges, 1785 markings/sec, 85 secs
lola: 155271 markings, 250159 edges, 1773 markings/sec, 90 secs
lola: 164104 markings, 264784 edges, 1767 markings/sec, 95 secs
lola: 172868 markings, 280330 edges, 1753 markings/sec, 100 secs
lola: 179786 markings, 295921 edges, 1384 markings/sec, 105 secs
lola: 184728 markings, 306107 edges, 988 markings/sec, 110 secs
lola: 189632 markings, 316372 edges, 981 markings/sec, 115 secs
lola: 194450 markings, 326499 edges, 964 markings/sec, 120 secs
lola: 199414 markings, 336957 edges, 993 markings/sec, 125 secs
lola: 204389 markings, 347416 edges, 995 markings/sec, 130 secs
lola: 209250 markings, 357845 edges, 972 markings/sec, 135 secs
lola: 214175 markings, 368419 edges, 985 markings/sec, 140 secs
lola: 219063 markings, 379095 edges, 978 markings/sec, 145 secs
lola: 224016 markings, 389950 edges, 991 markings/sec, 150 secs
lola: 228876 markings, 400896 edges, 972 markings/sec, 155 secs
lola: 233779 markings, 412378 edges, 981 markings/sec, 160 secs
lola: 238627 markings, 424958 edges, 970 markings/sec, 165 secs
lola: 245094 markings, 439272 edges, 1293 markings/sec, 170 secs
lola: 252486 markings, 450743 edges, 1478 markings/sec, 175 secs
lola: 259907 markings, 462332 edges, 1484 markings/sec, 180 secs
lola: 267234 markings, 473967 edges, 1465 markings/sec, 185 secs
lola: 274568 markings, 485724 edges, 1467 markings/sec, 190 secs
lola: 281809 markings, 497719 edges, 1448 markings/sec, 195 secs
lola: 289197 markings, 510178 edges, 1478 markings/sec, 200 secs
lola: 296406 markings, 523279 edges, 1442 markings/sec, 205 secs
lola: 304173 markings, 539484 edges, 1553 markings/sec, 210 secs
lola: 312996 markings, 552947 edges, 1765 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 222 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: 8806 markings, 9961 edges, 1761 markings/sec, 0 secs
lola: 17476 markings, 20261 edges, 1734 markings/sec, 5 secs
lola: 26735 markings, 33124 edges, 1852 markings/sec, 10 secs
lola: 37893 markings, 46798 edges, 2232 markings/sec, 15 secs
lola: 49114 markings, 60515 edges, 2244 markings/sec, 20 secs
lola: 59853 markings, 73852 edges, 2148 markings/sec, 25 secs
lola: 70551 markings, 87360 edges, 2140 markings/sec, 30 secs
lola: 81158 markings, 101323 edges, 2121 markings/sec, 35 secs
lola: 89782 markings, 115076 edges, 1725 markings/sec, 40 secs
lola: 95754 markings, 124590 edges, 1194 markings/sec, 45 secs
lola: 101613 markings, 134158 edges, 1172 markings/sec, 50 secs
lola: 107615 markings, 144051 edges, 1200 markings/sec, 55 secs
lola: 113606 markings, 154271 edges, 1198 markings/sec, 60 secs
lola: 119525 markings, 165548 edges, 1184 markings/sec, 65 secs
lola: 127583 markings, 176330 edges, 1612 markings/sec, 70 secs
lola: 135880 markings, 186064 edges, 1659 markings/sec, 75 secs
lola: 144124 markings, 197180 edges, 1649 markings/sec, 80 secs
lola: 154847 markings, 210756 edges, 2145 markings/sec, 85 secs
lola: 165932 markings, 224339 edges, 2217 markings/sec, 90 secs
lola: 177222 markings, 238320 edges, 2258 markings/sec, 95 secs
lola: 188473 markings, 252480 edges, 2250 markings/sec, 100 secs
lola: 199729 markings, 267075 edges, 2251 markings/sec, 105 secs
lola: 209420 markings, 282149 edges, 1938 markings/sec, 110 secs
lola: 215708 markings, 292217 edges, 1258 markings/sec, 115 secs
lola: 222002 markings, 302415 edges, 1259 markings/sec, 120 secs
lola: 228277 markings, 312792 edges, 1255 markings/sec, 125 secs
lola: 234576 markings, 323602 edges, 1260 markings/sec, 130 secs
lola: 240980 markings, 336607 edges, 1281 markings/sec, 135 secs
lola: 249754 markings, 346605 edges, 1755 markings/sec, 140 secs
lola: 258511 markings, 357045 edges, 1751 markings/sec, 145 secs
lola: 267909 markings, 370145 edges, 1880 markings/sec, 150 secs
lola: 279317 markings, 383972 edges, 2282 markings/sec, 155 secs
lola: 290571 markings, 397863 edges, 2251 markings/sec, 160 secs
lola: 301932 markings, 411962 edges, 2272 markings/sec, 165 secs
lola: 313201 markings, 426238 edges, 2254 markings/sec, 170 secs
lola: 324450 markings, 441333 edges, 2250 markings/sec, 175 secs
lola: 332180 markings, 454192 edges, 1546 markings/sec, 180 secs
lola: 338562 markings, 464390 edges, 1276 markings/sec, 185 secs
lola: 344741 markings, 474549 edges, 1236 markings/sec, 190 secs
lola: 351020 markings, 485042 edges, 1256 markings/sec, 195 secs
lola: 357314 markings, 496143 edges, 1259 markings/sec, 200 secs
lola: 364684 markings, 508586 edges, 1474 markings/sec, 205 secs
lola: 373439 markings, 518753 edges, 1751 markings/sec, 210 secs
lola: 382189 markings, 529875 edges, 1750 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: 5423 markings, 9974 edges, 1085 markings/sec, 0 secs
lola: 10736 markings, 19967 edges, 1063 markings/sec, 5 secs
lola: 16101 markings, 30156 edges, 1073 markings/sec, 10 secs
lola: 21518 markings, 40243 edges, 1083 markings/sec, 15 secs
lola: 26691 markings, 50300 edges, 1035 markings/sec, 20 secs
lola: 32108 markings, 60720 edges, 1083 markings/sec, 25 secs
lola: 37431 markings, 71080 edges, 1065 markings/sec, 30 secs
lola: 42641 markings, 81374 edges, 1042 markings/sec, 35 secs
lola: 48004 markings, 91959 edges, 1073 markings/sec, 40 secs
lola: 53279 markings, 102828 edges, 1055 markings/sec, 45 secs
lola: 58567 markings, 113904 edges, 1058 markings/sec, 50 secs
lola: 61880 markings, 121035 edges, 663 markings/sec, 55 secs
lola: 64840 markings, 127617 edges, 592 markings/sec, 60 secs
lola: 67732 markings, 134531 edges, 578 markings/sec, 65 secs
lola: 70604 markings, 142159 edges, 574 markings/sec, 70 secs
lola: 73695 markings, 152464 edges, 618 markings/sec, 75 secs
lola: 76528 markings, 158091 edges, 567 markings/sec, 80 secs
lola: 79359 markings, 163738 edges, 566 markings/sec, 85 secs
lola: 82235 markings, 169447 edges, 575 markings/sec, 90 secs
lola: 85106 markings, 175165 edges, 574 markings/sec, 95 secs
lola: 87970 markings, 180879 edges, 573 markings/sec, 100 secs
lola: 90819 markings, 186564 edges, 570 markings/sec, 105 secs
lola: 93654 markings, 192316 edges, 567 markings/sec, 110 secs
lola: 96408 markings, 197921 edges, 551 markings/sec, 115 secs
lola: 99176 markings, 203554 edges, 554 markings/sec, 120 secs
lola: 102048 markings, 209297 edges, 574 markings/sec, 125 secs
lola: 105008 markings, 215005 edges, 592 markings/sec, 130 secs
lola: 107914 markings, 220883 edges, 581 markings/sec, 135 secs
lola: 110766 markings, 226711 edges, 570 markings/sec, 140 secs
lola: 113490 markings, 232358 edges, 545 markings/sec, 145 secs
lola: 116451 markings, 238176 edges, 592 markings/sec, 150 secs
lola: 119403 markings, 244126 edges, 590 markings/sec, 155 secs
lola: 122167 markings, 249901 edges, 553 markings/sec, 160 secs
lola: 125053 markings, 255684 edges, 577 markings/sec, 165 secs
lola: 127982 markings, 261613 edges, 586 markings/sec, 170 secs
lola: 130648 markings, 267377 edges, 533 markings/sec, 175 secs
lola: 133694 markings, 273335 edges, 609 markings/sec, 180 secs
lola: 136370 markings, 279062 edges, 535 markings/sec, 185 secs
lola: 139368 markings, 285057 edges, 600 markings/sec, 190 secs
lola: 142100 markings, 290841 edges, 546 markings/sec, 195 secs
lola: 144996 markings, 296851 edges, 579 markings/sec, 200 secs
lola: 147877 markings, 302787 edges, 576 markings/sec, 205 secs
lola: 150684 markings, 308613 edges, 561 markings/sec, 210 secs
lola: 153455 markings, 314636 edges, 554 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: 8805 markings, 40374 edges, 1761 markings/sec, 0 secs
lola: 17455 markings, 86349 edges, 1730 markings/sec, 5 secs
lola: 26254 markings, 130801 edges, 1760 markings/sec, 10 secs
lola: 35115 markings, 173981 edges, 1772 markings/sec, 15 secs
lola: 43957 markings, 217000 edges, 1768 markings/sec, 20 secs
lola: 52720 markings, 262431 edges, 1753 markings/sec, 25 secs
lola: 61611 markings, 304156 edges, 1778 markings/sec, 30 secs
lola: 70413 markings, 347890 edges, 1760 markings/sec, 35 secs
lola: 79173 markings, 392605 edges, 1752 markings/sec, 40 secs
lola: 88084 markings, 434866 edges, 1782 markings/sec, 45 secs
lola: 96874 markings, 478997 edges, 1758 markings/sec, 50 secs
lola: 105576 markings, 522081 edges, 1740 markings/sec, 55 secs
lola: 114052 markings, 563235 edges, 1695 markings/sec, 60 secs
lola: 122306 markings, 604498 edges, 1651 markings/sec, 65 secs
lola: 130506 markings, 646723 edges, 1640 markings/sec, 70 secs
lola: 139308 markings, 687863 edges, 1760 markings/sec, 75 secs
lola: 148028 markings, 731273 edges, 1744 markings/sec, 80 secs
lola: 156722 markings, 775343 edges, 1739 markings/sec, 85 secs
lola: 165513 markings, 817222 edges, 1758 markings/sec, 90 secs
lola: 174202 markings, 860706 edges, 1738 markings/sec, 95 secs
lola: 182926 markings, 904148 edges, 1745 markings/sec, 100 secs
lola: 191707 markings, 946835 edges, 1756 markings/sec, 105 secs
lola: 200492 markings, 990891 edges, 1757 markings/sec, 110 secs
lola: 209302 markings, 1033918 edges, 1762 markings/sec, 115 secs
lola: 218214 markings, 1077330 edges, 1782 markings/sec, 120 secs
lola: 226926 markings, 1122274 edges, 1742 markings/sec, 125 secs
lola: 235749 markings, 1163958 edges, 1765 markings/sec, 130 secs
lola: 244488 markings, 1207159 edges, 1748 markings/sec, 135 secs
lola: 253203 markings, 1252514 edges, 1743 markings/sec, 140 secs
lola: 262119 markings, 1293381 edges, 1783 markings/sec, 145 secs
lola: 271396 markings, 1338464 edges, 1855 markings/sec, 150 secs
lola: 281162 markings, 1382337 edges, 1953 markings/sec, 155 secs
lola: 290956 markings, 1425812 edges, 1959 markings/sec, 160 secs
lola: 300752 markings, 1470143 edges, 1959 markings/sec, 165 secs
lola: 310505 markings, 1514387 edges, 1951 markings/sec, 170 secs
lola: 320310 markings, 1557536 edges, 1961 markings/sec, 175 secs
lola: 330035 markings, 1601386 edges, 1945 markings/sec, 180 secs
lola: 339726 markings, 1645963 edges, 1938 markings/sec, 185 secs
lola: 349473 markings, 1688544 edges, 1949 markings/sec, 190 secs
lola: 359185 markings, 1732077 edges, 1942 markings/sec, 195 secs
lola: 368907 markings, 1776413 edges, 1944 markings/sec, 200 secs
lola: 378342 markings, 1818764 edges, 1887 markings/sec, 205 secs
lola: 387332 markings, 1858877 edges, 1798 markings/sec, 210 secs
lola: 396168 markings, 1902088 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: 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 1494738992566

--------------------
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="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/PolyORBNT-PT-S10J40.tgz
mv 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 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 r058-smll-149440926200155"
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 ;