fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r138-smll-149479231600146
Last Updated
June 27, 2017

About the Execution of LoLA for S_PolyORBNT-PT-S10J30

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
758.080 3539380.00 3546664.00 9945.00 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBNT-PT-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 ;