Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBLF-PT-S04J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440870000488
=====================================================================

--------------------
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 1494711103826


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S04J06T08 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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: 22355 markings, 24918 edges, 4471 markings/sec, 0 secs
lola: 44801 markings, 49863 edges, 4489 markings/sec, 5 secs
lola: 67371 markings, 75403 edges, 4514 markings/sec, 10 secs
lola: 89855 markings, 100132 edges, 4497 markings/sec, 15 secs
lola: 112347 markings, 125443 edges, 4498 markings/sec, 20 secs
lola: 134635 markings, 151960 edges, 4458 markings/sec, 25 secs
lola: 156924 markings, 177215 edges, 4458 markings/sec, 30 secs
lola: 179294 markings, 202034 edges, 4474 markings/sec, 35 secs
lola: 202030 markings, 227794 edges, 4547 markings/sec, 40 secs
lola: 224813 markings, 253007 edges, 4557 markings/sec, 45 secs
lola: 247698 markings, 278265 edges, 4577 markings/sec, 50 secs
lola: 270197 markings, 303496 edges, 4500 markings/sec, 55 secs
lola: 292820 markings, 328983 edges, 4525 markings/sec, 60 secs
lola: 315458 markings, 355092 edges, 4528 markings/sec, 65 secs
lola: 337993 markings, 381322 edges, 4507 markings/sec, 70 secs
lola: 360774 markings, 407189 edges, 4556 markings/sec, 75 secs
lola: 383416 markings, 433207 edges, 4528 markings/sec, 80 secs
lola: 406028 markings, 459350 edges, 4522 markings/sec, 85 secs
lola: 428415 markings, 485316 edges, 4477 markings/sec, 90 secs
lola: 451156 markings, 511229 edges, 4548 markings/sec, 95 secs
lola: 473805 markings, 536935 edges, 4530 markings/sec, 100 secs
lola: 496197 markings, 563870 edges, 4478 markings/sec, 105 secs
lola: 518565 markings, 590509 edges, 4474 markings/sec, 110 secs
lola: 541471 markings, 616953 edges, 4581 markings/sec, 115 secs
lola: 564242 markings, 642666 edges, 4554 markings/sec, 120 secs
lola: 586987 markings, 668970 edges, 4549 markings/sec, 125 secs
lola: 609616 markings, 694376 edges, 4526 markings/sec, 130 secs
lola: 632422 markings, 720133 edges, 4561 markings/sec, 135 secs
lola: 654989 markings, 746033 edges, 4513 markings/sec, 140 secs
lola: 677467 markings, 773046 edges, 4496 markings/sec, 145 secs
lola: 700171 markings, 799312 edges, 4541 markings/sec, 150 secs
lola: 722605 markings, 826419 edges, 4487 markings/sec, 155 secs
lola: 745190 markings, 853277 edges, 4517 markings/sec, 160 secs
lola: 767701 markings, 879513 edges, 4502 markings/sec, 165 secs
lola: 790144 markings, 905083 edges, 4489 markings/sec, 170 secs
lola: 812474 markings, 931480 edges, 4466 markings/sec, 175 secs
lola: 835053 markings, 958198 edges, 4516 markings/sec, 180 secs
lola: 857578 markings, 984547 edges, 4505 markings/sec, 185 secs
lola: 880321 markings, 1010317 edges, 4549 markings/sec, 190 secs
lola: 902870 markings, 1037455 edges, 4510 markings/sec, 195 secs
lola: 925309 markings, 1064188 edges, 4488 markings/sec, 200 secs
lola: 947956 markings, 1090101 edges, 4529 markings/sec, 205 secs
lola: 970443 markings, 1117171 edges, 4497 markings/sec, 210 secs
lola: 993011 markings, 1143586 edges, 4514 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: 21164 markings, 23587 edges, 4233 markings/sec, 0 secs
lola: 43298 markings, 48099 edges, 4427 markings/sec, 5 secs
lola: 65463 markings, 73295 edges, 4433 markings/sec, 10 secs
lola: 87617 markings, 97500 edges, 4431 markings/sec, 15 secs
lola: 109698 markings, 122484 edges, 4416 markings/sec, 20 secs
lola: 131636 markings, 148459 edges, 4388 markings/sec, 25 secs
lola: 153557 markings, 173574 edges, 4384 markings/sec, 30 secs
lola: 175543 markings, 197964 edges, 4397 markings/sec, 35 secs
lola: 197610 markings, 222850 edges, 4413 markings/sec, 40 secs
lola: 219763 markings, 247277 edges, 4431 markings/sec, 45 secs
lola: 242124 markings, 272098 edges, 4472 markings/sec, 50 secs
lola: 263954 markings, 296556 edges, 4366 markings/sec, 55 secs
lola: 285888 markings, 321232 edges, 4387 markings/sec, 60 secs
lola: 307867 markings, 346206 edges, 4396 markings/sec, 65 secs
lola: 329785 markings, 372084 edges, 4384 markings/sec, 70 secs
lola: 351839 markings, 397138 edges, 4411 markings/sec, 75 secs
lola: 373892 markings, 422269 edges, 4411 markings/sec, 80 secs
lola: 395921 markings, 447897 edges, 4406 markings/sec, 85 secs
lola: 417725 markings, 472779 edges, 4361 markings/sec, 90 secs
lola: 439777 markings, 498114 edges, 4410 markings/sec, 95 secs
lola: 461744 markings, 523328 edges, 4393 markings/sec, 100 secs
lola: 483644 markings, 548629 edges, 4380 markings/sec, 105 secs
lola: 505381 markings, 574650 edges, 4347 markings/sec, 110 secs
lola: 527320 markings, 600631 edges, 4388 markings/sec, 115 secs
lola: 549547 markings, 625992 edges, 4445 markings/sec, 120 secs
lola: 571742 markings, 650896 edges, 4439 markings/sec, 125 secs
lola: 593781 markings, 676718 edges, 4408 markings/sec, 130 secs
lola: 615703 markings, 701183 edges, 4384 markings/sec, 135 secs
lola: 637760 markings, 726175 edges, 4411 markings/sec, 140 secs
lola: 659666 markings, 751758 edges, 4381 markings/sec, 145 secs
lola: 681595 markings, 777660 edges, 4386 markings/sec, 150 secs
lola: 703607 markings, 803285 edges, 4402 markings/sec, 155 secs
lola: 725446 markings, 829458 edges, 4368 markings/sec, 160 secs
lola: 747267 markings, 855763 edges, 4364 markings/sec, 165 secs
lola: 769175 markings, 881048 edges, 4382 markings/sec, 170 secs
lola: 790950 markings, 906005 edges, 4355 markings/sec, 175 secs
lola: 812641 markings, 931675 edges, 4338 markings/sec, 180 secs
lola: 834567 markings, 957569 edges, 4385 markings/sec, 185 secs
lola: 856461 markings, 983278 edges, 4379 markings/sec, 190 secs
lola: 878562 markings, 1008262 edges, 4420 markings/sec, 195 secs
lola: 900453 markings, 1034617 edges, 4378 markings/sec, 200 secs
lola: 922236 markings, 1060330 edges, 4357 markings/sec, 205 secs
lola: 944220 markings, 1085614 edges, 4397 markings/sec, 210 secs
lola: 966046 markings, 1112133 edges, 4365 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: 28007 markings, 28999 edges, 5601 markings/sec, 0 secs
lola: 55708 markings, 58361 edges, 5540 markings/sec, 5 secs
lola: 83419 markings, 87861 edges, 5542 markings/sec, 10 secs
lola: 109975 markings, 116991 edges, 5311 markings/sec, 15 secs
lola: 136890 markings, 146633 edges, 5383 markings/sec, 20 secs
lola: 163720 markings, 176279 edges, 5366 markings/sec, 25 secs
lola: 190365 markings, 205977 edges, 5329 markings/sec, 30 secs
lola: 216759 markings, 235740 edges, 5279 markings/sec, 35 secs
lola: 243006 markings, 265420 edges, 5249 markings/sec, 40 secs
lola: 269583 markings, 295489 edges, 5315 markings/sec, 45 secs
lola: 295976 markings, 325449 edges, 5279 markings/sec, 50 secs
lola: 322158 markings, 355734 edges, 5236 markings/sec, 55 secs
lola: 348671 markings, 385771 edges, 5303 markings/sec, 60 secs
lola: 374836 markings, 415874 edges, 5233 markings/sec, 65 secs
lola: 400789 markings, 446123 edges, 5191 markings/sec, 70 secs
lola: 426623 markings, 476011 edges, 5167 markings/sec, 75 secs
lola: 452825 markings, 506521 edges, 5240 markings/sec, 80 secs
lola: 478805 markings, 537321 edges, 5196 markings/sec, 85 secs
lola: 504852 markings, 567884 edges, 5209 markings/sec, 90 secs
lola: 530740 markings, 598108 edges, 5178 markings/sec, 95 secs
lola: 556784 markings, 628531 edges, 5209 markings/sec, 100 secs
lola: 582523 markings, 658567 edges, 5148 markings/sec, 105 secs
lola: 608635 markings, 688952 edges, 5222 markings/sec, 110 secs
lola: 634553 markings, 719462 edges, 5184 markings/sec, 115 secs
lola: 660317 markings, 749867 edges, 5153 markings/sec, 120 secs
lola: 686111 markings, 780691 edges, 5159 markings/sec, 125 secs
lola: 711525 markings, 811464 edges, 5083 markings/sec, 130 secs
lola: 737239 markings, 841861 edges, 5143 markings/sec, 135 secs
lola: 762884 markings, 872158 edges, 5129 markings/sec, 140 secs
lola: 788654 markings, 902798 edges, 5154 markings/sec, 145 secs
lola: 814381 markings, 933573 edges, 5145 markings/sec, 150 secs
lola: 840417 markings, 964531 edges, 5207 markings/sec, 155 secs
lola: 866126 markings, 995471 edges, 5142 markings/sec, 160 secs
lola: 891504 markings, 1025965 edges, 5076 markings/sec, 165 secs
lola: 917042 markings, 1056545 edges, 5108 markings/sec, 170 secs
lola: 942475 markings, 1087431 edges, 5087 markings/sec, 175 secs
lola: 968227 markings, 1118279 edges, 5150 markings/sec, 180 secs
lola: 993710 markings, 1149097 edges, 5097 markings/sec, 185 secs
lola: 1019401 markings, 1179891 edges, 5138 markings/sec, 190 secs
lola: 1045153 markings, 1210648 edges, 5150 markings/sec, 195 secs
lola: 1070648 markings, 1241109 edges, 5099 markings/sec, 200 secs
lola: 1096088 markings, 1271765 edges, 5088 markings/sec, 205 secs
lola: 1121543 markings, 1302301 edges, 5091 markings/sec, 210 secs
lola: 1146948 markings, 1333042 edges, 5081 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: 27444 markings, 28609 edges, 5489 markings/sec, 0 secs
lola: 54511 markings, 57586 edges, 5413 markings/sec, 5 secs
lola: 81533 markings, 86622 edges, 5404 markings/sec, 10 secs
lola: 107881 markings, 115852 edges, 5270 markings/sec, 15 secs
lola: 134018 markings, 145075 edges, 5227 markings/sec, 20 secs
lola: 160286 markings, 174535 edges, 5254 markings/sec, 25 secs
lola: 186180 markings, 204263 edges, 5179 markings/sec, 30 secs
lola: 211729 markings, 233686 edges, 5110 markings/sec, 35 secs
lola: 237380 markings, 263171 edges, 5130 markings/sec, 40 secs
lola: 263252 markings, 292325 edges, 5174 markings/sec, 45 secs
lola: 289125 markings, 321960 edges, 5175 markings/sec, 50 secs
lola: 314221 markings, 350886 edges, 5019 markings/sec, 55 secs
lola: 339660 markings, 380317 edges, 5088 markings/sec, 60 secs
lola: 364688 markings, 409591 edges, 5006 markings/sec, 65 secs
lola: 390218 markings, 439357 edges, 5106 markings/sec, 70 secs
lola: 415008 markings, 468903 edges, 4958 markings/sec, 75 secs
lola: 440198 markings, 498811 edges, 5038 markings/sec, 80 secs
lola: 465358 markings, 529609 edges, 5032 markings/sec, 85 secs
lola: 490488 markings, 558624 edges, 5026 markings/sec, 90 secs
lola: 515707 markings, 588291 edges, 5044 markings/sec, 95 secs
lola: 540643 markings, 618246 edges, 4987 markings/sec, 100 secs
lola: 565998 markings, 647909 edges, 5071 markings/sec, 105 secs
lola: 591244 markings, 677901 edges, 5049 markings/sec, 110 secs
lola: 616447 markings, 707545 edges, 5041 markings/sec, 115 secs
lola: 641155 markings, 737804 edges, 4942 markings/sec, 120 secs
lola: 666259 markings, 768124 edges, 5021 markings/sec, 125 secs
lola: 691256 markings, 798416 edges, 4999 markings/sec, 130 secs
lola: 716295 markings, 828313 edges, 5008 markings/sec, 135 secs
lola: 740975 markings, 858549 edges, 4936 markings/sec, 140 secs
lola: 765495 markings, 888996 edges, 4904 markings/sec, 145 secs
lola: 790443 markings, 918644 edges, 4990 markings/sec, 150 secs
lola: 815185 markings, 949588 edges, 4948 markings/sec, 155 secs
lola: 840387 markings, 980084 edges, 5040 markings/sec, 160 secs
lola: 865851 markings, 1010835 edges, 5093 markings/sec, 165 secs
lola: 890845 markings, 1040682 edges, 4999 markings/sec, 170 secs
lola: 916120 markings, 1071423 edges, 5055 markings/sec, 175 secs
lola: 940768 markings, 1102299 edges, 4930 markings/sec, 180 secs
lola: 965865 markings, 1133034 edges, 5019 markings/sec, 185 secs
lola: 990726 markings, 1163222 edges, 4972 markings/sec, 190 secs
lola: 1015796 markings, 1193001 edges, 5014 markings/sec, 195 secs
lola: 1040843 markings, 1222409 edges, 5009 markings/sec, 200 secs
lola: 1065616 markings, 1252508 edges, 4955 markings/sec, 205 secs
lola: 1090460 markings, 1283003 edges, 4969 markings/sec, 210 secs
lola: 1115355 markings, 1313580 edges, 4979 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: 28002 markings, 28745 edges, 5600 markings/sec, 0 secs
lola: 55722 markings, 57972 edges, 5544 markings/sec, 5 secs
lola: 82332 markings, 85966 edges, 5322 markings/sec, 10 secs
lola: 109445 markings, 114897 edges, 5423 markings/sec, 15 secs
lola: 135662 markings, 143015 edges, 5243 markings/sec, 20 secs
lola: 161906 markings, 172099 edges, 5249 markings/sec, 25 secs
lola: 187636 markings, 199809 edges, 5146 markings/sec, 30 secs
lola: 213267 markings, 228048 edges, 5126 markings/sec, 35 secs
lola: 239471 markings, 257177 edges, 5241 markings/sec, 40 secs
lola: 265311 markings, 285963 edges, 5168 markings/sec, 45 secs
lola: 290774 markings, 314945 edges, 5093 markings/sec, 50 secs
lola: 316395 markings, 343648 edges, 5124 markings/sec, 55 secs
lola: 341538 markings, 372915 edges, 5029 markings/sec, 60 secs
lola: 366801 markings, 402765 edges, 5053 markings/sec, 65 secs
lola: 392254 markings, 431498 edges, 5091 markings/sec, 70 secs
lola: 417352 markings, 459507 edges, 5020 markings/sec, 75 secs
lola: 442523 markings, 488207 edges, 5034 markings/sec, 80 secs
lola: 467093 markings, 516381 edges, 4914 markings/sec, 85 secs
lola: 492080 markings, 545355 edges, 4997 markings/sec, 90 secs
lola: 516975 markings, 574429 edges, 4979 markings/sec, 95 secs
lola: 542167 markings, 602647 edges, 5038 markings/sec, 100 secs
lola: 566654 markings, 630382 edges, 4897 markings/sec, 105 secs
lola: 591802 markings, 658934 edges, 5030 markings/sec, 110 secs
lola: 616215 markings, 686465 edges, 4883 markings/sec, 115 secs
lola: 641511 markings, 714662 edges, 5059 markings/sec, 120 secs
lola: 666792 markings, 743585 edges, 5056 markings/sec, 125 secs
lola: 691783 markings, 771915 edges, 4998 markings/sec, 130 secs
lola: 715571 markings, 798561 edges, 4758 markings/sec, 135 secs
lola: 739197 markings, 826048 edges, 4725 markings/sec, 140 secs
lola: 762770 markings, 853393 edges, 4715 markings/sec, 145 secs
lola: 786576 markings, 880284 edges, 4761 markings/sec, 150 secs
lola: 810306 markings, 907786 edges, 4746 markings/sec, 155 secs
lola: 833995 markings, 934789 edges, 4738 markings/sec, 160 secs
lola: 857506 markings, 962147 edges, 4702 markings/sec, 165 secs
lola: 880943 markings, 989228 edges, 4687 markings/sec, 170 secs
lola: 904509 markings, 1016405 edges, 4713 markings/sec, 175 secs
lola: 928005 markings, 1044280 edges, 4699 markings/sec, 180 secs
lola: 951586 markings, 1071700 edges, 4716 markings/sec, 185 secs
lola: 975048 markings, 1099842 edges, 4692 markings/sec, 190 secs
lola: 999188 markings, 1127827 edges, 4828 markings/sec, 195 secs
lola: 1022865 markings, 1154719 edges, 4735 markings/sec, 200 secs
lola: 1046088 markings, 1181841 edges, 4645 markings/sec, 205 secs
lola: 1069691 markings, 1209424 edges, 4721 markings/sec, 210 secs
lola: 1093429 markings, 1236596 edges, 4748 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: 26649 markings, 27794 edges, 5330 markings/sec, 0 secs
lola: 52533 markings, 55594 edges, 5177 markings/sec, 5 secs
lola: 78288 markings, 83303 edges, 5151 markings/sec, 10 secs
lola: 103581 markings, 111277 edges, 5059 markings/sec, 15 secs
lola: 128514 markings, 139469 edges, 4987 markings/sec, 20 secs
lola: 153700 markings, 167673 edges, 5037 markings/sec, 25 secs
lola: 178751 markings, 196086 edges, 5010 markings/sec, 30 secs
lola: 203509 markings, 224638 edges, 4952 markings/sec, 35 secs
lola: 227602 markings, 252375 edges, 4819 markings/sec, 40 secs
lola: 252174 markings, 280237 edges, 4914 markings/sec, 45 secs
lola: 276763 markings, 308227 edges, 4918 markings/sec, 50 secs
lola: 300955 markings, 336172 edges, 4838 markings/sec, 55 secs
lola: 324684 markings, 363968 edges, 4746 markings/sec, 60 secs
lola: 348750 markings, 392304 edges, 4813 markings/sec, 65 secs
lola: 373004 markings, 420059 edges, 4851 markings/sec, 70 secs
lola: 396734 markings, 448690 edges, 4746 markings/sec, 75 secs
lola: 420462 markings, 476942 edges, 4746 markings/sec, 80 secs
lola: 444368 markings, 505515 edges, 4781 markings/sec, 85 secs
lola: 468603 markings, 533606 edges, 4847 markings/sec, 90 secs
lola: 492530 markings, 562113 edges, 4785 markings/sec, 95 secs
lola: 516138 markings, 589998 edges, 4722 markings/sec, 100 secs
lola: 539918 markings, 618130 edges, 4756 markings/sec, 105 secs
lola: 563536 markings, 646789 edges, 4724 markings/sec, 110 secs
lola: 587520 markings, 675164 edges, 4797 markings/sec, 115 secs
lola: 611387 markings, 704160 edges, 4773 markings/sec, 120 secs
lola: 634986 markings, 732521 edges, 4720 markings/sec, 125 secs
lola: 658527 markings, 761044 edges, 4708 markings/sec, 130 secs
lola: 682460 markings, 789621 edges, 4787 markings/sec, 135 secs
lola: 706150 markings, 818165 edges, 4738 markings/sec, 140 secs
lola: 730464 markings, 847872 edges, 4863 markings/sec, 145 secs
lola: 755242 markings, 878013 edges, 4956 markings/sec, 150 secs
lola: 779712 markings, 907547 edges, 4894 markings/sec, 155 secs
lola: 804429 markings, 937718 edges, 4943 markings/sec, 160 secs
lola: 828952 markings, 967234 edges, 4905 markings/sec, 165 secs
lola: 853589 markings, 997215 edges, 4927 markings/sec, 170 secs
lola: 878046 markings, 1027273 edges, 4891 markings/sec, 175 secs
lola: 902679 markings, 1057039 edges, 4927 markings/sec, 180 secs
lola: 927226 markings, 1086892 edges, 4909 markings/sec, 185 secs
lola: 951762 markings, 1116375 edges, 4907 markings/sec, 190 secs
lola: 976132 markings, 1146215 edges, 4874 markings/sec, 195 secs
lola: 1000473 markings, 1175936 edges, 4868 markings/sec, 200 secs
lola: 1024784 markings, 1205668 edges, 4862 markings/sec, 205 secs
lola: 1049409 markings, 1235332 edges, 4925 markings/sec, 210 secs
lola: 1073538 markings, 1264739 edges, 4826 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: 27176 markings, 28663 edges, 5435 markings/sec, 0 secs
lola: 53288 markings, 58056 edges, 5222 markings/sec, 5 secs
lola: 79211 markings, 88487 edges, 5185 markings/sec, 10 secs
lola: 105006 markings, 118086 edges, 5159 markings/sec, 15 secs
lola: 130490 markings, 147959 edges, 5097 markings/sec, 20 secs
lola: 155570 markings, 178546 edges, 5016 markings/sec, 25 secs
lola: 180968 markings, 208555 edges, 5080 markings/sec, 30 secs
lola: 206125 markings, 238163 edges, 5031 markings/sec, 35 secs
lola: 231401 markings, 268434 edges, 5055 markings/sec, 40 secs
lola: 256480 markings, 297832 edges, 5016 markings/sec, 45 secs
lola: 281839 markings, 328160 edges, 5072 markings/sec, 50 secs
lola: 306855 markings, 358043 edges, 5003 markings/sec, 55 secs
lola: 331880 markings, 388006 edges, 5005 markings/sec, 60 secs
lola: 356843 markings, 417981 edges, 4993 markings/sec, 65 secs
lola: 381718 markings, 447397 edges, 4975 markings/sec, 70 secs
lola: 406548 markings, 477558 edges, 4966 markings/sec, 75 secs
lola: 431425 markings, 506545 edges, 4975 markings/sec, 80 secs
lola: 456224 markings, 536180 edges, 4960 markings/sec, 85 secs
lola: 480935 markings, 565534 edges, 4942 markings/sec, 90 secs
lola: 505957 markings, 594185 edges, 5004 markings/sec, 95 secs
lola: 530714 markings, 623434 edges, 4951 markings/sec, 100 secs
lola: 555261 markings, 653922 edges, 4909 markings/sec, 105 secs
lola: 579793 markings, 683535 edges, 4906 markings/sec, 110 secs
lola: 604515 markings, 713783 edges, 4944 markings/sec, 115 secs
lola: 629050 markings, 743095 edges, 4907 markings/sec, 120 secs
lola: 653227 markings, 774780 edges, 4835 markings/sec, 125 secs
lola: 677932 markings, 805214 edges, 4941 markings/sec, 130 secs
lola: 702370 markings, 836046 edges, 4888 markings/sec, 135 secs
lola: 727005 markings, 865217 edges, 4927 markings/sec, 140 secs
lola: 751336 markings, 894804 edges, 4866 markings/sec, 145 secs
lola: 775831 markings, 924845 edges, 4899 markings/sec, 150 secs
lola: 800623 markings, 954299 edges, 4958 markings/sec, 155 secs
lola: 824917 markings, 985459 edges, 4859 markings/sec, 160 secs
lola: 849260 markings, 1015694 edges, 4869 markings/sec, 165 secs
lola: 873640 markings, 1045627 edges, 4876 markings/sec, 170 secs
lola: 897785 markings, 1075245 edges, 4829 markings/sec, 175 secs
lola: 922143 markings, 1106305 edges, 4872 markings/sec, 180 secs
lola: 943999 markings, 1132898 edges, 4371 markings/sec, 185 secs
lola: 967741 markings, 1161979 edges, 4748 markings/sec, 190 secs
lola: 991590 markings, 1189789 edges, 4770 markings/sec, 195 secs
lola: 1015170 markings, 1219139 edges, 4716 markings/sec, 200 secs
lola: 1038567 markings, 1248523 edges, 4679 markings/sec, 205 secs
lola: 1061827 markings, 1277727 edges, 4652 markings/sec, 210 secs
lola: 1085393 markings, 1306271 edges, 4713 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: 14479 markings, 14756 edges, 2896 markings/sec, 0 secs
lola: 28070 markings, 29393 edges, 2718 markings/sec, 5 secs
lola: 41696 markings, 44285 edges, 2725 markings/sec, 10 secs
lola: 55228 markings, 60025 edges, 2706 markings/sec, 15 secs
lola: 68752 markings, 75556 edges, 2705 markings/sec, 20 secs
lola: 82362 markings, 90806 edges, 2722 markings/sec, 25 secs
lola: 95809 markings, 106871 edges, 2689 markings/sec, 30 secs
lola: 109270 markings, 122798 edges, 2692 markings/sec, 35 secs
lola: 122855 markings, 137987 edges, 2717 markings/sec, 40 secs
lola: 136367 markings, 154350 edges, 2702 markings/sec, 45 secs
lola: 149959 markings, 170058 edges, 2718 markings/sec, 50 secs
lola: 163490 markings, 186019 edges, 2706 markings/sec, 55 secs
lola: 176956 markings, 202344 edges, 2693 markings/sec, 60 secs
lola: 198532 markings, 228162 edges, 4315 markings/sec, 65 secs
lola: 220278 markings, 253865 edges, 4349 markings/sec, 70 secs
lola: 242304 markings, 278994 edges, 4405 markings/sec, 75 secs
lola: 264427 markings, 307187 edges, 4425 markings/sec, 80 secs
lola: 285602 markings, 333553 edges, 4235 markings/sec, 85 secs
lola: 308551 markings, 361046 edges, 4590 markings/sec, 90 secs
lola: 330470 markings, 386816 edges, 4384 markings/sec, 95 secs
lola: 352283 markings, 413499 edges, 4363 markings/sec, 100 secs
lola: 374007 markings, 440950 edges, 4345 markings/sec, 105 secs
lola: 396292 markings, 469229 edges, 4457 markings/sec, 110 secs
lola: 417371 markings, 495064 edges, 4216 markings/sec, 115 secs
lola: 438500 markings, 520809 edges, 4226 markings/sec, 120 secs
lola: 460006 markings, 546940 edges, 4301 markings/sec, 125 secs
lola: 481388 markings, 574348 edges, 4276 markings/sec, 130 secs
lola: 503289 markings, 601256 edges, 4380 markings/sec, 135 secs
lola: 525736 markings, 628681 edges, 4489 markings/sec, 140 secs
lola: 546881 markings, 656050 edges, 4229 markings/sec, 145 secs
lola: 569619 markings, 684867 edges, 4548 markings/sec, 150 secs
lola: 591535 markings, 711288 edges, 4383 markings/sec, 155 secs
lola: 613446 markings, 737350 edges, 4382 markings/sec, 160 secs
lola: 636167 markings, 765891 edges, 4544 markings/sec, 165 secs
lola: 657991 markings, 793345 edges, 4365 markings/sec, 170 secs
lola: 680963 markings, 820866 edges, 4594 markings/sec, 175 secs
lola: 702357 markings, 847966 edges, 4279 markings/sec, 180 secs
lola: 724764 markings, 875084 edges, 4481 markings/sec, 185 secs
lola: 746514 markings, 902679 edges, 4350 markings/sec, 190 secs
lola: 768209 markings, 930758 edges, 4339 markings/sec, 195 secs
lola: 790520 markings, 959695 edges, 4462 markings/sec, 200 secs
lola: 811971 markings, 985293 edges, 4290 markings/sec, 205 secs
lola: 834570 markings, 1015776 edges, 4520 markings/sec, 210 secs
lola: 856343 markings, 1043074 edges, 4355 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: 27165 markings, 28117 edges, 5433 markings/sec, 0 secs
lola: 53489 markings, 56006 edges, 5265 markings/sec, 5 secs
lola: 79829 markings, 84056 edges, 5268 markings/sec, 10 secs
lola: 105257 markings, 111765 edges, 5086 markings/sec, 15 secs
lola: 130813 markings, 139962 edges, 5111 markings/sec, 20 secs
lola: 156218 markings, 167952 edges, 5081 markings/sec, 25 secs
lola: 181716 markings, 196298 edges, 5100 markings/sec, 30 secs
lola: 206980 markings, 224507 edges, 5053 markings/sec, 35 secs
lola: 231750 markings, 252678 edges, 4954 markings/sec, 40 secs
lola: 257030 markings, 281319 edges, 5056 markings/sec, 45 secs
lola: 282902 markings, 310430 edges, 5174 markings/sec, 50 secs
lola: 308766 markings, 340308 edges, 5173 markings/sec, 55 secs
lola: 334848 markings, 370185 edges, 5216 markings/sec, 60 secs
lola: 360691 markings, 399871 edges, 5169 markings/sec, 65 secs
lola: 386364 markings, 429402 edges, 5135 markings/sec, 70 secs
lola: 412123 markings, 459078 edges, 5152 markings/sec, 75 secs
lola: 437605 markings, 488863 edges, 5096 markings/sec, 80 secs
lola: 463316 markings, 518961 edges, 5142 markings/sec, 85 secs
lola: 488780 markings, 549146 edges, 5093 markings/sec, 90 secs
lola: 514309 markings, 579082 edges, 5106 markings/sec, 95 secs
lola: 539614 markings, 608380 edges, 5061 markings/sec, 100 secs
lola: 564916 markings, 637998 edges, 5060 markings/sec, 105 secs
lola: 590198 markings, 667550 edges, 5056 markings/sec, 110 secs
lola: 615808 markings, 696984 edges, 5122 markings/sec, 115 secs
lola: 641012 markings, 726851 edges, 5041 markings/sec, 120 secs
lola: 666313 markings, 756933 edges, 5060 markings/sec, 125 secs
lola: 690658 markings, 786097 edges, 4869 markings/sec, 130 secs
lola: 715549 markings, 816198 edges, 4978 markings/sec, 135 secs
lola: 741127 markings, 846716 edges, 5116 markings/sec, 140 secs
lola: 766437 markings, 876493 edges, 5062 markings/sec, 145 secs
lola: 791938 markings, 906526 edges, 5100 markings/sec, 150 secs
lola: 817154 markings, 936981 edges, 5043 markings/sec, 155 secs
lola: 842852 markings, 967392 edges, 5140 markings/sec, 160 secs
lola: 868106 markings, 997916 edges, 5051 markings/sec, 165 secs
lola: 893092 markings, 1027864 edges, 4997 markings/sec, 170 secs
lola: 918044 markings, 1057761 edges, 4990 markings/sec, 175 secs
lola: 942672 markings, 1087661 edges, 4926 markings/sec, 180 secs
lola: 967958 markings, 1117900 edges, 5057 markings/sec, 185 secs
lola: 993264 markings, 1148552 edges, 5061 markings/sec, 190 secs
lola: 1018592 markings, 1178977 edges, 5066 markings/sec, 195 secs
lola: 1044109 markings, 1209389 edges, 5103 markings/sec, 200 secs
lola: 1069321 markings, 1239592 edges, 5042 markings/sec, 205 secs
lola: 1094446 markings, 1269896 edges, 5025 markings/sec, 210 secs
lola: 1119712 markings, 1300077 edges, 5053 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: 27022 markings, 28145 edges, 5404 markings/sec, 0 secs
lola: 54449 markings, 57519 edges, 5485 markings/sec, 5 secs
lola: 82006 markings, 87128 edges, 5511 markings/sec, 10 secs
lola: 108849 markings, 116898 edges, 5369 markings/sec, 15 secs
lola: 135600 markings, 146827 edges, 5350 markings/sec, 20 secs
lola: 162366 markings, 176882 edges, 5353 markings/sec, 25 secs
lola: 188940 markings, 207344 edges, 5315 markings/sec, 30 secs
lola: 214861 markings, 237208 edges, 5184 markings/sec, 35 secs
lola: 241080 markings, 267324 edges, 5244 markings/sec, 40 secs
lola: 267741 markings, 297211 edges, 5332 markings/sec, 45 secs
lola: 294063 markings, 327541 edges, 5264 markings/sec, 50 secs
lola: 319743 markings, 357460 edges, 5136 markings/sec, 55 secs
lola: 345930 markings, 387588 edges, 5237 markings/sec, 60 secs
lola: 371631 markings, 417472 edges, 5140 markings/sec, 65 secs
lola: 397313 markings, 447714 edges, 5136 markings/sec, 70 secs
lola: 423004 markings, 478459 edges, 5138 markings/sec, 75 secs
lola: 448778 markings, 508958 edges, 5155 markings/sec, 80 secs
lola: 474386 markings, 540483 edges, 5122 markings/sec, 85 secs
lola: 500280 markings, 569841 edges, 5179 markings/sec, 90 secs
lola: 525778 markings, 600327 edges, 5100 markings/sec, 95 secs
lola: 551138 markings, 630615 edges, 5072 markings/sec, 100 secs
lola: 577006 markings, 660871 edges, 5174 markings/sec, 105 secs
lola: 602901 markings, 691462 edges, 5179 markings/sec, 110 secs
lola: 628329 markings, 722236 edges, 5086 markings/sec, 115 secs
lola: 653884 markings, 753306 edges, 5111 markings/sec, 120 secs
lola: 679240 markings, 783962 edges, 5071 markings/sec, 125 secs
lola: 705014 markings, 814737 edges, 5155 markings/sec, 130 secs
lola: 730157 markings, 845808 edges, 5029 markings/sec, 135 secs
lola: 755549 markings, 876414 edges, 5078 markings/sec, 140 secs
lola: 780876 markings, 907273 edges, 5065 markings/sec, 145 secs
lola: 806110 markings, 937744 edges, 5047 markings/sec, 150 secs
lola: 830316 markings, 967889 edges, 4841 markings/sec, 155 secs
lola: 854897 markings, 997611 edges, 4916 markings/sec, 160 secs
lola: 880444 markings, 1028014 edges, 5109 markings/sec, 165 secs
lola: 905484 markings, 1058693 edges, 5008 markings/sec, 170 secs
lola: 930888 markings, 1089884 edges, 5081 markings/sec, 175 secs
lola: 955898 markings, 1121046 edges, 5002 markings/sec, 180 secs
lola: 981389 markings, 1151642 edges, 5098 markings/sec, 185 secs
lola: 1006374 markings, 1181897 edges, 4997 markings/sec, 190 secs
lola: 1031699 markings, 1211922 edges, 5065 markings/sec, 195 secs
lola: 1056628 markings, 1241833 edges, 4986 markings/sec, 200 secs
lola: 1081862 markings, 1272364 edges, 5047 markings/sec, 205 secs
lola: 1107088 markings, 1303316 edges, 5045 markings/sec, 210 secs
lola: 1132004 markings, 1333588 edges, 4983 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: 25657 markings, 26667 edges, 5131 markings/sec, 0 secs
lola: 52392 markings, 55112 edges, 5347 markings/sec, 5 secs
lola: 79036 markings, 83853 edges, 5329 markings/sec, 10 secs
lola: 105547 markings, 112669 edges, 5302 markings/sec, 15 secs
lola: 131863 markings, 141563 edges, 5263 markings/sec, 20 secs
lola: 157362 markings, 169519 edges, 5100 markings/sec, 25 secs
lola: 183884 markings, 199114 edges, 5304 markings/sec, 30 secs
lola: 210252 markings, 228817 edges, 5274 markings/sec, 35 secs
lola: 236652 markings, 258670 edges, 5280 markings/sec, 40 secs
lola: 263128 markings, 288500 edges, 5295 markings/sec, 45 secs
lola: 289618 markings, 318611 edges, 5298 markings/sec, 50 secs
lola: 316057 markings, 349027 edges, 5288 markings/sec, 55 secs
lola: 342713 markings, 379502 edges, 5331 markings/sec, 60 secs
lola: 369175 markings, 409831 edges, 5292 markings/sec, 65 secs
lola: 395749 markings, 440565 edges, 5315 markings/sec, 70 secs
lola: 422106 markings, 470904 edges, 5271 markings/sec, 75 secs
lola: 448666 markings, 501495 edges, 5312 markings/sec, 80 secs
lola: 475206 markings, 531669 edges, 5308 markings/sec, 85 secs
lola: 501517 markings, 562163 edges, 5262 markings/sec, 90 secs
lola: 528246 markings, 592930 edges, 5346 markings/sec, 95 secs
lola: 554692 markings, 623932 edges, 5289 markings/sec, 100 secs
lola: 581264 markings, 654321 edges, 5314 markings/sec, 105 secs
lola: 605377 markings, 682399 edges, 4823 markings/sec, 110 secs
lola: 631710 markings, 713250 edges, 5267 markings/sec, 115 secs
lola: 656994 markings, 741912 edges, 5057 markings/sec, 120 secs
lola: 682405 markings, 771462 edges, 5082 markings/sec, 125 secs
lola: 708789 markings, 801942 edges, 5277 markings/sec, 130 secs
lola: 735223 markings, 833173 edges, 5287 markings/sec, 135 secs
lola: 761540 markings, 863802 edges, 5263 markings/sec, 140 secs
lola: 788089 markings, 895131 edges, 5310 markings/sec, 145 secs
lola: 814314 markings, 926088 edges, 5245 markings/sec, 150 secs
lola: 840588 markings, 957050 edges, 5255 markings/sec, 155 secs
lola: 866821 markings, 988092 edges, 5247 markings/sec, 160 secs
lola: 893194 markings, 1018440 edges, 5275 markings/sec, 165 secs
lola: 919608 markings, 1049377 edges, 5283 markings/sec, 170 secs
lola: 946009 markings, 1080644 edges, 5280 markings/sec, 175 secs
lola: 972356 markings, 1112016 edges, 5269 markings/sec, 180 secs
lola: 998764 markings, 1143438 edges, 5282 markings/sec, 185 secs
lola: 1025277 markings, 1174690 edges, 5303 markings/sec, 190 secs
lola: 1051546 markings, 1205669 edges, 5254 markings/sec, 195 secs
lola: 1077984 markings, 1236629 edges, 5288 markings/sec, 200 secs
lola: 1104282 markings, 1268963 edges, 5260 markings/sec, 205 secs
lola: 1130686 markings, 1300021 edges, 5281 markings/sec, 210 secs
lola: 1156970 markings, 1331409 edges, 5257 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: 27145 markings, 28318 edges, 5429 markings/sec, 0 secs
lola: 54002 markings, 57071 edges, 5371 markings/sec, 5 secs
lola: 80644 markings, 85752 edges, 5328 markings/sec, 10 secs
lola: 106766 markings, 114713 edges, 5224 markings/sec, 15 secs
lola: 131775 markings, 142819 edges, 5002 markings/sec, 20 secs
lola: 158154 markings, 172370 edges, 5276 markings/sec, 25 secs
lola: 183324 markings, 201199 edges, 5034 markings/sec, 30 secs
lola: 209107 markings, 230866 edges, 5157 markings/sec, 35 secs
lola: 234830 markings, 260509 edges, 5145 markings/sec, 40 secs
lola: 260939 markings, 289972 edges, 5222 markings/sec, 45 secs
lola: 286939 markings, 319791 edges, 5200 markings/sec, 50 secs
lola: 312340 markings, 348882 edges, 5080 markings/sec, 55 secs
lola: 337843 markings, 379033 edges, 5101 markings/sec, 60 secs
lola: 363314 markings, 408300 edges, 5094 markings/sec, 65 secs
lola: 388514 markings, 438482 edges, 5040 markings/sec, 70 secs
lola: 413686 markings, 468229 edges, 5034 markings/sec, 75 secs
lola: 438841 markings, 498424 edges, 5031 markings/sec, 80 secs
lola: 464483 markings, 528119 edges, 5128 markings/sec, 85 secs
lola: 489557 markings, 558053 edges, 5015 markings/sec, 90 secs
lola: 513503 markings, 586207 edges, 4789 markings/sec, 95 secs
lola: 538341 markings, 615333 edges, 4968 markings/sec, 100 secs
lola: 562636 markings, 644878 edges, 4859 markings/sec, 105 secs
lola: 587249 markings, 674057 edges, 4923 markings/sec, 110 secs
lola: 612282 markings, 704464 edges, 5007 markings/sec, 115 secs
lola: 637036 markings, 734205 edges, 4951 markings/sec, 120 secs
lola: 661828 markings, 764056 edges, 4958 markings/sec, 125 secs
lola: 686362 markings, 793183 edges, 4907 markings/sec, 130 secs
lola: 710981 markings, 822954 edges, 4924 markings/sec, 135 secs
lola: 735657 markings, 853272 edges, 4935 markings/sec, 140 secs
lola: 760796 markings, 883709 edges, 5028 markings/sec, 145 secs
lola: 785533 markings, 913798 edges, 4947 markings/sec, 150 secs
lola: 810936 markings, 944372 edges, 5081 markings/sec, 155 secs
lola: 835757 markings, 974267 edges, 4964 markings/sec, 160 secs
lola: 860363 markings, 1004939 edges, 4921 markings/sec, 165 secs
lola: 885377 markings, 1035112 edges, 5003 markings/sec, 170 secs
lola: 910240 markings, 1064448 edges, 4973 markings/sec, 175 secs
lola: 934920 markings, 1095695 edges, 4936 markings/sec, 180 secs
lola: 959780 markings, 1125865 edges, 4972 markings/sec, 185 secs
lola: 984866 markings, 1156171 edges, 5017 markings/sec, 190 secs
lola: 1009820 markings, 1185715 edges, 4991 markings/sec, 195 secs
lola: 1034357 markings, 1216119 edges, 4907 markings/sec, 200 secs
lola: 1059529 markings, 1245882 edges, 5034 markings/sec, 205 secs
lola: 1084280 markings, 1275763 edges, 4950 markings/sec, 210 secs
lola: 1109143 markings, 1306083 edges, 4973 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: 22219 markings, 24532 edges, 4444 markings/sec, 0 secs
lola: 44366 markings, 49976 edges, 4429 markings/sec, 5 secs
lola: 66507 markings, 74624 edges, 4428 markings/sec, 10 secs
lola: 88585 markings, 100225 edges, 4416 markings/sec, 15 secs
lola: 110628 markings, 125497 edges, 4409 markings/sec, 20 secs
lola: 132640 markings, 151316 edges, 4402 markings/sec, 25 secs
lola: 154646 markings, 177941 edges, 4401 markings/sec, 30 secs
lola: 176669 markings, 205030 edges, 4405 markings/sec, 35 secs
lola: 198690 markings, 231207 edges, 4404 markings/sec, 40 secs
lola: 220697 markings, 257662 edges, 4401 markings/sec, 45 secs
lola: 242697 markings, 284183 edges, 4400 markings/sec, 50 secs
lola: 264646 markings, 311020 edges, 4390 markings/sec, 55 secs
lola: 286489 markings, 337350 edges, 4369 markings/sec, 60 secs
lola: 308254 markings, 364267 edges, 4353 markings/sec, 65 secs
lola: 330052 markings, 390866 edges, 4360 markings/sec, 70 secs
lola: 351874 markings, 418049 edges, 4364 markings/sec, 75 secs
lola: 373698 markings, 444995 edges, 4365 markings/sec, 80 secs
lola: 395448 markings, 472135 edges, 4350 markings/sec, 85 secs
lola: 417286 markings, 499143 edges, 4368 markings/sec, 90 secs
lola: 439013 markings, 525891 edges, 4345 markings/sec, 95 secs
lola: 460784 markings, 553241 edges, 4354 markings/sec, 100 secs
lola: 482518 markings, 580607 edges, 4347 markings/sec, 105 secs
lola: 504256 markings, 608068 edges, 4348 markings/sec, 110 secs
lola: 526175 markings, 635576 edges, 4384 markings/sec, 115 secs
lola: 548113 markings, 662958 edges, 4388 markings/sec, 120 secs
lola: 569925 markings, 690990 edges, 4362 markings/sec, 125 secs
lola: 591765 markings, 718795 edges, 4368 markings/sec, 130 secs
lola: 613592 markings, 745911 edges, 4365 markings/sec, 135 secs
lola: 635383 markings, 773019 edges, 4358 markings/sec, 140 secs
lola: 657146 markings, 800641 edges, 4353 markings/sec, 145 secs
lola: 678895 markings, 828733 edges, 4350 markings/sec, 150 secs
lola: 700687 markings, 856430 edges, 4358 markings/sec, 155 secs
lola: 722494 markings, 883973 edges, 4361 markings/sec, 160 secs
lola: 744258 markings, 911816 edges, 4353 markings/sec, 165 secs
lola: 766057 markings, 939461 edges, 4360 markings/sec, 170 secs
lola: 787808 markings, 967349 edges, 4350 markings/sec, 175 secs
lola: 809483 markings, 995549 edges, 4335 markings/sec, 180 secs
lola: 831297 markings, 1023591 edges, 4363 markings/sec, 185 secs
lola: 853076 markings, 1051064 edges, 4356 markings/sec, 190 secs
lola: 874780 markings, 1078828 edges, 4341 markings/sec, 195 secs
lola: 896517 markings, 1106742 edges, 4347 markings/sec, 200 secs
lola: 918262 markings, 1134003 edges, 4349 markings/sec, 205 secs
lola: 939934 markings, 1161784 edges, 4334 markings/sec, 210 secs
lola: 961606 markings, 1189234 edges, 4334 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: 21228 markings, 23665 edges, 4246 markings/sec, 0 secs
lola: 43005 markings, 47799 edges, 4355 markings/sec, 5 secs
lola: 65265 markings, 73061 edges, 4452 markings/sec, 10 secs
lola: 87404 markings, 97244 edges, 4428 markings/sec, 15 secs
lola: 109354 markings, 122087 edges, 4390 markings/sec, 20 secs
lola: 131284 markings, 148055 edges, 4386 markings/sec, 25 secs
lola: 153167 markings, 173104 edges, 4377 markings/sec, 30 secs
lola: 175037 markings, 197406 edges, 4374 markings/sec, 35 secs
lola: 196929 markings, 222095 edges, 4378 markings/sec, 40 secs
lola: 218389 markings, 245857 edges, 4292 markings/sec, 45 secs
lola: 239615 markings, 269202 edges, 4245 markings/sec, 50 secs
lola: 260725 markings, 292977 edges, 4222 markings/sec, 55 secs
lola: 281845 markings, 316778 edges, 4224 markings/sec, 60 secs
lola: 303151 markings, 340686 edges, 4261 markings/sec, 65 secs
lola: 324672 markings, 365915 edges, 4304 markings/sec, 70 secs
lola: 346394 markings, 390535 edges, 4344 markings/sec, 75 secs
lola: 368133 markings, 415669 edges, 4348 markings/sec, 80 secs
lola: 389851 markings, 440725 edges, 4344 markings/sec, 85 secs
lola: 411435 markings, 465758 edges, 4317 markings/sec, 90 secs
lola: 432965 markings, 490408 edges, 4306 markings/sec, 95 secs
lola: 454749 markings, 515457 edges, 4357 markings/sec, 100 secs
lola: 476894 markings, 540938 edges, 4429 markings/sec, 105 secs
lola: 499338 markings, 567356 edges, 4489 markings/sec, 110 secs
lola: 521728 markings, 594073 edges, 4478 markings/sec, 115 secs
lola: 544601 markings, 620478 edges, 4575 markings/sec, 120 secs
lola: 567351 markings, 646058 edges, 4550 markings/sec, 125 secs
lola: 590056 markings, 672519 edges, 4541 markings/sec, 130 secs
lola: 612682 markings, 697858 edges, 4525 markings/sec, 135 secs
lola: 635369 markings, 723495 edges, 4537 markings/sec, 140 secs
lola: 657937 markings, 749545 edges, 4514 markings/sec, 145 secs
lola: 680415 markings, 776359 edges, 4496 markings/sec, 150 secs
lola: 703092 markings, 802674 edges, 4535 markings/sec, 155 secs
lola: 725333 markings, 829323 edges, 4448 markings/sec, 160 secs
lola: 747407 markings, 855908 edges, 4415 markings/sec, 165 secs
lola: 769534 markings, 881418 edges, 4425 markings/sec, 170 secs
lola: 791508 markings, 906717 edges, 4395 markings/sec, 175 secs
lola: 813444 markings, 932588 edges, 4387 markings/sec, 180 secs
lola: 835577 markings, 958852 edges, 4427 markings/sec, 185 secs
lola: 857672 markings, 984667 edges, 4419 markings/sec, 190 secs
lola: 879973 markings, 1009937 edges, 4460 markings/sec, 195 secs
lola: 902117 markings, 1036573 edges, 4429 markings/sec, 200 secs
lola: 924121 markings, 1062737 edges, 4401 markings/sec, 205 secs
lola: 946343 markings, 1088120 edges, 4444 markings/sec, 210 secs
lola: 968371 markings, 1114808 edges, 4406 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 22116 markings, 24664 edges, 4423 markings/sec, 0 secs
lola: 44316 markings, 49286 edges, 4440 markings/sec, 5 secs
lola: 66613 markings, 74601 edges, 4459 markings/sec, 10 secs
lola: 88857 markings, 98980 edges, 4449 markings/sec, 15 secs
lola: 111101 markings, 124080 edges, 4449 markings/sec, 20 secs
lola: 133119 markings, 150271 edges, 4404 markings/sec, 25 secs
lola: 155197 markings, 175248 edges, 4416 markings/sec, 30 secs
lola: 177288 markings, 199815 edges, 4418 markings/sec, 35 secs
lola: 199502 markings, 224965 edges, 4443 markings/sec, 40 secs
lola: 221695 markings, 249534 edges, 4439 markings/sec, 45 secs
lola: 244166 markings, 274336 edges, 4494 markings/sec, 50 secs
lola: 266133 markings, 298891 edges, 4393 markings/sec, 55 secs
lola: 288157 markings, 323922 edges, 4405 markings/sec, 60 secs
lola: 310338 markings, 349160 edges, 4436 markings/sec, 65 secs
lola: 332395 markings, 375087 edges, 4411 markings/sec, 70 secs
lola: 354553 markings, 400247 edges, 4432 markings/sec, 75 secs
lola: 376738 markings, 425491 edges, 4437 markings/sec, 80 secs
lola: 398827 markings, 451183 edges, 4418 markings/sec, 85 secs
lola: 420766 markings, 476452 edges, 4388 markings/sec, 90 secs
lola: 443107 markings, 501817 edges, 4468 markings/sec, 95 secs
lola: 465230 markings, 527202 edges, 4425 markings/sec, 100 secs
lola: 487305 markings, 552825 edges, 4415 markings/sec, 105 secs
lola: 509201 markings, 579286 edges, 4379 markings/sec, 110 secs
lola: 531408 markings, 605341 edges, 4441 markings/sec, 115 secs
lola: 553883 markings, 630884 edges, 4495 markings/sec, 120 secs
lola: 576189 markings, 656010 edges, 4461 markings/sec, 125 secs
lola: 598437 markings, 682035 edges, 4450 markings/sec, 130 secs
lola: 620633 markings, 706798 edges, 4439 markings/sec, 135 secs
lola: 642800 markings, 731966 edges, 4433 markings/sec, 140 secs
lola: 664932 markings, 758391 edges, 4426 markings/sec, 145 secs
lola: 687116 markings, 784138 edges, 4437 markings/sec, 150 secs
lola: 709289 markings, 810352 edges, 4435 markings/sec, 155 secs
lola: 731340 markings, 836632 edges, 4410 markings/sec, 160 secs
lola: 753411 markings, 862935 edges, 4414 markings/sec, 165 secs
lola: 775494 markings, 888215 edges, 4417 markings/sec, 170 secs
lola: 797417 markings, 913642 edges, 4385 markings/sec, 175 secs
lola: 819300 markings, 939429 edges, 4377 markings/sec, 180 secs
lola: 841321 markings, 965620 edges, 4404 markings/sec, 185 secs
lola: 863479 markings, 991182 edges, 4432 markings/sec, 190 secs
lola: 885624 markings, 1016907 edges, 4429 markings/sec, 195 secs
lola: 907717 markings, 1043304 edges, 4419 markings/sec, 200 secs
lola: 929642 markings, 1069217 edges, 4385 markings/sec, 205 secs
lola: 951851 markings, 1094936 edges, 4442 markings/sec, 210 secs
lola: 973791 markings, 1121025 edges, 4388 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: 27110 markings, 28590 edges, 5422 markings/sec, 0 secs
lola: 53152 markings, 57894 edges, 5208 markings/sec, 5 secs
lola: 79041 markings, 88311 edges, 5178 markings/sec, 10 secs
lola: 104752 markings, 117820 edges, 5142 markings/sec, 15 secs
lola: 130218 markings, 147655 edges, 5093 markings/sec, 20 secs
lola: 155261 markings, 178187 edges, 5009 markings/sec, 25 secs
lola: 180677 markings, 208195 edges, 5083 markings/sec, 30 secs
lola: 205321 markings, 237162 edges, 4929 markings/sec, 35 secs
lola: 229923 markings, 266829 edges, 4920 markings/sec, 40 secs
lola: 254347 markings, 295381 edges, 4885 markings/sec, 45 secs
lola: 279696 markings, 325351 edges, 5070 markings/sec, 50 secs
lola: 304734 markings, 355444 edges, 5008 markings/sec, 55 secs
lola: 329758 markings, 385397 edges, 5005 markings/sec, 60 secs
lola: 354725 markings, 415489 edges, 4993 markings/sec, 65 secs
lola: 379618 markings, 444930 edges, 4979 markings/sec, 70 secs
lola: 404440 markings, 474973 edges, 4964 markings/sec, 75 secs
lola: 429291 markings, 504141 edges, 4970 markings/sec, 80 secs
lola: 454184 markings, 533628 edges, 4979 markings/sec, 85 secs
lola: 478798 markings, 563130 edges, 4923 markings/sec, 90 secs
lola: 503894 markings, 591870 edges, 5019 markings/sec, 95 secs
lola: 528642 markings, 621059 edges, 4950 markings/sec, 100 secs
lola: 553187 markings, 651333 edges, 4909 markings/sec, 105 secs
lola: 577780 markings, 681209 edges, 4919 markings/sec, 110 secs
lola: 602581 markings, 711088 edges, 4960 markings/sec, 115 secs
lola: 627040 markings, 740618 edges, 4892 markings/sec, 120 secs
lola: 651218 markings, 772452 edges, 4836 markings/sec, 125 secs
lola: 675872 markings, 802692 edges, 4931 markings/sec, 130 secs
lola: 700323 markings, 833398 edges, 4890 markings/sec, 135 secs
lola: 724941 markings, 862779 edges, 4924 markings/sec, 140 secs
lola: 749240 markings, 892233 edges, 4860 markings/sec, 145 secs
lola: 773724 markings, 922170 edges, 4897 markings/sec, 150 secs
lola: 798511 markings, 951884 edges, 4957 markings/sec, 155 secs
lola: 822850 markings, 982804 edges, 4868 markings/sec, 160 secs
lola: 847179 markings, 1013036 edges, 4866 markings/sec, 165 secs
lola: 871561 markings, 1043107 edges, 4876 markings/sec, 170 secs
lola: 895773 markings, 1072849 edges, 4842 markings/sec, 175 secs
lola: 920066 markings, 1103876 edges, 4859 markings/sec, 180 secs
lola: 944525 markings, 1133635 edges, 4892 markings/sec, 185 secs
lola: 969036 markings, 1163618 edges, 4902 markings/sec, 190 secs
lola: 993736 markings, 1192586 edges, 4940 markings/sec, 195 secs
lola: 1018192 markings, 1223066 edges, 4891 markings/sec, 200 secs
lola: 1042465 markings, 1253207 edges, 4855 markings/sec, 205 secs
lola: 1066657 markings, 1283857 edges, 4838 markings/sec, 210 secs
lola: 1091038 markings, 1313631 edges, 4876 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 1494714643974

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-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/PolyORBLF-PT-S04J06T08.tgz
mv 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 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 r048-smll-149440870000488"
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 ;