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-S10J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231600146
=====================================================================

--------------------
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-S10J30-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496342655788


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-PT-S10J30: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S10J30: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S10J30 @ 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: 12714/65536 symbol table entries, 4655 collisions
lola: preprocessing...
lola: finding significant places
lola: 664 places, 12050 transitions, 572 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2298 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J30-UpperBounds.task
lola: MAX(mi2) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30) : MAX(NotifyEventJobQueuedE_1) : MAX(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(JobCnt) : 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_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_13_10 + CreatedJobs_25_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_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_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_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_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_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_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_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_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_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_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_28_6 + CreatedJobs_28_5 + CreatedJobs_28_4 + CreatedJobs_28_3 + CreatedJobs_15_10 + CreatedJobs_27_10 + 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_2 + 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_1 + 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_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_3 + CreatedJobs_27_1 + CreatedJobs_27_2 + CreatedJobs_27_9 + CreatedJobs_21_10 + CreatedJobs_13_9 + CreatedJobs_14_9 + CreatedJobs_4_10 + CreatedJobs_14_10 + CreatedJobs_26_10 + CreatedJobs_12_9 + CreatedJobs_25_9 + CreatedJobs_28_9 + CreatedJobs_11_9 + CreatedJobs_24_9 + CreatedJobs_22_10 + CreatedJobs_10_10 + CreatedJobs_23_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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10) : MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_16 + AvailableJobId_19 + AvailableJobId_21 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_4 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_30 + AvailableJobId_29 + AvailableJobId_20 + AvailableJobId_18 + AvailableJobId_17) : MAX(Perform_Work_E_1) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10) : MAX(mo1) : MAX(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(place_500_1) : MAX(mo1) : MAX(mo1) : MAX(Check_Sources_E_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(mi2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 6928 markings, 12865 edges, 1386 markings/sec, 0 secs
lola: 13779 markings, 25870 edges, 1370 markings/sec, 5 secs
lola: 20779 markings, 39368 edges, 1400 markings/sec, 10 secs
lola: 27657 markings, 53061 edges, 1376 markings/sec, 15 secs
lola: 34459 markings, 67368 edges, 1360 markings/sec, 20 secs
lola: 41394 markings, 85385 edges, 1387 markings/sec, 25 secs
lola: 47991 markings, 98664 edges, 1319 markings/sec, 30 secs
lola: 54728 markings, 111886 edges, 1347 markings/sec, 35 secs
lola: 61190 markings, 125215 edges, 1292 markings/sec, 40 secs
lola: 67812 markings, 138611 edges, 1324 markings/sec, 45 secs
lola: 74574 markings, 152261 edges, 1352 markings/sec, 50 secs
lola: 81166 markings, 165959 edges, 1318 markings/sec, 55 secs
lola: 87762 markings, 179946 edges, 1319 markings/sec, 60 secs
lola: 94323 markings, 194353 edges, 1312 markings/sec, 65 secs
lola: 100828 markings, 211121 edges, 1301 markings/sec, 70 secs
lola: 105238 markings, 224017 edges, 882 markings/sec, 75 secs
lola: 109536 markings, 235516 edges, 860 markings/sec, 80 secs
lola: 113745 markings, 246945 edges, 842 markings/sec, 85 secs
lola: 117982 markings, 258501 edges, 847 markings/sec, 90 secs
lola: 122155 markings, 270190 edges, 835 markings/sec, 95 secs
lola: 126398 markings, 282029 edges, 849 markings/sec, 100 secs
lola: 130631 markings, 294179 edges, 847 markings/sec, 105 secs
lola: 134690 markings, 306474 edges, 812 markings/sec, 110 secs
lola: 138654 markings, 320223 edges, 793 markings/sec, 115 secs
lola: 144958 markings, 334373 edges, 1261 markings/sec, 120 secs
lola: 151487 markings, 346780 edges, 1306 markings/sec, 125 secs
lola: 158004 markings, 359327 edges, 1303 markings/sec, 130 secs
lola: 164502 markings, 372135 edges, 1300 markings/sec, 135 secs
lola: 171035 markings, 385508 edges, 1307 markings/sec, 140 secs
lola: 177481 markings, 400293 edges, 1289 markings/sec, 145 secs
lola: 184045 markings, 415983 edges, 1313 markings/sec, 150 secs
lola: 190351 markings, 428628 edges, 1261 markings/sec, 155 secs
lola: 196521 markings, 441150 edges, 1234 markings/sec, 160 secs
lola: 202905 markings, 453890 edges, 1277 markings/sec, 165 secs
lola: 209163 markings, 466642 edges, 1252 markings/sec, 170 secs
lola: 215387 markings, 479510 edges, 1245 markings/sec, 175 secs
lola: 221678 markings, 492602 edges, 1258 markings/sec, 180 secs
lola: 227977 markings, 505997 edges, 1260 markings/sec, 185 secs
lola: 234218 markings, 519861 edges, 1248 markings/sec, 190 secs
lola: 240248 markings, 536837 edges, 1206 markings/sec, 195 secs
lola: 244542 markings, 548159 edges, 859 markings/sec, 200 secs
lola: 248723 markings, 559423 edges, 836 markings/sec, 205 secs
lola: 252932 markings, 570765 edges, 842 markings/sec, 210 secs
lola: 257113 markings, 582184 edges, 836 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(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10983 markings, 12846 edges, 2197 markings/sec, 0 secs
lola: 24227 markings, 29836 edges, 2649 markings/sec, 5 secs
lola: 37082 markings, 45817 edges, 2571 markings/sec, 10 secs
lola: 48661 markings, 62029 edges, 2316 markings/sec, 15 secs
lola: 55024 markings, 72284 edges, 1273 markings/sec, 20 secs
lola: 61444 markings, 82925 edges, 1284 markings/sec, 25 secs
lola: 70406 markings, 97204 edges, 1792 markings/sec, 30 secs
lola: 81865 markings, 111863 edges, 2292 markings/sec, 35 secs
lola: 95862 markings, 128977 edges, 2799 markings/sec, 40 secs
lola: 109757 markings, 146656 edges, 2779 markings/sec, 45 secs
lola: 119563 markings, 162035 edges, 1961 markings/sec, 50 secs
lola: 127372 markings, 174920 edges, 1562 markings/sec, 55 secs
lola: 136209 markings, 189208 edges, 1767 markings/sec, 60 secs
lola: 147556 markings, 203659 edges, 2269 markings/sec, 65 secs
lola: 161525 markings, 220818 edges, 2794 markings/sec, 70 secs
lola: 175521 markings, 238538 edges, 2799 markings/sec, 75 secs
lola: 185581 markings, 254171 edges, 2012 markings/sec, 80 secs
lola: 193337 markings, 266980 edges, 1551 markings/sec, 85 secs
lola: 202062 markings, 281328 edges, 1745 markings/sec, 90 secs
lola: 213616 markings, 296077 edges, 2311 markings/sec, 95 secs
lola: 227865 markings, 313628 edges, 2850 markings/sec, 100 secs
lola: 242053 markings, 332094 edges, 2838 markings/sec, 105 secs
lola: 250608 markings, 346222 edges, 1711 markings/sec, 110 secs
lola: 258548 markings, 359756 edges, 1588 markings/sec, 115 secs
lola: 268781 markings, 373843 edges, 2047 markings/sec, 120 secs
lola: 281716 markings, 390522 edges, 2587 markings/sec, 125 secs
lola: 295951 markings, 408287 edges, 2847 markings/sec, 130 secs
lola: 307985 markings, 425785 edges, 2407 markings/sec, 135 secs
lola: 315876 markings, 438725 edges, 1578 markings/sec, 140 secs
lola: 324327 markings, 453282 edges, 1690 markings/sec, 145 secs
lola: 335615 markings, 467631 edges, 2258 markings/sec, 150 secs
lola: 349853 markings, 485102 edges, 2848 markings/sec, 155 secs
lola: 364093 markings, 503405 edges, 2848 markings/sec, 160 secs
lola: 373331 markings, 518307 edges, 1848 markings/sec, 165 secs
lola: 381228 markings, 531688 edges, 1579 markings/sec, 170 secs
lola: 391164 markings, 545951 edges, 1987 markings/sec, 175 secs
lola: 404121 markings, 562656 edges, 2591 markings/sec, 180 secs
lola: 418323 markings, 580514 edges, 2840 markings/sec, 185 secs
lola: 429402 markings, 597236 edges, 2216 markings/sec, 190 secs
lola: 437359 markings, 610465 edges, 1591 markings/sec, 195 secs
lola: 446787 markings, 624830 edges, 1886 markings/sec, 200 secs
lola: 459234 markings, 640893 edges, 2489 markings/sec, 205 secs
lola: 473493 markings, 658652 edges, 2852 markings/sec, 210 secs
lola: 485587 markings, 676245 edges, 2419 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(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 9499 markings, 14704 edges, 1900 markings/sec, 0 secs
lola: 19000 markings, 29837 edges, 1900 markings/sec, 5 secs
lola: 28471 markings, 45758 edges, 1894 markings/sec, 10 secs
lola: 38810 markings, 64662 edges, 2068 markings/sec, 15 secs
lola: 49827 markings, 81624 edges, 2203 markings/sec, 20 secs
lola: 60882 markings, 98731 edges, 2211 markings/sec, 25 secs
lola: 72021 markings, 116060 edges, 2228 markings/sec, 30 secs
lola: 83088 markings, 133735 edges, 2213 markings/sec, 35 secs
lola: 94129 markings, 152284 edges, 2208 markings/sec, 40 secs
lola: 101984 markings, 168935 edges, 1571 markings/sec, 45 secs
lola: 108035 markings, 181650 edges, 1210 markings/sec, 50 secs
lola: 114236 markings, 194737 edges, 1240 markings/sec, 55 secs
lola: 120358 markings, 207935 edges, 1224 markings/sec, 60 secs
lola: 126482 markings, 221580 edges, 1225 markings/sec, 65 secs
lola: 132527 markings, 237952 edges, 1209 markings/sec, 70 secs
lola: 141957 markings, 252672 edges, 1886 markings/sec, 75 secs
lola: 151428 markings, 267701 edges, 1894 markings/sec, 80 secs
lola: 160869 markings, 283573 edges, 1888 markings/sec, 85 secs
lola: 171181 markings, 302426 edges, 2062 markings/sec, 90 secs
lola: 182202 markings, 319396 edges, 2204 markings/sec, 95 secs
lola: 193210 markings, 336439 edges, 2202 markings/sec, 100 secs
lola: 204280 markings, 353677 edges, 2214 markings/sec, 105 secs
lola: 215319 markings, 371267 edges, 2208 markings/sec, 110 secs
lola: 226325 markings, 389724 edges, 2201 markings/sec, 115 secs
lola: 234193 markings, 406417 edges, 1574 markings/sec, 120 secs
lola: 240259 markings, 419150 edges, 1213 markings/sec, 125 secs
lola: 246460 markings, 432146 edges, 1240 markings/sec, 130 secs
lola: 252489 markings, 445205 edges, 1206 markings/sec, 135 secs
lola: 258593 markings, 458800 edges, 1221 markings/sec, 140 secs
lola: 264625 markings, 474412 edges, 1206 markings/sec, 145 secs
lola: 274059 markings, 489908 edges, 1887 markings/sec, 150 secs
lola: 283476 markings, 504870 edges, 1883 markings/sec, 155 secs
lola: 292800 markings, 520555 edges, 1865 markings/sec, 160 secs
lola: 302964 markings, 539298 edges, 2033 markings/sec, 165 secs
lola: 314089 markings, 556310 edges, 2225 markings/sec, 170 secs
lola: 325113 markings, 573324 edges, 2205 markings/sec, 175 secs
lola: 336115 markings, 590553 edges, 2200 markings/sec, 180 secs
lola: 347068 markings, 608012 edges, 2191 markings/sec, 185 secs
lola: 358018 markings, 626311 edges, 2190 markings/sec, 190 secs
lola: 366119 markings, 643336 edges, 1620 markings/sec, 195 secs
lola: 372321 markings, 656180 edges, 1240 markings/sec, 200 secs
lola: 378338 markings, 668971 edges, 1203 markings/sec, 205 secs
lola: 384526 markings, 682205 edges, 1238 markings/sec, 210 secs
lola: 390566 markings, 695682 edges, 1208 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(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10939 markings, 12802 edges, 2188 markings/sec, 0 secs
lola: 24182 markings, 29772 edges, 2649 markings/sec, 5 secs
lola: 38015 markings, 46996 edges, 2767 markings/sec, 10 secs
lola: 50187 markings, 64477 edges, 2434 markings/sec, 15 secs
lola: 57931 markings, 77030 edges, 1549 markings/sec, 20 secs
lola: 65646 markings, 90657 edges, 1543 markings/sec, 25 secs
lola: 76256 markings, 104141 edges, 2122 markings/sec, 30 secs
lola: 89190 markings, 120755 edges, 2587 markings/sec, 35 secs
lola: 102956 markings, 137857 edges, 2753 markings/sec, 40 secs
lola: 115649 markings, 155780 edges, 2539 markings/sec, 45 secs
lola: 123420 markings, 168283 edges, 1554 markings/sec, 50 secs
lola: 130919 markings, 181251 edges, 1500 markings/sec, 55 secs
lola: 140913 markings, 194703 edges, 1999 markings/sec, 60 secs
lola: 153109 markings, 210430 edges, 2439 markings/sec, 65 secs
lola: 166638 markings, 227169 edges, 2706 markings/sec, 70 secs
lola: 180263 markings, 245358 edges, 2725 markings/sec, 75 secs
lola: 188100 markings, 258265 edges, 1567 markings/sec, 80 secs
lola: 195742 markings, 271156 edges, 1528 markings/sec, 85 secs
lola: 205353 markings, 285135 edges, 1922 markings/sec, 90 secs
lola: 217547 markings, 300868 edges, 2439 markings/sec, 95 secs
lola: 231354 markings, 317979 edges, 2761 markings/sec, 100 secs
lola: 244597 markings, 336450 edges, 2649 markings/sec, 105 secs
lola: 252342 markings, 349086 edges, 1549 markings/sec, 110 secs
lola: 260146 markings, 363026 edges, 1561 markings/sec, 115 secs
lola: 270774 markings, 376357 edges, 2126 markings/sec, 120 secs
lola: 283948 markings, 393255 edges, 2635 markings/sec, 125 secs
lola: 297766 markings, 410629 edges, 2764 markings/sec, 130 secs
lola: 308818 markings, 427174 edges, 2210 markings/sec, 135 secs
lola: 316691 markings, 440102 edges, 1575 markings/sec, 140 secs
lola: 325367 markings, 454436 edges, 1735 markings/sec, 145 secs
lola: 336713 markings, 468957 edges, 2269 markings/sec, 150 secs
lola: 350731 markings, 486187 edges, 2804 markings/sec, 155 secs
lola: 364759 markings, 504338 edges, 2806 markings/sec, 160 secs
lola: 373584 markings, 518757 edges, 1765 markings/sec, 165 secs
lola: 381429 markings, 532032 edges, 1569 markings/sec, 170 secs
lola: 391360 markings, 546167 edges, 1986 markings/sec, 175 secs
lola: 404128 markings, 562665 edges, 2554 markings/sec, 180 secs
lola: 418138 markings, 580291 edges, 2802 markings/sec, 185 secs
lola: 429269 markings, 596953 edges, 2226 markings/sec, 190 secs
lola: 437069 markings, 609958 edges, 1560 markings/sec, 195 secs
lola: 446250 markings, 624195 edges, 1836 markings/sec, 200 secs
lola: 457929 markings, 639274 edges, 2336 markings/sec, 205 secs
lola: 471380 markings, 655973 edges, 2690 markings/sec, 210 secs
lola: 483984 markings, 673689 edges, 2521 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(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 3452 markings, 4351 edges, 690 markings/sec, 0 secs
lola: 6609 markings, 11509 edges, 631 markings/sec, 5 secs
lola: 10046 markings, 15856 edges, 687 markings/sec, 10 secs
lola: 13178 markings, 22980 edges, 626 markings/sec, 15 secs
lola: 16535 markings, 27237 edges, 671 markings/sec, 20 secs
lola: 19652 markings, 34286 edges, 623 markings/sec, 25 secs
lola: 23011 markings, 38545 edges, 672 markings/sec, 30 secs
lola: 26129 markings, 45596 edges, 624 markings/sec, 35 secs
lola: 29484 markings, 50579 edges, 671 markings/sec, 40 secs
lola: 32618 markings, 56848 edges, 627 markings/sec, 45 secs
lola: 35897 markings, 62697 edges, 656 markings/sec, 50 secs
lola: 39101 markings, 68095 edges, 641 markings/sec, 55 secs
lola: 42289 markings, 74430 edges, 638 markings/sec, 60 secs
lola: 45593 markings, 79326 edges, 661 markings/sec, 65 secs
lola: 48730 markings, 86295 edges, 627 markings/sec, 70 secs
lola: 52086 markings, 90559 edges, 671 markings/sec, 75 secs
lola: 55231 markings, 97474 edges, 629 markings/sec, 80 secs
lola: 58499 markings, 103393 edges, 654 markings/sec, 85 secs
lola: 61731 markings, 108645 edges, 646 markings/sec, 90 secs
lola: 64886 markings, 115501 edges, 631 markings/sec, 95 secs
lola: 68240 markings, 119755 edges, 671 markings/sec, 100 secs
lola: 71385 markings, 126645 edges, 629 markings/sec, 105 secs
lola: 74591 markings, 132884 edges, 641 markings/sec, 110 secs
lola: 77907 markings, 137732 edges, 663 markings/sec, 115 secs
lola: 81073 markings, 144548 edges, 633 markings/sec, 120 secs
lola: 84298 markings, 150668 edges, 645 markings/sec, 125 secs
lola: 87589 markings, 155613 edges, 658 markings/sec, 130 secs
lola: 90759 markings, 162393 edges, 634 markings/sec, 135 secs
lola: 93961 markings, 168672 edges, 640 markings/sec, 140 secs
lola: 97293 markings, 173396 edges, 666 markings/sec, 145 secs
lola: 100473 markings, 180131 edges, 636 markings/sec, 150 secs
lola: 103663 markings, 186836 edges, 638 markings/sec, 155 secs
lola: 106919 markings, 192835 edges, 651 markings/sec, 160 secs
lola: 110205 markings, 197794 edges, 657 markings/sec, 165 secs
lola: 113390 markings, 204470 edges, 637 markings/sec, 170 secs
lola: 116585 markings, 211112 edges, 639 markings/sec, 175 secs
lola: 119784 markings, 217733 edges, 640 markings/sec, 180 secs
lola: 123048 markings, 223696 edges, 653 markings/sec, 185 secs
lola: 126321 markings, 229972 edges, 655 markings/sec, 190 secs
lola: 129564 markings, 235189 edges, 649 markings/sec, 195 secs
lola: 132779 markings, 241758 edges, 643 markings/sec, 200 secs
lola: 135998 markings, 248306 edges, 644 markings/sec, 205 secs
lola: 139219 markings, 254849 edges, 644 markings/sec, 210 secs
lola: 142447 markings, 261342 edges, 646 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(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 2288 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: 2890 markings, 4163 edges, 578 markings/sec, 0 secs
lola: 5782 markings, 7897 edges, 578 markings/sec, 5 secs
lola: 8686 markings, 11611 edges, 581 markings/sec, 10 secs
lola: 11585 markings, 18041 edges, 580 markings/sec, 15 secs
lola: 14517 markings, 21780 edges, 586 markings/sec, 20 secs
lola: 17436 markings, 25537 edges, 584 markings/sec, 25 secs
lola: 20356 markings, 29296 edges, 584 markings/sec, 30 secs
lola: 23266 markings, 35738 edges, 582 markings/sec, 35 secs
lola: 26183 markings, 39460 edges, 583 markings/sec, 40 secs
lola: 29090 markings, 43188 edges, 581 markings/sec, 45 secs
lola: 32007 markings, 46949 edges, 583 markings/sec, 50 secs
lola: 34921 markings, 53397 edges, 583 markings/sec, 55 secs
lola: 37839 markings, 57129 edges, 584 markings/sec, 60 secs
lola: 40754 markings, 60856 edges, 583 markings/sec, 65 secs
lola: 43659 markings, 64605 edges, 581 markings/sec, 70 secs
lola: 46575 markings, 71065 edges, 583 markings/sec, 75 secs
lola: 49505 markings, 74808 edges, 586 markings/sec, 80 secs
lola: 52430 markings, 78543 edges, 585 markings/sec, 85 secs
lola: 55343 markings, 84996 edges, 583 markings/sec, 90 secs
lola: 58248 markings, 88736 edges, 581 markings/sec, 95 secs
lola: 61161 markings, 92479 edges, 583 markings/sec, 100 secs
lola: 64092 markings, 96215 edges, 586 markings/sec, 105 secs
lola: 67001 markings, 102659 edges, 582 markings/sec, 110 secs
lola: 69904 markings, 106394 edges, 581 markings/sec, 115 secs
lola: 72825 markings, 110151 edges, 584 markings/sec, 120 secs
lola: 75735 markings, 116598 edges, 582 markings/sec, 125 secs
lola: 78653 markings, 120324 edges, 584 markings/sec, 130 secs
lola: 81569 markings, 124062 edges, 583 markings/sec, 135 secs
lola: 84482 markings, 128465 edges, 583 markings/sec, 140 secs
lola: 87424 markings, 134302 edges, 588 markings/sec, 145 secs
lola: 90371 markings, 138065 edges, 589 markings/sec, 150 secs
lola: 93318 markings, 141852 edges, 589 markings/sec, 155 secs
lola: 96245 markings, 148335 edges, 585 markings/sec, 160 secs
lola: 99168 markings, 152080 edges, 585 markings/sec, 165 secs
lola: 102097 markings, 155815 edges, 586 markings/sec, 170 secs
lola: 105008 markings, 162267 edges, 582 markings/sec, 175 secs
lola: 107917 markings, 166010 edges, 582 markings/sec, 180 secs
lola: 110829 markings, 169755 edges, 582 markings/sec, 185 secs
lola: 113737 markings, 176204 edges, 582 markings/sec, 190 secs
lola: 116654 markings, 179927 edges, 583 markings/sec, 195 secs
lola: 119568 markings, 183665 edges, 583 markings/sec, 200 secs
lola: 122481 markings, 190122 edges, 583 markings/sec, 205 secs
lola: 125397 markings, 193874 edges, 583 markings/sec, 210 secs
lola: 128312 markings, 197603 edges, 583 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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10530 markings, 12280 edges, 2106 markings/sec, 0 secs
lola: 23157 markings, 28516 edges, 2525 markings/sec, 5 secs
lola: 36464 markings, 45029 edges, 2661 markings/sec, 10 secs
lola: 49068 markings, 62674 edges, 2521 markings/sec, 15 secs
lola: 56468 markings, 74639 edges, 1480 markings/sec, 20 secs
lola: 63934 markings, 87328 edges, 1493 markings/sec, 25 secs
lola: 73413 markings, 100703 edges, 1896 markings/sec, 30 secs
lola: 85087 markings, 115749 edges, 2335 markings/sec, 35 secs
lola: 98332 markings, 132053 edges, 2649 markings/sec, 40 secs
lola: 111568 markings, 149107 edges, 2647 markings/sec, 45 secs
lola: 120217 markings, 163105 edges, 1730 markings/sec, 50 secs
lola: 127677 markings, 175426 edges, 1492 markings/sec, 55 secs
lola: 136051 markings, 189050 edges, 1675 markings/sec, 60 secs
lola: 146716 markings, 202648 edges, 2133 markings/sec, 65 secs
lola: 159910 markings, 218799 edges, 2639 markings/sec, 70 secs
lola: 173174 markings, 235488 edges, 2653 markings/sec, 75 secs
lola: 183868 markings, 251422 edges, 2139 markings/sec, 80 secs
lola: 191295 markings, 263512 edges, 1485 markings/sec, 85 secs
lola: 198639 markings, 276973 edges, 1469 markings/sec, 90 secs
lola: 209057 markings, 289714 edges, 2084 markings/sec, 95 secs
lola: 221874 markings, 306197 edges, 2563 markings/sec, 100 secs
lola: 235405 markings, 323132 edges, 2706 markings/sec, 105 secs
lola: 246478 markings, 339539 edges, 2215 markings/sec, 110 secs
lola: 253991 markings, 351821 edges, 1503 markings/sec, 115 secs
lola: 261875 markings, 365791 edges, 1577 markings/sec, 120 secs
lola: 272310 markings, 378519 edges, 2087 markings/sec, 125 secs
lola: 285595 markings, 395294 edges, 2657 markings/sec, 130 secs
lola: 299040 markings, 412267 edges, 2689 markings/sec, 135 secs
lola: 309270 markings, 427910 edges, 2046 markings/sec, 140 secs
lola: 316772 markings, 440267 edges, 1500 markings/sec, 145 secs
lola: 325082 markings, 454134 edges, 1662 markings/sec, 150 secs
lola: 335805 markings, 467868 edges, 2145 markings/sec, 155 secs
lola: 349367 markings, 484478 edges, 2712 markings/sec, 160 secs
lola: 362870 markings, 501728 edges, 2701 markings/sec, 165 secs
lola: 372187 markings, 516478 edges, 1863 markings/sec, 170 secs
lola: 379749 markings, 529068 edges, 1512 markings/sec, 175 secs
lola: 388539 markings, 542818 edges, 1758 markings/sec, 180 secs
lola: 399990 markings, 557583 edges, 2290 markings/sec, 185 secs
lola: 413531 markings, 574384 edges, 2708 markings/sec, 190 secs
lola: 426288 markings, 592195 edges, 2551 markings/sec, 195 secs
lola: 433874 markings, 604530 edges, 1517 markings/sec, 200 secs
lola: 441331 markings, 618540 edges, 1491 markings/sec, 205 secs
lola: 451828 markings, 631190 edges, 2099 markings/sec, 210 secs
lola: 465017 markings, 648006 edges, 2638 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(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_16 + AvailableJobId_19 + AvailableJobId_21 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_4 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10492 markings, 12242 edges, 2098 markings/sec, 0 secs
lola: 23094 markings, 28426 edges, 2520 markings/sec, 5 secs
lola: 36328 markings, 44881 edges, 2647 markings/sec, 10 secs
lola: 48928 markings, 62476 edges, 2520 markings/sec, 15 secs
lola: 56364 markings, 74487 edges, 1487 markings/sec, 20 secs
lola: 63771 markings, 87038 edges, 1481 markings/sec, 25 secs
lola: 73203 markings, 100451 edges, 1886 markings/sec, 30 secs
lola: 84728 markings, 115301 edges, 2305 markings/sec, 35 secs
lola: 97923 markings, 131582 edges, 2639 markings/sec, 40 secs
lola: 111150 markings, 148555 edges, 2645 markings/sec, 45 secs
lola: 120031 markings, 162752 edges, 1776 markings/sec, 50 secs
lola: 127385 markings, 174945 edges, 1471 markings/sec, 55 secs
lola: 135646 markings, 188588 edges, 1652 markings/sec, 60 secs
lola: 146095 markings, 201892 edges, 2090 markings/sec, 65 secs
lola: 159419 markings, 218172 edges, 2665 markings/sec, 70 secs
lola: 172583 markings, 234720 edges, 2633 markings/sec, 75 secs
lola: 183544 markings, 250894 edges, 2192 markings/sec, 80 secs
lola: 190941 markings, 262908 edges, 1479 markings/sec, 85 secs
lola: 198261 markings, 275996 edges, 1464 markings/sec, 90 secs
lola: 208483 markings, 288973 edges, 2044 markings/sec, 95 secs
lola: 221131 markings, 305258 edges, 2530 markings/sec, 100 secs
lola: 234572 markings, 322079 edges, 2688 markings/sec, 105 secs
lola: 246005 markings, 338766 edges, 2287 markings/sec, 110 secs
lola: 253537 markings, 351056 edges, 1506 markings/sec, 115 secs
lola: 261238 markings, 365048 edges, 1540 markings/sec, 120 secs
lola: 271613 markings, 377488 edges, 2075 markings/sec, 125 secs
lola: 284652 markings, 394125 edges, 2608 markings/sec, 130 secs
lola: 298098 markings, 411051 edges, 2689 markings/sec, 135 secs
lola: 308735 markings, 427042 edges, 2127 markings/sec, 140 secs
lola: 316250 markings, 439356 edges, 1503 markings/sec, 145 secs
lola: 324283 markings, 453221 edges, 1607 markings/sec, 150 secs
lola: 334743 markings, 466559 edges, 2092 markings/sec, 155 secs
lola: 348249 markings, 483096 edges, 2701 markings/sec, 160 secs
lola: 361721 markings, 500184 edges, 2694 markings/sec, 165 secs
lola: 371549 markings, 515460 edges, 1966 markings/sec, 170 secs
lola: 379102 markings, 527939 edges, 1511 markings/sec, 175 secs
lola: 387625 markings, 541735 edges, 1705 markings/sec, 180 secs
lola: 398735 markings, 556088 edges, 2222 markings/sec, 185 secs
lola: 412216 markings, 572749 edges, 2696 markings/sec, 190 secs
lola: 425562 markings, 591057 edges, 2669 markings/sec, 195 secs
lola: 433099 markings, 603269 edges, 1507 markings/sec, 200 secs
lola: 440566 markings, 616444 edges, 1493 markings/sec, 205 secs
lola: 450731 markings, 629697 edges, 2033 markings/sec, 210 secs
lola: 463635 markings, 646291 edges, 2581 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(Perform_Work_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10606 markings, 12356 edges, 2121 markings/sec, 0 secs
lola: 23265 markings, 28669 edges, 2532 markings/sec, 5 secs
lola: 36715 markings, 45342 edges, 2690 markings/sec, 10 secs
lola: 49254 markings, 62959 edges, 2508 markings/sec, 15 secs
lola: 56731 markings, 75032 edges, 1495 markings/sec, 20 secs
lola: 64169 markings, 87762 edges, 1488 markings/sec, 25 secs
lola: 73821 markings, 101181 edges, 1930 markings/sec, 30 secs
lola: 85604 markings, 116375 edges, 2357 markings/sec, 35 secs
lola: 98970 markings, 132855 edges, 2673 markings/sec, 40 secs
lola: 112329 markings, 150194 edges, 2672 markings/sec, 45 secs
lola: 120679 markings, 163859 edges, 1670 markings/sec, 50 secs
lola: 128132 markings, 176238 edges, 1491 markings/sec, 55 secs
lola: 136829 markings, 189941 edges, 1739 markings/sec, 60 secs
lola: 147815 markings, 203972 edges, 2197 markings/sec, 65 secs
lola: 161114 markings, 220271 edges, 2660 markings/sec, 70 secs
lola: 174435 markings, 237118 edges, 2664 markings/sec, 75 secs
lola: 184656 markings, 252666 edges, 2044 markings/sec, 80 secs
lola: 192087 markings, 264837 edges, 1486 markings/sec, 85 secs
lola: 199778 markings, 278713 edges, 1538 markings/sec, 90 secs
lola: 210275 markings, 291391 edges, 2099 markings/sec, 95 secs
lola: 223587 markings, 308324 edges, 2662 markings/sec, 100 secs
lola: 237169 markings, 325446 edges, 2716 markings/sec, 105 secs
lola: 247541 markings, 341237 edges, 2074 markings/sec, 110 secs
lola: 255080 markings, 353659 edges, 1508 markings/sec, 115 secs
lola: 263448 markings, 367590 edges, 1674 markings/sec, 120 secs
lola: 274242 markings, 381380 edges, 2159 markings/sec, 125 secs
lola: 287836 markings, 398084 edges, 2719 markings/sec, 130 secs
lola: 301346 markings, 415328 edges, 2702 markings/sec, 135 secs
lola: 310663 markings, 430108 edges, 1863 markings/sec, 140 secs
lola: 318178 markings, 442677 edges, 1503 markings/sec, 145 secs
lola: 327113 markings, 456465 edges, 1787 markings/sec, 150 secs
lola: 338540 markings, 471154 edges, 2285 markings/sec, 155 secs
lola: 352129 markings, 487952 edges, 2718 markings/sec, 160 secs
lola: 365706 markings, 505716 edges, 2715 markings/sec, 165 secs
lola: 373897 markings, 519227 edges, 1638 markings/sec, 170 secs
lola: 381416 markings, 532013 edges, 1504 markings/sec, 175 secs
lola: 390952 markings, 545683 edges, 1907 markings/sec, 180 secs
lola: 403211 markings, 561532 edges, 2452 markings/sec, 185 secs
lola: 416804 markings, 578551 edges, 2719 markings/sec, 190 secs
lola: 428239 markings, 595293 edges, 2287 markings/sec, 195 secs
lola: 435777 markings, 607744 edges, 1508 markings/sec, 200 secs
lola: 444070 markings, 621670 edges, 1659 markings/sec, 205 secs
lola: 455107 markings, 635834 edges, 2207 markings/sec, 210 secs
lola: 468729 markings, 652648 edges, 2724 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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10487 markings, 12222 edges, 2097 markings/sec, 0 secs
lola: 23082 markings, 28409 edges, 2519 markings/sec, 5 secs
lola: 36300 markings, 44853 edges, 2644 markings/sec, 10 secs
lola: 48895 markings, 62430 edges, 2519 markings/sec, 15 secs
lola: 56347 markings, 74447 edges, 1490 markings/sec, 20 secs
lola: 63745 markings, 86998 edges, 1480 markings/sec, 25 secs
lola: 73147 markings, 100380 edges, 1880 markings/sec, 30 secs
lola: 84659 markings, 115218 edges, 2302 markings/sec, 35 secs
lola: 98251 markings, 131955 edges, 2718 markings/sec, 40 secs
lola: 111790 markings, 149446 edges, 2708 markings/sec, 45 secs
lola: 120568 markings, 163640 edges, 1756 markings/sec, 50 secs
lola: 128109 markings, 176191 edges, 1508 markings/sec, 55 secs
lola: 137010 markings, 190134 edges, 1780 markings/sec, 60 secs
lola: 148172 markings, 204470 edges, 2232 markings/sec, 65 secs
lola: 161321 markings, 220529 edges, 2630 markings/sec, 70 secs
lola: 175028 markings, 237889 edges, 2741 markings/sec, 75 secs
lola: 185232 markings, 253610 edges, 2041 markings/sec, 80 secs
lola: 192864 markings, 266138 edges, 1526 markings/sec, 85 secs
lola: 201157 markings, 280261 edges, 1659 markings/sec, 90 secs
lola: 212099 markings, 294229 edges, 2188 markings/sec, 95 secs
lola: 226035 markings, 311322 edges, 2787 markings/sec, 100 secs
lola: 239971 markings, 329168 edges, 2787 markings/sec, 105 secs
lola: 249348 markings, 344140 edges, 1875 markings/sec, 110 secs
lola: 257217 markings, 357361 edges, 1574 markings/sec, 115 secs
lola: 266880 markings, 371576 edges, 1933 markings/sec, 120 secs
lola: 279288 markings, 387545 edges, 2482 markings/sec, 125 secs
lola: 293391 markings, 405047 edges, 2821 markings/sec, 130 secs
lola: 306492 markings, 423451 edges, 2620 markings/sec, 135 secs
lola: 314423 markings, 436300 edges, 1586 markings/sec, 140 secs
lola: 322250 markings, 450923 edges, 1565 markings/sec, 145 secs
lola: 333295 markings, 464082 edges, 2209 markings/sec, 150 secs
lola: 347057 markings, 481661 edges, 2752 markings/sec, 155 secs
lola: 361236 markings, 499547 edges, 2836 markings/sec, 160 secs
lola: 371669 markings, 515639 edges, 2087 markings/sec, 165 secs
lola: 379606 markings, 528813 edges, 1587 markings/sec, 170 secs
lola: 388864 markings, 543199 edges, 1852 markings/sec, 175 secs
lola: 401079 markings, 558914 edges, 2443 markings/sec, 180 secs
lola: 415222 markings, 576532 edges, 2829 markings/sec, 185 secs
lola: 427707 markings, 594436 edges, 2497 markings/sec, 190 secs
lola: 435549 markings, 607371 edges, 1568 markings/sec, 195 secs
lola: 444325 markings, 621931 edges, 1755 markings/sec, 200 secs
lola: 455962 markings, 636890 edges, 2327 markings/sec, 205 secs
lola: 470155 markings, 654428 edges, 2839 markings/sec, 210 secs
lola: 483607 markings, 673107 edges, 2690 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10905 markings, 12768 edges, 2181 markings/sec, 0 secs
lola: 24134 markings, 29704 edges, 2646 markings/sec, 5 secs
lola: 37896 markings, 46851 edges, 2752 markings/sec, 10 secs
lola: 50083 markings, 64329 edges, 2437 markings/sec, 15 secs
lola: 57815 markings, 76855 edges, 1546 markings/sec, 20 secs
lola: 65531 markings, 90426 edges, 1543 markings/sec, 25 secs
lola: 76043 markings, 103879 edges, 2102 markings/sec, 30 secs
lola: 88848 markings, 120341 edges, 2561 markings/sec, 35 secs
lola: 102580 markings, 137407 edges, 2746 markings/sec, 40 secs
lola: 115500 markings, 155485 edges, 2584 markings/sec, 45 secs
lola: 123136 markings, 167863 edges, 1527 markings/sec, 50 secs
lola: 130833 markings, 181078 edges, 1539 markings/sec, 55 secs
lola: 140955 markings, 194769 edges, 2024 markings/sec, 60 secs
lola: 153422 markings, 210809 edges, 2493 markings/sec, 65 secs
lola: 167108 markings, 227741 edges, 2737 markings/sec, 70 secs
lola: 180648 markings, 246319 edges, 2708 markings/sec, 75 secs
lola: 188372 markings, 258735 edges, 1545 markings/sec, 80 secs
lola: 196106 markings, 271800 edges, 1547 markings/sec, 85 secs
lola: 205959 markings, 285854 edges, 1971 markings/sec, 90 secs
lola: 218534 markings, 302070 edges, 2515 markings/sec, 95 secs
lola: 232563 markings, 319516 edges, 2806 markings/sec, 100 secs
lola: 245288 markings, 337600 edges, 2545 markings/sec, 105 secs
lola: 253142 markings, 350402 edges, 1571 markings/sec, 110 secs
lola: 261146 markings, 364950 edges, 1601 markings/sec, 115 secs
lola: 271598 markings, 377467 edges, 2090 markings/sec, 120 secs
lola: 284684 markings, 394167 edges, 2617 markings/sec, 125 secs
lola: 298200 markings, 411175 edges, 2703 markings/sec, 130 secs
lola: 308735 markings, 427042 edges, 2107 markings/sec, 135 secs
lola: 316036 markings, 439021 edges, 1460 markings/sec, 140 secs
lola: 324470 markings, 453426 edges, 1687 markings/sec, 145 secs
lola: 335603 markings, 467614 edges, 2227 markings/sec, 150 secs
lola: 349664 markings, 484885 edges, 2812 markings/sec, 155 secs
lola: 363725 markings, 502895 edges, 2812 markings/sec, 160 secs
lola: 373021 markings, 517843 edges, 1859 markings/sec, 165 secs
lola: 380885 markings, 531072 edges, 1573 markings/sec, 170 secs
lola: 390597 markings, 545251 edges, 1942 markings/sec, 175 secs
lola: 403237 markings, 561564 edges, 2528 markings/sec, 180 secs
lola: 417264 markings, 579139 edges, 2805 markings/sec, 185 secs
lola: 428776 markings, 596159 edges, 2302 markings/sec, 190 secs
lola: 436586 markings, 609151 edges, 1562 markings/sec, 195 secs
lola: 445720 markings, 623552 edges, 1827 markings/sec, 200 secs
lola: 457735 markings, 639018 edges, 2403 markings/sec, 205 secs
lola: 471736 markings, 656451 edges, 2800 markings/sec, 210 secs
lola: 484524 markings, 674548 edges, 2558 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(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10963 markings, 12826 edges, 2193 markings/sec, 0 secs
lola: 24230 markings, 29840 edges, 2653 markings/sec, 5 secs
lola: 38175 markings, 47213 edges, 2789 markings/sec, 10 secs
lola: 50370 markings, 64737 edges, 2439 markings/sec, 15 secs
lola: 58097 markings, 77309 edges, 1545 markings/sec, 20 secs
lola: 65530 markings, 90423 edges, 1487 markings/sec, 25 secs
lola: 75528 markings, 103242 edges, 2000 markings/sec, 30 secs
lola: 87572 markings, 118819 edges, 2409 markings/sec, 35 secs
lola: 100841 markings, 135186 edges, 2654 markings/sec, 40 secs
lola: 113872 markings, 152584 edges, 2606 markings/sec, 45 secs
lola: 121433 markings, 165044 edges, 1512 markings/sec, 50 secs
lola: 128685 markings, 177199 edges, 1450 markings/sec, 55 secs
lola: 137388 markings, 190570 edges, 1741 markings/sec, 60 secs
lola: 148125 markings, 204403 edges, 2147 markings/sec, 65 secs
lola: 161216 markings, 220395 edges, 2618 markings/sec, 70 secs
lola: 174224 markings, 236850 edges, 2602 markings/sec, 75 secs
lola: 184298 markings, 252137 edges, 2015 markings/sec, 80 secs
lola: 191612 markings, 264061 edges, 1463 markings/sec, 85 secs
lola: 198893 markings, 277715 edges, 1456 markings/sec, 90 secs
lola: 209200 markings, 289888 edges, 2061 markings/sec, 95 secs
lola: 221850 markings, 306173 edges, 2530 markings/sec, 100 secs
lola: 235135 markings, 322794 edges, 2657 markings/sec, 105 secs
lola: 246280 markings, 339159 edges, 2229 markings/sec, 110 secs
lola: 253623 markings, 351200 edges, 1469 markings/sec, 115 secs
lola: 261234 markings, 365043 edges, 1522 markings/sec, 120 secs
lola: 271464 markings, 377283 edges, 2046 markings/sec, 125 secs
lola: 284311 markings, 393733 edges, 2569 markings/sec, 130 secs
lola: 297585 markings, 410384 edges, 2655 markings/sec, 135 secs
lola: 308321 markings, 426366 edges, 2147 markings/sec, 140 secs
lola: 315728 markings, 438503 edges, 1481 markings/sec, 145 secs
lola: 323457 markings, 452283 edges, 1546 markings/sec, 150 secs
lola: 333789 markings, 464781 edges, 2066 markings/sec, 155 secs
lola: 346897 markings, 481434 edges, 2622 markings/sec, 160 secs
lola: 360164 markings, 498159 edges, 2653 markings/sec, 165 secs
lola: 370564 markings, 513858 edges, 2080 markings/sec, 170 secs
lola: 378047 markings, 526133 edges, 1497 markings/sec, 175 secs
lola: 385934 markings, 539803 edges, 1577 markings/sec, 180 secs
lola: 396447 markings, 553288 edges, 2103 markings/sec, 185 secs
lola: 409754 markings, 569651 edges, 2661 markings/sec, 190 secs
lola: 422953 markings, 586705 edges, 2640 markings/sec, 195 secs
lola: 431459 markings, 600576 edges, 1701 markings/sec, 200 secs
lola: 438899 markings, 613198 edges, 1488 markings/sec, 205 secs
lola: 448227 markings, 626547 edges, 1866 markings/sec, 210 secs
lola: 460139 markings, 642022 edges, 2382 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(place_500_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 11775 markings, 46736 edges, 2355 markings/sec, 0 secs
lola: 23345 markings, 95476 edges, 2314 markings/sec, 5 secs
lola: 34028 markings, 138616 edges, 2137 markings/sec, 10 secs
lola: 45900 markings, 188039 edges, 2374 markings/sec, 15 secs
lola: 56410 markings, 231091 edges, 2102 markings/sec, 20 secs
lola: 68350 markings, 279831 edges, 2388 markings/sec, 25 secs
lola: 79336 markings, 325045 edges, 2197 markings/sec, 30 secs
lola: 90749 markings, 371522 edges, 2283 markings/sec, 35 secs
lola: 102278 markings, 419311 edges, 2306 markings/sec, 40 secs
lola: 113070 markings, 463141 edges, 2158 markings/sec, 45 secs
lola: 124821 markings, 512237 edges, 2350 markings/sec, 50 secs
lola: 135454 markings, 555194 edges, 2127 markings/sec, 55 secs
lola: 147218 markings, 603919 edges, 2353 markings/sec, 60 secs
lola: 158451 markings, 647255 edges, 2247 markings/sec, 65 secs
lola: 169466 markings, 692879 edges, 2203 markings/sec, 70 secs
lola: 179816 markings, 737886 edges, 2070 markings/sec, 75 secs
lola: 189769 markings, 777937 edges, 1991 markings/sec, 80 secs
lola: 199652 markings, 817409 edges, 1977 markings/sec, 85 secs
lola: 209477 markings, 860502 edges, 1965 markings/sec, 90 secs
lola: 220199 markings, 905394 edges, 2144 markings/sec, 95 secs
lola: 230136 markings, 944174 edges, 1987 markings/sec, 100 secs
lola: 240155 markings, 985074 edges, 2004 markings/sec, 105 secs
lola: 250504 markings, 1030048 edges, 2070 markings/sec, 110 secs
lola: 260608 markings, 1071062 edges, 2021 markings/sec, 115 secs
lola: 270471 markings, 1110283 edges, 1973 markings/sec, 120 secs
lola: 280513 markings, 1153442 edges, 2008 markings/sec, 125 secs
lola: 290985 markings, 1198152 edges, 2094 markings/sec, 130 secs
lola: 300882 markings, 1237005 edges, 1979 markings/sec, 135 secs
lola: 310809 markings, 1277325 edges, 1985 markings/sec, 140 secs
lola: 321160 markings, 1322295 edges, 2070 markings/sec, 145 secs
lola: 331287 markings, 1363427 edges, 2025 markings/sec, 150 secs
lola: 341260 markings, 1404466 edges, 1995 markings/sec, 155 secs
lola: 352723 markings, 1449399 edges, 2293 markings/sec, 160 secs
lola: 364029 markings, 1491538 edges, 2261 markings/sec, 165 secs
lola: 375360 markings, 1533894 edges, 2266 markings/sec, 170 secs
lola: 386703 markings, 1576181 edges, 2269 markings/sec, 175 secs
lola: 398066 markings, 1618680 edges, 2273 markings/sec, 180 secs
lola: 409475 markings, 1661367 edges, 2282 markings/sec, 185 secs
lola: 419749 markings, 1701822 edges, 2055 markings/sec, 190 secs
lola: 430493 markings, 1746187 edges, 2149 markings/sec, 195 secs
lola: 441056 markings, 1789692 edges, 2113 markings/sec, 200 secs
lola: 451373 markings, 1831292 edges, 2063 markings/sec, 205 secs
lola: 461589 markings, 1872632 edges, 2043 markings/sec, 210 secs
lola: 472217 markings, 1917050 edges, 2126 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10478 markings, 12210 edges, 2096 markings/sec, 0 secs
lola: 23058 markings, 28375 edges, 2516 markings/sec, 5 secs
lola: 36266 markings, 44805 edges, 2642 markings/sec, 10 secs
lola: 48872 markings, 62396 edges, 2521 markings/sec, 15 secs
lola: 56557 markings, 74773 edges, 1537 markings/sec, 20 secs
lola: 64330 markings, 88055 edges, 1555 markings/sec, 25 secs
lola: 74437 markings, 101921 edges, 2021 markings/sec, 30 secs
lola: 86920 markings, 117977 edges, 2497 markings/sec, 35 secs
lola: 100777 markings, 135108 edges, 2771 markings/sec, 40 secs
lola: 114427 markings, 153832 edges, 2730 markings/sec, 45 secs
lola: 122187 markings, 166306 edges, 1552 markings/sec, 50 secs
lola: 129942 markings, 179417 edges, 1551 markings/sec, 55 secs
lola: 139752 markings, 193329 edges, 1962 markings/sec, 60 secs
lola: 151871 markings, 208916 edges, 2424 markings/sec, 65 secs
lola: 165668 markings, 225953 edges, 2759 markings/sec, 70 secs
lola: 179393 markings, 243939 edges, 2745 markings/sec, 75 secs
lola: 187698 markings, 257593 edges, 1661 markings/sec, 80 secs
lola: 195414 markings, 270554 edges, 1543 markings/sec, 85 secs
lola: 204848 markings, 284559 edges, 1887 markings/sec, 90 secs
lola: 217004 markings, 300193 edges, 2431 markings/sec, 95 secs
lola: 231025 markings, 317596 edges, 2804 markings/sec, 100 secs
lola: 244374 markings, 336133 edges, 2670 markings/sec, 105 secs
lola: 252266 markings, 348916 edges, 1578 markings/sec, 110 secs
lola: 260051 markings, 362802 edges, 1557 markings/sec, 115 secs
lola: 270779 markings, 376364 edges, 2146 markings/sec, 120 secs
lola: 284196 markings, 393569 edges, 2683 markings/sec, 125 secs
lola: 298174 markings, 411143 edges, 2796 markings/sec, 130 secs
lola: 309165 markings, 427679 edges, 2198 markings/sec, 135 secs
lola: 316980 markings, 440588 edges, 1563 markings/sec, 140 secs
lola: 325807 markings, 454955 edges, 1765 markings/sec, 145 secs
lola: 337312 markings, 469659 edges, 2301 markings/sec, 150 secs
lola: 351367 markings, 487010 edges, 2811 markings/sec, 155 secs
lola: 365404 markings, 505241 edges, 2807 markings/sec, 160 secs
lola: 373977 markings, 519403 edges, 1715 markings/sec, 165 secs
lola: 381829 markings, 532784 edges, 1570 markings/sec, 170 secs
lola: 391885 markings, 546822 edges, 2011 markings/sec, 175 secs
lola: 404831 markings, 563552 edges, 2589 markings/sec, 180 secs
lola: 418856 markings, 581211 edges, 2805 markings/sec, 185 secs
lola: 429621 markings, 597555 edges, 2153 markings/sec, 190 secs
lola: 437468 markings, 610660 edges, 1569 markings/sec, 195 secs
lola: 446937 markings, 624996 edges, 1894 markings/sec, 200 secs
lola: 459212 markings, 640871 edges, 2455 markings/sec, 205 secs
lola: 473227 markings, 658323 edges, 2803 markings/sec, 210 secs
lola: 485274 markings, 675789 edges, 2409 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10960 markings, 12824 edges, 2192 markings/sec, 0 secs
lola: 24194 markings, 29789 edges, 2647 markings/sec, 5 secs
lola: 38163 markings, 47196 edges, 2794 markings/sec, 10 secs
lola: 50407 markings, 64789 edges, 2449 markings/sec, 15 secs
lola: 58167 markings, 77445 edges, 1552 markings/sec, 20 secs
lola: 65970 markings, 91417 edges, 1561 markings/sec, 25 secs
lola: 76877 markings, 104917 edges, 2181 markings/sec, 30 secs
lola: 90115 markings, 121890 edges, 2648 markings/sec, 35 secs
lola: 103931 markings, 139122 edges, 2763 markings/sec, 40 secs
lola: 116289 markings, 156795 edges, 2472 markings/sec, 45 secs
lola: 124093 markings, 169432 edges, 1561 markings/sec, 50 secs
lola: 131867 markings, 183144 edges, 1555 markings/sec, 55 secs
lola: 142543 markings, 196728 edges, 2135 markings/sec, 60 secs
lola: 155624 markings, 213524 edges, 2616 markings/sec, 65 secs
lola: 169463 markings, 230745 edges, 2768 markings/sec, 70 secs
lola: 182166 markings, 248687 edges, 2541 markings/sec, 75 secs
lola: 189922 markings, 261260 edges, 1551 markings/sec, 80 secs
lola: 197697 markings, 274802 edges, 1555 markings/sec, 85 secs
lola: 208221 markings, 288627 edges, 2105 markings/sec, 90 secs
lola: 221514 markings, 305732 edges, 2659 markings/sec, 95 secs
lola: 235583 markings, 323394 edges, 2814 markings/sec, 100 secs
lola: 246989 markings, 340338 edges, 2281 markings/sec, 105 secs
lola: 254890 markings, 353317 edges, 1580 markings/sec, 110 secs
lola: 263639 markings, 367782 edges, 1750 markings/sec, 115 secs
lola: 275035 markings, 382370 edges, 2279 markings/sec, 120 secs
lola: 289134 markings, 399689 edges, 2820 markings/sec, 125 secs
lola: 303211 markings, 417926 edges, 2815 markings/sec, 130 secs
lola: 311994 markings, 432308 edges, 1757 markings/sec, 135 secs
lola: 319880 markings, 445710 edges, 1577 markings/sec, 140 secs
lola: 329970 markings, 459841 edges, 2018 markings/sec, 145 secs
lola: 342787 markings, 476354 edges, 2563 markings/sec, 150 secs
lola: 356961 markings, 494014 edges, 2835 markings/sec, 155 secs
lola: 369284 markings, 511777 edges, 2465 markings/sec, 160 secs
lola: 377190 markings, 524698 edges, 1581 markings/sec, 165 secs
lola: 385506 markings, 539304 edges, 1663 markings/sec, 170 secs
lola: 396723 markings, 553600 edges, 2243 markings/sec, 175 secs
lola: 410869 markings, 571048 edges, 2829 markings/sec, 180 secs
lola: 424948 markings, 589673 edges, 2816 markings/sec, 185 secs
lola: 433119 markings, 603313 edges, 1634 markings/sec, 190 secs
lola: 440985 markings, 617439 edges, 1573 markings/sec, 195 secs
lola: 451885 markings, 631271 edges, 2180 markings/sec, 200 secs
lola: 465724 markings, 648897 edges, 2768 markings/sec, 205 secs
lola: 479865 markings, 667046 edges, 2828 markings/sec, 210 secs
lola: 489109 markings, 682002 edges, 1849 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(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10614 markings, 44364 edges, 2123 markings/sec, 0 secs
lola: 22026 markings, 93465 edges, 2282 markings/sec, 5 secs
lola: 32617 markings, 136172 edges, 2118 markings/sec, 10 secs
lola: 44529 markings, 185253 edges, 2382 markings/sec, 15 secs
lola: 55301 markings, 229659 edges, 2154 markings/sec, 20 secs
lola: 66980 markings, 277184 edges, 2336 markings/sec, 25 secs
lola: 78255 markings, 323817 edges, 2255 markings/sec, 30 secs
lola: 89403 markings, 369283 edges, 2230 markings/sec, 35 secs
lola: 101056 markings, 417556 edges, 2331 markings/sec, 40 secs
lola: 111776 markings, 460998 edges, 2144 markings/sec, 45 secs
lola: 123607 markings, 510541 edges, 2366 markings/sec, 50 secs
lola: 134210 markings, 553383 edges, 2121 markings/sec, 55 secs
lola: 146111 markings, 602509 edges, 2380 markings/sec, 60 secs
lola: 156275 markings, 644557 edges, 2033 markings/sec, 65 secs
lola: 166052 markings, 687296 edges, 1955 markings/sec, 70 secs
lola: 175823 markings, 726489 edges, 1954 markings/sec, 75 secs
lola: 185602 markings, 765682 edges, 1956 markings/sec, 80 secs
lola: 195613 markings, 809468 edges, 2002 markings/sec, 85 secs
lola: 205758 markings, 850898 edges, 2029 markings/sec, 90 secs
lola: 215734 markings, 890462 edges, 1995 markings/sec, 95 secs
lola: 226128 markings, 933682 edges, 2079 markings/sec, 100 secs
lola: 236485 markings, 978628 edges, 2071 markings/sec, 105 secs
lola: 246458 markings, 1018482 edges, 1995 markings/sec, 110 secs
lola: 256375 markings, 1058236 edges, 1983 markings/sec, 115 secs
lola: 266298 markings, 1101742 edges, 1985 markings/sec, 120 secs
lola: 276996 markings, 1146605 edges, 2140 markings/sec, 125 secs
lola: 286924 markings, 1185400 edges, 1986 markings/sec, 130 secs
lola: 296979 markings, 1226519 edges, 2011 markings/sec, 135 secs
lola: 307326 markings, 1271503 edges, 2069 markings/sec, 140 secs
lola: 317435 markings, 1312511 edges, 2022 markings/sec, 145 secs
lola: 327321 markings, 1351865 edges, 1977 markings/sec, 150 secs
lola: 337683 markings, 1397194 edges, 2072 markings/sec, 155 secs
lola: 348920 markings, 1441038 edges, 2247 markings/sec, 160 secs
lola: 360339 markings, 1483764 edges, 2284 markings/sec, 165 secs
lola: 371768 markings, 1526270 edges, 2286 markings/sec, 170 secs
lola: 383150 markings, 1568667 edges, 2276 markings/sec, 175 secs
lola: 394555 markings, 1611204 edges, 2281 markings/sec, 180 secs
lola: 406022 markings, 1654030 edges, 2293 markings/sec, 185 secs
lola: 416567 markings, 1695269 edges, 2109 markings/sec, 190 secs
lola: 427193 markings, 1739297 edges, 2125 markings/sec, 195 secs
lola: 437463 markings, 1780562 edges, 2054 markings/sec, 200 secs
lola: 447712 markings, 1822239 edges, 2050 markings/sec, 205 secs
lola: 458360 markings, 1866692 edges, 2130 markings/sec, 210 secs
lola: 468865 markings, 1908939 edges, 2101 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-S10J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496346195168

--------------------
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-S10J30"
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-S10J30.tgz
mv S_PolyORBNT-PT-S10J30 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-S10J30, 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-149479231600146"
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 ;