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

About the Execution of LoLA for S_PolyORBLF-PT-S04J06T08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1799.750 3539327.00 3546944.00 12465.60 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

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