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_PolyORBLF-PT-S04J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681600488
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496475112767


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S04J06T08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S04J06T08 @ 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: 5060/65536 symbol table entries, 1254 collisions
lola: preprocessing...
lola: finding significant places
lola: 792 places, 4268 transitions, 734 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2899 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T08-UpperBounds.task
lola: MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6 + P_1617_7 + P_1617_8) : MAX(IdleTasks_8 + IdleTasks_7 + IdleTasks_6 + IdleTasks_5 + IdleTasks_4 + IdleTasks_3 + IdleTasks_2 + IdleTasks_1) : MAX(PlaceSources_1 + PlaceSources_2 + PlaceSources_3 + PlaceSources_4) : MAX(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8) : MAX(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_7_1 + P_2579_7_2 + P_2579_7_3 + P_2579_7_4 + P_2579_8_1 + P_2579_8_2 + P_2579_8_3 + P_2579_8_4 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_1 + P_2579_1_2 + P_2579_1_3 + P_2579_1_4 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4) : MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6 + NotifyEventSourceAddedB_7 + NotifyEventSourceAddedB_8) : MAX(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8) : MAX(EnablePollingB_1 + EnablePollingB_2 + EnablePollingB_3 + EnablePollingB_4 + EnablePollingB_5 + EnablePollingB_6 + EnablePollingB_7 + EnablePollingB_8) : MAX(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8) : MAX(P_1093) : MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8) : MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_3 + QueueJobB_4_4 + QueueJobB_4_5 + QueueJobB_4_6 + QueueJobB_5_0 + QueueJobB_5_1 + QueueJobB_5_2 + QueueJobB_5_3 + QueueJobB_5_4 + QueueJobB_5_5 + QueueJobB_5_6 + QueueJobB_6_0 + QueueJobB_6_1 + QueueJobB_6_2 + QueueJobB_6_3 + QueueJobB_6_4 + QueueJobB_6_5 + QueueJobB_6_6 + QueueJobB_7_0 + QueueJobB_7_1 + QueueJobB_7_2 + QueueJobB_7_3 + QueueJobB_7_4 + QueueJobB_7_5 + QueueJobB_7_6 + QueueJobB_8_0 + QueueJobB_8_1 + QueueJobB_8_2 + QueueJobB_8_3 + QueueJobB_8_4 + QueueJobB_8_5 + QueueJobB_8_6) : MAX(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6 + P_1617_7 + P_1617_8) : MAX(SigAbort)
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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6 + P_1617_7 + P_1617_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 21910 markings, 24424 edges, 4382 markings/sec, 0 secs
lola: 43941 markings, 48829 edges, 4406 markings/sec, 5 secs
lola: 66088 markings, 74025 edges, 4429 markings/sec, 10 secs
lola: 88186 markings, 98206 edges, 4420 markings/sec, 15 secs
lola: 110263 markings, 123115 edges, 4415 markings/sec, 20 secs
lola: 132152 markings, 149124 edges, 4378 markings/sec, 25 secs
lola: 154050 markings, 174078 edges, 4380 markings/sec, 30 secs
lola: 175256 markings, 197658 edges, 4241 markings/sec, 35 secs
lola: 196385 markings, 221486 edges, 4226 markings/sec, 40 secs
lola: 217584 markings, 245022 edges, 4240 markings/sec, 45 secs
lola: 239015 markings, 268563 edges, 4286 markings/sec, 50 secs
lola: 260724 markings, 292976 edges, 4342 markings/sec, 55 secs
lola: 282590 markings, 317631 edges, 4373 markings/sec, 60 secs
lola: 304628 markings, 342382 edges, 4408 markings/sec, 65 secs
lola: 326510 markings, 368262 edges, 4376 markings/sec, 70 secs
lola: 348528 markings, 393312 edges, 4404 markings/sec, 75 secs
lola: 370564 markings, 418515 edges, 4407 markings/sec, 80 secs
lola: 392608 markings, 443930 edges, 4409 markings/sec, 85 secs
lola: 414410 markings, 469179 edges, 4360 markings/sec, 90 secs
lola: 436373 markings, 494196 edges, 4393 markings/sec, 95 secs
lola: 458363 markings, 519458 edges, 4398 markings/sec, 100 secs
lola: 480286 markings, 544901 edges, 4385 markings/sec, 105 secs
lola: 502036 markings, 570371 edges, 4350 markings/sec, 110 secs
lola: 523848 markings, 596651 edges, 4362 markings/sec, 115 secs
lola: 546092 markings, 622036 edges, 4449 markings/sec, 120 secs
lola: 568238 markings, 647073 edges, 4429 markings/sec, 125 secs
lola: 590291 markings, 672804 edges, 4411 markings/sec, 130 secs
lola: 612264 markings, 697418 edges, 4395 markings/sec, 135 secs
lola: 634341 markings, 722232 edges, 4415 markings/sec, 140 secs
lola: 656272 markings, 747499 edges, 4386 markings/sec, 145 secs
lola: 678058 markings, 773729 edges, 4357 markings/sec, 150 secs
lola: 700114 markings, 799246 edges, 4411 markings/sec, 155 secs
lola: 721881 markings, 825612 edges, 4353 markings/sec, 160 secs
lola: 743825 markings, 851697 edges, 4389 markings/sec, 165 secs
lola: 765630 markings, 877118 edges, 4361 markings/sec, 170 secs
lola: 787498 markings, 901946 edges, 4374 markings/sec, 175 secs
lola: 809144 markings, 927683 edges, 4329 markings/sec, 180 secs
lola: 831014 markings, 953519 edges, 4374 markings/sec, 185 secs
lola: 852918 markings, 979290 edges, 4381 markings/sec, 190 secs
lola: 874933 markings, 1004314 edges, 4403 markings/sec, 195 secs
lola: 896758 markings, 1030338 edges, 4365 markings/sec, 200 secs
lola: 918735 markings, 1056028 edges, 4395 markings/sec, 205 secs
lola: 940653 markings, 1081712 edges, 4384 markings/sec, 210 secs
lola: 962527 markings, 1107926 edges, 4375 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(IdleTasks_8 + IdleTasks_7 + IdleTasks_6 + IdleTasks_5 + IdleTasks_4 + IdleTasks_3 + IdleTasks_2 + IdleTasks_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22305 markings, 24866 edges, 4461 markings/sec, 0 secs
lola: 44271 markings, 49219 edges, 4393 markings/sec, 5 secs
lola: 66756 markings, 74744 edges, 4497 markings/sec, 10 secs
lola: 88784 markings, 98883 edges, 4406 markings/sec, 15 secs
lola: 111184 markings, 124181 edges, 4480 markings/sec, 20 secs
lola: 132980 markings, 150115 edges, 4359 markings/sec, 25 secs
lola: 154891 markings, 174936 edges, 4382 markings/sec, 30 secs
lola: 176818 markings, 199305 edges, 4385 markings/sec, 35 secs
lola: 198824 markings, 224214 edges, 4401 markings/sec, 40 secs
lola: 220871 markings, 248567 edges, 4409 markings/sec, 45 secs
lola: 243165 markings, 273222 edges, 4459 markings/sec, 50 secs
lola: 264930 markings, 297616 edges, 4353 markings/sec, 55 secs
lola: 286775 markings, 322346 edges, 4369 markings/sec, 60 secs
lola: 308751 markings, 347215 edges, 4395 markings/sec, 65 secs
lola: 330544 markings, 373032 edges, 4359 markings/sec, 70 secs
lola: 352563 markings, 397958 edges, 4404 markings/sec, 75 secs
lola: 374541 markings, 422970 edges, 4396 markings/sec, 80 secs
lola: 396494 markings, 448535 edges, 4391 markings/sec, 85 secs
lola: 418185 markings, 473372 edges, 4338 markings/sec, 90 secs
lola: 440199 markings, 498559 edges, 4403 markings/sec, 95 secs
lola: 462078 markings, 523710 edges, 4376 markings/sec, 100 secs
lola: 483929 markings, 548936 edges, 4370 markings/sec, 105 secs
lola: 505572 markings, 574910 edges, 4329 markings/sec, 110 secs
lola: 527441 markings, 600775 edges, 4374 markings/sec, 115 secs
lola: 549488 markings, 625933 edges, 4409 markings/sec, 120 secs
lola: 571648 markings, 650802 edges, 4432 markings/sec, 125 secs
lola: 593627 markings, 676551 edges, 4396 markings/sec, 130 secs
lola: 615510 markings, 700956 edges, 4377 markings/sec, 135 secs
lola: 637505 markings, 725914 edges, 4399 markings/sec, 140 secs
lola: 659373 markings, 751407 edges, 4374 markings/sec, 145 secs
lola: 681224 markings, 777259 edges, 4370 markings/sec, 150 secs
lola: 703203 markings, 802789 edges, 4396 markings/sec, 155 secs
lola: 724985 markings, 828932 edges, 4356 markings/sec, 160 secs
lola: 746787 markings, 855164 edges, 4360 markings/sec, 165 secs
lola: 768641 markings, 880508 edges, 4371 markings/sec, 170 secs
lola: 790351 markings, 905295 edges, 4342 markings/sec, 175 secs
lola: 811964 markings, 930884 edges, 4323 markings/sec, 180 secs
lola: 833805 markings, 956754 edges, 4368 markings/sec, 185 secs
lola: 855649 markings, 982338 edges, 4369 markings/sec, 190 secs
lola: 877649 markings, 1007302 edges, 4400 markings/sec, 195 secs
lola: 899460 markings, 1033482 edges, 4362 markings/sec, 200 secs
lola: 921219 markings, 1059093 edges, 4352 markings/sec, 205 secs
lola: 943145 markings, 1084325 edges, 4385 markings/sec, 210 secs
lola: 964879 markings, 1110773 edges, 4347 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(PlaceSources_1 + PlaceSources_2 + PlaceSources_3 + PlaceSources_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27567 markings, 28543 edges, 5513 markings/sec, 0 secs
lola: 54850 markings, 57431 edges, 5457 markings/sec, 5 secs
lola: 82094 markings, 86456 edges, 5449 markings/sec, 10 secs
lola: 108370 markings, 115155 edges, 5255 markings/sec, 15 secs
lola: 134710 markings, 144217 edges, 5268 markings/sec, 20 secs
lola: 161187 markings, 173376 edges, 5295 markings/sec, 25 secs
lola: 187395 markings, 202636 edges, 5242 markings/sec, 30 secs
lola: 213319 markings, 231815 edges, 5185 markings/sec, 35 secs
lola: 239153 markings, 260817 edges, 5167 markings/sec, 40 secs
lola: 265267 markings, 290595 edges, 5223 markings/sec, 45 secs
lola: 291199 markings, 319882 edges, 5186 markings/sec, 50 secs
lola: 316900 markings, 349663 edges, 5140 markings/sec, 55 secs
lola: 342924 markings, 379375 edges, 5205 markings/sec, 60 secs
lola: 368721 markings, 409067 edges, 5159 markings/sec, 65 secs
lola: 394219 markings, 438662 edges, 5100 markings/sec, 70 secs
lola: 419779 markings, 468040 edges, 5112 markings/sec, 75 secs
lola: 445490 markings, 497763 edges, 5142 markings/sec, 80 secs
lola: 471032 markings, 527977 edges, 5108 markings/sec, 85 secs
lola: 496632 markings, 558157 edges, 5120 markings/sec, 90 secs
lola: 522025 markings, 588021 edges, 5079 markings/sec, 95 secs
lola: 547669 markings, 617771 edges, 5129 markings/sec, 100 secs
lola: 572972 markings, 647463 edges, 5061 markings/sec, 105 secs
lola: 598437 markings, 677196 edges, 5093 markings/sec, 110 secs
lola: 624179 markings, 707188 edges, 5148 markings/sec, 115 secs
lola: 649490 markings, 736916 edges, 5062 markings/sec, 120 secs
lola: 674861 markings, 767097 edges, 5074 markings/sec, 125 secs
lola: 699908 markings, 797549 edges, 5009 markings/sec, 130 secs
lola: 725122 markings, 827380 edges, 5043 markings/sec, 135 secs
lola: 750384 markings, 857572 edges, 5052 markings/sec, 140 secs
lola: 775650 markings, 887475 edges, 5053 markings/sec, 145 secs
lola: 800977 markings, 917324 edges, 5065 markings/sec, 150 secs
lola: 826382 markings, 947662 edges, 5081 markings/sec, 155 secs
lola: 851709 markings, 978324 edges, 5065 markings/sec, 160 secs
lola: 876817 markings, 1008397 edges, 5022 markings/sec, 165 secs
lola: 901944 markings, 1038347 edges, 5025 markings/sec, 170 secs
lola: 926920 markings, 1068281 edges, 4995 markings/sec, 175 secs
lola: 952206 markings, 1098831 edges, 5057 markings/sec, 180 secs
lola: 977299 markings, 1129302 edges, 5019 markings/sec, 185 secs
lola: 1002204 markings, 1159312 edges, 4981 markings/sec, 190 secs
lola: 1027620 markings, 1189799 edges, 5083 markings/sec, 195 secs
lola: 1052852 markings, 1219849 edges, 5046 markings/sec, 200 secs
lola: 1077815 markings, 1249882 edges, 4993 markings/sec, 205 secs
lola: 1102919 markings, 1280127 edges, 5021 markings/sec, 210 secs
lola: 1127824 markings, 1309809 edges, 4981 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(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27830 markings, 29019 edges, 5566 markings/sec, 0 secs
lola: 55268 markings, 58391 edges, 5488 markings/sec, 5 secs
lola: 82613 markings, 87778 edges, 5469 markings/sec, 10 secs
lola: 108811 markings, 116860 edges, 5240 markings/sec, 15 secs
lola: 135411 markings, 146568 edges, 5320 markings/sec, 20 secs
lola: 161985 markings, 176431 edges, 5315 markings/sec, 25 secs
lola: 188269 markings, 206598 edges, 5257 markings/sec, 30 secs
lola: 214033 markings, 236318 edges, 5153 markings/sec, 35 secs
lola: 240164 markings, 266307 edges, 5226 markings/sec, 40 secs
lola: 266511 markings, 295898 edges, 5269 markings/sec, 45 secs
lola: 292769 markings, 325971 edges, 5252 markings/sec, 50 secs
lola: 318118 markings, 355511 edges, 5070 markings/sec, 55 secs
lola: 344058 markings, 385451 edges, 5188 markings/sec, 60 secs
lola: 369452 markings, 415090 edges, 5079 markings/sec, 65 secs
lola: 394419 markings, 444310 edges, 4993 markings/sec, 70 secs
lola: 418645 markings, 473215 edges, 4845 markings/sec, 75 secs
lola: 443480 markings, 502676 edges, 4967 markings/sec, 80 secs
lola: 468612 markings, 533479 edges, 5026 markings/sec, 85 secs
lola: 494180 markings, 562780 edges, 5114 markings/sec, 90 secs
lola: 519519 markings, 592967 edges, 5068 markings/sec, 95 secs
lola: 544679 markings, 623277 edges, 5032 markings/sec, 100 secs
lola: 570440 markings, 653101 edges, 5152 markings/sec, 105 secs
lola: 595983 markings, 683453 edges, 5109 markings/sec, 110 secs
lola: 621373 markings, 713553 edges, 5078 markings/sec, 115 secs
lola: 646343 markings, 744349 edges, 4994 markings/sec, 120 secs
lola: 671735 markings, 774667 edges, 5078 markings/sec, 125 secs
lola: 696974 markings, 805484 edges, 5048 markings/sec, 130 secs
lola: 721842 markings, 835325 edges, 4974 markings/sec, 135 secs
lola: 745833 markings, 864602 edges, 4798 markings/sec, 140 secs
lola: 770867 markings, 895291 edges, 5007 markings/sec, 145 secs
lola: 796115 markings, 925405 edges, 5050 markings/sec, 150 secs
lola: 821234 markings, 957032 edges, 5024 markings/sec, 155 secs
lola: 846814 markings, 987680 edges, 5116 markings/sec, 160 secs
lola: 872475 markings, 1018754 edges, 5132 markings/sec, 165 secs
lola: 897498 markings, 1049115 edges, 5005 markings/sec, 170 secs
lola: 922673 markings, 1079959 edges, 5035 markings/sec, 175 secs
lola: 947680 markings, 1110925 edges, 5001 markings/sec, 180 secs
lola: 973207 markings, 1141810 edges, 5105 markings/sec, 185 secs
lola: 998150 markings, 1172083 edges, 4989 markings/sec, 190 secs
lola: 1023524 markings, 1202290 edges, 5075 markings/sec, 195 secs
lola: 1048627 markings, 1232229 edges, 5021 markings/sec, 200 secs
lola: 1073734 markings, 1262412 edges, 5021 markings/sec, 205 secs
lola: 1098760 markings, 1293060 edges, 5005 markings/sec, 210 secs
lola: 1123668 markings, 1323654 edges, 4982 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(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_7_1 + P_2579_7_2 + P_2579_7_3 + P_2579_7_4 + P_2579_8_1 + P_2579_8_2 + P_2579_8_3 + P_2579_8_4 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_1 + P_2579_1_2 + P_2579_1_3 + P_2579_1_4 + P_2579_3_1 + P_2579_3_2 + P_2579... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27074 markings, 27787 edges, 5415 markings/sec, 0 secs
lola: 54169 markings, 56269 edges, 5419 markings/sec, 5 secs
lola: 79966 markings, 83401 edges, 5159 markings/sec, 10 secs
lola: 106805 markings, 112099 edges, 5368 markings/sec, 15 secs
lola: 132847 markings, 140056 edges, 5208 markings/sec, 20 secs
lola: 158851 markings, 168580 edges, 5201 markings/sec, 25 secs
lola: 184335 markings, 196301 edges, 5097 markings/sec, 30 secs
lola: 209867 markings, 224247 edges, 5106 markings/sec, 35 secs
lola: 235647 markings, 252781 edges, 5156 markings/sec, 40 secs
lola: 261338 markings, 281534 edges, 5138 markings/sec, 45 secs
lola: 286642 markings, 310096 edges, 5061 markings/sec, 50 secs
lola: 312128 markings, 338878 edges, 5097 markings/sec, 55 secs
lola: 336922 markings, 367379 edges, 4959 markings/sec, 60 secs
lola: 361998 markings, 397043 edges, 5015 markings/sec, 65 secs
lola: 387071 markings, 425743 edges, 5015 markings/sec, 70 secs
lola: 411220 markings, 452584 edges, 4830 markings/sec, 75 secs
lola: 434857 markings, 479277 edges, 4727 markings/sec, 80 secs
lola: 458390 markings, 506123 edges, 4707 markings/sec, 85 secs
lola: 482049 markings, 533457 edges, 4732 markings/sec, 90 secs
lola: 505890 markings, 561570 edges, 4768 markings/sec, 95 secs
lola: 529703 markings, 588852 edges, 4763 markings/sec, 100 secs
lola: 553318 markings, 615429 edges, 4723 markings/sec, 105 secs
lola: 576657 markings, 641726 edges, 4668 markings/sec, 110 secs
lola: 600400 markings, 668459 edges, 4749 markings/sec, 115 secs
lola: 623824 markings, 695320 edges, 4685 markings/sec, 120 secs
lola: 647607 markings, 721745 edges, 4757 markings/sec, 125 secs
lola: 671108 markings, 748547 edges, 4700 markings/sec, 130 secs
lola: 694711 markings, 775259 edges, 4721 markings/sec, 135 secs
lola: 718186 markings, 801565 edges, 4695 markings/sec, 140 secs
lola: 741482 markings, 828718 edges, 4659 markings/sec, 145 secs
lola: 764719 markings, 855639 edges, 4647 markings/sec, 150 secs
lola: 788285 markings, 882243 edges, 4713 markings/sec, 155 secs
lola: 811685 markings, 909327 edges, 4680 markings/sec, 160 secs
lola: 835110 markings, 936123 edges, 4685 markings/sec, 165 secs
lola: 858287 markings, 963107 edges, 4635 markings/sec, 170 secs
lola: 881436 markings, 989754 edges, 4630 markings/sec, 175 secs
lola: 904694 markings, 1016608 edges, 4652 markings/sec, 180 secs
lola: 927895 markings, 1044141 edges, 4640 markings/sec, 185 secs
lola: 951177 markings, 1071115 edges, 4656 markings/sec, 190 secs
lola: 974351 markings, 1099076 edges, 4635 markings/sec, 195 secs
lola: 998193 markings, 1126502 edges, 4768 markings/sec, 200 secs
lola: 1021501 markings, 1153087 edges, 4662 markings/sec, 205 secs
lola: 1044499 markings, 1179940 edges, 4600 markings/sec, 210 secs
lola: 1067643 markings, 1206908 edges, 4629 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(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6 + NotifyEventSourceAddedB_7 + NotifyEventSourceAddedB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27042 markings, 28232 edges, 5408 markings/sec, 0 secs
lola: 53737 markings, 56861 edges, 5339 markings/sec, 5 secs
lola: 80309 markings, 85509 edges, 5314 markings/sec, 10 secs
lola: 106364 markings, 114429 edges, 5211 markings/sec, 15 secs
lola: 132103 markings, 143325 edges, 5148 markings/sec, 20 secs
lola: 158159 markings, 172595 edges, 5211 markings/sec, 25 secs
lola: 184022 markings, 202248 edges, 5173 markings/sec, 30 secs
lola: 209244 markings, 231296 edges, 5044 markings/sec, 35 secs
lola: 234417 markings, 260304 edges, 5035 markings/sec, 40 secs
lola: 259984 markings, 289224 edges, 5113 markings/sec, 45 secs
lola: 285404 markings, 318371 edges, 5084 markings/sec, 50 secs
lola: 310306 markings, 346958 edges, 4980 markings/sec, 55 secs
lola: 335230 markings, 376445 edges, 4985 markings/sec, 60 secs
lola: 360069 markings, 405270 edges, 4968 markings/sec, 65 secs
lola: 385016 markings, 434381 edges, 4989 markings/sec, 70 secs
lola: 409534 markings, 463840 edges, 4904 markings/sec, 75 secs
lola: 434058 markings, 493546 edges, 4905 markings/sec, 80 secs
lola: 459208 markings, 522659 edges, 5030 markings/sec, 85 secs
lola: 484219 markings, 552250 edges, 5002 markings/sec, 90 secs
lola: 508758 markings, 581435 edges, 4908 markings/sec, 95 secs
lola: 533487 markings, 610391 edges, 4946 markings/sec, 100 secs
lola: 557987 markings, 639998 edges, 4900 markings/sec, 105 secs
lola: 582700 markings, 669528 edges, 4943 markings/sec, 110 secs
lola: 607465 markings, 699398 edges, 4953 markings/sec, 115 secs
lola: 631883 markings, 728785 edges, 4884 markings/sec, 120 secs
lola: 656338 markings, 758450 edges, 4891 markings/sec, 125 secs
lola: 681109 markings, 788026 edges, 4954 markings/sec, 130 secs
lola: 705713 markings, 817697 edges, 4921 markings/sec, 135 secs
lola: 730170 markings, 847543 edges, 4891 markings/sec, 140 secs
lola: 754933 markings, 877627 edges, 4953 markings/sec, 145 secs
lola: 779385 markings, 907173 edges, 4890 markings/sec, 150 secs
lola: 804096 markings, 937347 edges, 4942 markings/sec, 155 secs
lola: 828647 markings, 966886 edges, 4910 markings/sec, 160 secs
lola: 853304 markings, 996852 edges, 4931 markings/sec, 165 secs
lola: 877722 markings, 1026858 edges, 4884 markings/sec, 170 secs
lola: 902386 markings, 1056722 edges, 4933 markings/sec, 175 secs
lola: 926907 markings, 1086557 edges, 4904 markings/sec, 180 secs
lola: 951494 markings, 1115928 edges, 4917 markings/sec, 185 secs
lola: 975780 markings, 1145690 edges, 4857 markings/sec, 190 secs
lola: 1000129 markings, 1175548 edges, 4870 markings/sec, 195 secs
lola: 1024432 markings, 1205277 edges, 4861 markings/sec, 200 secs
lola: 1048983 markings, 1234865 edges, 4910 markings/sec, 205 secs
lola: 1073104 markings, 1264256 edges, 4824 markings/sec, 210 secs
lola: 1097994 markings, 1294206 edges, 4978 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(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27163 markings, 28650 edges, 5433 markings/sec, 0 secs
lola: 53262 markings, 58010 edges, 5220 markings/sec, 5 secs
lola: 79173 markings, 88448 edges, 5182 markings/sec, 10 secs
lola: 104944 markings, 118021 edges, 5154 markings/sec, 15 secs
lola: 130432 markings, 147894 edges, 5098 markings/sec, 20 secs
lola: 155524 markings, 178490 edges, 5018 markings/sec, 25 secs
lola: 180928 markings, 208488 edges, 5081 markings/sec, 30 secs
lola: 206077 markings, 238032 edges, 5030 markings/sec, 35 secs
lola: 231345 markings, 268368 edges, 5054 markings/sec, 40 secs
lola: 256435 markings, 297779 edges, 5018 markings/sec, 45 secs
lola: 281789 markings, 328110 edges, 5071 markings/sec, 50 secs
lola: 306821 markings, 357981 edges, 5006 markings/sec, 55 secs
lola: 331850 markings, 387973 edges, 5006 markings/sec, 60 secs
lola: 356813 markings, 417951 edges, 4993 markings/sec, 65 secs
lola: 381662 markings, 447310 edges, 4970 markings/sec, 70 secs
lola: 406041 markings, 477029 edges, 4876 markings/sec, 75 secs
lola: 431112 markings, 506196 edges, 5014 markings/sec, 80 secs
lola: 456067 markings, 535806 edges, 4991 markings/sec, 85 secs
lola: 480863 markings, 565454 edges, 4959 markings/sec, 90 secs
lola: 505994 markings, 594228 edges, 5026 markings/sec, 95 secs
lola: 530852 markings, 623603 edges, 4972 markings/sec, 100 secs
lola: 555513 markings, 654278 edges, 4932 markings/sec, 105 secs
lola: 580192 markings, 683954 edges, 4936 markings/sec, 110 secs
lola: 605005 markings, 714387 edges, 4963 markings/sec, 115 secs
lola: 629593 markings, 743918 edges, 4918 markings/sec, 120 secs
lola: 653948 markings, 775611 edges, 4871 markings/sec, 125 secs
lola: 678734 markings, 806144 edges, 4957 markings/sec, 130 secs
lola: 703302 markings, 837062 edges, 4914 markings/sec, 135 secs
lola: 727949 markings, 866457 edges, 4929 markings/sec, 140 secs
lola: 752414 markings, 896140 edges, 4893 markings/sec, 145 secs
lola: 777005 markings, 926295 edges, 4918 markings/sec, 150 secs
lola: 801879 markings, 955864 edges, 4975 markings/sec, 155 secs
lola: 826240 markings, 987355 edges, 4872 markings/sec, 160 secs
lola: 850676 markings, 1017398 edges, 4887 markings/sec, 165 secs
lola: 875209 markings, 1047307 edges, 4907 markings/sec, 170 secs
lola: 899520 markings, 1077429 edges, 4862 markings/sec, 175 secs
lola: 923959 markings, 1108491 edges, 4888 markings/sec, 180 secs
lola: 948451 markings, 1138513 edges, 4898 markings/sec, 185 secs
lola: 972966 markings, 1168452 edges, 4903 markings/sec, 190 secs
lola: 997761 markings, 1197923 edges, 4959 markings/sec, 195 secs
lola: 1022276 markings, 1228235 edges, 4903 markings/sec, 200 secs
lola: 1046687 markings, 1258606 edges, 4882 markings/sec, 205 secs
lola: 1071043 markings, 1289105 edges, 4871 markings/sec, 210 secs
lola: 1095480 markings, 1319025 edges, 4887 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(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22930 markings, 23704 edges, 4586 markings/sec, 0 secs
lola: 45818 markings, 48707 edges, 4578 markings/sec, 5 secs
lola: 68561 markings, 75359 edges, 4549 markings/sec, 10 secs
lola: 91376 markings, 101499 edges, 4563 markings/sec, 15 secs
lola: 114072 markings, 128081 edges, 4539 markings/sec, 20 secs
lola: 136793 markings, 154840 edges, 4544 markings/sec, 25 secs
lola: 159549 markings, 181261 edges, 4551 markings/sec, 30 secs
lola: 182103 markings, 208675 edges, 4511 markings/sec, 35 secs
lola: 204750 markings, 235250 edges, 4529 markings/sec, 40 secs
lola: 227388 markings, 262490 edges, 4528 markings/sec, 45 secs
lola: 249958 markings, 288862 edges, 4514 markings/sec, 50 secs
lola: 272243 markings, 316923 edges, 4457 markings/sec, 55 secs
lola: 294794 markings, 344328 edges, 4510 markings/sec, 60 secs
lola: 317458 markings, 371464 edges, 4533 markings/sec, 65 secs
lola: 340035 markings, 398561 edges, 4515 markings/sec, 70 secs
lola: 362409 markings, 426880 edges, 4475 markings/sec, 75 secs
lola: 384870 markings, 455458 edges, 4492 markings/sec, 80 secs
lola: 407496 markings, 482623 edges, 4525 markings/sec, 85 secs
lola: 429983 markings, 510582 edges, 4497 markings/sec, 90 secs
lola: 452594 markings, 538228 edges, 4522 markings/sec, 95 secs
lola: 475176 markings, 565876 edges, 4516 markings/sec, 100 secs
lola: 497476 markings, 594563 edges, 4460 markings/sec, 105 secs
lola: 520183 markings, 621530 edges, 4541 markings/sec, 110 secs
lola: 542575 markings, 650221 edges, 4478 markings/sec, 115 secs
lola: 564881 markings, 679382 edges, 4461 markings/sec, 120 secs
lola: 587585 markings, 706148 edges, 4541 markings/sec, 125 secs
lola: 610096 markings, 733061 edges, 4502 markings/sec, 130 secs
lola: 632500 markings, 761163 edges, 4481 markings/sec, 135 secs
lola: 654949 markings, 789725 edges, 4490 markings/sec, 140 secs
lola: 677056 markings, 816030 edges, 4421 markings/sec, 145 secs
lola: 699628 markings, 844408 edges, 4514 markings/sec, 150 secs
lola: 722433 markings, 872259 edges, 4561 markings/sec, 155 secs
lola: 745069 markings, 900982 edges, 4527 markings/sec, 160 secs
lola: 767737 markings, 929957 edges, 4534 markings/sec, 165 secs
lola: 790341 markings, 959473 edges, 4521 markings/sec, 170 secs
lola: 813261 markings, 986995 edges, 4584 markings/sec, 175 secs
lola: 835764 markings, 1017264 edges, 4501 markings/sec, 180 secs
lola: 858446 markings, 1045949 edges, 4536 markings/sec, 185 secs
lola: 880231 markings, 1074745 edges, 4357 markings/sec, 190 secs
lola: 902012 markings, 1102593 edges, 4356 markings/sec, 195 secs
lola: 924024 markings, 1130257 edges, 4402 markings/sec, 200 secs
lola: 946657 markings, 1158821 edges, 4527 markings/sec, 205 secs
lola: 969287 markings, 1187718 edges, 4526 markings/sec, 210 secs
lola: 991829 markings, 1216891 edges, 4508 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(EnablePollingB_1 + EnablePollingB_2 + EnablePollingB_3 + EnablePollingB_4 + EnablePollingB_5 + EnablePollingB_6 + EnablePollingB_7 + EnablePollingB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27907 markings, 28899 edges, 5581 markings/sec, 0 secs
lola: 54787 markings, 57367 edges, 5376 markings/sec, 5 secs
lola: 81156 markings, 85473 edges, 5274 markings/sec, 10 secs
lola: 106507 markings, 113117 edges, 5070 markings/sec, 15 secs
lola: 132025 markings, 141297 edges, 5104 markings/sec, 20 secs
lola: 157718 markings, 169608 edges, 5139 markings/sec, 25 secs
lola: 184298 markings, 199139 edges, 5316 markings/sec, 30 secs
lola: 210402 markings, 228476 edges, 5221 markings/sec, 35 secs
lola: 236497 markings, 257847 edges, 5219 markings/sec, 40 secs
lola: 262735 markings, 287799 edges, 5248 markings/sec, 45 secs
lola: 287997 markings, 316260 edges, 5052 markings/sec, 50 secs
lola: 313988 markings, 346309 edges, 5198 markings/sec, 55 secs
lola: 340351 markings, 376430 edges, 5273 markings/sec, 60 secs
lola: 365092 markings, 404848 edges, 4948 markings/sec, 65 secs
lola: 391364 markings, 435094 edges, 5254 markings/sec, 70 secs
lola: 417543 markings, 465401 edges, 5236 markings/sec, 75 secs
lola: 443554 markings, 495508 edges, 5202 markings/sec, 80 secs
lola: 469482 markings, 526234 edges, 5186 markings/sec, 85 secs
lola: 495610 markings, 556968 edges, 5226 markings/sec, 90 secs
lola: 521457 markings, 587386 edges, 5169 markings/sec, 95 secs
lola: 547573 markings, 617645 edges, 5223 markings/sec, 100 secs
lola: 573348 markings, 647879 edges, 5155 markings/sec, 105 secs
lola: 599244 markings, 678213 edges, 5179 markings/sec, 110 secs
lola: 625354 markings, 708654 edges, 5222 markings/sec, 115 secs
lola: 651132 markings, 738900 edges, 5156 markings/sec, 120 secs
lola: 676971 markings, 769839 edges, 5168 markings/sec, 125 secs
lola: 702543 markings, 800747 edges, 5114 markings/sec, 130 secs
lola: 728254 markings, 831118 edges, 5142 markings/sec, 135 secs
lola: 753827 markings, 861530 edges, 5115 markings/sec, 140 secs
lola: 779632 markings, 892138 edges, 5161 markings/sec, 145 secs
lola: 805412 markings, 922729 edges, 5156 markings/sec, 150 secs
lola: 831266 markings, 953342 edges, 5171 markings/sec, 155 secs
lola: 857023 markings, 984697 edges, 5151 markings/sec, 160 secs
lola: 882590 markings, 1015358 edges, 5113 markings/sec, 165 secs
lola: 908233 markings, 1046009 edges, 5129 markings/sec, 170 secs
lola: 933632 markings, 1076547 edges, 5080 markings/sec, 175 secs
lola: 958951 markings, 1107127 edges, 5064 markings/sec, 180 secs
lola: 984583 markings, 1138157 edges, 5126 markings/sec, 185 secs
lola: 1010069 markings, 1168819 edges, 5097 markings/sec, 190 secs
lola: 1036106 markings, 1199616 edges, 5207 markings/sec, 195 secs
lola: 1061072 markings, 1229714 edges, 4993 markings/sec, 200 secs
lola: 1086459 markings, 1259939 edges, 5077 markings/sec, 205 secs
lola: 1111723 markings, 1290868 edges, 5053 markings/sec, 210 secs
lola: 1137007 markings, 1320775 edges, 5057 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(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27412 markings, 28575 edges, 5482 markings/sec, 0 secs
lola: 54478 markings, 57552 edges, 5413 markings/sec, 5 secs
lola: 81440 markings, 86528 edges, 5392 markings/sec, 10 secs
lola: 107689 markings, 115652 edges, 5250 markings/sec, 15 secs
lola: 133751 markings, 144800 edges, 5212 markings/sec, 20 secs
lola: 160024 markings, 174260 edges, 5255 markings/sec, 25 secs
lola: 185947 markings, 204018 edges, 5185 markings/sec, 30 secs
lola: 211534 markings, 233479 edges, 5117 markings/sec, 35 secs
lola: 237165 markings, 262874 edges, 5126 markings/sec, 40 secs
lola: 263077 markings, 292123 edges, 5182 markings/sec, 45 secs
lola: 288966 markings, 321745 edges, 5178 markings/sec, 50 secs
lola: 314098 markings, 350749 edges, 5026 markings/sec, 55 secs
lola: 339558 markings, 380208 edges, 5092 markings/sec, 60 secs
lola: 364594 markings, 409470 edges, 5007 markings/sec, 65 secs
lola: 390115 markings, 439237 edges, 5104 markings/sec, 70 secs
lola: 414869 markings, 468745 edges, 4951 markings/sec, 75 secs
lola: 439991 markings, 498591 edges, 5024 markings/sec, 80 secs
lola: 465124 markings, 529339 edges, 5027 markings/sec, 85 secs
lola: 490211 markings, 558313 edges, 5017 markings/sec, 90 secs
lola: 515308 markings, 587790 edges, 5019 markings/sec, 95 secs
lola: 540163 markings, 617612 edges, 4971 markings/sec, 100 secs
lola: 565453 markings, 647297 edges, 5058 markings/sec, 105 secs
lola: 590250 markings, 676794 edges, 4959 markings/sec, 110 secs
lola: 614352 markings, 704857 edges, 4820 markings/sec, 115 secs
lola: 638238 markings, 734313 edges, 4777 markings/sec, 120 secs
lola: 663342 markings, 764614 edges, 5021 markings/sec, 125 secs
lola: 688606 markings, 795105 edges, 5053 markings/sec, 130 secs
lola: 713809 markings, 825328 edges, 5041 markings/sec, 135 secs
lola: 738743 markings, 855964 edges, 4987 markings/sec, 140 secs
lola: 763522 markings, 886572 edges, 4956 markings/sec, 145 secs
lola: 788687 markings, 916655 edges, 5033 markings/sec, 150 secs
lola: 813621 markings, 947611 edges, 4987 markings/sec, 155 secs
lola: 839161 markings, 978360 edges, 5108 markings/sec, 160 secs
lola: 864798 markings, 1009406 edges, 5127 markings/sec, 165 secs
lola: 890031 markings, 1039746 edges, 5047 markings/sec, 170 secs
lola: 915534 markings, 1070643 edges, 5101 markings/sec, 175 secs
lola: 940433 markings, 1101902 edges, 4980 markings/sec, 180 secs
lola: 965770 markings, 1132925 edges, 5067 markings/sec, 185 secs
lola: 990857 markings, 1163392 edges, 5017 markings/sec, 190 secs
lola: 1016136 markings, 1193466 edges, 5056 markings/sec, 195 secs
lola: 1041385 markings, 1223039 edges, 5050 markings/sec, 200 secs
lola: 1066380 markings, 1253445 edges, 4999 markings/sec, 205 secs
lola: 1091457 markings, 1284254 edges, 5015 markings/sec, 210 secs
lola: 1116530 markings, 1314998 edges, 5015 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(P_1093)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 25399 markings, 26407 edges, 5080 markings/sec, 0 secs
lola: 51403 markings, 53951 edges, 5201 markings/sec, 5 secs
lola: 77699 markings, 82422 edges, 5259 markings/sec, 10 secs
lola: 103845 markings, 110757 edges, 5229 markings/sec, 15 secs
lola: 130062 markings, 139513 edges, 5243 markings/sec, 20 secs
lola: 156206 markings, 168298 edges, 5229 markings/sec, 25 secs
lola: 182404 markings, 197490 edges, 5240 markings/sec, 30 secs
lola: 208415 markings, 226673 edges, 5202 markings/sec, 35 secs
lola: 234424 markings, 256095 edges, 5202 markings/sec, 40 secs
lola: 260487 markings, 285525 edges, 5213 markings/sec, 45 secs
lola: 286589 markings, 315141 edges, 5220 markings/sec, 50 secs
lola: 312575 markings, 345173 edges, 5197 markings/sec, 55 secs
lola: 338826 markings, 374958 edges, 5250 markings/sec, 60 secs
lola: 364838 markings, 405133 edges, 5202 markings/sec, 65 secs
lola: 390973 markings, 434962 edges, 5227 markings/sec, 70 secs
lola: 416996 markings, 464765 edges, 5205 markings/sec, 75 secs
lola: 442858 markings, 494743 edges, 5172 markings/sec, 80 secs
lola: 466901 markings, 522475 edges, 4809 markings/sec, 85 secs
lola: 492857 markings, 552196 edges, 5191 markings/sec, 90 secs
lola: 518893 markings, 582087 edges, 5207 markings/sec, 95 secs
lola: 545155 markings, 612644 edges, 5252 markings/sec, 100 secs
lola: 571654 markings, 643537 edges, 5300 markings/sec, 105 secs
lola: 598095 markings, 673958 edges, 5288 markings/sec, 110 secs
lola: 624475 markings, 704740 edges, 5276 markings/sec, 115 secs
lola: 650979 markings, 735246 edges, 5301 markings/sec, 120 secs
lola: 677314 markings, 765428 edges, 5267 markings/sec, 125 secs
lola: 703596 markings, 795803 edges, 5256 markings/sec, 130 secs
lola: 730097 markings, 826943 edges, 5300 markings/sec, 135 secs
lola: 756376 markings, 857711 edges, 5256 markings/sec, 140 secs
lola: 782684 markings, 888600 edges, 5262 markings/sec, 145 secs
lola: 808963 markings, 919728 edges, 5256 markings/sec, 150 secs
lola: 835302 markings, 950648 edges, 5268 markings/sec, 155 secs
lola: 861412 markings, 981454 edges, 5222 markings/sec, 160 secs
lola: 887723 markings, 1011982 edges, 5262 markings/sec, 165 secs
lola: 914110 markings, 1042961 edges, 5277 markings/sec, 170 secs
lola: 940481 markings, 1074065 edges, 5274 markings/sec, 175 secs
lola: 966824 markings, 1105390 edges, 5269 markings/sec, 180 secs
lola: 992810 markings, 1136317 edges, 5197 markings/sec, 185 secs
lola: 1019041 markings, 1167155 edges, 5246 markings/sec, 190 secs
lola: 1044334 markings, 1197206 edges, 5059 markings/sec, 195 secs
lola: 1070167 markings, 1227614 edges, 5167 markings/sec, 200 secs
lola: 1096335 markings, 1259224 edges, 5234 markings/sec, 205 secs
lola: 1122481 markings, 1290307 edges, 5229 markings/sec, 210 secs
lola: 1147780 markings, 1320582 edges, 5060 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(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 27608 markings, 28809 edges, 5522 markings/sec, 0 secs
lola: 54368 markings, 57477 edges, 5352 markings/sec, 5 secs
lola: 81586 markings, 86750 edges, 5444 markings/sec, 10 secs
lola: 108099 markings, 116198 edges, 5303 markings/sec, 15 secs
lola: 134589 markings, 145778 edges, 5298 markings/sec, 20 secs
lola: 161110 markings, 175637 edges, 5304 markings/sec, 25 secs
lola: 187337 markings, 205775 edges, 5245 markings/sec, 30 secs
lola: 213058 markings, 235443 edges, 5144 markings/sec, 35 secs
lola: 239032 markings, 265317 edges, 5195 markings/sec, 40 secs
lola: 265335 markings, 294882 edges, 5261 markings/sec, 45 secs
lola: 291441 markings, 324798 edges, 5221 markings/sec, 50 secs
lola: 316789 markings, 354302 edges, 5070 markings/sec, 55 secs
lola: 342413 markings, 384370 edges, 5125 markings/sec, 60 secs
lola: 368025 markings, 413953 edges, 5122 markings/sec, 65 secs
lola: 393472 markings, 444304 edges, 5089 markings/sec, 70 secs
lola: 418710 markings, 474293 edges, 5048 markings/sec, 75 secs
lola: 444170 markings, 504686 edges, 5092 markings/sec, 80 secs
lola: 469969 markings, 534640 edges, 5160 markings/sec, 85 secs
lola: 495422 markings, 564888 edges, 5091 markings/sec, 90 secs
lola: 520637 markings, 594452 edges, 5043 markings/sec, 95 secs
lola: 546011 markings, 624382 edges, 5075 markings/sec, 100 secs
lola: 571133 markings, 654955 edges, 5024 markings/sec, 105 secs
lola: 596667 markings, 685679 edges, 5107 markings/sec, 110 secs
lola: 621823 markings, 715879 edges, 5031 markings/sec, 115 secs
lola: 646765 markings, 746233 edges, 4988 markings/sec, 120 secs
lola: 672164 markings, 776474 edges, 5080 markings/sec, 125 secs
lola: 697565 markings, 806781 edges, 5080 markings/sec, 130 secs
lola: 722699 markings, 837480 edges, 5027 markings/sec, 135 secs
lola: 747983 markings, 868056 edges, 5057 markings/sec, 140 secs
lola: 773200 markings, 898606 edges, 5043 markings/sec, 145 secs
lola: 798297 markings, 929093 edges, 5019 markings/sec, 150 secs
lola: 823607 markings, 959803 edges, 5062 markings/sec, 155 secs
lola: 848900 markings, 989937 edges, 5059 markings/sec, 160 secs
lola: 873875 markings, 1021162 edges, 4995 markings/sec, 165 secs
lola: 898751 markings, 1051008 edges, 4975 markings/sec, 170 secs
lola: 923885 markings, 1082167 edges, 5027 markings/sec, 175 secs
lola: 948942 markings, 1112380 edges, 5011 markings/sec, 180 secs
lola: 973961 markings, 1143326 edges, 5004 markings/sec, 185 secs
lola: 999202 markings, 1173384 edges, 5048 markings/sec, 190 secs
lola: 1024350 markings, 1203372 edges, 5030 markings/sec, 195 secs
lola: 1049600 markings, 1234051 edges, 5050 markings/sec, 200 secs
lola: 1074682 markings, 1264000 edges, 5016 markings/sec, 205 secs
lola: 1099555 markings, 1294310 edges, 4975 markings/sec, 210 secs
lola: 1124425 markings, 1325071 edges, 4974 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(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22139 markings, 24436 edges, 4428 markings/sec, 0 secs
lola: 44188 markings, 49773 edges, 4410 markings/sec, 5 secs
lola: 66273 markings, 74357 edges, 4417 markings/sec, 10 secs
lola: 88246 markings, 99835 edges, 4395 markings/sec, 15 secs
lola: 110211 markings, 124990 edges, 4393 markings/sec, 20 secs
lola: 132133 markings, 150727 edges, 4384 markings/sec, 25 secs
lola: 154070 markings, 177214 edges, 4387 markings/sec, 30 secs
lola: 176012 markings, 204251 edges, 4388 markings/sec, 35 secs
lola: 197877 markings, 230244 edges, 4373 markings/sec, 40 secs
lola: 219658 markings, 256466 edges, 4356 markings/sec, 45 secs
lola: 241469 markings, 282691 edges, 4362 markings/sec, 50 secs
lola: 263286 markings, 309313 edges, 4363 markings/sec, 55 secs
lola: 285077 markings, 335711 edges, 4358 markings/sec, 60 secs
lola: 306822 markings, 362519 edges, 4349 markings/sec, 65 secs
lola: 328604 markings, 389130 edges, 4356 markings/sec, 70 secs
lola: 350409 markings, 416257 edges, 4361 markings/sec, 75 secs
lola: 372071 markings, 443075 edges, 4332 markings/sec, 80 secs
lola: 393421 markings, 469511 edges, 4270 markings/sec, 85 secs
lola: 414838 markings, 496152 edges, 4283 markings/sec, 90 secs
lola: 436150 markings, 522323 edges, 4262 markings/sec, 95 secs
lola: 457439 markings, 549013 edges, 4258 markings/sec, 100 secs
lola: 478621 markings, 575532 edges, 4236 markings/sec, 105 secs
lola: 499781 markings, 602310 edges, 4232 markings/sec, 110 secs
lola: 521045 markings, 629151 edges, 4253 markings/sec, 115 secs
lola: 542284 markings, 655822 edges, 4248 markings/sec, 120 secs
lola: 563476 markings, 682817 edges, 4238 markings/sec, 125 secs
lola: 584585 markings, 709738 edges, 4222 markings/sec, 130 secs
lola: 605777 markings, 736189 edges, 4238 markings/sec, 135 secs
lola: 627473 markings, 763174 edges, 4339 markings/sec, 140 secs
lola: 649521 markings, 790793 edges, 4410 markings/sec, 145 secs
lola: 671558 markings, 819478 edges, 4407 markings/sec, 150 secs
lola: 693638 markings, 847511 edges, 4416 markings/sec, 155 secs
lola: 715741 markings, 875610 edges, 4421 markings/sec, 160 secs
lola: 737759 markings, 903505 edges, 4404 markings/sec, 165 secs
lola: 755335 markings, 925820 edges, 3515 markings/sec, 170 secs
lola: 768315 markings, 942277 edges, 2596 markings/sec, 175 secs
lola: 781936 markings, 959811 edges, 2724 markings/sec, 180 secs
lola: 795545 markings, 977435 edges, 2722 markings/sec, 185 secs
lola: 809129 markings, 995140 edges, 2717 markings/sec, 190 secs
lola: 822759 markings, 1012638 edges, 2726 markings/sec, 195 secs
lola: 836418 markings, 1030027 edges, 2732 markings/sec, 200 secs
lola: 850068 markings, 1047384 edges, 2730 markings/sec, 205 secs
lola: 863651 markings, 1064383 edges, 2717 markings/sec, 210 secs
lola: 877273 markings, 1082054 edges, 2724 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 21193 markings, 23618 edges, 4239 markings/sec, 0 secs
lola: 42491 markings, 47267 edges, 4260 markings/sec, 5 secs
lola: 63854 markings, 71474 edges, 4273 markings/sec, 10 secs
lola: 85246 markings, 95008 edges, 4278 markings/sec, 15 secs
lola: 106569 markings, 118956 edges, 4265 markings/sec, 20 secs
lola: 127782 markings, 143818 edges, 4243 markings/sec, 25 secs
lola: 148978 markings, 168203 edges, 4239 markings/sec, 30 secs
lola: 170171 markings, 191969 edges, 4239 markings/sec, 35 secs
lola: 191436 markings, 215793 edges, 4253 markings/sec, 40 secs
lola: 212886 markings, 239724 edges, 4290 markings/sec, 45 secs
lola: 234319 markings, 263488 edges, 4287 markings/sec, 50 secs
lola: 255599 markings, 287294 edges, 4256 markings/sec, 55 secs
lola: 276765 markings, 310804 edges, 4233 markings/sec, 60 secs
lola: 298010 markings, 334900 edges, 4249 markings/sec, 65 secs
lola: 319218 markings, 359525 edges, 4242 markings/sec, 70 secs
lola: 340422 markings, 384039 edges, 4241 markings/sec, 75 secs
lola: 361827 markings, 408320 edges, 4281 markings/sec, 80 secs
lola: 383057 markings, 432809 edges, 4246 markings/sec, 85 secs
lola: 404303 markings, 457434 edges, 4249 markings/sec, 90 secs
lola: 425253 markings, 481661 edges, 4190 markings/sec, 95 secs
lola: 446683 markings, 505928 edges, 4286 markings/sec, 100 secs
lola: 467884 markings, 530248 edges, 4240 markings/sec, 105 secs
lola: 488945 markings, 554842 edges, 4212 markings/sec, 110 secs
lola: 509916 markings, 580165 edges, 4194 markings/sec, 115 secs
lola: 531174 markings, 605092 edges, 4252 markings/sec, 120 secs
lola: 552681 markings, 629451 edges, 4301 markings/sec, 125 secs
lola: 574057 markings, 653657 edges, 4275 markings/sec, 130 secs
lola: 595377 markings, 678509 edges, 4264 markings/sec, 135 secs
lola: 616543 markings, 702131 edges, 4233 markings/sec, 140 secs
lola: 637883 markings, 726304 edges, 4268 markings/sec, 145 secs
lola: 659135 markings, 751116 edges, 4250 markings/sec, 150 secs
lola: 681243 markings, 777279 edges, 4422 markings/sec, 155 secs
lola: 703479 markings, 803086 edges, 4447 markings/sec, 160 secs
lola: 725507 markings, 829523 edges, 4406 markings/sec, 165 secs
lola: 747528 markings, 856083 edges, 4404 markings/sec, 170 secs
lola: 769566 markings, 881450 edges, 4408 markings/sec, 175 secs
lola: 791416 markings, 906621 edges, 4370 markings/sec, 180 secs
lola: 813228 markings, 932348 edges, 4362 markings/sec, 185 secs
lola: 835227 markings, 958496 edges, 4400 markings/sec, 190 secs
lola: 857231 markings, 984111 edges, 4401 markings/sec, 195 secs
lola: 879401 markings, 1009244 edges, 4434 markings/sec, 200 secs
lola: 901383 markings, 1035696 edges, 4396 markings/sec, 205 secs
lola: 923263 markings, 1061562 edges, 4376 markings/sec, 210 secs
lola: 945347 markings, 1086958 edges, 4417 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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6 + P_1617_7 + P_1617_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 21064 markings, 23464 edges, 4213 markings/sec, 0 secs
lola: 42204 markings, 46957 edges, 4228 markings/sec, 5 secs
lola: 63402 markings, 70950 edges, 4240 markings/sec, 10 secs
lola: 84628 markings, 94328 edges, 4245 markings/sec, 15 secs
lola: 105768 markings, 117980 edges, 4228 markings/sec, 20 secs
lola: 126821 markings, 142522 edges, 4211 markings/sec, 25 secs
lola: 147793 markings, 166920 edges, 4194 markings/sec, 30 secs
lola: 168802 markings, 190330 edges, 4202 markings/sec, 35 secs
lola: 190643 markings, 214842 edges, 4368 markings/sec, 40 secs
lola: 212894 markings, 239732 edges, 4450 markings/sec, 45 secs
lola: 235163 markings, 264422 edges, 4454 markings/sec, 50 secs
lola: 257117 markings, 289068 edges, 4391 markings/sec, 55 secs
lola: 278995 markings, 313466 edges, 4376 markings/sec, 60 secs
lola: 301096 markings, 338302 edges, 4420 markings/sec, 65 secs
lola: 323104 markings, 364118 edges, 4402 markings/sec, 70 secs
lola: 345150 markings, 389125 edges, 4409 markings/sec, 75 secs
lola: 367290 markings, 414753 edges, 4428 markings/sec, 80 secs
lola: 389365 markings, 440168 edges, 4415 markings/sec, 85 secs
lola: 411323 markings, 465598 edges, 4392 markings/sec, 90 secs
lola: 433220 markings, 490683 edges, 4379 markings/sec, 95 secs
lola: 455302 markings, 516120 edges, 4416 markings/sec, 100 secs
lola: 477292 markings, 541395 edges, 4398 markings/sec, 105 secs
lola: 499112 markings, 567093 edges, 4364 markings/sec, 110 secs
lola: 520895 markings, 593150 edges, 4357 markings/sec, 115 secs
lola: 543177 markings, 618866 edges, 4456 markings/sec, 120 secs
lola: 565359 markings, 643907 edges, 4436 markings/sec, 125 secs
lola: 587498 markings, 669584 edges, 4428 markings/sec, 130 secs
lola: 609501 markings, 694236 edges, 4401 markings/sec, 135 secs
lola: 631669 markings, 719308 edges, 4434 markings/sec, 140 secs
lola: 653630 markings, 744469 edges, 4392 markings/sec, 145 secs
lola: 675525 markings, 770696 edges, 4379 markings/sec, 150 secs
lola: 697614 markings, 796365 edges, 4418 markings/sec, 155 secs
lola: 719510 markings, 822477 edges, 4379 markings/sec, 160 secs
lola: 741471 markings, 848690 edges, 4392 markings/sec, 165 secs
lola: 763322 markings, 874421 edges, 4370 markings/sec, 170 secs
lola: 785209 markings, 899297 edges, 4377 markings/sec, 175 secs
lola: 806959 markings, 924795 edges, 4350 markings/sec, 180 secs
lola: 828820 markings, 950713 edges, 4372 markings/sec, 185 secs
lola: 850768 markings, 976905 edges, 4390 markings/sec, 190 secs
lola: 872826 markings, 1001926 edges, 4412 markings/sec, 195 secs
lola: 894697 markings, 1027950 edges, 4374 markings/sec, 200 secs
lola: 916709 markings, 1053911 edges, 4402 markings/sec, 205 secs
lola: 938607 markings, 1079427 edges, 4380 markings/sec, 210 secs
lola: 960582 markings, 1105495 edges, 4395 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(SigAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 26871 markings, 28343 edges, 5374 markings/sec, 0 secs
lola: 52813 markings, 57516 edges, 5188 markings/sec, 5 secs
lola: 78596 markings, 87814 edges, 5157 markings/sec, 10 secs
lola: 104180 markings, 117174 edges, 5117 markings/sec, 15 secs
lola: 129471 markings, 146845 edges, 5058 markings/sec, 20 secs
lola: 154420 markings, 177255 edges, 4990 markings/sec, 25 secs
lola: 179730 markings, 206786 edges, 5062 markings/sec, 30 secs
lola: 204690 markings, 236467 edges, 4992 markings/sec, 35 secs
lola: 229817 markings, 266722 edges, 5025 markings/sec, 40 secs
lola: 254721 markings, 295844 edges, 4981 markings/sec, 45 secs
lola: 279966 markings, 325642 edges, 5049 markings/sec, 50 secs
lola: 304849 markings, 355589 edges, 4977 markings/sec, 55 secs
lola: 329754 markings, 385393 edges, 4981 markings/sec, 60 secs
lola: 354576 markings, 415311 edges, 4964 markings/sec, 65 secs
lola: 379347 markings, 444610 edges, 4954 markings/sec, 70 secs
lola: 404024 markings, 474474 edges, 4935 markings/sec, 75 secs
lola: 428732 markings, 503497 edges, 4942 markings/sec, 80 secs
lola: 453538 markings, 532833 edges, 4961 markings/sec, 85 secs
lola: 478014 markings, 562198 edges, 4895 markings/sec, 90 secs
lola: 502993 markings, 590822 edges, 4996 markings/sec, 95 secs
lola: 527610 markings, 619852 edges, 4923 markings/sec, 100 secs
lola: 552009 markings, 649983 edges, 4880 markings/sec, 105 secs
lola: 576466 markings, 679623 edges, 4891 markings/sec, 110 secs
lola: 601187 markings, 709244 edges, 4944 markings/sec, 115 secs
lola: 625484 markings, 738881 edges, 4859 markings/sec, 120 secs
lola: 649557 markings, 770409 edges, 4815 markings/sec, 125 secs
lola: 673964 markings, 800451 edges, 4881 markings/sec, 130 secs
lola: 698301 markings, 831013 edges, 4867 markings/sec, 135 secs
lola: 722814 markings, 860104 edges, 4903 markings/sec, 140 secs
lola: 746942 markings, 889540 edges, 4826 markings/sec, 145 secs
lola: 771299 markings, 919227 edges, 4871 markings/sec, 150 secs
lola: 795895 markings, 948902 edges, 4919 markings/sec, 155 secs
lola: 820088 markings, 979473 edges, 4839 markings/sec, 160 secs
lola: 844418 markings, 1009699 edges, 4866 markings/sec, 165 secs
lola: 868587 markings, 1039289 edges, 4834 markings/sec, 170 secs
lola: 892643 markings, 1068921 edges, 4811 markings/sec, 175 secs
lola: 917085 markings, 1099173 edges, 4888 markings/sec, 180 secs
lola: 941333 markings, 1129403 edges, 4850 markings/sec, 185 secs
lola: 965541 markings, 1159212 edges, 4842 markings/sec, 190 secs
lola: 990114 markings, 1188091 edges, 4915 markings/sec, 195 secs
lola: 1014484 markings, 1218229 edges, 4874 markings/sec, 200 secs
lola: 1038555 markings, 1248514 edges, 4814 markings/sec, 205 secs
lola: 1062559 markings, 1278707 edges, 4801 markings/sec, 210 secs
lola: 1086821 markings, 1307985 edges, 4852 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496478652094

--------------------
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_PolyORBLF-PT-S04J06T08"
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_PolyORBLF-PT-S04J06T08.tgz
mv S_PolyORBLF-PT-S04J06T08 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_PolyORBLF-PT-S04J06T08, 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 r128-smll-149441681600488"
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 ;