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

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

=== Now, execution of the tool begins

BK_START 1496323334847


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


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S05J40: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S05J40 @ 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: 2219/65536 symbol table entries, 162 collisions
lola: preprocessing...
lola: finding significant places
lola: 629 places, 1590 transitions, 527 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J40-UpperBounds.task
lola: MAX(place_520_1) : MAX(place_518_1) : MAX(Try_Check_Sources_E_1) : MAX(Check_Sources_B_1) : MAX(mo1) : MAX(place_518_1) : MAX(FetchJobB_1) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40) : MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueuedB_1_26 + NotifyEventJobQueuedB_1_25 + NotifyEventJobQueuedB_1_24 + NotifyEventJobQueuedB_1_23 + NotifyEventJobQueuedB_1_22 + NotifyEventJobQueuedB_1_21 + NotifyEventJobQueuedB_1_20 + NotifyEventJobQueuedB_1_19 + NotifyEventJobQueuedB_1_18 + NotifyEventJobQueuedB_1_17 + NotifyEventJobQueuedB_1_16 + NotifyEventJobQueuedB_1_15 + NotifyEventJobQueuedB_1_14 + NotifyEventJobQueuedB_1_13 + NotifyEventJobQueuedB_1_12 + NotifyEventJobQueuedB_1_11 + NotifyEventJobQueuedB_1_10 + NotifyEventJobQueuedB_1_40 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6 + NotifyEventJobQueuedB_1_7 + NotifyEventJobQueuedB_1_8 + NotifyEventJobQueuedB_1_9) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_40_1 + CreatedJobs_40_2 + CreatedJobs_40_3 + CreatedJobs_40_4 + CreatedJobs_40_5 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_31_1 + CreatedJobs_31_2 + CreatedJobs_31_3 + CreatedJobs_31_4 + CreatedJobs_31_5 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_32_1 + CreatedJobs_32_2 + CreatedJobs_32_3 + CreatedJobs_32_4 + CreatedJobs_32_5 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_33_1 + CreatedJobs_33_2 + CreatedJobs_33_3 + CreatedJobs_33_4 + CreatedJobs_33_5 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_34_1 + CreatedJobs_34_2 + CreatedJobs_34_3 + CreatedJobs_34_4 + CreatedJobs_34_5 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_35_1 + CreatedJobs_35_2 + CreatedJobs_35_3 + CreatedJobs_35_4 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_36_1 + CreatedJobs_36_2 + CreatedJobs_36_3 + CreatedJobs_36_4 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_37_1 + CreatedJobs_37_2 + CreatedJobs_37_3 + CreatedJobs_37_4 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_28_4 + CreatedJobs_28_3 + CreatedJobs_28_2 + CreatedJobs_28_1 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_38_1 + CreatedJobs_38_2 + CreatedJobs_38_3 + CreatedJobs_38_4 + CreatedJobs_14_1 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_27_4 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_27_3 + CreatedJobs_39_1 + CreatedJobs_39_2 + CreatedJobs_39_3 + CreatedJobs_39_4 + CreatedJobs_27_2 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_27_1 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_26_5 + CreatedJobs_39_5 + CreatedJobs_12_5 + CreatedJobs_25_5 + CreatedJobs_27_5 + CreatedJobs_38_5 + CreatedJobs_14_5 + CreatedJobs_28_5 + CreatedJobs_11_5 + CreatedJobs_24_5 + CreatedJobs_37_5 + CreatedJobs_10_5 + CreatedJobs_23_5 + CreatedJobs_36_5 + CreatedJobs_22_5 + CreatedJobs_35_5 + CreatedJobs_15_1 + CreatedJobs_15_2 + CreatedJobs_15_3 + CreatedJobs_15_4 + CreatedJobs_15_5) : MAX(cJobCnt) : MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueuedB_1_26 + NotifyEventJobQueuedB_1_25 + NotifyEventJobQueuedB_1_24 + NotifyEventJobQueuedB_1_23 + NotifyEventJobQueuedB_1_22 + NotifyEventJobQueuedB_1_21 + NotifyEventJobQueuedB_1_20 + NotifyEventJobQueuedB_1_19 + NotifyEventJobQueuedB_1_18 + NotifyEventJobQueuedB_1_17 + NotifyEventJobQueuedB_1_16 + NotifyEventJobQueuedB_1_15 + NotifyEventJobQueuedB_1_14 + NotifyEventJobQueuedB_1_13 + NotifyEventJobQueuedB_1_12 + NotifyEventJobQueuedB_1_11 + NotifyEventJobQueuedB_1_10 + NotifyEventJobQueuedB_1_40 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6 + NotifyEventJobQueuedB_1_7 + NotifyEventJobQueuedB_1_8 + NotifyEventJobQueuedB_1_9) : MAX(Perform_Work_E_1) : MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40) : MAX(place_523_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(place_520_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 109425 markings, 210879 edges, 21885 markings/sec, 0 secs
lola: 220171 markings, 416285 edges, 22149 markings/sec, 5 secs
lola: 328055 markings, 618107 edges, 21577 markings/sec, 10 secs
lola: 438014 markings, 821826 edges, 21992 markings/sec, 15 secs
lola: 547103 markings, 1017969 edges, 21818 markings/sec, 20 secs
lola: 657086 markings, 1218097 edges, 21997 markings/sec, 25 secs
lola: 730041 markings, 1360989 edges, 14591 markings/sec, 30 secs
lola: 829005 markings, 1564295 edges, 19793 markings/sec, 35 secs
lola: 928607 markings, 1769333 edges, 19920 markings/sec, 40 secs
lola: 1025564 markings, 1970850 edges, 19391 markings/sec, 45 secs
lola: 1135894 markings, 2173349 edges, 22066 markings/sec, 50 secs
lola: 1244515 markings, 2368657 edges, 21724 markings/sec, 55 secs
lola: 1354732 markings, 2570597 edges, 22043 markings/sec, 60 secs
lola: 1426503 markings, 2710135 edges, 14354 markings/sec, 65 secs
lola: 1524355 markings, 2911136 edges, 19570 markings/sec, 70 secs
lola: 1622515 markings, 3113236 edges, 19632 markings/sec, 75 secs
lola: 1719295 markings, 3314491 edges, 19356 markings/sec, 80 secs
lola: 1830062 markings, 3515260 edges, 22153 markings/sec, 85 secs
lola: 1938354 markings, 3710068 edges, 21658 markings/sec, 90 secs
lola: 2043864 markings, 3903412 edges, 21102 markings/sec, 95 secs
lola: 2123500 markings, 4049079 edges, 15927 markings/sec, 100 secs
lola: 2230789 markings, 4248542 edges, 21458 markings/sec, 105 secs
lola: 2336061 markings, 4437393 edges, 21054 markings/sec, 110 secs
lola: 2439444 markings, 4623641 edges, 20677 markings/sec, 115 secs
lola: 2531338 markings, 4791363 edges, 18379 markings/sec, 120 secs
lola: 2615961 markings, 4947696 edges, 16925 markings/sec, 125 secs
lola: 2718034 markings, 5137154 edges, 20415 markings/sec, 130 secs
lola: 2821343 markings, 5322516 edges, 20662 markings/sec, 135 secs
lola: 2922883 markings, 5505565 edges, 20308 markings/sec, 140 secs
lola: 3010578 markings, 5665505 edges, 17539 markings/sec, 145 secs
lola: 3097334 markings, 5826009 edges, 17351 markings/sec, 150 secs
lola: 3198633 markings, 6013843 edges, 20260 markings/sec, 155 secs
lola: 3300259 markings, 6196213 edges, 20325 markings/sec, 160 secs
lola: 3401000 markings, 6377843 edges, 20148 markings/sec, 165 secs
lola: 3487357 markings, 6535299 edges, 17271 markings/sec, 170 secs
lola: 3575872 markings, 6699211 edges, 17703 markings/sec, 175 secs
lola: 3678391 markings, 6888847 edges, 20504 markings/sec, 180 secs
lola: 3781165 markings, 7073420 edges, 20555 markings/sec, 185 secs
lola: 3884079 markings, 7259569 edges, 20583 markings/sec, 190 secs
lola: 3958369 markings, 7397492 edges, 14858 markings/sec, 195 secs
lola: 4060918 markings, 7585649 edges, 20510 markings/sec, 200 secs
lola: 4164821 markings, 7776037 edges, 20781 markings/sec, 205 secs
lola: 4272393 markings, 7969544 edges, 21514 markings/sec, 210 secs
lola: 4378285 markings, 8163601 edges, 21178 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_518_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 110738 markings, 213303 edges, 22148 markings/sec, 0 secs
lola: 222402 markings, 420490 edges, 22333 markings/sec, 5 secs
lola: 331522 markings, 624695 edges, 21824 markings/sec, 10 secs
lola: 442826 markings, 830520 edges, 22261 markings/sec, 15 secs
lola: 553239 markings, 1029019 edges, 22083 markings/sec, 20 secs
lola: 665124 markings, 1233765 edges, 22377 markings/sec, 25 secs
lola: 738899 markings, 1379217 edges, 14755 markings/sec, 30 secs
lola: 839579 markings, 1586080 edges, 20136 markings/sec, 35 secs
lola: 940091 markings, 1793062 edges, 20102 markings/sec, 40 secs
lola: 1039971 markings, 1999405 edges, 19976 markings/sec, 45 secs
lola: 1151950 markings, 2202165 edges, 22396 markings/sec, 50 secs
lola: 1262393 markings, 2400913 edges, 22089 markings/sec, 55 secs
lola: 1364790 markings, 2588004 edges, 20479 markings/sec, 60 secs
lola: 1445637 markings, 2749360 edges, 16169 markings/sec, 65 secs
lola: 1545015 markings, 2953584 edges, 19876 markings/sec, 70 secs
lola: 1643698 markings, 3156962 edges, 19737 markings/sec, 75 secs
lola: 1744749 markings, 3362304 edges, 20210 markings/sec, 80 secs
lola: 1856931 markings, 3563461 edges, 22436 markings/sec, 85 secs
lola: 1966894 markings, 3761643 edges, 21993 markings/sec, 90 secs
lola: 2059818 markings, 3930764 edges, 18585 markings/sec, 95 secs
lola: 2155858 markings, 4108411 edges, 19208 markings/sec, 100 secs
lola: 2265114 markings, 4310069 edges, 21851 markings/sec, 105 secs
lola: 2374821 markings, 4507003 edges, 21941 markings/sec, 110 secs
lola: 2484656 markings, 4705817 edges, 21967 markings/sec, 115 secs
lola: 2564955 markings, 4854404 edges, 16060 markings/sec, 120 secs
lola: 2672376 markings, 5051803 edges, 21484 markings/sec, 125 secs
lola: 2781175 markings, 5250389 edges, 21760 markings/sec, 130 secs
lola: 2887868 markings, 5442299 edges, 21339 markings/sec, 135 secs
lola: 2993240 markings, 5635542 edges, 21074 markings/sec, 140 secs
lola: 3064203 markings, 5765292 edges, 14193 markings/sec, 145 secs
lola: 3164379 markings, 5950674 edges, 20035 markings/sec, 150 secs
lola: 3266869 markings, 6136237 edges, 20498 markings/sec, 155 secs
lola: 3366369 markings, 6315209 edges, 19900 markings/sec, 160 secs
lola: 3468849 markings, 6503100 edges, 20496 markings/sec, 165 secs
lola: 3540323 markings, 6634087 edges, 14295 markings/sec, 170 secs
lola: 3641161 markings, 6822115 edges, 20168 markings/sec, 175 secs
lola: 3744826 markings, 7008086 edges, 20733 markings/sec, 180 secs
lola: 3846723 markings, 7191690 edges, 20379 markings/sec, 185 secs
lola: 3936926 markings, 7356478 edges, 18041 markings/sec, 190 secs
lola: 4023325 markings, 7516282 edges, 17280 markings/sec, 195 secs
lola: 4125079 markings, 7704724 edges, 20351 markings/sec, 200 secs
lola: 4227181 markings, 7888070 edges, 20420 markings/sec, 205 secs
lola: 4329528 markings, 8073024 edges, 20469 markings/sec, 210 secs
lola: 4404712 markings, 8211351 edges, 15037 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(Try_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 2108 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: 110240 markings, 207979 edges, 22048 markings/sec, 0 secs
lola: 221617 markings, 411403 edges, 22275 markings/sec, 5 secs
lola: 330163 markings, 614360 edges, 21709 markings/sec, 10 secs
lola: 443893 markings, 812425 edges, 22746 markings/sec, 15 secs
lola: 556768 markings, 1007879 edges, 22575 markings/sec, 20 secs
lola: 639848 markings, 1155751 edges, 16616 markings/sec, 25 secs
lola: 736756 markings, 1356291 edges, 19382 markings/sec, 30 secs
lola: 836958 markings, 1560654 edges, 20040 markings/sec, 35 secs
lola: 934976 markings, 1761968 edges, 19604 markings/sec, 40 secs
lola: 1046078 markings, 1964098 edges, 22220 markings/sec, 45 secs
lola: 1158807 markings, 2158755 edges, 22546 markings/sec, 50 secs
lola: 1257151 markings, 2332178 edges, 19669 markings/sec, 55 secs
lola: 1341688 markings, 2502018 edges, 16907 markings/sec, 60 secs
lola: 1440194 markings, 2702835 edges, 19701 markings/sec, 65 secs
lola: 1537787 markings, 2902670 edges, 19519 markings/sec, 70 secs
lola: 1643317 markings, 3104133 edges, 21106 markings/sec, 75 secs
lola: 1756106 markings, 3298588 edges, 22558 markings/sec, 80 secs
lola: 1869304 markings, 3497556 edges, 22640 markings/sec, 85 secs
lola: 1947537 markings, 3637575 edges, 15647 markings/sec, 90 secs
lola: 2057620 markings, 3833681 edges, 22017 markings/sec, 95 secs
lola: 2169790 markings, 4026957 edges, 22434 markings/sec, 100 secs
lola: 2281903 markings, 4222564 edges, 22423 markings/sec, 105 secs
lola: 2362132 markings, 4367403 edges, 16046 markings/sec, 110 secs
lola: 2470745 markings, 4561257 edges, 21723 markings/sec, 115 secs
lola: 2581116 markings, 4751357 edges, 22074 markings/sec, 120 secs
lola: 2691041 markings, 4942464 edges, 21985 markings/sec, 125 secs
lola: 2770733 markings, 5086718 edges, 15938 markings/sec, 130 secs
lola: 2877847 markings, 5278531 edges, 21423 markings/sec, 135 secs
lola: 2987906 markings, 5467958 edges, 22012 markings/sec, 140 secs
lola: 3096214 markings, 5655746 edges, 21662 markings/sec, 145 secs
lola: 3175739 markings, 5799767 edges, 15905 markings/sec, 150 secs
lola: 3283981 markings, 5991643 edges, 21648 markings/sec, 155 secs
lola: 3395199 markings, 6185362 edges, 22244 markings/sec, 160 secs
lola: 3505633 markings, 6377023 edges, 22087 markings/sec, 165 secs
lola: 3587260 markings, 6524867 edges, 16325 markings/sec, 170 secs
lola: 3695127 markings, 6717965 edges, 21573 markings/sec, 175 secs
lola: 3806277 markings, 6909383 edges, 22230 markings/sec, 180 secs
lola: 3916837 markings, 7101574 edges, 22112 markings/sec, 185 secs
lola: 3998148 markings, 7248782 edges, 16262 markings/sec, 190 secs
lola: 4105899 markings, 7441331 edges, 21550 markings/sec, 195 secs
lola: 4216402 markings, 7631783 edges, 22101 markings/sec, 200 secs
lola: 4326626 markings, 7823775 edges, 22045 markings/sec, 205 secs
lola: 4407164 markings, 7969516 edges, 16108 markings/sec, 210 secs
lola: 4515770 markings, 8163092 edges, 21721 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(Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 101136 markings, 185296 edges, 20227 markings/sec, 0 secs
lola: 204253 markings, 369559 edges, 20623 markings/sec, 5 secs
lola: 306133 markings, 553993 edges, 20376 markings/sec, 10 secs
lola: 414528 markings, 724164 edges, 21679 markings/sec, 15 secs
lola: 522168 markings, 897720 edges, 21528 markings/sec, 20 secs
lola: 596973 markings, 1033420 edges, 14961 markings/sec, 25 secs
lola: 698942 markings, 1215286 edges, 20394 markings/sec, 30 secs
lola: 799644 markings, 1395874 edges, 20140 markings/sec, 35 secs
lola: 904484 markings, 1574343 edges, 20968 markings/sec, 40 secs
lola: 1011484 markings, 1742785 edges, 21400 markings/sec, 45 secs
lola: 1096796 markings, 1884899 edges, 17062 markings/sec, 50 secs
lola: 1190506 markings, 2054546 edges, 18742 markings/sec, 55 secs
lola: 1291300 markings, 2234686 edges, 20159 markings/sec, 60 secs
lola: 1390696 markings, 2415424 edges, 19879 markings/sec, 65 secs
lola: 1498743 markings, 2586145 edges, 21609 markings/sec, 70 secs
lola: 1605387 markings, 2755989 edges, 21329 markings/sec, 75 secs
lola: 1681771 markings, 2887563 edges, 15277 markings/sec, 80 secs
lola: 1785818 markings, 3056458 edges, 20809 markings/sec, 85 secs
lola: 1892874 markings, 3224813 edges, 21411 markings/sec, 90 secs
lola: 1981657 markings, 3371808 edges, 17757 markings/sec, 95 secs
lola: 2074800 markings, 3526372 edges, 18629 markings/sec, 100 secs
lola: 2179541 markings, 3693833 edges, 20948 markings/sec, 105 secs
lola: 2283995 markings, 3859657 edges, 20891 markings/sec, 110 secs
lola: 2359833 markings, 3990552 edges, 15168 markings/sec, 115 secs
lola: 2460069 markings, 4153657 edges, 20047 markings/sec, 120 secs
lola: 2562148 markings, 4314001 edges, 20416 markings/sec, 125 secs
lola: 2655529 markings, 4466436 edges, 18676 markings/sec, 130 secs
lola: 2737164 markings, 4603612 edges, 16327 markings/sec, 135 secs
lola: 2839288 markings, 4768196 edges, 20425 markings/sec, 140 secs
lola: 2944899 markings, 4935420 edges, 21122 markings/sec, 145 secs
lola: 3022492 markings, 5069230 edges, 15519 markings/sec, 150 secs
lola: 3125014 markings, 5235984 edges, 20504 markings/sec, 155 secs
lola: 3229067 markings, 5399654 edges, 20811 markings/sec, 160 secs
lola: 3316557 markings, 5544373 edges, 17498 markings/sec, 165 secs
lola: 3407773 markings, 5696096 edges, 18243 markings/sec, 170 secs
lola: 3511358 markings, 5861591 edges, 20717 markings/sec, 175 secs
lola: 3615035 markings, 6027134 edges, 20735 markings/sec, 180 secs
lola: 3690875 markings, 6157385 edges, 15168 markings/sec, 185 secs
lola: 3793248 markings, 6323158 edges, 20475 markings/sec, 190 secs
lola: 3896391 markings, 6486187 edges, 20629 markings/sec, 195 secs
lola: 3973383 markings, 6619001 edges, 15398 markings/sec, 200 secs
lola: 4073825 markings, 6782574 edges, 20088 markings/sec, 205 secs
lola: 4174720 markings, 6941378 edges, 20179 markings/sec, 210 secs
lola: 4259245 markings, 7081577 edges, 16905 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 72075 markings, 150448 edges, 14415 markings/sec, 0 secs
lola: 140399 markings, 291651 edges, 13665 markings/sec, 5 secs
lola: 223903 markings, 454722 edges, 16701 markings/sec, 10 secs
lola: 319430 markings, 625509 edges, 19105 markings/sec, 15 secs
lola: 413747 markings, 795195 edges, 18863 markings/sec, 20 secs
lola: 511921 markings, 958470 edges, 19635 markings/sec, 25 secs
lola: 611691 markings, 1108647 edges, 19954 markings/sec, 30 secs
lola: 687882 markings, 1233096 edges, 15238 markings/sec, 35 secs
lola: 775391 markings, 1392402 edges, 17502 markings/sec, 40 secs
lola: 869915 markings, 1560505 edges, 18905 markings/sec, 45 secs
lola: 962755 markings, 1727558 edges, 18568 markings/sec, 50 secs
lola: 1063688 markings, 1885529 edges, 20187 markings/sec, 55 secs
lola: 1163163 markings, 2036456 edges, 19895 markings/sec, 60 secs
lola: 1230957 markings, 2156042 edges, 13559 markings/sec, 65 secs
lola: 1324386 markings, 2321880 edges, 18686 markings/sec, 70 secs
lola: 1417871 markings, 2488441 edges, 18697 markings/sec, 75 secs
lola: 1511283 markings, 2654182 edges, 18682 markings/sec, 80 secs
lola: 1611954 markings, 2805003 edges, 20134 markings/sec, 85 secs
lola: 1705381 markings, 2951056 edges, 18685 markings/sec, 90 secs
lola: 1778187 markings, 3071059 edges, 14561 markings/sec, 95 secs
lola: 1876062 markings, 3222455 edges, 19575 markings/sec, 100 secs
lola: 1974893 markings, 3371477 edges, 19766 markings/sec, 105 secs
lola: 2046933 markings, 3491711 edges, 14408 markings/sec, 110 secs
lola: 2138800 markings, 3637921 edges, 18373 markings/sec, 115 secs
lola: 2236811 markings, 3784675 edges, 19602 markings/sec, 120 secs
lola: 2333232 markings, 3934184 edges, 19284 markings/sec, 125 secs
lola: 2401437 markings, 4047771 edges, 13641 markings/sec, 130 secs
lola: 2496871 markings, 4195821 edges, 19087 markings/sec, 135 secs
lola: 2592795 markings, 4340136 edges, 19185 markings/sec, 140 secs
lola: 2670286 markings, 4465572 edges, 15498 markings/sec, 145 secs
lola: 2756043 markings, 4603160 edges, 17151 markings/sec, 150 secs
lola: 2854147 markings, 4752809 edges, 19621 markings/sec, 155 secs
lola: 2950891 markings, 4902935 edges, 19349 markings/sec, 160 secs
lola: 3021175 markings, 5019426 edges, 14057 markings/sec, 165 secs
lola: 3117606 markings, 5168708 edges, 19286 markings/sec, 170 secs
lola: 3214744 markings, 5315408 edges, 19428 markings/sec, 175 secs
lola: 3284695 markings, 5434500 edges, 13990 markings/sec, 180 secs
lola: 3379134 markings, 5581887 edges, 18888 markings/sec, 185 secs
lola: 3476614 markings, 5728200 edges, 19496 markings/sec, 190 secs
lola: 3562490 markings, 5864381 edges, 17175 markings/sec, 195 secs
lola: 3642680 markings, 5994513 edges, 16038 markings/sec, 200 secs
lola: 3739060 markings, 6142430 edges, 19276 markings/sec, 205 secs
lola: 3835345 markings, 6291744 edges, 19257 markings/sec, 210 secs
lola: 3904721 markings, 6406791 edges, 13875 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_518_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 109056 markings, 210166 edges, 21811 markings/sec, 0 secs
lola: 219181 markings, 414481 edges, 22025 markings/sec, 5 secs
lola: 326208 markings, 614567 edges, 21405 markings/sec, 10 secs
lola: 435121 markings, 816706 edges, 21783 markings/sec, 15 secs
lola: 542909 markings, 1010412 edges, 21558 markings/sec, 20 secs
lola: 651361 markings, 1207387 edges, 21690 markings/sec, 25 secs
lola: 723980 markings, 1348628 edges, 14524 markings/sec, 30 secs
lola: 822969 markings, 1551898 edges, 19798 markings/sec, 35 secs
lola: 922255 markings, 1756284 edges, 19857 markings/sec, 40 secs
lola: 1018623 markings, 1956066 edges, 19274 markings/sec, 45 secs
lola: 1127229 markings, 2157742 edges, 21721 markings/sec, 50 secs
lola: 1234957 markings, 2351415 edges, 21546 markings/sec, 55 secs
lola: 1343358 markings, 2548469 edges, 21680 markings/sec, 60 secs
lola: 1415222 markings, 2686937 edges, 14373 markings/sec, 65 secs
lola: 1512796 markings, 2887362 edges, 19515 markings/sec, 70 secs
lola: 1610756 markings, 3089000 edges, 19592 markings/sec, 75 secs
lola: 1705971 markings, 3286599 edges, 19043 markings/sec, 80 secs
lola: 1814563 markings, 3487459 edges, 21718 markings/sec, 85 secs
lola: 1921865 markings, 3680328 edges, 21460 markings/sec, 90 secs
lola: 2030475 markings, 3877944 edges, 21722 markings/sec, 95 secs
lola: 2105489 markings, 4016149 edges, 15003 markings/sec, 100 secs
lola: 2211230 markings, 4211543 edges, 21148 markings/sec, 105 secs
lola: 2320270 markings, 4409024 edges, 21808 markings/sec, 110 secs
lola: 2426893 markings, 4600948 edges, 21325 markings/sec, 115 secs
lola: 2526441 markings, 4782969 edges, 19910 markings/sec, 120 secs
lola: 2609954 markings, 4936661 edges, 16703 markings/sec, 125 secs
lola: 2715203 markings, 5132086 edges, 21050 markings/sec, 130 secs
lola: 2821272 markings, 5322393 edges, 21214 markings/sec, 135 secs
lola: 2922292 markings, 5504506 edges, 20204 markings/sec, 140 secs
lola: 3013748 markings, 5671013 edges, 18291 markings/sec, 145 secs
lola: 3109713 markings, 5848729 edges, 19193 markings/sec, 150 secs
lola: 3216824 markings, 6046466 edges, 21422 markings/sec, 155 secs
lola: 3323407 markings, 6237861 edges, 21317 markings/sec, 160 secs
lola: 3430590 markings, 6431674 edges, 21437 markings/sec, 165 secs
lola: 3509861 markings, 6578400 edges, 15854 markings/sec, 170 secs
lola: 3617284 markings, 6775812 edges, 21485 markings/sec, 175 secs
lola: 3726630 markings, 6975397 edges, 21869 markings/sec, 180 secs
lola: 3834823 markings, 7170178 edges, 21639 markings/sec, 185 secs
lola: 3934212 markings, 7351710 edges, 19878 markings/sec, 190 secs
lola: 4024470 markings, 7518354 edges, 18052 markings/sec, 195 secs
lola: 4132493 markings, 7718032 edges, 21605 markings/sec, 200 secs
lola: 4240961 markings, 7912880 edges, 21694 markings/sec, 205 secs
lola: 4350003 markings, 8110469 edges, 21808 markings/sec, 210 secs
lola: 4430840 markings, 8260290 edges, 16167 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(FetchJobB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 77721 markings, 161956 edges, 15544 markings/sec, 0 secs
lola: 151605 markings, 315018 edges, 14777 markings/sec, 5 secs
lola: 246732 markings, 494559 edges, 19025 markings/sec, 10 secs
lola: 349559 markings, 678170 edges, 20565 markings/sec, 15 secs
lola: 449523 markings, 858497 edges, 19993 markings/sec, 20 secs
lola: 556646 markings, 1032520 edges, 21425 markings/sec, 25 secs
lola: 662849 markings, 1200696 edges, 21241 markings/sec, 30 secs
lola: 737435 markings, 1333589 edges, 14917 markings/sec, 35 secs
lola: 838307 markings, 1513413 edges, 20174 markings/sec, 40 secs
lola: 939258 markings, 1693985 edges, 20190 markings/sec, 45 secs
lola: 1040985 markings, 1874114 edges, 20345 markings/sec, 50 secs
lola: 1147928 markings, 2041928 edges, 21389 markings/sec, 55 secs
lola: 1246893 markings, 2202873 edges, 19793 markings/sec, 60 secs
lola: 1326345 markings, 2346446 edges, 15890 markings/sec, 65 secs
lola: 1426533 markings, 2525233 edges, 20038 markings/sec, 70 secs
lola: 1525545 markings, 2703162 edges, 19802 markings/sec, 75 secs
lola: 1631131 markings, 2879293 edges, 21117 markings/sec, 80 secs
lola: 1737026 markings, 3046332 edges, 21179 markings/sec, 85 secs
lola: 1814695 markings, 3178176 edges, 15534 markings/sec, 90 secs
lola: 1913959 markings, 3341961 edges, 19853 markings/sec, 95 secs
lola: 2020623 markings, 3510365 edges, 21333 markings/sec, 100 secs
lola: 2125891 markings, 3679393 edges, 21054 markings/sec, 105 secs
lola: 2200509 markings, 3806855 edges, 14924 markings/sec, 110 secs
lola: 2303292 markings, 3973452 edges, 20557 markings/sec, 115 secs
lola: 2406372 markings, 4135656 edges, 20616 markings/sec, 120 secs
lola: 2491432 markings, 4276766 edges, 17012 markings/sec, 125 secs
lola: 2582524 markings, 4427934 edges, 18218 markings/sec, 130 secs
lola: 2685239 markings, 4592385 edges, 20543 markings/sec, 135 secs
lola: 2787493 markings, 4754386 edges, 20451 markings/sec, 140 secs
lola: 2861957 markings, 4883305 edges, 14893 markings/sec, 145 secs
lola: 2963978 markings, 5049337 edges, 20404 markings/sec, 150 secs
lola: 3068736 markings, 5214081 edges, 20952 markings/sec, 155 secs
lola: 3157234 markings, 5360143 edges, 17700 markings/sec, 160 secs
lola: 3247329 markings, 5510157 edges, 18019 markings/sec, 165 secs
lola: 3351603 markings, 5676953 edges, 20855 markings/sec, 170 secs
lola: 3455650 markings, 5842896 edges, 20809 markings/sec, 175 secs
lola: 3531191 markings, 5972768 edges, 15108 markings/sec, 180 secs
lola: 3633488 markings, 6138580 edges, 20459 markings/sec, 185 secs
lola: 3737153 markings, 6301977 edges, 20733 markings/sec, 190 secs
lola: 3816974 markings, 6436707 edges, 15964 markings/sec, 195 secs
lola: 3915019 markings, 6599798 edges, 19609 markings/sec, 200 secs
lola: 4018625 markings, 6762536 edges, 20721 markings/sec, 205 secs
lola: 4111306 markings, 6914356 edges, 18536 markings/sec, 210 secs
lola: 4196923 markings, 7057669 edges, 17123 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(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 2108 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: 41026 markings, 86667 edges, 8205 markings/sec, 0 secs
lola: 79066 markings, 164768 edges, 7608 markings/sec, 5 secs
lola: 116616 markings, 242258 edges, 7510 markings/sec, 10 secs
lola: 154412 markings, 321049 edges, 7559 markings/sec, 15 secs
lola: 200912 markings, 413659 edges, 9300 markings/sec, 20 secs
lola: 253821 markings, 508152 edges, 10582 markings/sec, 25 secs
lola: 306046 markings, 601586 edges, 10445 markings/sec, 30 secs
lola: 360733 markings, 699591 edges, 10937 markings/sec, 35 secs
lola: 450465 markings, 863445 edges, 17946 markings/sec, 40 secs
lola: 557806 markings, 1027232 edges, 21468 markings/sec, 45 secs
lola: 663652 markings, 1191085 edges, 21169 markings/sec, 50 secs
lola: 736854 markings, 1324058 edges, 14640 markings/sec, 55 secs
lola: 836537 markings, 1501109 edges, 19937 markings/sec, 60 secs
lola: 930198 markings, 1668371 edges, 18732 markings/sec, 65 secs
lola: 1031930 markings, 1837992 edges, 20346 markings/sec, 70 secs
lola: 1143340 markings, 2005894 edges, 22282 markings/sec, 75 secs
lola: 1219917 markings, 2136532 edges, 15315 markings/sec, 80 secs
lola: 1318247 markings, 2310984 edges, 19666 markings/sec, 85 secs
lola: 1416810 markings, 2486532 edges, 19713 markings/sec, 90 secs
lola: 1517221 markings, 2663036 edges, 20082 markings/sec, 95 secs
lola: 1623606 markings, 2822591 edges, 21277 markings/sec, 100 secs
lola: 1715760 markings, 2968871 edges, 18431 markings/sec, 105 secs
lola: 1806002 markings, 3114302 edges, 18048 markings/sec, 110 secs
lola: 1910715 markings, 3274434 edges, 20943 markings/sec, 115 secs
lola: 2017167 markings, 3439020 edges, 21290 markings/sec, 120 secs
lola: 2090947 markings, 3561166 edges, 14756 markings/sec, 125 secs
lola: 2195167 markings, 3722187 edges, 20844 markings/sec, 130 secs
lola: 2301763 markings, 3883191 edges, 21319 markings/sec, 135 secs
lola: 2373776 markings, 4005609 edges, 14403 markings/sec, 140 secs
lola: 2477884 markings, 4167430 edges, 20822 markings/sec, 145 secs
lola: 2579733 markings, 4320353 edges, 20370 markings/sec, 150 secs
lola: 2666964 markings, 4459736 edges, 17446 markings/sec, 155 secs
lola: 2755158 markings, 4601705 edges, 17639 markings/sec, 160 secs
lola: 2861299 markings, 4763585 edges, 21228 markings/sec, 165 secs
lola: 2960152 markings, 4918671 edges, 19771 markings/sec, 170 secs
lola: 3042217 markings, 5052013 edges, 16413 markings/sec, 175 secs
lola: 3147495 markings, 5213570 edges, 21056 markings/sec, 180 secs
lola: 3250273 markings, 5372633 edges, 20556 markings/sec, 185 secs
lola: 3326367 markings, 5498198 edges, 15219 markings/sec, 190 secs
lola: 3431996 markings, 5661047 edges, 21126 markings/sec, 195 secs
lola: 3533565 markings, 5815337 edges, 20314 markings/sec, 200 secs
lola: 3611401 markings, 5946033 edges, 15567 markings/sec, 205 secs
lola: 3712979 markings, 6103245 edges, 20316 markings/sec, 210 secs
lola: 3817745 markings, 6262258 edges, 20953 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueue... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 35199 markings, 52476 edges, 7040 markings/sec, 0 secs
lola: 70305 markings, 104855 edges, 7021 markings/sec, 5 secs
lola: 105177 markings, 160653 edges, 6974 markings/sec, 10 secs
lola: 140136 markings, 212863 edges, 6992 markings/sec, 15 secs
lola: 174910 markings, 268514 edges, 6955 markings/sec, 20 secs
lola: 209691 markings, 320478 edges, 6956 markings/sec, 25 secs
lola: 244466 markings, 376155 edges, 6955 markings/sec, 30 secs
lola: 279178 markings, 431761 edges, 6942 markings/sec, 35 secs
lola: 313894 markings, 488060 edges, 6943 markings/sec, 40 secs
lola: 348530 markings, 546527 edges, 6927 markings/sec, 45 secs
lola: 383154 markings, 602026 edges, 6925 markings/sec, 50 secs
lola: 417451 markings, 660815 edges, 6859 markings/sec, 55 secs
lola: 451782 markings, 721017 edges, 6866 markings/sec, 60 secs
lola: 486057 markings, 782090 edges, 6855 markings/sec, 65 secs
lola: 520319 markings, 848256 edges, 6852 markings/sec, 70 secs
lola: 554297 markings, 917807 edges, 6796 markings/sec, 75 secs
lola: 588078 markings, 998249 edges, 6756 markings/sec, 80 secs
lola: 621754 markings, 1091312 edges, 6735 markings/sec, 85 secs
lola: 656252 markings, 1142907 edges, 6900 markings/sec, 90 secs
lola: 690807 markings, 1198294 edges, 6911 markings/sec, 95 secs
lola: 725143 markings, 1249679 edges, 6867 markings/sec, 100 secs
lola: 759427 markings, 1304709 edges, 6857 markings/sec, 105 secs
lola: 793849 markings, 1356255 edges, 6884 markings/sec, 110 secs
lola: 828101 markings, 1411248 edges, 6850 markings/sec, 115 secs
lola: 862376 markings, 1466279 edges, 6855 markings/sec, 120 secs
lola: 896867 markings, 1521564 edges, 6898 markings/sec, 125 secs
lola: 931131 markings, 1576591 edges, 6853 markings/sec, 130 secs
lola: 965299 markings, 1634056 edges, 6834 markings/sec, 135 secs
lola: 999259 markings, 1689852 edges, 6792 markings/sec, 140 secs
lola: 1033354 markings, 1748363 edges, 6819 markings/sec, 145 secs
lola: 1067193 markings, 1806563 edges, 6768 markings/sec, 150 secs
lola: 1101093 markings, 1868544 edges, 6780 markings/sec, 155 secs
lola: 1134890 markings, 1934121 edges, 6759 markings/sec, 160 secs
lola: 1168466 markings, 2006852 edges, 6715 markings/sec, 165 secs
lola: 1201138 markings, 2120947 edges, 6534 markings/sec, 170 secs
lola: 1236132 markings, 2173191 edges, 6999 markings/sec, 175 secs
lola: 1271033 markings, 2225334 edges, 6980 markings/sec, 180 secs
lola: 1305726 markings, 2280880 edges, 6939 markings/sec, 185 secs
lola: 1340496 markings, 2332818 edges, 6954 markings/sec, 190 secs
lola: 1375024 markings, 2388183 edges, 6906 markings/sec, 195 secs
lola: 1409544 markings, 2439834 edges, 6904 markings/sec, 200 secs
lola: 1444108 markings, 2495203 edges, 6913 markings/sec, 205 secs
lola: 1478608 markings, 2550545 edges, 6900 markings/sec, 210 secs
lola: 1513160 markings, 2605922 edges, 6910 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(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + Cre... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 35358 markings, 52681 edges, 7072 markings/sec, 0 secs
lola: 70560 markings, 105197 edges, 7040 markings/sec, 5 secs
lola: 105609 markings, 161208 edges, 7010 markings/sec, 10 secs
lola: 140672 markings, 213537 edges, 7013 markings/sec, 15 secs
lola: 175552 markings, 269330 edges, 6976 markings/sec, 20 secs
lola: 210357 markings, 325039 edges, 6961 markings/sec, 25 secs
lola: 245269 markings, 377190 edges, 6982 markings/sec, 30 secs
lola: 280054 markings, 432879 edges, 6957 markings/sec, 35 secs
lola: 314770 markings, 492176 edges, 6943 markings/sec, 40 secs
lola: 349540 markings, 547846 edges, 6954 markings/sec, 45 secs
lola: 383990 markings, 606807 edges, 6890 markings/sec, 50 secs
lola: 418493 markings, 662138 edges, 6901 markings/sec, 55 secs
lola: 452818 markings, 724662 edges, 6865 markings/sec, 60 secs
lola: 487207 markings, 783574 edges, 6878 markings/sec, 65 secs
lola: 521597 markings, 849907 edges, 6878 markings/sec, 70 secs
lola: 555707 markings, 919598 edges, 6822 markings/sec, 75 secs
lola: 589543 markings, 1003836 edges, 6767 markings/sec, 80 secs
lola: 623522 markings, 1093584 edges, 6796 markings/sec, 85 secs
lola: 658037 markings, 1145220 edges, 6903 markings/sec, 90 secs
lola: 693067 markings, 1201199 edges, 7006 markings/sec, 95 secs
lola: 726407 markings, 1251313 edges, 6668 markings/sec, 100 secs
lola: 759630 markings, 1304992 edges, 6645 markings/sec, 105 secs
lola: 792935 markings, 1355070 edges, 6661 markings/sec, 110 secs
lola: 826173 markings, 1408770 edges, 6648 markings/sec, 115 secs
lola: 860947 markings, 1464428 edges, 6955 markings/sec, 120 secs
lola: 893999 markings, 1517900 edges, 6610 markings/sec, 125 secs
lola: 927486 markings, 1571926 edges, 6697 markings/sec, 130 secs
lola: 960720 markings, 1625617 edges, 6647 markings/sec, 135 secs
lola: 993701 markings, 1682721 edges, 6596 markings/sec, 140 secs
lola: 1028355 markings, 1738260 edges, 6931 markings/sec, 145 secs
lola: 1061146 markings, 1798801 edges, 6558 markings/sec, 150 secs
lola: 1095579 markings, 1861467 edges, 6887 markings/sec, 155 secs
lola: 1128541 markings, 1922278 edges, 6592 markings/sec, 160 secs
lola: 1161197 markings, 1990107 edges, 6531 markings/sec, 165 secs
lola: 1193496 markings, 2076078 edges, 6460 markings/sec, 170 secs
lola: 1227912 markings, 2158979 edges, 6883 markings/sec, 175 secs
lola: 1263202 markings, 2215264 edges, 7058 markings/sec, 180 secs
lola: 1296709 markings, 2265617 edges, 6701 markings/sec, 185 secs
lola: 1330791 markings, 2316684 edges, 6816 markings/sec, 190 secs
lola: 1365817 markings, 2372672 edges, 7005 markings/sec, 195 secs
lola: 1399151 markings, 2426504 edges, 6667 markings/sec, 200 secs
lola: 1433883 markings, 2478413 edges, 6946 markings/sec, 205 secs
lola: 1466153 markings, 2530871 edges, 6454 markings/sec, 210 secs
lola: 1501301 markings, 2587014 edges, 7030 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 77238 markings, 160956 edges, 15448 markings/sec, 0 secs
lola: 150861 markings, 313458 edges, 14725 markings/sec, 5 secs
lola: 245333 markings, 492069 edges, 18894 markings/sec, 10 secs
lola: 347384 markings, 674254 edges, 20410 markings/sec, 15 secs
lola: 447251 markings, 854307 edges, 19973 markings/sec, 20 secs
lola: 553993 markings, 1028408 edges, 21348 markings/sec, 25 secs
lola: 660077 markings, 1196224 edges, 21217 markings/sec, 30 secs
lola: 735827 markings, 1330683 edges, 15150 markings/sec, 35 secs
lola: 836032 markings, 1509304 edges, 20041 markings/sec, 40 secs
lola: 936302 markings, 1688675 edges, 20054 markings/sec, 45 secs
lola: 1037499 markings, 1868628 edges, 20239 markings/sec, 50 secs
lola: 1144564 markings, 2036615 edges, 21413 markings/sec, 55 secs
lola: 1245087 markings, 2199858 edges, 20105 markings/sec, 60 secs
lola: 1323523 markings, 2341477 edges, 15687 markings/sec, 65 secs
lola: 1423396 markings, 2519676 edges, 19975 markings/sec, 70 secs
lola: 1521832 markings, 2696417 edges, 19687 markings/sec, 75 secs
lola: 1626733 markings, 2872398 edges, 20980 markings/sec, 80 secs
lola: 1732866 markings, 3039706 edges, 21227 markings/sec, 85 secs
lola: 1813042 markings, 3174912 edges, 16035 markings/sec, 90 secs
lola: 1910683 markings, 3336021 edges, 19528 markings/sec, 95 secs
lola: 2016460 markings, 3503803 edges, 21155 markings/sec, 100 secs
lola: 2121481 markings, 3671561 edges, 21004 markings/sec, 105 secs
lola: 2196356 markings, 3800205 edges, 14975 markings/sec, 110 secs
lola: 2297394 markings, 3964236 edges, 20208 markings/sec, 115 secs
lola: 2399570 markings, 4124884 edges, 20435 markings/sec, 120 secs
lola: 2487453 markings, 4269784 edges, 17577 markings/sec, 125 secs
lola: 2574905 markings, 4415444 edges, 17490 markings/sec, 130 secs
lola: 2676566 markings, 4578760 edges, 20332 markings/sec, 135 secs
lola: 2777557 markings, 4738401 edges, 20198 markings/sec, 140 secs
lola: 2852179 markings, 4867700 edges, 14924 markings/sec, 145 secs
lola: 2952512 markings, 5031423 edges, 20067 markings/sec, 150 secs
lola: 3054883 markings, 5192194 edges, 20474 markings/sec, 155 secs
lola: 3148291 markings, 5344584 edges, 18682 markings/sec, 160 secs
lola: 3227996 markings, 5478535 edges, 15941 markings/sec, 165 secs
lola: 3327052 markings, 5638374 edges, 19811 markings/sec, 170 secs
lola: 3426896 markings, 5796154 edges, 19969 markings/sec, 175 secs
lola: 3499576 markings, 5922242 edges, 14536 markings/sec, 180 secs
lola: 3595102 markings, 6078541 edges, 19105 markings/sec, 185 secs
lola: 3698624 markings, 6240984 edges, 20704 markings/sec, 190 secs
lola: 3797133 markings, 6401237 edges, 19702 markings/sec, 195 secs
lola: 3880439 markings, 6541337 edges, 16661 markings/sec, 200 secs
lola: 3983679 markings, 6707468 edges, 20648 markings/sec, 205 secs
lola: 4087769 markings, 6873220 edges, 20818 markings/sec, 210 secs
lola: 4165289 markings, 7006374 edges, 15504 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(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueue... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 35254 markings, 52537 edges, 7051 markings/sec, 0 secs
lola: 70343 markings, 104915 edges, 7018 markings/sec, 5 secs
lola: 105289 markings, 160785 edges, 6989 markings/sec, 10 secs
lola: 140199 markings, 212942 edges, 6982 markings/sec, 15 secs
lola: 175018 markings, 268635 edges, 6964 markings/sec, 20 secs
lola: 209777 markings, 320603 edges, 6952 markings/sec, 25 secs
lola: 244530 markings, 376248 edges, 6951 markings/sec, 30 secs
lola: 279228 markings, 431821 edges, 6940 markings/sec, 35 secs
lola: 313906 markings, 488516 edges, 6936 markings/sec, 40 secs
lola: 348574 markings, 546590 edges, 6934 markings/sec, 45 secs
lola: 383222 markings, 602106 edges, 6930 markings/sec, 50 secs
lola: 417559 markings, 660937 edges, 6867 markings/sec, 55 secs
lola: 451868 markings, 723460 edges, 6862 markings/sec, 60 secs
lola: 486202 markings, 782285 edges, 6867 markings/sec, 65 secs
lola: 520570 markings, 848591 edges, 6874 markings/sec, 70 secs
lola: 554597 markings, 918168 edges, 6805 markings/sec, 75 secs
lola: 588409 markings, 998658 edges, 6762 markings/sec, 80 secs
lola: 622096 markings, 1091744 edges, 6737 markings/sec, 85 secs
lola: 656580 markings, 1143337 edges, 6897 markings/sec, 90 secs
lola: 691229 markings, 1198835 edges, 6930 markings/sec, 95 secs
lola: 725596 markings, 1250269 edges, 6873 markings/sec, 100 secs
lola: 759926 markings, 1305362 edges, 6866 markings/sec, 105 secs
lola: 794506 markings, 1357081 edges, 6916 markings/sec, 110 secs
lola: 828948 markings, 1412335 edges, 6888 markings/sec, 115 secs
lola: 863454 markings, 1467641 edges, 6901 markings/sec, 120 secs
lola: 898127 markings, 1523179 edges, 6935 markings/sec, 125 secs
lola: 932599 markings, 1578488 edges, 6894 markings/sec, 130 secs
lola: 966972 markings, 1637353 edges, 6875 markings/sec, 135 secs
lola: 1001230 markings, 1692386 edges, 6852 markings/sec, 140 secs
lola: 1035569 markings, 1751201 edges, 6868 markings/sec, 145 secs
lola: 1069633 markings, 1813384 edges, 6813 markings/sec, 150 secs
lola: 1103770 markings, 1875688 edges, 6827 markings/sec, 155 secs
lola: 1137844 markings, 1941607 edges, 6815 markings/sec, 160 secs
lola: 1171665 markings, 2014682 edges, 6764 markings/sec, 165 secs
lola: 1204788 markings, 2125618 edges, 6625 markings/sec, 170 secs
lola: 1239955 markings, 2178117 edges, 7033 markings/sec, 175 secs
lola: 1275118 markings, 2230558 edges, 7033 markings/sec, 180 secs
lola: 1309996 markings, 2286344 edges, 6976 markings/sec, 185 secs
lola: 1345018 markings, 2338634 edges, 7004 markings/sec, 190 secs
lola: 1379806 markings, 2394314 edges, 6958 markings/sec, 195 secs
lola: 1414526 markings, 2449905 edges, 6944 markings/sec, 200 secs
lola: 1449270 markings, 2505530 edges, 6949 markings/sec, 205 secs
lola: 1484065 markings, 2561210 edges, 6959 markings/sec, 210 secs
lola: 1518795 markings, 2616829 edges, 6946 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(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 2108 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: 74721 markings, 155908 edges, 14944 markings/sec, 0 secs
lola: 146347 markings, 304133 edges, 14325 markings/sec, 5 secs
lola: 233861 markings, 472518 edges, 17503 markings/sec, 10 secs
lola: 329706 markings, 643966 edges, 19169 markings/sec, 15 secs
lola: 424431 markings, 814576 edges, 18945 markings/sec, 20 secs
lola: 529531 markings, 984829 edges, 21020 markings/sec, 25 secs
lola: 638401 markings, 1149594 edges, 21774 markings/sec, 30 secs
lola: 712802 markings, 1281387 edges, 14880 markings/sec, 35 secs
lola: 807844 markings, 1450059 edges, 19008 markings/sec, 40 secs
lola: 902957 markings, 1619530 edges, 19023 markings/sec, 45 secs
lola: 999885 markings, 1790105 edges, 19386 markings/sec, 50 secs
lola: 1109691 markings, 1954774 edges, 21961 markings/sec, 55 secs
lola: 1201509 markings, 2100990 edges, 18364 markings/sec, 60 secs
lola: 1285395 markings, 2252635 edges, 16777 markings/sec, 65 secs
lola: 1379925 markings, 2420742 edges, 18906 markings/sec, 70 secs
lola: 1472748 markings, 2587322 edges, 18565 markings/sec, 75 secs
lola: 1579356 markings, 2755991 edges, 21322 markings/sec, 80 secs
lola: 1687818 markings, 2920985 edges, 21692 markings/sec, 85 secs
lola: 1763671 markings, 3048843 edges, 15171 markings/sec, 90 secs
lola: 1869351 markings, 3212390 edges, 21136 markings/sec, 95 secs
lola: 1977166 markings, 3374959 edges, 21563 markings/sec, 100 secs
lola: 2055590 markings, 3507215 edges, 15685 markings/sec, 105 secs
lola: 2158410 markings, 3667202 edges, 20564 markings/sec, 110 secs
lola: 2264403 markings, 3826304 edges, 21199 markings/sec, 115 secs
lola: 2352806 markings, 3967867 edges, 17681 markings/sec, 120 secs
lola: 2444655 markings, 4115083 edges, 18370 markings/sec, 125 secs
lola: 2549591 markings, 4274903 edges, 20987 markings/sec, 130 secs
lola: 2651777 markings, 4433565 edges, 20437 markings/sec, 135 secs
lola: 2730423 markings, 4562906 edges, 15729 markings/sec, 140 secs
lola: 2835878 markings, 4725353 edges, 21091 markings/sec, 145 secs
lola: 2942739 markings, 4888385 edges, 21372 markings/sec, 150 secs
lola: 3019815 markings, 5017337 edges, 15415 markings/sec, 155 secs
lola: 3124762 markings, 5179447 edges, 20989 markings/sec, 160 secs
lola: 3231070 markings, 5340643 edges, 21262 markings/sec, 165 secs
lola: 3308184 markings, 5470294 edges, 15423 markings/sec, 170 secs
lola: 3411052 markings, 5629641 edges, 20574 markings/sec, 175 secs
lola: 3515884 markings, 5787920 edges, 20966 markings/sec, 180 secs
lola: 3592251 markings, 5916761 edges, 15273 markings/sec, 185 secs
lola: 3694855 markings, 6076096 edges, 20521 markings/sec, 190 secs
lola: 3799208 markings, 6233580 edges, 20871 markings/sec, 195 secs
lola: 3875746 markings, 6362452 edges, 15308 markings/sec, 200 secs
lola: 3976978 markings, 6519746 edges, 20246 markings/sec, 205 secs
lola: 4079237 markings, 6673967 edges, 20452 markings/sec, 210 secs
lola: 4154489 markings, 6800879 edges, 15050 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(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 98799 markings, 129572 edges, 19760 markings/sec, 0 secs
lola: 189269 markings, 253484 edges, 18094 markings/sec, 5 secs
lola: 270669 markings, 373432 edges, 16280 markings/sec, 10 secs
lola: 358150 markings, 497747 edges, 17496 markings/sec, 15 secs
lola: 453255 markings, 625443 edges, 19021 markings/sec, 20 secs
lola: 542530 markings, 748356 edges, 17855 markings/sec, 25 secs
lola: 624390 markings, 868223 edges, 16372 markings/sec, 30 secs
lola: 710075 markings, 992395 edges, 17137 markings/sec, 35 secs
lola: 802496 markings, 1119249 edges, 18484 markings/sec, 40 secs
lola: 895613 markings, 1246746 edges, 18623 markings/sec, 45 secs
lola: 983223 markings, 1368668 edges, 17522 markings/sec, 50 secs
lola: 1068208 markings, 1492094 edges, 16997 markings/sec, 55 secs
lola: 1155641 markings, 1618507 edges, 17487 markings/sec, 60 secs
lola: 1244885 markings, 1745679 edges, 17849 markings/sec, 65 secs
lola: 1334513 markings, 1874305 edges, 17926 markings/sec, 70 secs
lola: 1424963 markings, 1999651 edges, 18090 markings/sec, 75 secs
lola: 1514589 markings, 2125014 edges, 17925 markings/sec, 80 secs
lola: 1603918 markings, 2250290 edges, 17866 markings/sec, 85 secs
lola: 1693013 markings, 2377047 edges, 17819 markings/sec, 90 secs
lola: 1781419 markings, 2501980 edges, 17681 markings/sec, 95 secs
lola: 1868453 markings, 2626076 edges, 17407 markings/sec, 100 secs
lola: 1956889 markings, 2753115 edges, 17687 markings/sec, 105 secs
lola: 2047313 markings, 2883585 edges, 18085 markings/sec, 110 secs
lola: 2136108 markings, 3011800 edges, 17759 markings/sec, 115 secs
lola: 2222729 markings, 3137845 edges, 17324 markings/sec, 120 secs
lola: 2308214 markings, 3262207 edges, 17097 markings/sec, 125 secs
lola: 2393239 markings, 3386012 edges, 17005 markings/sec, 130 secs
lola: 2478964 markings, 3513030 edges, 17145 markings/sec, 135 secs
lola: 2566574 markings, 3638924 edges, 17522 markings/sec, 140 secs
lola: 2657180 markings, 3767452 edges, 18121 markings/sec, 145 secs
lola: 2749056 markings, 3900034 edges, 18375 markings/sec, 150 secs
lola: 2833318 markings, 4025889 edges, 16852 markings/sec, 155 secs
lola: 2923411 markings, 4159075 edges, 18019 markings/sec, 160 secs
lola: 3020313 markings, 4297686 edges, 19380 markings/sec, 165 secs
lola: 3106408 markings, 4429286 edges, 17219 markings/sec, 170 secs
lola: 3203328 markings, 4567295 edges, 19384 markings/sec, 175 secs
lola: 3288624 markings, 4698942 edges, 17059 markings/sec, 180 secs
lola: 3382345 markings, 4835309 edges, 18744 markings/sec, 185 secs
lola: 3471220 markings, 4969405 edges, 17775 markings/sec, 190 secs
lola: 3559833 markings, 5105068 edges, 17723 markings/sec, 195 secs
lola: 3650997 markings, 5242280 edges, 18233 markings/sec, 200 secs
lola: 3742022 markings, 5379264 edges, 18205 markings/sec, 205 secs
lola: 3831125 markings, 5514874 edges, 17821 markings/sec, 210 secs
lola: 3919451 markings, 5652685 edges, 17665 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 30456 markings, 76805 edges, 6091 markings/sec, 0 secs
lola: 62072 markings, 151343 edges, 6323 markings/sec, 5 secs
lola: 93595 markings, 225606 edges, 6305 markings/sec, 10 secs
lola: 124928 markings, 299612 edges, 6267 markings/sec, 15 secs
lola: 156131 markings, 373337 edges, 6241 markings/sec, 20 secs
lola: 187325 markings, 447209 edges, 6239 markings/sec, 25 secs
lola: 218644 markings, 521594 edges, 6264 markings/sec, 30 secs
lola: 249924 markings, 596273 edges, 6256 markings/sec, 35 secs
lola: 281348 markings, 672292 edges, 6285 markings/sec, 40 secs
lola: 315225 markings, 756202 edges, 6775 markings/sec, 45 secs
lola: 351804 markings, 837462 edges, 7316 markings/sec, 50 secs
lola: 388281 markings, 918683 edges, 7295 markings/sec, 55 secs
lola: 424752 markings, 1000067 edges, 7294 markings/sec, 60 secs
lola: 461452 markings, 1082005 edges, 7340 markings/sec, 65 secs
lola: 497937 markings, 1164094 edges, 7297 markings/sec, 70 secs
lola: 534190 markings, 1246081 edges, 7251 markings/sec, 75 secs
lola: 570261 markings, 1328749 edges, 7214 markings/sec, 80 secs
lola: 606161 markings, 1415676 edges, 7180 markings/sec, 85 secs
lola: 648245 markings, 1498272 edges, 8417 markings/sec, 90 secs
lola: 694181 markings, 1578278 edges, 9187 markings/sec, 95 secs
lola: 738687 markings, 1656323 edges, 8901 markings/sec, 100 secs
lola: 783635 markings, 1736066 edges, 8990 markings/sec, 105 secs
lola: 828355 markings, 1817307 edges, 8944 markings/sec, 110 secs
lola: 866104 markings, 1903657 edges, 7550 markings/sec, 115 secs
lola: 895796 markings, 1987039 edges, 5938 markings/sec, 120 secs
lola: 931567 markings, 2065535 edges, 7154 markings/sec, 125 secs
lola: 967782 markings, 2143399 edges, 7243 markings/sec, 130 secs
lola: 1003959 markings, 2221460 edges, 7235 markings/sec, 135 secs
lola: 1040220 markings, 2299817 edges, 7252 markings/sec, 140 secs
lola: 1076548 markings, 2378781 edges, 7266 markings/sec, 145 secs
lola: 1112665 markings, 2457664 edges, 7223 markings/sec, 150 secs
lola: 1148630 markings, 2536909 edges, 7193 markings/sec, 155 secs
lola: 1184300 markings, 2617247 edges, 7134 markings/sec, 160 secs
lola: 1220932 markings, 2702814 edges, 7326 markings/sec, 165 secs
lola: 1266581 markings, 2782377 edges, 9130 markings/sec, 170 secs
lola: 1311811 markings, 2861313 edges, 9046 markings/sec, 175 secs
lola: 1356572 markings, 2940117 edges, 8952 markings/sec, 180 secs
lola: 1401532 markings, 3020670 edges, 8992 markings/sec, 185 secs
lola: 1446570 markings, 3107288 edges, 9008 markings/sec, 190 secs
lola: 1476641 markings, 3187701 edges, 6014 markings/sec, 195 secs
lola: 1509987 markings, 3270297 edges, 6669 markings/sec, 200 secs
lola: 1545986 markings, 3347667 edges, 7200 markings/sec, 205 secs
lola: 1581814 markings, 3424991 edges, 7166 markings/sec, 210 secs
lola: 1617691 markings, 3502342 edges, 7175 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_523_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 105464 markings, 140470 edges, 21093 markings/sec, 0 secs
lola: 208616 markings, 280875 edges, 20630 markings/sec, 5 secs
lola: 300319 markings, 409936 edges, 18341 markings/sec, 10 secs
lola: 391139 markings, 541921 edges, 18164 markings/sec, 15 secs
lola: 486645 markings, 677764 edges, 19101 markings/sec, 20 secs
lola: 584644 markings, 814599 edges, 19600 markings/sec, 25 secs
lola: 685175 markings, 951660 edges, 20106 markings/sec, 30 secs
lola: 785277 markings, 1090905 edges, 20020 markings/sec, 35 secs
lola: 881650 markings, 1224969 edges, 19275 markings/sec, 40 secs
lola: 974755 markings, 1357904 edges, 18621 markings/sec, 45 secs
lola: 1069195 markings, 1493330 edges, 18888 markings/sec, 50 secs
lola: 1166379 markings, 1631712 edges, 19437 markings/sec, 55 secs
lola: 1263660 markings, 1770231 edges, 19456 markings/sec, 60 secs
lola: 1360350 markings, 1908211 edges, 19338 markings/sec, 65 secs
lola: 1456468 markings, 2044843 edges, 19224 markings/sec, 70 secs
lola: 1551204 markings, 2179830 edges, 18947 markings/sec, 75 secs
lola: 1646282 markings, 2315380 edges, 19016 markings/sec, 80 secs
lola: 1744050 markings, 2453615 edges, 19554 markings/sec, 85 secs
lola: 1841427 markings, 2591433 edges, 19475 markings/sec, 90 secs
lola: 1939587 markings, 2730529 edges, 19632 markings/sec, 95 secs
lola: 2040070 markings, 2872606 edges, 20097 markings/sec, 100 secs
lola: 2137464 markings, 3014025 edges, 19479 markings/sec, 105 secs
lola: 2229651 markings, 3149544 edges, 18437 markings/sec, 110 secs
lola: 2321367 markings, 3285497 edges, 18343 markings/sec, 115 secs
lola: 2416416 markings, 3420921 edges, 19010 markings/sec, 120 secs
lola: 2513255 markings, 3557174 edges, 19368 markings/sec, 125 secs
lola: 2611365 markings, 3699983 edges, 19622 markings/sec, 130 secs
lola: 2703269 markings, 3838424 edges, 18381 markings/sec, 135 secs
lola: 2802368 markings, 3978551 edges, 19820 markings/sec, 140 secs
lola: 2897309 markings, 4119137 edges, 18988 markings/sec, 145 secs
lola: 2991781 markings, 4258937 edges, 18894 markings/sec, 150 secs
lola: 3090419 markings, 4402942 edges, 19728 markings/sec, 155 secs
lola: 3184402 markings, 4542353 edges, 18797 markings/sec, 160 secs
lola: 3278986 markings, 4684746 edges, 18917 markings/sec, 165 secs
lola: 3379865 markings, 4831145 edges, 20176 markings/sec, 170 secs
lola: 3475186 markings, 4974552 edges, 19064 markings/sec, 175 secs
lola: 3569856 markings, 5119143 edges, 18934 markings/sec, 180 secs
lola: 3667225 markings, 5266552 edges, 19474 markings/sec, 185 secs
lola: 3762777 markings, 5411460 edges, 19110 markings/sec, 190 secs
lola: 3858047 markings, 5555795 edges, 19054 markings/sec, 195 secs
lola: 3955826 markings, 5706940 edges, 19556 markings/sec, 200 secs
lola: 4049320 markings, 5853847 edges, 18699 markings/sec, 205 secs
lola: 4143774 markings, 6002290 edges, 18891 markings/sec, 210 secs
lola: 4239607 markings, 6153718 edges, 19167 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496326874100

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