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

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

=== Now, execution of the tool begins

BK_START 1496338118855


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


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S10J20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S10J20 @ 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: 12234/65536 symbol table entries, 4634 collisions
lola: preprocessing...
lola: finding significant places
lola: 474 places, 11760 transitions, 402 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1898 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J20-UpperBounds.task
lola: MAX(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_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_12_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_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_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_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_6_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_0_10 + 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_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_11_5 + CreatedJobs_11_6 + CreatedJobs_11_7 + CreatedJobs_11_8 + CreatedJobs_14_8 + CreatedJobs_14_7 + CreatedJobs_5_10 + CreatedJobs_14_6 + CreatedJobs_14_5 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_15_10 + 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_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_13_6 + CreatedJobs_13_7 + CreatedJobs_13_8 + CreatedJobs_13_9 + CreatedJobs_12_9 + CreatedJobs_14_9 + CreatedJobs_4_10 + CreatedJobs_14_10 + CreatedJobs_11_9 + CreatedJobs_10_10 + 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(FetchJobB_1) : MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(place_458) : MAX(Check_Sources_E_1) : MAX(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9) : MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9) : MAX(place_782_1) : MAX(NotifyEventEndOfCheckSourcesB_1) : MAX(place_782_1) : MAX(place_522_1) : MAX(Try_Check_Sources_B_1) : MAX(place_523_1) : MAX(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9) : MAX(Schedule_Task_B_1) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
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(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 + Creat... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 3849 markings, 5410 edges, 770 markings/sec, 0 secs
lola: 7755 markings, 12140 edges, 781 markings/sec, 5 secs
lola: 11598 markings, 17086 edges, 769 markings/sec, 10 secs
lola: 15446 markings, 23747 edges, 770 markings/sec, 15 secs
lola: 19316 markings, 28725 edges, 774 markings/sec, 20 secs
lola: 23191 markings, 35428 edges, 775 markings/sec, 25 secs
lola: 27022 markings, 40351 edges, 766 markings/sec, 30 secs
lola: 30875 markings, 47024 edges, 771 markings/sec, 35 secs
lola: 34708 markings, 53704 edges, 767 markings/sec, 40 secs
lola: 38566 markings, 58634 edges, 772 markings/sec, 45 secs
lola: 42422 markings, 65338 edges, 771 markings/sec, 50 secs
lola: 46261 markings, 70242 edges, 768 markings/sec, 55 secs
lola: 50118 markings, 76954 edges, 771 markings/sec, 60 secs
lola: 53977 markings, 83630 edges, 772 markings/sec, 65 secs
lola: 57834 markings, 89982 edges, 771 markings/sec, 70 secs
lola: 61680 markings, 95254 edges, 769 markings/sec, 75 secs
lola: 65506 markings, 101918 edges, 765 markings/sec, 80 secs
lola: 69350 markings, 108605 edges, 769 markings/sec, 85 secs
lola: 73185 markings, 113511 edges, 767 markings/sec, 90 secs
lola: 77023 markings, 120193 edges, 768 markings/sec, 95 secs
lola: 80880 markings, 126864 edges, 771 markings/sec, 100 secs
lola: 84698 markings, 133522 edges, 764 markings/sec, 105 secs
lola: 88537 markings, 140206 edges, 768 markings/sec, 110 secs
lola: 92279 markings, 146745 edges, 748 markings/sec, 115 secs
lola: 96133 markings, 151695 edges, 771 markings/sec, 120 secs
lola: 99993 markings, 158388 edges, 772 markings/sec, 125 secs
lola: 103841 markings, 165061 edges, 770 markings/sec, 130 secs
lola: 107668 markings, 171741 edges, 765 markings/sec, 135 secs
lola: 111516 markings, 180179 edges, 770 markings/sec, 140 secs
lola: 115380 markings, 186859 edges, 773 markings/sec, 145 secs
lola: 119223 markings, 193570 edges, 769 markings/sec, 150 secs
lola: 123088 markings, 202026 edges, 773 markings/sec, 155 secs
lola: 126939 markings, 208702 edges, 770 markings/sec, 160 secs
lola: 130768 markings, 217117 edges, 766 markings/sec, 165 secs
lola: 134617 markings, 225571 edges, 770 markings/sec, 170 secs
lola: 138450 markings, 235749 edges, 767 markings/sec, 175 secs
lola: 142280 markings, 250246 edges, 766 markings/sec, 180 secs
lola: 146171 markings, 255224 edges, 778 markings/sec, 185 secs
lola: 150028 markings, 261943 edges, 771 markings/sec, 190 secs
lola: 153914 markings, 266899 edges, 777 markings/sec, 195 secs
lola: 157780 markings, 273620 edges, 773 markings/sec, 200 secs
lola: 161665 markings, 280324 edges, 777 markings/sec, 205 secs
lola: 165551 markings, 285324 edges, 777 markings/sec, 210 secs
lola: 169364 markings, 291942 edges, 763 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(FetchJobB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16165 markings, 19952 edges, 3233 markings/sec, 0 secs
lola: 28122 markings, 38906 edges, 2391 markings/sec, 5 secs
lola: 44197 markings, 59071 edges, 3215 markings/sec, 10 secs
lola: 56198 markings, 77947 edges, 2400 markings/sec, 15 secs
lola: 72135 markings, 98074 edges, 3187 markings/sec, 20 secs
lola: 84255 markings, 116990 edges, 2424 markings/sec, 25 secs
lola: 100088 markings, 137296 edges, 3167 markings/sec, 30 secs
lola: 111694 markings, 155606 edges, 2321 markings/sec, 35 secs
lola: 128257 markings, 176965 edges, 3313 markings/sec, 40 secs
lola: 139281 markings, 193931 edges, 2205 markings/sec, 45 secs
lola: 155214 markings, 215272 edges, 3187 markings/sec, 50 secs
lola: 167329 markings, 233252 edges, 2423 markings/sec, 55 secs
lola: 181307 markings, 253180 edges, 2796 markings/sec, 60 secs
lola: 196170 markings, 273135 edges, 2973 markings/sec, 65 secs
lola: 208115 markings, 291592 edges, 2389 markings/sec, 70 secs
lola: 223610 markings, 312515 edges, 3099 markings/sec, 75 secs
lola: 236562 markings, 331277 edges, 2590 markings/sec, 80 secs
lola: 249340 markings, 350683 edges, 2556 markings/sec, 85 secs
lola: 264497 markings, 371321 edges, 3031 markings/sec, 90 secs
lola: 278219 markings, 390674 edges, 2744 markings/sec, 95 secs
lola: 290608 markings, 409596 edges, 2478 markings/sec, 100 secs
lola: 304625 markings, 429981 edges, 2803 markings/sec, 105 secs
lola: 319861 markings, 451373 edges, 3047 markings/sec, 110 secs
lola: 334699 markings, 472258 edges, 2968 markings/sec, 115 secs
lola: 347490 markings, 491538 edges, 2558 markings/sec, 120 secs
lola: 361357 markings, 512152 edges, 2773 markings/sec, 125 secs
lola: 374800 markings, 532267 edges, 2689 markings/sec, 130 secs
lola: 388281 markings, 552396 edges, 2696 markings/sec, 135 secs
lola: 402141 markings, 572950 edges, 2772 markings/sec, 140 secs
lola: 416571 markings, 594146 edges, 2886 markings/sec, 145 secs
lola: 430476 markings, 614793 edges, 2781 markings/sec, 150 secs
lola: 444467 markings, 636010 edges, 2798 markings/sec, 155 secs
lola: 457353 markings, 655993 edges, 2577 markings/sec, 160 secs
lola: 470968 markings, 677017 edges, 2723 markings/sec, 165 secs
lola: 484755 markings, 698275 edges, 2757 markings/sec, 170 secs
lola: 498492 markings, 719756 edges, 2747 markings/sec, 175 secs
lola: 511652 markings, 741153 edges, 2632 markings/sec, 180 secs
lola: 525507 markings, 763479 edges, 2771 markings/sec, 185 secs
lola: 538394 markings, 785853 edges, 2577 markings/sec, 190 secs
lola: 552137 markings, 809653 edges, 2749 markings/sec, 195 secs
lola: 565811 markings, 836072 edges, 2735 markings/sec, 200 secs
lola: 579676 markings, 864031 edges, 2773 markings/sec, 205 secs
lola: 598406 markings, 887527 edges, 3746 markings/sec, 210 secs
lola: 619131 markings, 912169 edges, 4145 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(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13712 markings, 16869 edges, 2742 markings/sec, 0 secs
lola: 25532 markings, 34174 edges, 2364 markings/sec, 5 secs
lola: 37576 markings, 50866 edges, 2409 markings/sec, 10 secs
lola: 50998 markings, 69019 edges, 2684 markings/sec, 15 secs
lola: 61535 markings, 84714 edges, 2107 markings/sec, 20 secs
lola: 76145 markings, 103353 edges, 2922 markings/sec, 25 secs
lola: 86041 markings, 119625 edges, 1979 markings/sec, 30 secs
lola: 100068 markings, 137260 edges, 2805 markings/sec, 35 secs
lola: 110500 markings, 154240 edges, 2086 markings/sec, 40 secs
lola: 124380 markings, 171550 edges, 2776 markings/sec, 45 secs
lola: 135046 markings, 188573 edges, 2133 markings/sec, 50 secs
lola: 148689 markings, 205880 edges, 2729 markings/sec, 55 secs
lola: 159737 markings, 222918 edges, 2210 markings/sec, 60 secs
lola: 173238 markings, 240657 edges, 2700 markings/sec, 65 secs
lola: 184185 markings, 257968 edges, 2189 markings/sec, 70 secs
lola: 198374 markings, 276081 edges, 2838 markings/sec, 75 secs
lola: 208898 markings, 292560 edges, 2105 markings/sec, 80 secs
lola: 222889 markings, 311321 edges, 2798 markings/sec, 85 secs
lola: 233886 markings, 327959 edges, 2199 markings/sec, 90 secs
lola: 246413 markings, 345886 edges, 2505 markings/sec, 95 secs
lola: 259560 markings, 363737 edges, 2629 markings/sec, 100 secs
lola: 270626 markings, 380887 edges, 2213 markings/sec, 105 secs
lola: 284161 markings, 399452 edges, 2707 markings/sec, 110 secs
lola: 296167 markings, 416824 edges, 2401 markings/sec, 115 secs
lola: 307651 markings, 434359 edges, 2297 markings/sec, 120 secs
lola: 320633 markings, 452680 edges, 2596 markings/sec, 125 secs
lola: 333551 markings, 470659 edges, 2584 markings/sec, 130 secs
lola: 345023 markings, 488400 edges, 2294 markings/sec, 135 secs
lola: 357281 markings, 506730 edges, 2452 markings/sec, 140 secs
lola: 370037 markings, 525431 edges, 2551 markings/sec, 145 secs
lola: 383335 markings, 544349 edges, 2660 markings/sec, 150 secs
lola: 395965 markings, 563115 edges, 2526 markings/sec, 155 secs
lola: 408576 markings, 581833 edges, 2522 markings/sec, 160 secs
lola: 421155 markings, 600349 edges, 2516 markings/sec, 165 secs
lola: 433341 markings, 619121 edges, 2437 markings/sec, 170 secs
lola: 445433 markings, 637682 edges, 2418 markings/sec, 175 secs
lola: 457540 markings, 656344 edges, 2421 markings/sec, 180 secs
lola: 469877 markings, 675604 edges, 2467 markings/sec, 185 secs
lola: 482958 markings, 695045 edges, 2616 markings/sec, 190 secs
lola: 494627 markings, 714305 edges, 2334 markings/sec, 195 secs
lola: 507479 markings, 734241 edges, 2570 markings/sec, 200 secs
lola: 519848 markings, 754438 edges, 2474 markings/sec, 205 secs
lola: 531875 markings, 774594 edges, 2405 markings/sec, 210 secs
lola: 544344 markings, 795677 edges, 2494 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(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 15991 markings, 19722 edges, 3198 markings/sec, 0 secs
lola: 28340 markings, 39473 edges, 2470 markings/sec, 5 secs
lola: 45050 markings, 60156 edges, 3342 markings/sec, 10 secs
lola: 56501 markings, 78768 edges, 2290 markings/sec, 15 secs
lola: 72933 markings, 99090 edges, 3286 markings/sec, 20 secs
lola: 84922 markings, 118353 edges, 2398 markings/sec, 25 secs
lola: 101300 markings, 138887 edges, 3276 markings/sec, 30 secs
lola: 112912 markings, 157029 edges, 2322 markings/sec, 35 secs
lola: 129014 markings, 178237 edges, 3220 markings/sec, 40 secs
lola: 140824 markings, 196135 edges, 2362 markings/sec, 45 secs
lola: 156397 markings, 217207 edges, 3115 markings/sec, 50 secs
lola: 169872 markings, 236400 edges, 2695 markings/sec, 55 secs
lola: 182935 markings, 256316 edges, 2613 markings/sec, 60 secs
lola: 199398 markings, 277817 edges, 3293 markings/sec, 65 secs
lola: 211311 markings, 295866 edges, 2383 markings/sec, 70 secs
lola: 225941 markings, 316386 edges, 2926 markings/sec, 75 secs
lola: 241052 markings, 337068 edges, 3022 markings/sec, 80 secs
lola: 253622 markings, 356253 edges, 2514 markings/sec, 85 secs
lola: 267503 markings, 376623 edges, 2776 markings/sec, 90 secs
lola: 283253 markings, 397955 edges, 3150 markings/sec, 95 secs
lola: 296588 markings, 417363 edges, 2667 markings/sec, 100 secs
lola: 309726 markings, 437241 edges, 2628 markings/sec, 105 secs
lola: 323533 markings, 457737 edges, 2761 markings/sec, 110 secs
lola: 338290 markings, 478334 edges, 2951 markings/sec, 115 secs
lola: 352655 markings, 499234 edges, 2873 markings/sec, 120 secs
lola: 367001 markings, 520143 edges, 2869 markings/sec, 125 secs
lola: 381230 markings, 540705 edges, 2846 markings/sec, 130 secs
lola: 395020 markings, 561381 edges, 2758 markings/sec, 135 secs
lola: 408820 markings, 582238 edges, 2760 markings/sec, 140 secs
lola: 422586 markings, 602890 edges, 2753 markings/sec, 145 secs
lola: 435742 markings, 623511 edges, 2631 markings/sec, 150 secs
lola: 449718 markings, 644664 edges, 2795 markings/sec, 155 secs
lola: 464547 markings, 666558 edges, 2966 markings/sec, 160 secs
lola: 477582 markings, 687627 edges, 2607 markings/sec, 165 secs
lola: 492148 markings, 709934 edges, 2913 markings/sec, 170 secs
lola: 506120 markings, 731824 edges, 2794 markings/sec, 175 secs
lola: 519910 markings, 754525 edges, 2758 markings/sec, 180 secs
lola: 533200 markings, 777058 edges, 2658 markings/sec, 185 secs
lola: 547185 markings, 800948 edges, 2797 markings/sec, 190 secs
lola: 560789 markings, 825978 edges, 2721 markings/sec, 195 secs
lola: 574092 markings, 856995 edges, 2661 markings/sec, 200 secs
lola: 590872 markings, 878000 edges, 3356 markings/sec, 205 secs
lola: 610966 markings, 902411 edges, 4019 markings/sec, 210 secs
lola: 630616 markings, 926494 edges, 3930 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(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 1608 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: 11879 markings, 50487 edges, 2376 markings/sec, 0 secs
lola: 23934 markings, 99930 edges, 2411 markings/sec, 5 secs
lola: 36764 markings, 152707 edges, 2566 markings/sec, 10 secs
lola: 49784 markings, 206432 edges, 2604 markings/sec, 15 secs
lola: 62196 markings, 256388 edges, 2482 markings/sec, 20 secs
lola: 74442 markings, 306347 edges, 2449 markings/sec, 25 secs
lola: 87470 markings, 359986 edges, 2606 markings/sec, 30 secs
lola: 100442 markings, 413505 edges, 2594 markings/sec, 35 secs
lola: 112050 markings, 458356 edges, 2322 markings/sec, 40 secs
lola: 123950 markings, 511451 edges, 2380 markings/sec, 45 secs
lola: 135361 markings, 558239 edges, 2282 markings/sec, 50 secs
lola: 146664 markings, 604727 edges, 2261 markings/sec, 55 secs
lola: 157999 markings, 651083 edges, 2267 markings/sec, 60 secs
lola: 169357 markings, 697907 edges, 2272 markings/sec, 65 secs
lola: 180750 markings, 744807 edges, 2279 markings/sec, 70 secs
lola: 192096 markings, 791848 edges, 2269 markings/sec, 75 secs
lola: 203720 markings, 840145 edges, 2325 markings/sec, 80 secs
lola: 215248 markings, 888058 edges, 2306 markings/sec, 85 secs
lola: 226380 markings, 935343 edges, 2226 markings/sec, 90 secs
lola: 238533 markings, 985547 edges, 2431 markings/sec, 95 secs
lola: 251222 markings, 1033138 edges, 2538 markings/sec, 100 secs
lola: 264344 markings, 1082149 edges, 2624 markings/sec, 105 secs
lola: 276954 markings, 1129122 edges, 2522 markings/sec, 110 secs
lola: 289060 markings, 1176815 edges, 2421 markings/sec, 115 secs
lola: 300846 markings, 1225029 edges, 2357 markings/sec, 120 secs
lola: 312634 markings, 1273255 edges, 2358 markings/sec, 125 secs
lola: 324416 markings, 1321463 edges, 2356 markings/sec, 130 secs
lola: 336199 markings, 1369682 edges, 2357 markings/sec, 135 secs
lola: 347986 markings, 1417929 edges, 2357 markings/sec, 140 secs
lola: 359773 markings, 1466171 edges, 2357 markings/sec, 145 secs
lola: 371663 markings, 1514637 edges, 2378 markings/sec, 150 secs
lola: 383445 markings, 1562825 edges, 2356 markings/sec, 155 secs
lola: 395244 markings, 1611084 edges, 2360 markings/sec, 160 secs
lola: 407361 markings, 1660480 edges, 2423 markings/sec, 165 secs
lola: 420357 markings, 1709030 edges, 2599 markings/sec, 170 secs
lola: 432915 markings, 1756036 edges, 2512 markings/sec, 175 secs
lola: 446130 markings, 1805464 edges, 2643 markings/sec, 180 secs
lola: 458549 markings, 1851551 edges, 2484 markings/sec, 185 secs
lola: 471832 markings, 1901663 edges, 2657 markings/sec, 190 secs
lola: 484480 markings, 1948443 edges, 2530 markings/sec, 195 secs
lola: 497610 markings, 1997871 edges, 2626 markings/sec, 200 secs
lola: 510402 markings, 2045437 edges, 2558 markings/sec, 205 secs
lola: 523195 markings, 2093417 edges, 2559 markings/sec, 210 secs
lola: 536267 markings, 2142218 edges, 2614 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(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13757 markings, 18263 edges, 2751 markings/sec, 0 secs
lola: 25857 markings, 35892 edges, 2420 markings/sec, 5 secs
lola: 38035 markings, 52791 edges, 2436 markings/sec, 10 secs
lola: 51578 markings, 71151 edges, 2709 markings/sec, 15 secs
lola: 62346 markings, 87185 edges, 2154 markings/sec, 20 secs
lola: 77260 markings, 106353 edges, 2983 markings/sec, 25 secs
lola: 87250 markings, 122411 edges, 1998 markings/sec, 30 secs
lola: 101635 markings, 140649 edges, 2877 markings/sec, 35 secs
lola: 112140 markings, 157516 edges, 2101 markings/sec, 40 secs
lola: 126525 markings, 175669 edges, 2877 markings/sec, 45 secs
lola: 137123 markings, 192703 edges, 2120 markings/sec, 50 secs
lola: 151425 markings, 210730 edges, 2860 markings/sec, 55 secs
lola: 162074 markings, 227882 edges, 2130 markings/sec, 60 secs
lola: 176397 markings, 246183 edges, 2865 markings/sec, 65 secs
lola: 187012 markings, 262761 edges, 2123 markings/sec, 70 secs
lola: 201050 markings, 281653 edges, 2808 markings/sec, 75 secs
lola: 212238 markings, 298350 edges, 2238 markings/sec, 80 secs
lola: 225363 markings, 316567 edges, 2625 markings/sec, 85 secs
lola: 237718 markings, 334071 edges, 2471 markings/sec, 90 secs
lola: 249255 markings, 351956 edges, 2307 markings/sec, 95 secs
lola: 263333 markings, 370598 edges, 2816 markings/sec, 100 secs
lola: 274623 markings, 387509 edges, 2258 markings/sec, 105 secs
lola: 287012 markings, 405493 edges, 2478 markings/sec, 110 secs
lola: 300589 markings, 424117 edges, 2715 markings/sec, 115 secs
lola: 312009 markings, 441461 edges, 2284 markings/sec, 120 secs
lola: 323934 markings, 459593 edges, 2385 markings/sec, 125 secs
lola: 337403 markings, 477995 edges, 2694 markings/sec, 130 secs
lola: 350070 markings, 496242 edges, 2533 markings/sec, 135 secs
lola: 362110 markings, 514446 edges, 2408 markings/sec, 140 secs
lola: 374209 markings, 532881 edges, 2420 markings/sec, 145 secs
lola: 386757 markings, 551600 edges, 2510 markings/sec, 150 secs
lola: 399168 markings, 570302 edges, 2482 markings/sec, 155 secs
lola: 411778 markings, 588600 edges, 2522 markings/sec, 160 secs
lola: 424369 markings, 607161 edges, 2518 markings/sec, 165 secs
lola: 436445 markings, 626128 edges, 2415 markings/sec, 170 secs
lola: 448833 markings, 644563 edges, 2478 markings/sec, 175 secs
lola: 461373 markings, 663576 edges, 2508 markings/sec, 180 secs
lola: 474394 markings, 683033 edges, 2604 markings/sec, 185 secs
lola: 486101 markings, 701909 edges, 2341 markings/sec, 190 secs
lola: 498893 markings, 721580 edges, 2558 markings/sec, 195 secs
lola: 510630 markings, 741136 edges, 2347 markings/sec, 200 secs
lola: 522930 markings, 761224 edges, 2460 markings/sec, 205 secs
lola: 535500 markings, 781634 edges, 2514 markings/sec, 210 secs
lola: 547501 markings, 802684 edges, 2400 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(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 11119 markings, 13638 edges, 2224 markings/sec, 0 secs
lola: 22126 markings, 28617 edges, 2201 markings/sec, 5 secs
lola: 31433 markings, 43014 edges, 1861 markings/sec, 10 secs
lola: 43452 markings, 58128 edges, 2404 markings/sec, 15 secs
lola: 53700 markings, 73458 edges, 2050 markings/sec, 20 secs
lola: 64264 markings, 88338 edges, 2113 markings/sec, 25 secs
lola: 76575 markings, 104003 edges, 2462 markings/sec, 30 secs
lola: 85608 markings, 119119 edges, 1807 markings/sec, 35 secs
lola: 97484 markings, 133953 edges, 2375 markings/sec, 40 secs
lola: 107812 markings, 149399 edges, 2066 markings/sec, 45 secs
lola: 118691 markings, 164443 edges, 2176 markings/sec, 50 secs
lola: 130208 markings, 180176 edges, 2303 markings/sec, 55 secs
lola: 139943 markings, 194828 edges, 1947 markings/sec, 60 secs
lola: 152229 markings, 210490 edges, 2457 markings/sec, 65 secs
lola: 161561 markings, 225908 edges, 1866 markings/sec, 70 secs
lola: 173504 markings, 240993 edges, 2389 markings/sec, 75 secs
lola: 183212 markings, 256859 edges, 1942 markings/sec, 80 secs
lola: 195031 markings, 271674 edges, 2364 markings/sec, 85 secs
lola: 204995 markings, 287262 edges, 1993 markings/sec, 90 secs
lola: 216561 markings, 302376 edges, 2313 markings/sec, 95 secs
lola: 226814 markings, 317898 edges, 2051 markings/sec, 100 secs
lola: 238168 markings, 333299 edges, 2271 markings/sec, 105 secs
lola: 248176 markings, 349327 edges, 2002 markings/sec, 110 secs
lola: 260093 markings, 364443 edges, 2383 markings/sec, 115 secs
lola: 269908 markings, 379980 edges, 1963 markings/sec, 120 secs
lola: 281968 markings, 395728 edges, 2412 markings/sec, 125 secs
lola: 291632 markings, 411149 edges, 1933 markings/sec, 130 secs
lola: 302892 markings, 426900 edges, 2252 markings/sec, 135 secs
lola: 313817 markings, 442386 edges, 2185 markings/sec, 140 secs
lola: 323957 markings, 458248 edges, 2028 markings/sec, 145 secs
lola: 335801 markings, 474174 edges, 2369 markings/sec, 150 secs
lola: 345946 markings, 489558 edges, 2029 markings/sec, 155 secs
lola: 356397 markings, 505627 edges, 2090 markings/sec, 160 secs
lola: 367845 markings, 521545 edges, 2290 markings/sec, 165 secs
lola: 378684 markings, 537195 edges, 2168 markings/sec, 170 secs
lola: 388951 markings, 553318 edges, 2053 markings/sec, 175 secs
lola: 399665 markings, 569522 edges, 2143 markings/sec, 180 secs
lola: 410746 markings, 585550 edges, 2216 markings/sec, 185 secs
lola: 422009 markings, 601899 edges, 2253 markings/sec, 190 secs
lola: 432835 markings, 618175 edges, 2165 markings/sec, 195 secs
lola: 443598 markings, 634431 edges, 2153 markings/sec, 200 secs
lola: 454351 markings, 650731 edges, 2151 markings/sec, 205 secs
lola: 465077 markings, 667599 edges, 2145 markings/sec, 210 secs
lola: 475567 markings, 684077 edges, 2098 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(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16822 markings, 20786 edges, 3364 markings/sec, 0 secs
lola: 29056 markings, 40274 edges, 2447 markings/sec, 5 secs
lola: 46097 markings, 61508 edges, 3408 markings/sec, 10 secs
lola: 58070 markings, 80535 edges, 2395 markings/sec, 15 secs
lola: 75383 markings, 102288 edges, 3463 markings/sec, 20 secs
lola: 87135 markings, 120902 edges, 2350 markings/sec, 25 secs
lola: 103857 markings, 142905 edges, 3344 markings/sec, 30 secs
lola: 115892 markings, 161020 edges, 2407 markings/sec, 35 secs
lola: 131528 markings, 182316 edges, 3127 markings/sec, 40 secs
lola: 145401 markings, 201748 edges, 2775 markings/sec, 45 secs
lola: 159148 markings, 221851 edges, 2749 markings/sec, 50 secs
lola: 174930 markings, 242863 edges, 3156 markings/sec, 55 secs
lola: 187106 markings, 261580 edges, 2435 markings/sec, 60 secs
lola: 202401 markings, 282686 edges, 3059 markings/sec, 65 secs
lola: 216036 markings, 301728 edges, 2727 markings/sec, 70 secs
lola: 228417 markings, 320945 edges, 2476 markings/sec, 75 secs
lola: 243750 markings, 341409 edges, 3067 markings/sec, 80 secs
lola: 256676 markings, 360060 edges, 2585 markings/sec, 85 secs
lola: 269335 markings, 379298 edges, 2532 markings/sec, 90 secs
lola: 284402 markings, 399840 edges, 3013 markings/sec, 95 secs
lola: 297935 markings, 419108 edges, 2707 markings/sec, 100 secs
lola: 310468 markings, 438192 edges, 2507 markings/sec, 105 secs
lola: 323718 markings, 457956 edges, 2650 markings/sec, 110 secs
lola: 338135 markings, 478073 edges, 2883 markings/sec, 115 secs
lola: 352247 markings, 498538 edges, 2822 markings/sec, 120 secs
lola: 366218 markings, 518710 edges, 2794 markings/sec, 125 secs
lola: 379410 markings, 538149 edges, 2638 markings/sec, 130 secs
lola: 392638 markings, 558030 edges, 2646 markings/sec, 135 secs
lola: 406353 markings, 578348 edges, 2743 markings/sec, 140 secs
lola: 420167 markings, 598838 edges, 2763 markings/sec, 145 secs
lola: 433584 markings, 619535 edges, 2683 markings/sec, 150 secs
lola: 446446 markings, 639522 edges, 2572 markings/sec, 155 secs
lola: 459802 markings, 660016 edges, 2671 markings/sec, 160 secs
lola: 474381 markings, 682001 edges, 2916 markings/sec, 165 secs
lola: 487037 markings, 702275 edges, 2531 markings/sec, 170 secs
lola: 500801 markings, 723916 edges, 2753 markings/sec, 175 secs
lola: 514410 markings, 745720 edges, 2722 markings/sec, 180 secs
lola: 527658 markings, 767771 edges, 2650 markings/sec, 185 secs
lola: 541351 markings, 790563 edges, 2739 markings/sec, 190 secs
lola: 554774 markings, 814445 edges, 2685 markings/sec, 195 secs
lola: 567762 markings, 840674 edges, 2598 markings/sec, 200 secs
lola: 581935 markings, 866803 edges, 2835 markings/sec, 205 secs
lola: 601236 markings, 890869 edges, 3860 markings/sec, 210 secs
lola: 622284 markings, 915986 edges, 4210 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(NotifyEventEndOfCheckSourcesB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13037 markings, 16025 edges, 2607 markings/sec, 0 secs
lola: 25183 markings, 33570 edges, 2429 markings/sec, 5 secs
lola: 37120 markings, 50277 edges, 2387 markings/sec, 10 secs
lola: 50774 markings, 68652 edges, 2731 markings/sec, 15 secs
lola: 61364 markings, 84491 edges, 2118 markings/sec, 20 secs
lola: 76069 markings, 103242 edges, 2941 markings/sec, 25 secs
lola: 86096 markings, 119680 edges, 2005 markings/sec, 30 secs
lola: 100240 markings, 137483 edges, 2829 markings/sec, 35 secs
lola: 110883 markings, 154660 edges, 2129 markings/sec, 40 secs
lola: 125045 markings, 172419 edges, 2832 markings/sec, 45 secs
lola: 135743 markings, 189738 edges, 2140 markings/sec, 50 secs
lola: 149863 markings, 207365 edges, 2824 markings/sec, 55 secs
lola: 160643 markings, 224844 edges, 2156 markings/sec, 60 secs
lola: 174734 markings, 242599 edges, 2818 markings/sec, 65 secs
lola: 185495 markings, 259527 edges, 2152 markings/sec, 70 secs
lola: 199756 markings, 278393 edges, 2852 markings/sec, 75 secs
lola: 210417 markings, 294754 edges, 2132 markings/sec, 80 secs
lola: 224026 markings, 313170 edges, 2722 markings/sec, 85 secs
lola: 235782 markings, 330292 edges, 2351 markings/sec, 90 secs
lola: 247629 markings, 348164 edges, 2369 markings/sec, 95 secs
lola: 261602 markings, 366505 edges, 2795 markings/sec, 100 secs
lola: 272498 markings, 383551 edges, 2179 markings/sec, 105 secs
lola: 285523 markings, 401740 edges, 2605 markings/sec, 110 secs
lola: 298431 markings, 419763 edges, 2582 markings/sec, 115 secs
lola: 309803 markings, 437347 edges, 2274 markings/sec, 120 secs
lola: 322151 markings, 455406 edges, 2470 markings/sec, 125 secs
lola: 335761 markings, 474110 edges, 2722 markings/sec, 130 secs
lola: 347581 markings, 491650 edges, 2364 markings/sec, 135 secs
lola: 359673 markings, 510033 edges, 2418 markings/sec, 140 secs
lola: 372031 markings, 528480 edges, 2472 markings/sec, 145 secs
lola: 384880 markings, 547094 edges, 2570 markings/sec, 150 secs
lola: 397435 markings, 565640 edges, 2511 markings/sec, 155 secs
lola: 409980 markings, 584211 edges, 2509 markings/sec, 160 secs
lola: 422542 markings, 602818 edges, 2512 markings/sec, 165 secs
lola: 434603 markings, 621304 edges, 2412 markings/sec, 170 secs
lola: 446200 markings, 639052 edges, 2319 markings/sec, 175 secs
lola: 458108 markings, 657612 edges, 2382 markings/sec, 180 secs
lola: 470558 markings, 676489 edges, 2490 markings/sec, 185 secs
lola: 483473 markings, 695986 edges, 2583 markings/sec, 190 secs
lola: 495004 markings, 714896 edges, 2306 markings/sec, 195 secs
lola: 507760 markings, 734740 edges, 2551 markings/sec, 200 secs
lola: 520037 markings, 754769 edges, 2455 markings/sec, 205 secs
lola: 532010 markings, 774873 edges, 2395 markings/sec, 210 secs
lola: 544452 markings, 795857 edges, 2488 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16662 markings, 20577 edges, 3332 markings/sec, 0 secs
lola: 28774 markings, 39954 edges, 2422 markings/sec, 5 secs
lola: 45550 markings, 60793 edges, 3355 markings/sec, 10 secs
lola: 57548 markings, 79941 edges, 2400 markings/sec, 15 secs
lola: 74580 markings, 101209 edges, 3406 markings/sec, 20 secs
lola: 86404 markings, 120039 edges, 2365 markings/sec, 25 secs
lola: 103287 markings, 141958 edges, 3377 markings/sec, 30 secs
lola: 114748 markings, 159403 edges, 2292 markings/sec, 35 secs
lola: 130686 markings, 180934 edges, 3188 markings/sec, 40 secs
lola: 143722 markings, 199711 edges, 2607 markings/sec, 45 secs
lola: 158233 markings, 220276 edges, 2902 markings/sec, 50 secs
lola: 173396 markings, 240849 edges, 3033 markings/sec, 55 secs
lola: 185931 markings, 260049 edges, 2507 markings/sec, 60 secs
lola: 201713 markings, 281572 edges, 3156 markings/sec, 65 secs
lola: 215628 markings, 301199 edges, 2783 markings/sec, 70 secs
lola: 228714 markings, 321300 edges, 2617 markings/sec, 75 secs
lola: 244025 markings, 341851 edges, 3062 markings/sec, 80 secs
lola: 258012 markings, 361749 edges, 2797 markings/sec, 85 secs
lola: 271077 markings, 381463 edges, 2613 markings/sec, 90 secs
lola: 286098 markings, 402729 edges, 3004 markings/sec, 95 secs
lola: 301320 markings, 424266 edges, 3044 markings/sec, 100 secs
lola: 315411 markings, 444438 edges, 2818 markings/sec, 105 secs
lola: 328872 markings, 464653 edges, 2692 markings/sec, 110 secs
lola: 342560 markings, 485039 edges, 2738 markings/sec, 115 secs
lola: 356848 markings, 506183 edges, 2858 markings/sec, 120 secs
lola: 371132 markings, 527397 edges, 2857 markings/sec, 125 secs
lola: 385511 markings, 548364 edges, 2876 markings/sec, 130 secs
lola: 399663 markings, 569519 edges, 2830 markings/sec, 135 secs
lola: 413969 markings, 590602 edges, 2861 markings/sec, 140 secs
lola: 428543 markings, 612286 edges, 2915 markings/sec, 145 secs
lola: 443619 markings, 634456 edges, 3015 markings/sec, 150 secs
lola: 457135 markings, 655590 edges, 2703 markings/sec, 155 secs
lola: 471357 markings, 677504 edges, 2844 markings/sec, 160 secs
lola: 485417 markings, 699485 edges, 2812 markings/sec, 165 secs
lola: 499935 markings, 722288 edges, 2904 markings/sec, 170 secs
lola: 513970 markings, 744888 edges, 2807 markings/sec, 175 secs
lola: 527674 markings, 767788 edges, 2741 markings/sec, 180 secs
lola: 541773 markings, 791455 edges, 2820 markings/sec, 185 secs
lola: 555612 markings, 816414 edges, 2768 markings/sec, 190 secs
lola: 569529 markings, 844523 edges, 2783 markings/sec, 195 secs
lola: 584686 markings, 870160 edges, 3031 markings/sec, 200 secs
lola: 604228 markings, 894395 edges, 3908 markings/sec, 205 secs
lola: 624967 markings, 919250 edges, 4148 markings/sec, 210 secs
lola: 640920 markings, 942047 edges, 3191 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(place_522_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 12177 markings, 15446 edges, 2435 markings/sec, 0 secs
lola: 24401 markings, 32715 edges, 2445 markings/sec, 5 secs
lola: 34904 markings, 48087 edges, 2101 markings/sec, 10 secs
lola: 49157 markings, 66476 edges, 2851 markings/sec, 15 secs
lola: 58871 markings, 81946 edges, 1943 markings/sec, 20 secs
lola: 72545 markings, 99074 edges, 2735 markings/sec, 25 secs
lola: 83259 markings, 115533 edges, 2143 markings/sec, 30 secs
lola: 95693 markings, 132224 edges, 2487 markings/sec, 35 secs
lola: 107459 markings, 149210 edges, 2353 markings/sec, 40 secs
lola: 119212 markings, 165595 edges, 2351 markings/sec, 45 secs
lola: 131619 markings, 182907 edges, 2481 markings/sec, 50 secs
lola: 142758 markings, 198985 edges, 2228 markings/sec, 55 secs
lola: 155804 markings, 216667 edges, 2609 markings/sec, 60 secs
lola: 166408 markings, 232619 edges, 2121 markings/sec, 65 secs
lola: 179289 markings, 250213 edges, 2576 markings/sec, 70 secs
lola: 190467 markings, 266450 edges, 2236 markings/sec, 75 secs
lola: 202816 markings, 283818 edges, 2470 markings/sec, 80 secs
lola: 214544 markings, 300349 edges, 2346 markings/sec, 85 secs
lola: 226275 markings, 317388 edges, 2346 markings/sec, 90 secs
lola: 238725 markings, 334490 edges, 2490 markings/sec, 95 secs
lola: 249529 markings, 351382 edges, 2161 markings/sec, 100 secs
lola: 263009 markings, 369316 edges, 2696 markings/sec, 105 secs
lola: 273668 markings, 385443 edges, 2132 markings/sec, 110 secs
lola: 285893 markings, 402795 edges, 2445 markings/sec, 115 secs
lola: 298316 markings, 420094 edges, 2485 markings/sec, 120 secs
lola: 309090 markings, 436949 edges, 2155 markings/sec, 125 secs
lola: 321365 markings, 454389 edges, 2455 markings/sec, 130 secs
lola: 334080 markings, 471848 edges, 2543 markings/sec, 135 secs
lola: 344997 markings, 488868 edges, 2183 markings/sec, 140 secs
lola: 356794 markings, 506602 edges, 2359 markings/sec, 145 secs
lola: 369311 markings, 524502 edges, 2503 markings/sec, 150 secs
lola: 382186 markings, 542853 edges, 2575 markings/sec, 155 secs
lola: 393835 markings, 560094 edges, 2330 markings/sec, 160 secs
lola: 405473 markings, 577682 edges, 2328 markings/sec, 165 secs
lola: 417130 markings, 595331 edges, 2331 markings/sec, 170 secs
lola: 428849 markings, 613152 edges, 2344 markings/sec, 175 secs
lola: 440846 markings, 631144 edges, 2399 markings/sec, 180 secs
lola: 452834 markings, 649131 edges, 2398 markings/sec, 185 secs
lola: 464877 markings, 667545 edges, 2409 markings/sec, 190 secs
lola: 476147 markings, 685540 edges, 2254 markings/sec, 195 secs
lola: 487779 markings, 703999 edges, 2326 markings/sec, 200 secs
lola: 500011 markings, 722859 edges, 2446 markings/sec, 205 secs
lola: 511528 markings, 741449 edges, 2303 markings/sec, 210 secs
lola: 523165 markings, 760660 edges, 2327 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(Try_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 1608 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: 16471 markings, 20348 edges, 3294 markings/sec, 0 secs
lola: 28483 markings, 39635 edges, 2402 markings/sec, 5 secs
lola: 44978 markings, 60064 edges, 3299 markings/sec, 10 secs
lola: 56909 markings, 79212 edges, 2386 markings/sec, 15 secs
lola: 73493 markings, 99798 edges, 3317 markings/sec, 20 secs
lola: 84908 markings, 118343 edges, 2283 markings/sec, 25 secs
lola: 101629 markings, 139332 edges, 3344 markings/sec, 30 secs
lola: 113344 markings, 157561 edges, 2343 markings/sec, 35 secs
lola: 129739 markings, 179438 edges, 3279 markings/sec, 40 secs
lola: 142172 markings, 197783 edges, 2487 markings/sec, 45 secs
lola: 157249 markings, 218629 edges, 3015 markings/sec, 50 secs
lola: 171491 markings, 238446 edges, 2848 markings/sec, 55 secs
lola: 184310 markings, 258123 edges, 2564 markings/sec, 60 secs
lola: 200475 markings, 279561 edges, 3233 markings/sec, 65 secs
lola: 213305 markings, 298334 edges, 2566 markings/sec, 70 secs
lola: 227144 markings, 318532 edges, 2768 markings/sec, 75 secs
lola: 242960 markings, 340129 edges, 3163 markings/sec, 80 secs
lola: 255991 markings, 359221 edges, 2606 markings/sec, 85 secs
lola: 269327 markings, 379290 edges, 2667 markings/sec, 90 secs
lola: 284725 markings, 400412 edges, 3080 markings/sec, 95 secs
lola: 299382 markings, 421063 edges, 2931 markings/sec, 100 secs
lola: 312601 markings, 440846 edges, 2644 markings/sec, 105 secs
lola: 325919 markings, 460772 edges, 2664 markings/sec, 110 secs
lola: 340063 markings, 481745 edges, 2829 markings/sec, 115 secs
lola: 354514 markings, 502508 edges, 2890 markings/sec, 120 secs
lola: 368962 markings, 523474 edges, 2890 markings/sec, 125 secs
lola: 383370 markings, 544446 edges, 2882 markings/sec, 130 secs
lola: 397190 markings, 565210 edges, 2764 markings/sec, 135 secs
lola: 411002 markings, 586041 edges, 2762 markings/sec, 140 secs
lola: 424807 markings, 607121 edges, 2761 markings/sec, 145 secs
lola: 439055 markings, 628385 edges, 2850 markings/sec, 150 secs
lola: 453944 markings, 650157 edges, 2978 markings/sec, 155 secs
lola: 467141 markings, 671377 edges, 2639 markings/sec, 160 secs
lola: 481781 markings, 693402 edges, 2928 markings/sec, 165 secs
lola: 495138 markings, 715179 edges, 2671 markings/sec, 170 secs
lola: 509164 markings, 737575 edges, 2805 markings/sec, 175 secs
lola: 523360 markings, 760447 edges, 2839 markings/sec, 180 secs
lola: 537129 markings, 783862 edges, 2754 markings/sec, 185 secs
lola: 551313 markings, 808110 edges, 2837 markings/sec, 190 secs
lola: 564820 markings, 834324 edges, 2701 markings/sec, 195 secs
lola: 578511 markings, 862606 edges, 2738 markings/sec, 200 secs
lola: 597037 markings, 885971 edges, 3705 markings/sec, 205 secs
lola: 617702 markings, 910444 edges, 4133 markings/sec, 210 secs
lola: 636071 markings, 934780 edges, 3674 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_523_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 15060 markings, 18546 edges, 3012 markings/sec, 0 secs
lola: 26884 markings, 36484 edges, 2365 markings/sec, 5 secs
lola: 40814 markings, 54838 edges, 2786 markings/sec, 10 secs
lola: 53660 markings, 73396 edges, 2569 markings/sec, 15 secs
lola: 66562 markings, 91150 edges, 2580 markings/sec, 20 secs
lola: 80459 markings, 110392 edges, 2779 markings/sec, 25 secs
lola: 92459 markings, 127743 edges, 2400 markings/sec, 30 secs
lola: 106240 markings, 146759 edges, 2756 markings/sec, 35 secs
lola: 118433 markings, 164151 edges, 2439 markings/sec, 40 secs
lola: 131908 markings, 182976 edges, 2695 markings/sec, 45 secs
lola: 144409 markings, 200556 edges, 2500 markings/sec, 50 secs
lola: 157560 markings, 219128 edges, 2630 markings/sec, 55 secs
lola: 169916 markings, 236468 edges, 2471 markings/sec, 60 secs
lola: 182035 markings, 254487 edges, 2424 markings/sec, 65 secs
lola: 196518 markings, 273581 edges, 2897 markings/sec, 70 secs
lola: 207745 markings, 291143 edges, 2245 markings/sec, 75 secs
lola: 222780 markings, 311136 edges, 3007 markings/sec, 80 secs
lola: 234250 markings, 328383 edges, 2294 markings/sec, 85 secs
lola: 247099 markings, 347125 edges, 2570 markings/sec, 90 secs
lola: 261807 markings, 366802 edges, 2942 markings/sec, 95 secs
lola: 273120 markings, 384315 edges, 2263 markings/sec, 100 secs
lola: 286408 markings, 403275 edges, 2658 markings/sec, 105 secs
lola: 300663 markings, 423175 edges, 2851 markings/sec, 110 secs
lola: 312684 markings, 440945 edges, 2404 markings/sec, 115 secs
lola: 324884 markings, 459364 edges, 2440 markings/sec, 120 secs
lola: 338488 markings, 478679 edges, 2721 markings/sec, 125 secs
lola: 352199 markings, 498459 edges, 2742 markings/sec, 130 secs
lola: 365561 markings, 517685 edges, 2672 markings/sec, 135 secs
lola: 378152 markings, 536495 edges, 2518 markings/sec, 140 secs
lola: 390792 markings, 555641 edges, 2528 markings/sec, 145 secs
lola: 403770 markings, 575018 edges, 2596 markings/sec, 150 secs
lola: 416763 markings, 594390 edges, 2599 markings/sec, 155 secs
lola: 429796 markings, 613899 edges, 2607 markings/sec, 160 secs
lola: 443214 markings, 633853 edges, 2684 markings/sec, 165 secs
lola: 455998 markings, 653567 edges, 2557 markings/sec, 170 secs
lola: 468074 markings, 672985 edges, 2415 markings/sec, 175 secs
lola: 481646 markings, 693211 edges, 2714 markings/sec, 180 secs
lola: 493928 markings, 713404 edges, 2456 markings/sec, 185 secs
lola: 507424 markings, 734152 edges, 2699 markings/sec, 190 secs
lola: 520136 markings, 754950 edges, 2542 markings/sec, 195 secs
lola: 532564 markings, 776036 edges, 2486 markings/sec, 200 secs
lola: 545430 markings, 797927 edges, 2573 markings/sec, 205 secs
lola: 558138 markings, 821036 edges, 2542 markings/sec, 210 secs
lola: 570639 markings, 847752 edges, 2500 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_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13607 markings, 18092 edges, 2721 markings/sec, 0 secs
lola: 25676 markings, 35601 edges, 2414 markings/sec, 5 secs
lola: 37684 markings, 52332 edges, 2402 markings/sec, 10 secs
lola: 51339 markings, 70739 edges, 2731 markings/sec, 15 secs
lola: 62009 markings, 86682 edges, 2134 markings/sec, 20 secs
lola: 76862 markings, 105678 edges, 2971 markings/sec, 25 secs
lola: 86904 markings, 122018 edges, 2008 markings/sec, 30 secs
lola: 101223 markings, 140101 edges, 2864 markings/sec, 35 secs
lola: 111769 markings, 157076 edges, 2109 markings/sec, 40 secs
lola: 126008 markings, 174990 edges, 2848 markings/sec, 45 secs
lola: 136627 markings, 192132 edges, 2124 markings/sec, 50 secs
lola: 150764 markings, 209868 edges, 2827 markings/sec, 55 secs
lola: 161407 markings, 227130 edges, 2129 markings/sec, 60 secs
lola: 175563 markings, 245035 edges, 2831 markings/sec, 65 secs
lola: 186248 markings, 261814 edges, 2137 markings/sec, 70 secs
lola: 200434 markings, 280672 edges, 2837 markings/sec, 75 secs
lola: 211168 markings, 297070 edges, 2147 markings/sec, 80 secs
lola: 224645 markings, 315394 edges, 2695 markings/sec, 85 secs
lola: 236542 markings, 332615 edges, 2379 markings/sec, 90 secs
lola: 248249 markings, 350538 edges, 2341 markings/sec, 95 secs
lola: 262333 markings, 368848 edges, 2817 markings/sec, 100 secs
lola: 273226 markings, 385774 edges, 2179 markings/sec, 105 secs
lola: 286100 markings, 403892 edges, 2575 markings/sec, 110 secs
lola: 299088 markings, 421958 edges, 2598 markings/sec, 115 secs
lola: 310421 markings, 439482 edges, 2267 markings/sec, 120 secs
lola: 322687 markings, 457540 edges, 2453 markings/sec, 125 secs
lola: 336331 markings, 476210 edges, 2729 markings/sec, 130 secs
lola: 347885 markings, 493377 edges, 2311 markings/sec, 135 secs
lola: 359619 markings, 511317 edges, 2347 markings/sec, 140 secs
lola: 371910 markings, 529699 edges, 2458 markings/sec, 145 secs
lola: 384729 markings, 547920 edges, 2564 markings/sec, 150 secs
lola: 397224 markings, 566399 edges, 2499 markings/sec, 155 secs
lola: 409711 markings, 584909 edges, 2497 markings/sec, 160 secs
lola: 422214 markings, 603436 edges, 2501 markings/sec, 165 secs
lola: 434021 markings, 621458 edges, 2361 markings/sec, 170 secs
lola: 445976 markings, 639779 edges, 2391 markings/sec, 175 secs
lola: 457928 markings, 658171 edges, 2390 markings/sec, 180 secs
lola: 470062 markings, 677191 edges, 2427 markings/sec, 185 secs
lola: 482932 markings, 696278 edges, 2574 markings/sec, 190 secs
lola: 494496 markings, 715472 edges, 2313 markings/sec, 195 secs
lola: 507376 markings, 735214 edges, 2576 markings/sec, 200 secs
lola: 519400 markings, 754719 edges, 2405 markings/sec, 205 secs
lola: 531521 markings, 775022 edges, 2424 markings/sec, 210 secs
lola: 543344 markings, 795519 edges, 2365 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(Schedule_Task_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 15809 markings, 19490 edges, 3162 markings/sec, 0 secs
lola: 27732 markings, 38065 edges, 2385 markings/sec, 5 secs
lola: 43019 markings, 57573 edges, 3057 markings/sec, 10 secs
lola: 55290 markings, 76206 edges, 2454 markings/sec, 15 secs
lola: 70317 markings, 95778 edges, 3005 markings/sec, 20 secs
lola: 83120 markings, 114866 edges, 2561 markings/sec, 25 secs
lola: 97672 markings, 134213 edges, 2910 markings/sec, 30 secs
lola: 109704 markings, 152888 edges, 2406 markings/sec, 35 secs
lola: 125433 markings, 172918 edges, 3146 markings/sec, 40 secs
lola: 136849 markings, 191002 edges, 2283 markings/sec, 45 secs
lola: 153094 markings, 211728 edges, 3249 markings/sec, 50 secs
lola: 163577 markings, 228305 edges, 2097 markings/sec, 55 secs
lola: 178798 markings, 248947 edges, 3044 markings/sec, 60 secs
lola: 191363 markings, 267097 edges, 2513 markings/sec, 65 secs
lola: 204492 markings, 286309 edges, 2626 markings/sec, 70 secs
lola: 219555 markings, 306218 edges, 3013 markings/sec, 75 secs
lola: 231034 markings, 324100 edges, 2296 markings/sec, 80 secs
lola: 245528 markings, 344360 edges, 2899 markings/sec, 85 secs
lola: 259667 markings, 363878 edges, 2828 markings/sec, 90 secs
lola: 271532 markings, 382105 edges, 2373 markings/sec, 95 secs
lola: 285853 markings, 402305 edges, 2864 markings/sec, 100 secs
lola: 300442 markings, 422854 edges, 2918 markings/sec, 105 secs
lola: 312864 markings, 441163 edges, 2484 markings/sec, 110 secs
lola: 325429 markings, 460080 edges, 2513 markings/sec, 115 secs
lola: 339258 markings, 480052 edges, 2766 markings/sec, 120 secs
lola: 353211 markings, 500174 edges, 2791 markings/sec, 125 secs
lola: 367166 markings, 520406 edges, 2791 markings/sec, 130 secs
lola: 380751 markings, 539993 edges, 2717 markings/sec, 135 secs
lola: 393820 markings, 559593 edges, 2614 markings/sec, 140 secs
lola: 407363 markings, 579750 edges, 2709 markings/sec, 145 secs
lola: 420941 markings, 599992 edges, 2716 markings/sec, 150 secs
lola: 433854 markings, 620017 edges, 2583 markings/sec, 155 secs
lola: 446793 markings, 640235 edges, 2588 markings/sec, 160 secs
lola: 460828 markings, 661545 edges, 2807 markings/sec, 165 secs
lola: 475250 markings, 683504 edges, 2884 markings/sec, 170 secs
lola: 488958 markings, 705052 edges, 2742 markings/sec, 175 secs
lola: 502595 markings, 726909 edges, 2727 markings/sec, 180 secs
lola: 516577 markings, 749568 edges, 2796 markings/sec, 185 secs
lola: 530959 markings, 772880 edges, 2876 markings/sec, 190 secs
lola: 544659 markings, 796396 edges, 2740 markings/sec, 195 secs
lola: 558120 markings, 820973 edges, 2692 markings/sec, 200 secs
lola: 571603 markings, 850254 edges, 2697 markings/sec, 205 secs
lola: 587488 markings, 873652 edges, 3177 markings/sec, 210 secs
lola: 607198 markings, 897893 edges, 3942 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(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 1608 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: 16604 markings, 20508 edges, 3321 markings/sec, 0 secs
lola: 28780 markings, 39967 edges, 2435 markings/sec, 5 secs
lola: 45530 markings, 60779 edges, 3350 markings/sec, 10 secs
lola: 57524 markings, 79913 edges, 2399 markings/sec, 15 secs
lola: 74401 markings, 100992 edges, 3375 markings/sec, 20 secs
lola: 86212 markings, 119831 edges, 2362 markings/sec, 25 secs
lola: 103096 markings, 141690 edges, 3377 markings/sec, 30 secs
lola: 114530 markings, 159096 edges, 2287 markings/sec, 35 secs
lola: 130537 markings, 180717 edges, 3201 markings/sec, 40 secs
lola: 143496 markings, 199408 edges, 2592 markings/sec, 45 secs
lola: 157962 markings, 219817 edges, 2893 markings/sec, 50 secs
lola: 172694 markings, 239949 edges, 2946 markings/sec, 55 secs
lola: 185179 markings, 259144 edges, 2497 markings/sec, 60 secs
lola: 201064 markings, 280520 edges, 3177 markings/sec, 65 secs
lola: 214297 markings, 299542 edges, 2647 markings/sec, 70 secs
lola: 227635 markings, 319462 edges, 2668 markings/sec, 75 secs
lola: 243428 markings, 340882 edges, 3159 markings/sec, 80 secs
lola: 256693 markings, 360083 edges, 2653 markings/sec, 85 secs
lola: 269797 markings, 379868 edges, 2621 markings/sec, 90 secs
lola: 285021 markings, 400900 edges, 3045 markings/sec, 95 secs
lola: 299798 markings, 421669 edges, 2955 markings/sec, 100 secs
lola: 312964 markings, 441310 edges, 2633 markings/sec, 105 secs
lola: 326109 markings, 461114 edges, 2629 markings/sec, 110 secs
lola: 340149 markings, 482084 edges, 2808 markings/sec, 115 secs
lola: 354609 markings, 502676 edges, 2892 markings/sec, 120 secs
lola: 369042 markings, 523608 edges, 2887 markings/sec, 125 secs
lola: 383484 markings, 544623 edges, 2888 markings/sec, 130 secs
lola: 397307 markings, 565425 edges, 2765 markings/sec, 135 secs
lola: 411146 markings, 586305 edges, 2768 markings/sec, 140 secs
lola: 425004 markings, 607513 edges, 2772 markings/sec, 145 secs
lola: 439319 markings, 628712 edges, 2863 markings/sec, 150 secs
lola: 454175 markings, 650481 edges, 2971 markings/sec, 155 secs
lola: 467274 markings, 671650 edges, 2620 markings/sec, 160 secs
lola: 481983 markings, 693660 edges, 2942 markings/sec, 165 secs
lola: 495220 markings, 715395 edges, 2647 markings/sec, 170 secs
lola: 509136 markings, 737547 edges, 2783 markings/sec, 175 secs
lola: 523248 markings, 760299 edges, 2822 markings/sec, 180 secs
lola: 537054 markings, 783608 edges, 2761 markings/sec, 185 secs
lola: 551072 markings, 807759 edges, 2804 markings/sec, 190 secs
lola: 564598 markings, 833885 edges, 2705 markings/sec, 195 secs
lola: 578172 markings, 862050 edges, 2715 markings/sec, 200 secs
lola: 596610 markings, 885409 edges, 3688 markings/sec, 205 secs
lola: 617085 markings, 909698 edges, 4095 markings/sec, 210 secs
lola: 635597 markings, 934115 edges, 3702 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-S10J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496341658309

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