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 PolyORBLF-COL-S02J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869800308
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494618139851


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S02J06T10 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2656/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 844 places, 1812 transitions, 786 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2543 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: MAX(p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204) : MAX(p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817) : MAX(p133 + p134) : MAX(p105 + p106 + p107 + p108 + p109 + p110 + p111) : MAX(p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841) : MAX(p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p797 + p796 + p795 + p794 + p793 + p792 + p791) : MAX(p570) : MAX(p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286) : MAX(p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414) : MAX(p94) : MAX(p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569) : MAX(p726) : MAX(p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367) : MAX(p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631) : MAX(p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73) : MAX(p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286)
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(p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 90548 markings, 92474 edges, 18110 markings/sec, 0 secs
lola: 180602 markings, 185016 edges, 18011 markings/sec, 5 secs
lola: 269944 markings, 276564 edges, 17868 markings/sec, 10 secs
lola: 358979 markings, 367820 edges, 17807 markings/sec, 15 secs
lola: 447945 markings, 459188 edges, 17793 markings/sec, 20 secs
lola: 536856 markings, 550618 edges, 17782 markings/sec, 25 secs
lola: 625818 markings, 642092 edges, 17792 markings/sec, 30 secs
lola: 714758 markings, 733184 edges, 17788 markings/sec, 35 secs
lola: 803743 markings, 824482 edges, 17797 markings/sec, 40 secs
lola: 892539 markings, 915572 edges, 17759 markings/sec, 45 secs
lola: 981464 markings, 1007256 edges, 17785 markings/sec, 50 secs
lola: 1070022 markings, 1098128 edges, 17712 markings/sec, 55 secs
lola: 1158674 markings, 1189160 edges, 17730 markings/sec, 60 secs
lola: 1247218 markings, 1280355 edges, 17709 markings/sec, 65 secs
lola: 1335566 markings, 1371065 edges, 17670 markings/sec, 70 secs
lola: 1424132 markings, 1462500 edges, 17713 markings/sec, 75 secs
lola: 1512410 markings, 1554114 edges, 17656 markings/sec, 80 secs
lola: 1600314 markings, 1645876 edges, 17581 markings/sec, 85 secs
lola: 1688493 markings, 1737595 edges, 17636 markings/sec, 90 secs
lola: 1776238 markings, 1829434 edges, 17549 markings/sec, 95 secs
lola: 1864085 markings, 1921304 edges, 17569 markings/sec, 100 secs
lola: 1951813 markings, 2013178 edges, 17546 markings/sec, 105 secs
lola: 2039364 markings, 2104903 edges, 17510 markings/sec, 110 secs
lola: 2127117 markings, 2197191 edges, 17551 markings/sec, 115 secs
lola: 2214990 markings, 2289333 edges, 17575 markings/sec, 120 secs
lola: 2302576 markings, 2381376 edges, 17517 markings/sec, 125 secs
lola: 2390177 markings, 2473750 edges, 17520 markings/sec, 130 secs
lola: 2477597 markings, 2565794 edges, 17484 markings/sec, 135 secs
lola: 2564643 markings, 2657246 edges, 17409 markings/sec, 140 secs
lola: 2652024 markings, 2749332 edges, 17476 markings/sec, 145 secs
lola: 2739288 markings, 2841455 edges, 17453 markings/sec, 150 secs
lola: 2826653 markings, 2933721 edges, 17473 markings/sec, 155 secs
lola: 2913651 markings, 3025295 edges, 17400 markings/sec, 160 secs
lola: 3000761 markings, 3116982 edges, 17422 markings/sec, 165 secs
lola: 3088043 markings, 3208701 edges, 17456 markings/sec, 170 secs
lola: 3175109 markings, 3300491 edges, 17413 markings/sec, 175 secs
lola: 3261521 markings, 3391679 edges, 17282 markings/sec, 180 secs
lola: 3348017 markings, 3483317 edges, 17299 markings/sec, 185 secs
lola: 3434891 markings, 3574832 edges, 17375 markings/sec, 190 secs
lola: 3521974 markings, 3666681 edges, 17417 markings/sec, 195 secs
lola: 3608760 markings, 3758691 edges, 17357 markings/sec, 200 secs
lola: 3695644 markings, 3850761 edges, 17377 markings/sec, 205 secs
lola: 3782257 markings, 3942250 edges, 17323 markings/sec, 210 secs
lola: 3868928 markings, 4034180 edges, 17334 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(p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 84707 markings, 86494 edges, 16941 markings/sec, 0 secs
lola: 170056 markings, 174149 edges, 17070 markings/sec, 5 secs
lola: 254763 markings, 260977 edges, 16941 markings/sec, 10 secs
lola: 339185 markings, 347540 edges, 16884 markings/sec, 15 secs
lola: 423478 markings, 434028 edges, 16859 markings/sec, 20 secs
lola: 507890 markings, 521009 edges, 16882 markings/sec, 25 secs
lola: 591860 markings, 607110 edges, 16794 markings/sec, 30 secs
lola: 675861 markings, 693288 edges, 16800 markings/sec, 35 secs
lola: 762271 markings, 781953 edges, 17282 markings/sec, 40 secs
lola: 850619 markings, 872518 edges, 17670 markings/sec, 45 secs
lola: 939015 markings, 963396 edges, 17679 markings/sec, 50 secs
lola: 1027213 markings, 1054131 edges, 17640 markings/sec, 55 secs
lola: 1115449 markings, 1144896 edges, 17647 markings/sec, 60 secs
lola: 1203344 markings, 1234982 edges, 17579 markings/sec, 65 secs
lola: 1291442 markings, 1325814 edges, 17620 markings/sec, 70 secs
lola: 1379545 markings, 1416557 edges, 17621 markings/sec, 75 secs
lola: 1467437 markings, 1507280 edges, 17578 markings/sec, 80 secs
lola: 1555221 markings, 1598899 edges, 17557 markings/sec, 85 secs
lola: 1642885 markings, 1690276 edges, 17533 markings/sec, 90 secs
lola: 1730282 markings, 1781394 edges, 17479 markings/sec, 95 secs
lola: 1817522 markings, 1872673 edges, 17448 markings/sec, 100 secs
lola: 1904833 markings, 1964043 edges, 17462 markings/sec, 105 secs
lola: 1992037 markings, 2055476 edges, 17441 markings/sec, 110 secs
lola: 2079195 markings, 2146681 edges, 17432 markings/sec, 115 secs
lola: 2166636 markings, 2238674 edges, 17488 markings/sec, 120 secs
lola: 2253878 markings, 2330250 edges, 17448 markings/sec, 125 secs
lola: 2341276 markings, 2422176 edges, 17480 markings/sec, 130 secs
lola: 2429004 markings, 2514585 edges, 17546 markings/sec, 135 secs
lola: 2516564 markings, 2606731 edges, 17512 markings/sec, 140 secs
lola: 2603974 markings, 2698688 edges, 17482 markings/sec, 145 secs
lola: 2690603 markings, 2790021 edges, 17326 markings/sec, 150 secs
lola: 2777866 markings, 2882189 edges, 17453 markings/sec, 155 secs
lola: 2865225 markings, 2974380 edges, 17472 markings/sec, 160 secs
lola: 2952415 markings, 3066013 edges, 17438 markings/sec, 165 secs
lola: 3039566 markings, 3157674 edges, 17430 markings/sec, 170 secs
lola: 3126628 markings, 3249197 edges, 17412 markings/sec, 175 secs
lola: 3213068 markings, 3340574 edges, 17288 markings/sec, 180 secs
lola: 3299463 markings, 3431906 edges, 17279 markings/sec, 185 secs
lola: 3386249 markings, 3523612 edges, 17357 markings/sec, 190 secs
lola: 3473218 markings, 3615221 edges, 17394 markings/sec, 195 secs
lola: 3560344 markings, 3707220 edges, 17425 markings/sec, 200 secs
lola: 3647109 markings, 3799367 edges, 17353 markings/sec, 205 secs
lola: 3733772 markings, 3891101 edges, 17333 markings/sec, 210 secs
lola: 3820371 markings, 3982632 edges, 17320 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(p133 + p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 81696 markings, 97203 edges, 16339 markings/sec, 0 secs
lola: 163314 markings, 196594 edges, 16324 markings/sec, 5 secs
lola: 244591 markings, 294401 edges, 16255 markings/sec, 10 secs
lola: 326042 markings, 393251 edges, 16290 markings/sec, 15 secs
lola: 407269 markings, 492137 edges, 16245 markings/sec, 20 secs
lola: 488493 markings, 590699 edges, 16245 markings/sec, 25 secs
lola: 569404 markings, 689157 edges, 16182 markings/sec, 30 secs
lola: 650421 markings, 787448 edges, 16203 markings/sec, 35 secs
lola: 731463 markings, 886173 edges, 16208 markings/sec, 40 secs
lola: 812254 markings, 984929 edges, 16158 markings/sec, 45 secs
lola: 893241 markings, 1084218 edges, 16197 markings/sec, 50 secs
lola: 974098 markings, 1183437 edges, 16171 markings/sec, 55 secs
lola: 1055031 markings, 1282850 edges, 16187 markings/sec, 60 secs
lola: 1135838 markings, 1381939 edges, 16161 markings/sec, 65 secs
lola: 1216837 markings, 1480400 edges, 16200 markings/sec, 70 secs
lola: 1297788 markings, 1579650 edges, 16190 markings/sec, 75 secs
lola: 1378535 markings, 1679605 edges, 16149 markings/sec, 80 secs
lola: 1459390 markings, 1779116 edges, 16171 markings/sec, 85 secs
lola: 1539934 markings, 1877458 edges, 16109 markings/sec, 90 secs
lola: 1620713 markings, 1976222 edges, 16156 markings/sec, 95 secs
lola: 1701114 markings, 2073947 edges, 16080 markings/sec, 100 secs
lola: 1781777 markings, 2172835 edges, 16133 markings/sec, 105 secs
lola: 1862575 markings, 2272178 edges, 16160 markings/sec, 110 secs
lola: 1943060 markings, 2371330 edges, 16097 markings/sec, 115 secs
lola: 2023427 markings, 2470275 edges, 16073 markings/sec, 120 secs
lola: 2103942 markings, 2570153 edges, 16103 markings/sec, 125 secs
lola: 2184507 markings, 2668770 edges, 16113 markings/sec, 130 secs
lola: 2265100 markings, 2769155 edges, 16119 markings/sec, 135 secs
lola: 2345577 markings, 2868470 edges, 16095 markings/sec, 140 secs
lola: 2425944 markings, 2966347 edges, 16073 markings/sec, 145 secs
lola: 2506342 markings, 3064818 edges, 16080 markings/sec, 150 secs
lola: 2586690 markings, 3163623 edges, 16070 markings/sec, 155 secs
lola: 2667055 markings, 3263009 edges, 16073 markings/sec, 160 secs
lola: 2747463 markings, 3361904 edges, 16082 markings/sec, 165 secs
lola: 2827919 markings, 3460984 edges, 16091 markings/sec, 170 secs
lola: 2908052 markings, 3558967 edges, 16027 markings/sec, 175 secs
lola: 2988482 markings, 3657479 edges, 16086 markings/sec, 180 secs
lola: 3068735 markings, 3755129 edges, 16051 markings/sec, 185 secs
lola: 3148841 markings, 3853777 edges, 16021 markings/sec, 190 secs
lola: 3228904 markings, 3952017 edges, 16013 markings/sec, 195 secs
lola: 3309070 markings, 4051344 edges, 16033 markings/sec, 200 secs
lola: 3389051 markings, 4149642 edges, 15996 markings/sec, 205 secs
lola: 3469380 markings, 4248258 edges, 16066 markings/sec, 210 secs
lola: 3549723 markings, 4346853 edges, 16069 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(p105 + p106 + p107 + p108 + p109 + p110 + p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 79611 markings, 81301 edges, 15922 markings/sec, 0 secs
lola: 158609 markings, 162292 edges, 15800 markings/sec, 5 secs
lola: 237148 markings, 242964 edges, 15708 markings/sec, 10 secs
lola: 315425 markings, 323274 edges, 15655 markings/sec, 15 secs
lola: 393528 markings, 403233 edges, 15621 markings/sec, 20 secs
lola: 470146 markings, 481994 edges, 15324 markings/sec, 25 secs
lola: 547180 markings, 561149 edges, 15407 markings/sec, 30 secs
lola: 623763 markings, 639949 edges, 15317 markings/sec, 35 secs
lola: 697172 markings, 715108 edges, 14682 markings/sec, 40 secs
lola: 772957 markings, 792889 edges, 15157 markings/sec, 45 secs
lola: 850646 markings, 872548 edges, 15538 markings/sec, 50 secs
lola: 925684 markings, 949668 edges, 15008 markings/sec, 55 secs
lola: 999367 markings, 1025702 edges, 14737 markings/sec, 60 secs
lola: 1075391 markings, 1103667 edges, 15205 markings/sec, 65 secs
lola: 1150025 markings, 1180243 edges, 14927 markings/sec, 70 secs
lola: 1224993 markings, 1257450 edges, 14994 markings/sec, 75 secs
lola: 1301310 markings, 1336005 edges, 15263 markings/sec, 80 secs
lola: 1378780 markings, 1415776 edges, 15494 markings/sec, 85 secs
lola: 1456329 markings, 1495860 edges, 15510 markings/sec, 90 secs
lola: 1532474 markings, 1575141 edges, 15229 markings/sec, 95 secs
lola: 1608731 markings, 1654701 edges, 15251 markings/sec, 100 secs
lola: 1685967 markings, 1734971 edges, 15447 markings/sec, 105 secs
lola: 1761264 markings, 1813737 edges, 15059 markings/sec, 110 secs
lola: 1836648 markings, 1892556 edges, 15077 markings/sec, 115 secs
lola: 1916623 markings, 1976321 edges, 15995 markings/sec, 120 secs
lola: 1996129 markings, 2059792 edges, 15901 markings/sec, 125 secs
lola: 2075722 markings, 2143036 edges, 15919 markings/sec, 130 secs
lola: 2155410 markings, 2226859 edges, 15938 markings/sec, 135 secs
lola: 2235040 markings, 2310481 edges, 15926 markings/sec, 140 secs
lola: 2314623 markings, 2394111 edges, 15917 markings/sec, 145 secs
lola: 2394267 markings, 2478070 edges, 15929 markings/sec, 150 secs
lola: 2473929 markings, 2561924 edges, 15932 markings/sec, 155 secs
lola: 2553504 markings, 2645511 edges, 15915 markings/sec, 160 secs
lola: 2632908 markings, 2729255 edges, 15881 markings/sec, 165 secs
lola: 2712579 markings, 2813154 edges, 15934 markings/sec, 170 secs
lola: 2791577 markings, 2896796 edges, 15800 markings/sec, 175 secs
lola: 2870812 markings, 2980264 edges, 15847 markings/sec, 180 secs
lola: 2950130 markings, 3063628 edges, 15864 markings/sec, 185 secs
lola: 3029339 markings, 3146957 edges, 15842 markings/sec, 190 secs
lola: 3108393 markings, 3230061 edges, 15811 markings/sec, 195 secs
lola: 3187519 markings, 3313589 edges, 15825 markings/sec, 200 secs
lola: 3266801 markings, 3397222 edges, 15856 markings/sec, 205 secs
lola: 3346019 markings, 3481169 edges, 15844 markings/sec, 210 secs
lola: 3424746 markings, 3564144 edges, 15745 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(p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 75837 markings, 77451 edges, 15167 markings/sec, 0 secs
lola: 153042 markings, 156554 edges, 15441 markings/sec, 5 secs
lola: 230100 markings, 235758 edges, 15412 markings/sec, 10 secs
lola: 306825 markings, 314441 edges, 15345 markings/sec, 15 secs
lola: 383333 markings, 392771 edges, 15302 markings/sec, 20 secs
lola: 459826 markings, 471337 edges, 15299 markings/sec, 25 secs
lola: 536115 markings, 549860 edges, 15258 markings/sec, 30 secs
lola: 612416 markings, 628225 edges, 15260 markings/sec, 35 secs
lola: 688717 markings, 706461 edges, 15260 markings/sec, 40 secs
lola: 764961 markings, 784673 edges, 15249 markings/sec, 45 secs
lola: 841144 markings, 862848 edges, 15237 markings/sec, 50 secs
lola: 917246 markings, 940946 edges, 15220 markings/sec, 55 secs
lola: 993364 markings, 1019571 edges, 15224 markings/sec, 60 secs
lola: 1069269 markings, 1097338 edges, 15181 markings/sec, 65 secs
lola: 1145279 markings, 1175381 edges, 15202 markings/sec, 70 secs
lola: 1221124 markings, 1253366 edges, 15169 markings/sec, 75 secs
lola: 1297087 markings, 1331656 edges, 15193 markings/sec, 80 secs
lola: 1373003 markings, 1409756 edges, 15183 markings/sec, 85 secs
lola: 1448789 markings, 1488029 edges, 15157 markings/sec, 90 secs
lola: 1524703 markings, 1566971 edges, 15183 markings/sec, 95 secs
lola: 1600512 markings, 1646082 edges, 15162 markings/sec, 100 secs
lola: 1676316 markings, 1724931 edges, 15161 markings/sec, 105 secs
lola: 1751946 markings, 1803996 edges, 15126 markings/sec, 110 secs
lola: 1827756 markings, 1883355 edges, 15162 markings/sec, 115 secs
lola: 1903468 markings, 1962608 edges, 15142 markings/sec, 120 secs
lola: 1979221 markings, 2041971 edges, 15151 markings/sec, 125 secs
lola: 2054937 markings, 2121123 edges, 15143 markings/sec, 130 secs
lola: 2130732 markings, 2200995 edges, 15159 markings/sec, 135 secs
lola: 2206452 markings, 2280488 edges, 15144 markings/sec, 140 secs
lola: 2282164 markings, 2359836 edges, 15142 markings/sec, 145 secs
lola: 2357932 markings, 2439792 edges, 15154 markings/sec, 150 secs
lola: 2433554 markings, 2519379 edges, 15124 markings/sec, 155 secs
lola: 2509006 markings, 2598817 edges, 15090 markings/sec, 160 secs
lola: 2584432 markings, 2678063 edges, 15085 markings/sec, 165 secs
lola: 2659999 markings, 2757809 edges, 15113 markings/sec, 170 secs
lola: 2735403 markings, 2837332 edges, 15081 markings/sec, 175 secs
lola: 2809007 markings, 2915197 edges, 14721 markings/sec, 180 secs
lola: 2886455 markings, 2996769 edges, 15490 markings/sec, 185 secs
lola: 2963917 markings, 3078068 edges, 15492 markings/sec, 190 secs
lola: 3041545 markings, 3159743 edges, 15526 markings/sec, 195 secs
lola: 3119260 markings, 3241478 edges, 15543 markings/sec, 200 secs
lola: 3196762 markings, 3323339 edges, 15500 markings/sec, 205 secs
lola: 3273635 markings, 3404403 edges, 15375 markings/sec, 210 secs
lola: 3350842 markings, 3486314 edges, 15441 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(p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 63806 markings, 67433 edges, 12761 markings/sec, 0 secs
lola: 131533 markings, 139456 edges, 13545 markings/sec, 5 secs
lola: 198953 markings, 210878 edges, 13484 markings/sec, 10 secs
lola: 265598 markings, 281635 edges, 13329 markings/sec, 15 secs
lola: 332300 markings, 352741 edges, 13340 markings/sec, 20 secs
lola: 398539 markings, 423007 edges, 13248 markings/sec, 25 secs
lola: 465026 markings, 493551 edges, 13297 markings/sec, 30 secs
lola: 531605 markings, 564472 edges, 13316 markings/sec, 35 secs
lola: 598193 markings, 636123 edges, 13318 markings/sec, 40 secs
lola: 664877 markings, 707940 edges, 13337 markings/sec, 45 secs
lola: 731499 markings, 778557 edges, 13324 markings/sec, 50 secs
lola: 798241 markings, 850871 edges, 13348 markings/sec, 55 secs
lola: 864585 markings, 923044 edges, 13269 markings/sec, 60 secs
lola: 931082 markings, 994843 edges, 13299 markings/sec, 65 secs
lola: 997709 markings, 1066866 edges, 13325 markings/sec, 70 secs
lola: 1064178 markings, 1138538 edges, 13294 markings/sec, 75 secs
lola: 1130734 markings, 1210848 edges, 13311 markings/sec, 80 secs
lola: 1197172 markings, 1282355 edges, 13288 markings/sec, 85 secs
lola: 1263561 markings, 1354220 edges, 13278 markings/sec, 90 secs
lola: 1330112 markings, 1426276 edges, 13310 markings/sec, 95 secs
lola: 1398183 markings, 1500607 edges, 13614 markings/sec, 100 secs
lola: 1466736 markings, 1574084 edges, 13711 markings/sec, 105 secs
lola: 1535084 markings, 1647077 edges, 13670 markings/sec, 110 secs
lola: 1603352 markings, 1720810 edges, 13654 markings/sec, 115 secs
lola: 1671705 markings, 1793914 edges, 13671 markings/sec, 120 secs
lola: 1738245 markings, 1865656 edges, 13308 markings/sec, 125 secs
lola: 1807194 markings, 1940089 edges, 13790 markings/sec, 130 secs
lola: 1876280 markings, 2014742 edges, 13817 markings/sec, 135 secs
lola: 1945308 markings, 2089488 edges, 13806 markings/sec, 140 secs
lola: 2014473 markings, 2163943 edges, 13833 markings/sec, 145 secs
lola: 2084237 markings, 2239200 edges, 13953 markings/sec, 150 secs
lola: 2153971 markings, 2314861 edges, 13947 markings/sec, 155 secs
lola: 2223629 markings, 2390165 edges, 13932 markings/sec, 160 secs
lola: 2293378 markings, 2465363 edges, 13950 markings/sec, 165 secs
lola: 2363154 markings, 2540516 edges, 13955 markings/sec, 170 secs
lola: 2432878 markings, 2615316 edges, 13945 markings/sec, 175 secs
lola: 2502546 markings, 2690478 edges, 13934 markings/sec, 180 secs
lola: 2571277 markings, 2764705 edges, 13746 markings/sec, 185 secs
lola: 2640930 markings, 2839795 edges, 13931 markings/sec, 190 secs
lola: 2710577 markings, 2915565 edges, 13929 markings/sec, 195 secs
lola: 2780136 markings, 2990646 edges, 13912 markings/sec, 200 secs
lola: 2849372 markings, 3065163 edges, 13847 markings/sec, 205 secs
lola: 2918840 markings, 3141266 edges, 13894 markings/sec, 210 secs
lola: 2988517 markings, 3216245 edges, 13935 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(p570)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 79797 markings, 81488 edges, 15959 markings/sec, 0 secs
lola: 159183 markings, 162888 edges, 15877 markings/sec, 5 secs
lola: 238110 markings, 243942 edges, 15785 markings/sec, 10 secs
lola: 316843 markings, 324699 edges, 15747 markings/sec, 15 secs
lola: 395404 markings, 405168 edges, 15712 markings/sec, 20 secs
lola: 473789 markings, 485774 edges, 15677 markings/sec, 25 secs
lola: 552309 markings, 566443 edges, 15704 markings/sec, 30 secs
lola: 630509 markings, 646901 edges, 15640 markings/sec, 35 secs
lola: 708753 markings, 726972 edges, 15649 markings/sec, 40 secs
lola: 786778 markings, 807077 edges, 15605 markings/sec, 45 secs
lola: 865005 markings, 887350 edges, 15645 markings/sec, 50 secs
lola: 943241 markings, 967705 edges, 15647 markings/sec, 55 secs
lola: 1021390 markings, 1048223 edges, 15630 markings/sec, 60 secs
lola: 1099180 markings, 1128155 edges, 15558 markings/sec, 65 secs
lola: 1177865 markings, 1208798 edges, 15737 markings/sec, 70 secs
lola: 1256751 markings, 1290189 edges, 15777 markings/sec, 75 secs
lola: 1335336 markings, 1370827 edges, 15717 markings/sec, 80 secs
lola: 1413898 markings, 1451948 edges, 15712 markings/sec, 85 secs
lola: 1492918 markings, 1533834 edges, 15804 markings/sec, 90 secs
lola: 1571655 markings, 1616113 edges, 15747 markings/sec, 95 secs
lola: 1650391 markings, 1698061 edges, 15747 markings/sec, 100 secs
lola: 1729085 markings, 1780145 edges, 15739 markings/sec, 105 secs
lola: 1807465 markings, 1862119 edges, 15676 markings/sec, 110 secs
lola: 1886088 markings, 1944360 edges, 15725 markings/sec, 115 secs
lola: 1964695 markings, 2026751 edges, 15721 markings/sec, 120 secs
lola: 2043072 markings, 2108795 edges, 15675 markings/sec, 125 secs
lola: 2121641 markings, 2191422 edges, 15714 markings/sec, 130 secs
lola: 2200006 markings, 2273757 edges, 15673 markings/sec, 135 secs
lola: 2278436 markings, 2355930 edges, 15686 markings/sec, 140 secs
lola: 2357026 markings, 2438829 edges, 15718 markings/sec, 145 secs
lola: 2435344 markings, 2521237 edges, 15664 markings/sec, 150 secs
lola: 2513513 markings, 2603513 edges, 15634 markings/sec, 155 secs
lola: 2590747 markings, 2684775 edges, 15447 markings/sec, 160 secs
lola: 2667965 markings, 2766204 edges, 15444 markings/sec, 165 secs
lola: 2745260 markings, 2847794 edges, 15459 markings/sec, 170 secs
lola: 2822092 markings, 2928942 edges, 15366 markings/sec, 175 secs
lola: 2901602 markings, 3012691 edges, 15902 markings/sec, 180 secs
lola: 2982620 markings, 3097815 edges, 16204 markings/sec, 185 secs
lola: 3063497 markings, 3182913 edges, 16175 markings/sec, 190 secs
lola: 3144390 markings, 3268000 edges, 16179 markings/sec, 195 secs
lola: 3225180 markings, 3353327 edges, 16158 markings/sec, 200 secs
lola: 3306254 markings, 3439139 edges, 16215 markings/sec, 205 secs
lola: 3386587 markings, 3523981 edges, 16067 markings/sec, 210 secs
lola: 3467409 markings, 3609093 edges, 16164 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(p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 67244 markings, 71196 edges, 13449 markings/sec, 0 secs
lola: 133910 markings, 141967 edges, 13333 markings/sec, 5 secs
lola: 200964 markings, 212988 edges, 13411 markings/sec, 10 secs
lola: 267252 markings, 283398 edges, 13258 markings/sec, 15 secs
lola: 333564 markings, 354049 edges, 13262 markings/sec, 20 secs
lola: 399417 markings, 423932 edges, 13171 markings/sec, 25 secs
lola: 465565 markings, 494115 edges, 13230 markings/sec, 30 secs
lola: 531724 markings, 564598 edges, 13232 markings/sec, 35 secs
lola: 597865 markings, 635788 edges, 13228 markings/sec, 40 secs
lola: 664243 markings, 707251 edges, 13276 markings/sec, 45 secs
lola: 731426 markings, 778481 edges, 13437 markings/sec, 50 secs
lola: 800170 markings, 852986 edges, 13749 markings/sec, 55 secs
lola: 865752 markings, 924310 edges, 13116 markings/sec, 60 secs
lola: 931717 markings, 995516 edges, 13193 markings/sec, 65 secs
lola: 997711 markings, 1066868 edges, 13199 markings/sec, 70 secs
lola: 1063508 markings, 1137785 edges, 13159 markings/sec, 75 secs
lola: 1129403 markings, 1209405 edges, 13179 markings/sec, 80 secs
lola: 1195267 markings, 1280330 edges, 13173 markings/sec, 85 secs
lola: 1261124 markings, 1351550 edges, 13171 markings/sec, 90 secs
lola: 1326988 markings, 1422865 edges, 13173 markings/sec, 95 secs
lola: 1392639 markings, 1494534 edges, 13130 markings/sec, 100 secs
lola: 1458385 markings, 1565258 edges, 13149 markings/sec, 105 secs
lola: 1523941 markings, 1635239 edges, 13111 markings/sec, 110 secs
lola: 1589425 markings, 1705540 edges, 13097 markings/sec, 115 secs
lola: 1654811 markings, 1775929 edges, 13077 markings/sec, 120 secs
lola: 1720420 markings, 1846537 edges, 13122 markings/sec, 125 secs
lola: 1786082 markings, 1917426 edges, 13132 markings/sec, 130 secs
lola: 1851714 markings, 1988620 edges, 13126 markings/sec, 135 secs
lola: 1917356 markings, 2059080 edges, 13128 markings/sec, 140 secs
lola: 1982819 markings, 2129413 edges, 13093 markings/sec, 145 secs
lola: 2048386 markings, 2200607 edges, 13113 markings/sec, 150 secs
lola: 2113934 markings, 2271363 edges, 13110 markings/sec, 155 secs
lola: 2179488 markings, 2342536 edges, 13111 markings/sec, 160 secs
lola: 2245072 markings, 2412822 edges, 13117 markings/sec, 165 secs
lola: 2312108 markings, 2485876 edges, 13407 markings/sec, 170 secs
lola: 2378430 markings, 2556701 edges, 13264 markings/sec, 175 secs
lola: 2444392 markings, 2627434 edges, 13192 markings/sec, 180 secs
lola: 2510177 markings, 2698728 edges, 13157 markings/sec, 185 secs
lola: 2575237 markings, 2769068 edges, 13012 markings/sec, 190 secs
lola: 2641209 markings, 2840084 edges, 13194 markings/sec, 195 secs
lola: 2707131 markings, 2911829 edges, 13184 markings/sec, 200 secs
lola: 2772945 markings, 2982748 edges, 13163 markings/sec, 205 secs
lola: 2841262 markings, 3056444 edges, 13663 markings/sec, 210 secs
lola: 2910174 markings, 3131828 edges, 13782 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(p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 88184 markings, 90060 edges, 17637 markings/sec, 0 secs
lola: 175890 markings, 180135 edges, 17541 markings/sec, 5 secs
lola: 262970 markings, 269401 edges, 17416 markings/sec, 10 secs
lola: 349752 markings, 358339 edges, 17356 markings/sec, 15 secs
lola: 433873 markings, 444756 edges, 16824 markings/sec, 20 secs
lola: 519444 markings, 532839 edges, 17114 markings/sec, 25 secs
lola: 605686 markings, 621308 edges, 17248 markings/sec, 30 secs
lola: 691922 markings, 709715 edges, 17247 markings/sec, 35 secs
lola: 778206 markings, 798291 edges, 17257 markings/sec, 40 secs
lola: 864239 markings, 886562 edges, 17207 markings/sec, 45 secs
lola: 950321 markings, 975024 edges, 17216 markings/sec, 50 secs
lola: 1036137 markings, 1063230 edges, 17163 markings/sec, 55 secs
lola: 1122204 markings, 1151761 edges, 17213 markings/sec, 60 secs
lola: 1207860 markings, 1239676 edges, 17131 markings/sec, 65 secs
lola: 1293419 markings, 1327842 edges, 17112 markings/sec, 70 secs
lola: 1379112 markings, 1416112 edges, 17139 markings/sec, 75 secs
lola: 1464622 markings, 1504390 edges, 17102 markings/sec, 80 secs
lola: 1549698 markings, 1593158 edges, 17015 markings/sec, 85 secs
lola: 1634649 markings, 1681672 edges, 16990 markings/sec, 90 secs
lola: 1719673 markings, 1770264 edges, 17005 markings/sec, 95 secs
lola: 1804116 markings, 1858577 edges, 16889 markings/sec, 100 secs
lola: 1889059 markings, 1947492 edges, 16989 markings/sec, 105 secs
lola: 1973821 markings, 2036320 edges, 16952 markings/sec, 110 secs
lola: 2058351 markings, 2124744 edges, 16906 markings/sec, 115 secs
lola: 2142984 markings, 2213878 edges, 16927 markings/sec, 120 secs
lola: 2227931 markings, 2302945 edges, 16989 markings/sec, 125 secs
lola: 2312205 markings, 2391558 edges, 16855 markings/sec, 130 secs
lola: 2396622 markings, 2480563 edges, 16883 markings/sec, 135 secs
lola: 2481024 markings, 2569345 edges, 16880 markings/sec, 140 secs
lola: 2564922 markings, 2657536 edges, 16780 markings/sec, 145 secs
lola: 2649084 markings, 2746232 edges, 16832 markings/sec, 150 secs
lola: 2733376 markings, 2835209 edges, 16858 markings/sec, 155 secs
lola: 2817632 markings, 2924277 edges, 16851 markings/sec, 160 secs
lola: 2901618 markings, 3012708 edges, 16797 markings/sec, 165 secs
lola: 2985602 markings, 3100926 edges, 16797 markings/sec, 170 secs
lola: 3069627 markings, 3189320 edges, 16805 markings/sec, 175 secs
lola: 3153669 markings, 3277828 edges, 16808 markings/sec, 180 secs
lola: 3236955 markings, 3365860 edges, 16657 markings/sec, 185 secs
lola: 3320401 markings, 3454129 edges, 16689 markings/sec, 190 secs
lola: 3404009 markings, 3542269 edges, 16722 markings/sec, 195 secs
lola: 3488024 markings, 3630884 edges, 16803 markings/sec, 200 secs
lola: 3571774 markings, 3719467 edges, 16750 markings/sec, 205 secs
lola: 3655574 markings, 3808296 edges, 16760 markings/sec, 210 secs
lola: 3739095 markings, 3896693 edges, 16704 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(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 77765 markings, 82240 edges, 15553 markings/sec, 0 secs
lola: 154198 markings, 163837 edges, 15287 markings/sec, 5 secs
lola: 230405 markings, 245873 edges, 15241 markings/sec, 10 secs
lola: 306457 markings, 327331 edges, 15210 markings/sec, 15 secs
lola: 382648 markings, 410163 edges, 15238 markings/sec, 20 secs
lola: 458287 markings, 491217 edges, 15128 markings/sec, 25 secs
lola: 530215 markings, 568594 edges, 14386 markings/sec, 30 secs
lola: 602191 markings, 646842 edges, 14395 markings/sec, 35 secs
lola: 676265 markings, 725972 edges, 14815 markings/sec, 40 secs
lola: 751327 markings, 807095 edges, 15012 markings/sec, 45 secs
lola: 826172 markings, 888123 edges, 14969 markings/sec, 50 secs
lola: 901248 markings, 970459 edges, 15015 markings/sec, 55 secs
lola: 976199 markings, 1052197 edges, 14990 markings/sec, 60 secs
lola: 1051285 markings, 1134371 edges, 15017 markings/sec, 65 secs
lola: 1125707 markings, 1214830 edges, 14884 markings/sec, 70 secs
lola: 1200654 markings, 1297226 edges, 14989 markings/sec, 75 secs
lola: 1275518 markings, 1378511 edges, 14973 markings/sec, 80 secs
lola: 1349906 markings, 1459779 edges, 14878 markings/sec, 85 secs
lola: 1424426 markings, 1541024 edges, 14904 markings/sec, 90 secs
lola: 1498773 markings, 1622648 edges, 14869 markings/sec, 95 secs
lola: 1573312 markings, 1703310 edges, 14908 markings/sec, 100 secs
lola: 1647389 markings, 1783856 edges, 14815 markings/sec, 105 secs
lola: 1722041 markings, 1865413 edges, 14930 markings/sec, 110 secs
lola: 1796495 markings, 1946629 edges, 14891 markings/sec, 115 secs
lola: 1870521 markings, 2027321 edges, 14805 markings/sec, 120 secs
lola: 1945266 markings, 2109595 edges, 14949 markings/sec, 125 secs
lola: 2019936 markings, 2192360 edges, 14934 markings/sec, 130 secs
lola: 2094289 markings, 2273942 edges, 14871 markings/sec, 135 secs
lola: 2168267 markings, 2353877 edges, 14796 markings/sec, 140 secs
lola: 2242473 markings, 2435745 edges, 14841 markings/sec, 145 secs
lola: 2316862 markings, 2517218 edges, 14878 markings/sec, 150 secs
lola: 2391281 markings, 2598679 edges, 14884 markings/sec, 155 secs
lola: 2465506 markings, 2680332 edges, 14845 markings/sec, 160 secs
lola: 2539819 markings, 2762681 edges, 14863 markings/sec, 165 secs
lola: 2614229 markings, 2844801 edges, 14882 markings/sec, 170 secs
lola: 2688439 markings, 2926455 edges, 14842 markings/sec, 175 secs
lola: 2762478 markings, 3008015 edges, 14808 markings/sec, 180 secs
lola: 2836456 markings, 3089756 edges, 14796 markings/sec, 185 secs
lola: 2910593 markings, 3171754 edges, 14827 markings/sec, 190 secs
lola: 2984859 markings, 3253349 edges, 14853 markings/sec, 195 secs
lola: 3059161 markings, 3334383 edges, 14860 markings/sec, 200 secs
lola: 3133333 markings, 3414391 edges, 14834 markings/sec, 205 secs
lola: 3207460 markings, 3495335 edges, 14825 markings/sec, 210 secs
lola: 3281685 markings, 3577591 edges, 14845 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(p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 85265 markings, 88018 edges, 17053 markings/sec, 0 secs
lola: 170148 markings, 176111 edges, 16977 markings/sec, 5 secs
lola: 255023 markings, 264393 edges, 16975 markings/sec, 10 secs
lola: 339799 markings, 352734 edges, 16955 markings/sec, 15 secs
lola: 424259 markings, 440768 edges, 16892 markings/sec, 20 secs
lola: 508482 markings, 528408 edges, 16845 markings/sec, 25 secs
lola: 592922 markings, 616529 edges, 16888 markings/sec, 30 secs
lola: 677435 markings, 704996 edges, 16903 markings/sec, 35 secs
lola: 761746 markings, 793073 edges, 16862 markings/sec, 40 secs
lola: 845467 markings, 880265 edges, 16744 markings/sec, 45 secs
lola: 929493 markings, 967901 edges, 16805 markings/sec, 50 secs
lola: 1013552 markings, 1055706 edges, 16812 markings/sec, 55 secs
lola: 1097505 markings, 1143435 edges, 16791 markings/sec, 60 secs
lola: 1181337 markings, 1231119 edges, 16766 markings/sec, 65 secs
lola: 1265304 markings, 1319004 edges, 16793 markings/sec, 70 secs
lola: 1349011 markings, 1406399 edges, 16741 markings/sec, 75 secs
lola: 1432913 markings, 1494184 edges, 16780 markings/sec, 80 secs
lola: 1516459 markings, 1581302 edges, 16709 markings/sec, 85 secs
lola: 1600327 markings, 1669148 edges, 16774 markings/sec, 90 secs
lola: 1684178 markings, 1756664 edges, 16770 markings/sec, 95 secs
lola: 1767849 markings, 1844050 edges, 16734 markings/sec, 100 secs
lola: 1851848 markings, 1932164 edges, 16800 markings/sec, 105 secs
lola: 1935325 markings, 2019707 edges, 16695 markings/sec, 110 secs
lola: 2019815 markings, 2108435 edges, 16898 markings/sec, 115 secs
lola: 2104173 markings, 2196745 edges, 16872 markings/sec, 120 secs
lola: 2188071 markings, 2284330 edges, 16780 markings/sec, 125 secs
lola: 2265415 markings, 2365400 edges, 15469 markings/sec, 130 secs
lola: 2342166 markings, 2445733 edges, 15350 markings/sec, 135 secs
lola: 2422563 markings, 2529964 edges, 16079 markings/sec, 140 secs
lola: 2494428 markings, 2605433 edges, 14373 markings/sec, 145 secs
lola: 2566090 markings, 2680563 edges, 14332 markings/sec, 150 secs
lola: 2637232 markings, 2755081 edges, 14228 markings/sec, 155 secs
lola: 2707578 markings, 2829041 edges, 14069 markings/sec, 160 secs
lola: 2782054 markings, 2907041 edges, 14895 markings/sec, 165 secs
lola: 2853637 markings, 2982084 edges, 14317 markings/sec, 170 secs
lola: 2929629 markings, 3061547 edges, 15198 markings/sec, 175 secs
lola: 3001886 markings, 3137397 edges, 14451 markings/sec, 180 secs
lola: 3077040 markings, 3216548 edges, 15031 markings/sec, 185 secs
lola: 3160872 markings, 3304140 edges, 16766 markings/sec, 190 secs
lola: 3244464 markings, 3391472 edges, 16718 markings/sec, 195 secs
lola: 3328791 markings, 3480175 edges, 16865 markings/sec, 200 secs
lola: 3412924 markings, 3568497 edges, 16827 markings/sec, 205 secs
lola: 3496254 markings, 3655563 edges, 16666 markings/sec, 210 secs
lola: 3571977 markings, 3734750 edges, 15145 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(p726)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 79065 markings, 80130 edges, 15813 markings/sec, 0 secs
lola: 160299 markings, 163066 edges, 16247 markings/sec, 5 secs
lola: 243835 markings, 248382 edges, 16707 markings/sec, 10 secs
lola: 319530 markings, 325549 edges, 15139 markings/sec, 15 secs
lola: 399927 markings, 407334 edges, 16079 markings/sec, 20 secs
lola: 480625 markings, 489408 edges, 16140 markings/sec, 25 secs
lola: 561284 markings, 571799 edges, 16132 markings/sec, 30 secs
lola: 642053 markings, 654221 edges, 16154 markings/sec, 35 secs
lola: 724473 markings, 738435 edges, 16484 markings/sec, 40 secs
lola: 804930 markings, 820939 edges, 16091 markings/sec, 45 secs
lola: 886860 markings, 905397 edges, 16386 markings/sec, 50 secs
lola: 968720 markings, 989804 edges, 16372 markings/sec, 55 secs
lola: 1051716 markings, 1076358 edges, 16599 markings/sec, 60 secs
lola: 1134608 markings, 1162917 edges, 16578 markings/sec, 65 secs
lola: 1217339 markings, 1249667 edges, 16546 markings/sec, 70 secs
lola: 1299564 markings, 1335987 edges, 16445 markings/sec, 75 secs
lola: 1381074 markings, 1421778 edges, 16302 markings/sec, 80 secs
lola: 1464276 markings, 1509375 edges, 16640 markings/sec, 85 secs
lola: 1546427 markings, 1595891 edges, 16430 markings/sec, 90 secs
lola: 1628688 markings, 1682560 edges, 16452 markings/sec, 95 secs
lola: 1710241 markings, 1768835 edges, 16311 markings/sec, 100 secs
lola: 1791965 markings, 1855084 edges, 16345 markings/sec, 105 secs
lola: 1873146 markings, 1940914 edges, 16236 markings/sec, 110 secs
lola: 1954892 markings, 2027412 edges, 16349 markings/sec, 115 secs
lola: 2036185 markings, 2113522 edges, 16259 markings/sec, 120 secs
lola: 2117898 markings, 2200322 edges, 16343 markings/sec, 125 secs
lola: 2199497 markings, 2286512 edges, 16320 markings/sec, 130 secs
lola: 2281046 markings, 2372767 edges, 16310 markings/sec, 135 secs
lola: 2362742 markings, 2459722 edges, 16339 markings/sec, 140 secs
lola: 2444248 markings, 2546145 edges, 16301 markings/sec, 145 secs
lola: 2526120 markings, 2633568 edges, 16374 markings/sec, 150 secs
lola: 2607733 markings, 2720235 edges, 16323 markings/sec, 155 secs
lola: 2689162 markings, 2806776 edges, 16286 markings/sec, 160 secs
lola: 2770812 markings, 2893955 edges, 16330 markings/sec, 165 secs
lola: 2852093 markings, 2980512 edges, 16256 markings/sec, 170 secs
lola: 2932839 markings, 3066179 edges, 16149 markings/sec, 175 secs
lola: 3014407 markings, 3153349 edges, 16314 markings/sec, 180 secs
lola: 3094838 markings, 3239199 edges, 16086 markings/sec, 185 secs
lola: 3175225 markings, 3325365 edges, 16077 markings/sec, 190 secs
lola: 3256725 markings, 3412340 edges, 16300 markings/sec, 195 secs
lola: 3337405 markings, 3498199 edges, 16136 markings/sec, 200 secs
lola: 3418233 markings, 3584272 edges, 16166 markings/sec, 205 secs
lola: 3499547 markings, 3671397 edges, 16263 markings/sec, 210 secs
lola: 3580511 markings, 3758039 edges, 16193 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(p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 83775 markings, 90530 edges, 16755 markings/sec, 0 secs
lola: 166749 markings, 181611 edges, 16595 markings/sec, 5 secs
lola: 249123 markings, 272292 edges, 16475 markings/sec, 10 secs
lola: 331169 markings, 362405 edges, 16409 markings/sec, 15 secs
lola: 411682 markings, 450462 edges, 16103 markings/sec, 20 secs
lola: 493538 markings, 541932 edges, 16371 markings/sec, 25 secs
lola: 575057 markings, 632188 edges, 16304 markings/sec, 30 secs
lola: 656665 markings, 724242 edges, 16322 markings/sec, 35 secs
lola: 738309 markings, 816035 edges, 16329 markings/sec, 40 secs
lola: 819634 markings, 906217 edges, 16265 markings/sec, 45 secs
lola: 901274 markings, 998474 edges, 16328 markings/sec, 50 secs
lola: 982570 markings, 1089335 edges, 16259 markings/sec, 55 secs
lola: 1063970 markings, 1181498 edges, 16280 markings/sec, 60 secs
lola: 1144919 markings, 1273019 edges, 16190 markings/sec, 65 secs
lola: 1226230 markings, 1364821 edges, 16262 markings/sec, 70 secs
lola: 1307447 markings, 1456009 edges, 16243 markings/sec, 75 secs
lola: 1383687 markings, 1542624 edges, 15248 markings/sec, 80 secs
lola: 1452645 markings, 1620285 edges, 13792 markings/sec, 85 secs
lola: 1521679 markings, 1697931 edges, 13807 markings/sec, 90 secs
lola: 1591011 markings, 1776948 edges, 13866 markings/sec, 95 secs
lola: 1664984 markings, 1861187 edges, 14795 markings/sec, 100 secs
lola: 1744396 markings, 1951255 edges, 15882 markings/sec, 105 secs
lola: 1825864 markings, 2042927 edges, 16294 markings/sec, 110 secs
lola: 1907911 markings, 2136051 edges, 16409 markings/sec, 115 secs
lola: 1989942 markings, 2229195 edges, 16406 markings/sec, 120 secs
lola: 2071611 markings, 2322400 edges, 16334 markings/sec, 125 secs
lola: 2152413 markings, 2413317 edges, 16160 markings/sec, 130 secs
lola: 2233647 markings, 2506153 edges, 16247 markings/sec, 135 secs
lola: 2315048 markings, 2598828 edges, 16280 markings/sec, 140 secs
lola: 2395780 markings, 2689802 edges, 16146 markings/sec, 145 secs
lola: 2476672 markings, 2781522 edges, 16178 markings/sec, 150 secs
lola: 2554603 markings, 2869267 edges, 15586 markings/sec, 155 secs
lola: 2637208 markings, 2964176 edges, 16521 markings/sec, 160 secs
lola: 2718752 markings, 3055228 edges, 16309 markings/sec, 165 secs
lola: 2801141 markings, 3149320 edges, 16478 markings/sec, 170 secs
lola: 2883360 markings, 3243213 edges, 16444 markings/sec, 175 secs
lola: 2965570 markings, 3337283 edges, 16442 markings/sec, 180 secs
lola: 3047603 markings, 3429458 edges, 16407 markings/sec, 185 secs
lola: 3129604 markings, 3522671 edges, 16400 markings/sec, 190 secs
lola: 3211421 markings, 3615862 edges, 16363 markings/sec, 195 secs
lola: 3293309 markings, 3708739 edges, 16378 markings/sec, 200 secs
lola: 3375281 markings, 3802371 edges, 16394 markings/sec, 205 secs
lola: 3457481 markings, 3896817 edges, 16440 markings/sec, 210 secs
lola: 3539572 markings, 3990436 edges, 16418 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(p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 85590 markings, 87371 edges, 17118 markings/sec, 0 secs
lola: 170648 markings, 174534 edges, 17012 markings/sec, 5 secs
lola: 255433 markings, 261615 edges, 16957 markings/sec, 10 secs
lola: 339849 markings, 348379 edges, 16883 markings/sec, 15 secs
lola: 424086 markings, 434675 edges, 16847 markings/sec, 20 secs
lola: 508280 markings, 521108 edges, 16839 markings/sec, 25 secs
lola: 592239 markings, 607274 edges, 16792 markings/sec, 30 secs
lola: 676032 markings, 693198 edges, 16759 markings/sec, 35 secs
lola: 759760 markings, 778969 edges, 16746 markings/sec, 40 secs
lola: 843343 markings, 864616 edges, 16717 markings/sec, 45 secs
lola: 927152 markings, 950714 edges, 16762 markings/sec, 50 secs
lola: 1010647 markings, 1036473 edges, 16699 markings/sec, 55 secs
lola: 1094148 markings, 1122162 edges, 16700 markings/sec, 60 secs
lola: 1177664 markings, 1208215 edges, 16703 markings/sec, 65 secs
lola: 1260911 markings, 1293641 edges, 16649 markings/sec, 70 secs
lola: 1344460 markings, 1379741 edges, 16710 markings/sec, 75 secs
lola: 1427806 markings, 1465838 edges, 16669 markings/sec, 80 secs
lola: 1510952 markings, 1552011 edges, 16629 markings/sec, 85 secs
lola: 1594130 markings, 1638667 edges, 16636 markings/sec, 90 secs
lola: 1677133 markings, 1725386 edges, 16601 markings/sec, 95 secs
lola: 1760227 markings, 1812555 edges, 16619 markings/sec, 100 secs
lola: 1843306 markings, 1899331 edges, 16616 markings/sec, 105 secs
lola: 1926406 markings, 1986347 edges, 16620 markings/sec, 110 secs
lola: 2009283 markings, 2073348 edges, 16575 markings/sec, 115 secs
lola: 2086192 markings, 2154013 edges, 15382 markings/sec, 120 secs
lola: 2168838 markings, 2240728 edges, 16529 markings/sec, 125 secs
lola: 2251428 markings, 2327588 edges, 16518 markings/sec, 130 secs
lola: 2333377 markings, 2413805 edges, 16390 markings/sec, 135 secs
lola: 2415719 markings, 2500550 edges, 16468 markings/sec, 140 secs
lola: 2499754 markings, 2588727 edges, 16807 markings/sec, 145 secs
lola: 2583281 markings, 2676759 edges, 16705 markings/sec, 150 secs
lola: 2666469 markings, 2764399 edges, 16638 markings/sec, 155 secs
lola: 2749613 markings, 2851741 edges, 16629 markings/sec, 160 secs
lola: 2832970 markings, 2939534 edges, 16671 markings/sec, 165 secs
lola: 2916284 markings, 3027475 edges, 16663 markings/sec, 170 secs
lola: 2999480 markings, 3115297 edges, 16639 markings/sec, 175 secs
lola: 3082385 markings, 3202568 edges, 16581 markings/sec, 180 secs
lola: 3165198 markings, 3289905 edges, 16563 markings/sec, 185 secs
lola: 3248343 markings, 3377551 edges, 16629 markings/sec, 190 secs
lola: 3331457 markings, 3465471 edges, 16623 markings/sec, 195 secs
lola: 3414391 markings, 3553218 edges, 16587 markings/sec, 200 secs
lola: 3497876 markings, 3641478 edges, 16697 markings/sec, 205 secs
lola: 3580860 markings, 3729179 edges, 16597 markings/sec, 210 secs
lola: 3663629 markings, 3816601 edges, 16554 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 79560 markings, 81249 edges, 15912 markings/sec, 0 secs
lola: 158760 markings, 162444 edges, 15840 markings/sec, 5 secs
lola: 237616 markings, 243443 edges, 15771 markings/sec, 10 secs
lola: 316235 markings, 324087 edges, 15724 markings/sec, 15 secs
lola: 394606 markings, 404333 edges, 15674 markings/sec, 20 secs
lola: 473029 markings, 484973 edges, 15685 markings/sec, 25 secs
lola: 551169 markings, 565272 edges, 15628 markings/sec, 30 secs
lola: 629407 markings, 645766 edges, 15648 markings/sec, 35 secs
lola: 707472 markings, 725650 edges, 15613 markings/sec, 40 secs
lola: 785604 markings, 805886 edges, 15626 markings/sec, 45 secs
lola: 863570 markings, 885877 edges, 15593 markings/sec, 50 secs
lola: 941533 markings, 965973 edges, 15593 markings/sec, 55 secs
lola: 1019439 markings, 1046242 edges, 15581 markings/sec, 60 secs
lola: 1097321 markings, 1126208 edges, 15576 markings/sec, 65 secs
lola: 1175089 markings, 1205945 edges, 15554 markings/sec, 70 secs
lola: 1252996 markings, 1286345 edges, 15581 markings/sec, 75 secs
lola: 1330746 markings, 1366096 edges, 15550 markings/sec, 80 secs
lola: 1408522 markings, 1446372 edges, 15555 markings/sec, 85 secs
lola: 1486111 markings, 1526732 edges, 15518 markings/sec, 90 secs
lola: 1564007 markings, 1608098 edges, 15579 markings/sec, 95 secs
lola: 1641778 markings, 1689117 edges, 15554 markings/sec, 100 secs
lola: 1719264 markings, 1769823 edges, 15497 markings/sec, 105 secs
lola: 1796795 markings, 1850943 edges, 15506 markings/sec, 110 secs
lola: 1874411 markings, 1932093 edges, 15523 markings/sec, 115 secs
lola: 1951959 markings, 2013332 edges, 15510 markings/sec, 120 secs
lola: 2029540 markings, 2094698 edges, 15516 markings/sec, 125 secs
lola: 2107072 markings, 2176048 edges, 15506 markings/sec, 130 secs
lola: 2184723 markings, 2257713 edges, 15530 markings/sec, 135 secs
lola: 2262270 markings, 2339061 edges, 15509 markings/sec, 140 secs
lola: 2339866 markings, 2420691 edges, 15519 markings/sec, 145 secs
lola: 2417291 markings, 2502257 edges, 15485 markings/sec, 150 secs
lola: 2494633 markings, 2583685 edges, 15468 markings/sec, 155 secs
lola: 2572216 markings, 2665259 edges, 15517 markings/sec, 160 secs
lola: 2650296 markings, 2747521 edges, 15616 markings/sec, 165 secs
lola: 2728162 markings, 2829674 edges, 15573 markings/sec, 170 secs
lola: 2806383 markings, 2912436 edges, 15644 markings/sec, 175 secs
lola: 2884015 markings, 2994195 edges, 15526 markings/sec, 180 secs
lola: 2961548 markings, 3075523 edges, 15507 markings/sec, 185 secs
lola: 3039315 markings, 3157415 edges, 15553 markings/sec, 190 secs
lola: 3117161 markings, 3239278 edges, 15569 markings/sec, 195 secs
lola: 3194990 markings, 3321427 edges, 15566 markings/sec, 200 secs
lola: 3272104 markings, 3402812 edges, 15423 markings/sec, 205 secs
lola: 3349557 markings, 3484954 edges, 15491 markings/sec, 210 secs
lola: 3427469 markings, 3567005 edges, 15582 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 68738 markings, 72791 edges, 13748 markings/sec, 0 secs
lola: 136842 markings, 145033 edges, 13621 markings/sec, 5 secs
lola: 204547 markings, 216817 edges, 13541 markings/sec, 10 secs
lola: 271521 markings, 287978 edges, 13395 markings/sec, 15 secs
lola: 338199 markings, 358913 edges, 13336 markings/sec, 20 secs
lola: 405056 markings, 429918 edges, 13371 markings/sec, 25 secs
lola: 471806 markings, 500564 edges, 13350 markings/sec, 30 secs
lola: 538569 markings, 571968 edges, 13353 markings/sec, 35 secs
lola: 605464 markings, 643868 edges, 13379 markings/sec, 40 secs
lola: 672608 markings, 716216 edges, 13429 markings/sec, 45 secs
lola: 739678 markings, 787367 edges, 13414 markings/sec, 50 secs
lola: 806649 markings, 860108 edges, 13394 markings/sec, 55 secs
lola: 873111 markings, 932453 edges, 13292 markings/sec, 60 secs
lola: 939977 markings, 1004597 edges, 13373 markings/sec, 65 secs
lola: 1006825 markings, 1076568 edges, 13370 markings/sec, 70 secs
lola: 1073500 markings, 1148756 edges, 13335 markings/sec, 75 secs
lola: 1140253 markings, 1221218 edges, 13351 markings/sec, 80 secs
lola: 1206980 markings, 1293075 edges, 13345 markings/sec, 85 secs
lola: 1273701 markings, 1365298 edges, 13344 markings/sec, 90 secs
lola: 1340390 markings, 1437431 edges, 13338 markings/sec, 95 secs
lola: 1408235 markings, 1511519 edges, 13569 markings/sec, 100 secs
lola: 1477154 markings, 1585234 edges, 13784 markings/sec, 105 secs
lola: 1545762 markings, 1658213 edges, 13722 markings/sec, 110 secs
lola: 1612605 markings, 1730713 edges, 13369 markings/sec, 115 secs
lola: 1680646 markings, 1803548 edges, 13608 markings/sec, 120 secs
lola: 1749780 markings, 1878352 edges, 13827 markings/sec, 125 secs
lola: 1818414 markings, 1952323 edges, 13727 markings/sec, 130 secs
lola: 1884904 markings, 2023868 edges, 13298 markings/sec, 135 secs
lola: 1953423 markings, 2098064 edges, 13704 markings/sec, 140 secs
lola: 2022407 markings, 2172567 edges, 13797 markings/sec, 145 secs
lola: 2091579 markings, 2246958 edges, 13834 markings/sec, 150 secs
lola: 2160796 markings, 2322348 edges, 13843 markings/sec, 155 secs
lola: 2229930 markings, 2396876 edges, 13827 markings/sec, 160 secs
lola: 2299109 markings, 2471608 edges, 13836 markings/sec, 165 secs
lola: 2368316 markings, 2546010 edges, 13841 markings/sec, 170 secs
lola: 2437467 markings, 2620105 edges, 13830 markings/sec, 175 secs
lola: 2506424 markings, 2694668 edges, 13791 markings/sec, 180 secs
lola: 2574620 markings, 2768382 edges, 13639 markings/sec, 185 secs
lola: 2643770 markings, 2842836 edges, 13830 markings/sec, 190 secs
lola: 2712808 markings, 2917967 edges, 13808 markings/sec, 195 secs
lola: 2781824 markings, 2992475 edges, 13803 markings/sec, 200 secs
lola: 2850579 markings, 3066484 edges, 13751 markings/sec, 205 secs
lola: 2919484 markings, 3141974 edges, 13781 markings/sec, 210 secs
lola: 2988580 markings, 3216311 edges, 13819 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 PolyORBLF-COL-S02J06T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494621679437

--------------------
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="PolyORBLF-COL-S02J06T10"
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/PolyORBLF-COL-S02J06T10.tgz
mv PolyORBLF-COL-S02J06T10 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 PolyORBLF-COL-S02J06T10, 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 r048-smll-149440869800308"
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 ;