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

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

=== Now, execution of the tool begins

BK_START 1496491577130


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J04T08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S06J04T08 @ 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: 14824/65536 symbol table entries, 9110 collisions
lola: preprocessing...
lola: finding significant places
lola: 810 places, 14014 transitions, 752 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3639 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T08-UpperBounds.task
lola: MAX(MarkerRead) : 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(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(cBlockedTasks) : MAX(BlockedTasks) : 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(P_1097) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8) : MAX(DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119_6_1 + P_1119_6_2 + P_1119_6_3 + P_1119_6_4 + P_1119_6_5 + P_1119_6_6 + P_1119_7_1 + P_1119_7_2 + P_1119_7_3 + P_1119_7_4 + P_1119_7_5 + P_1119_7_6 + P_1119_8_1 + P_1119_8_2 + P_1119_8_3 + P_1119_8_4 + P_1119_8_5 + P_1119_8_6) : MAX(P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8) : MAX(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8) : MAX(MarkerWrite) : MAX(cSources) : MAX(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_4_5 + P_2579_4_6 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_5_5 + P_2579_5_6 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_6_5 + P_2579_6_6 + P_2579_7_1 + P_2579_7_2 + P_2579_7_3 + P_2579_7_4 + P_2579_7_5 + P_2579_7_6 + P_2579_8_1 + P_2579_8_2 + P_2579_8_3 + P_2579_8_4 + P_2579_8_5 + P_2579_8_6 + P_2579_2_6 + P_2579_2_5 + 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_1_5 + P_2579_1_6 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4 + P_2579_3_5 + P_2579_3_6) : MAX(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + Insert_Source_B_4_1 + Insert_Source_B_4_2 + Insert_Source_B_4_3 + Insert_Source_B_4_4 + Insert_Source_B_4_5 + Insert_Source_B_4_6 + Insert_Source_B_5_1 + Insert_Source_B_5_2 + Insert_Source_B_5_3 + Insert_Source_B_5_4 + Insert_Source_B_5_5 + Insert_Source_B_5_6 + Insert_Source_B_8_6 + Insert_Source_B_8_5 + Insert_Source_B_8_4 + Insert_Source_B_8_3 + Insert_Source_B_8_2 + Insert_Source_B_6_1 + Insert_Source_B_6_2 + Insert_Source_B_6_3 + Insert_Source_B_6_4 + Insert_Source_B_6_5 + Insert_Source_B_6_6 + Insert_Source_B_8_1 + Insert_Source_B_7_1 + Insert_Source_B_7_2 + Insert_Source_B_7_3 + Insert_Source_B_7_4 + Insert_Source_B_7_5 + Insert_Source_B_7_6)
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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3408 markings, 11799 edges, 682 markings/sec, 0 secs
lola: 6750 markings, 23839 edges, 668 markings/sec, 5 secs
lola: 10090 markings, 35906 edges, 668 markings/sec, 10 secs
lola: 13442 markings, 48069 edges, 670 markings/sec, 15 secs
lola: 16795 markings, 60182 edges, 671 markings/sec, 20 secs
lola: 20153 markings, 72036 edges, 672 markings/sec, 25 secs
lola: 23531 markings, 82541 edges, 676 markings/sec, 30 secs
lola: 26908 markings, 93108 edges, 675 markings/sec, 35 secs
lola: 30269 markings, 104444 edges, 672 markings/sec, 40 secs
lola: 33639 markings, 115305 edges, 674 markings/sec, 45 secs
lola: 37011 markings, 126081 edges, 674 markings/sec, 50 secs
lola: 40373 markings, 137463 edges, 672 markings/sec, 55 secs
lola: 43853 markings, 148677 edges, 696 markings/sec, 60 secs
lola: 47348 markings, 159921 edges, 699 markings/sec, 65 secs
lola: 50769 markings, 171749 edges, 684 markings/sec, 70 secs
lola: 53983 markings, 182225 edges, 643 markings/sec, 75 secs
lola: 57393 markings, 193427 edges, 682 markings/sec, 80 secs
lola: 60879 markings, 205310 edges, 697 markings/sec, 85 secs
lola: 64357 markings, 217853 edges, 696 markings/sec, 90 secs
lola: 67835 markings, 230459 edges, 696 markings/sec, 95 secs
lola: 71314 markings, 243014 edges, 696 markings/sec, 100 secs
lola: 74794 markings, 255575 edges, 696 markings/sec, 105 secs
lola: 78273 markings, 268153 edges, 696 markings/sec, 110 secs
lola: 81776 markings, 279118 edges, 701 markings/sec, 115 secs
lola: 85279 markings, 290079 edges, 701 markings/sec, 120 secs
lola: 88769 markings, 301862 edges, 698 markings/sec, 125 secs
lola: 92267 markings, 313140 edges, 700 markings/sec, 130 secs
lola: 95768 markings, 324290 edges, 700 markings/sec, 135 secs
lola: 99258 markings, 336135 edges, 698 markings/sec, 140 secs
lola: 102757 markings, 347395 edges, 700 markings/sec, 145 secs
lola: 106256 markings, 358631 edges, 700 markings/sec, 150 secs
lola: 109745 markings, 370695 edges, 698 markings/sec, 155 secs
lola: 113240 markings, 382128 edges, 699 markings/sec, 160 secs
lola: 116737 markings, 393605 edges, 699 markings/sec, 165 secs
lola: 120223 markings, 405586 edges, 697 markings/sec, 170 secs
lola: 123700 markings, 418130 edges, 695 markings/sec, 175 secs
lola: 126963 markings, 429960 edges, 653 markings/sec, 180 secs
lola: 130431 markings, 442494 edges, 694 markings/sec, 185 secs
lola: 133909 markings, 455042 edges, 696 markings/sec, 190 secs
lola: 137393 markings, 467629 edges, 697 markings/sec, 195 secs
lola: 140916 markings, 478605 edges, 705 markings/sec, 200 secs
lola: 144437 markings, 489594 edges, 704 markings/sec, 205 secs
lola: 147927 markings, 501423 edges, 698 markings/sec, 210 secs
lola: 151443 markings, 512730 edges, 703 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(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 3008 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: 3633 markings, 12337 edges, 727 markings/sec, 0 secs
lola: 7129 markings, 24824 edges, 699 markings/sec, 5 secs
lola: 10623 markings, 37361 edges, 699 markings/sec, 10 secs
lola: 14116 markings, 49836 edges, 699 markings/sec, 15 secs
lola: 17608 markings, 62344 edges, 698 markings/sec, 20 secs
lola: 21101 markings, 74906 edges, 699 markings/sec, 25 secs
lola: 24593 markings, 87481 edges, 698 markings/sec, 30 secs
lola: 28087 markings, 100199 edges, 699 markings/sec, 35 secs
lola: 31582 markings, 112920 edges, 699 markings/sec, 40 secs
lola: 35077 markings, 125647 edges, 699 markings/sec, 45 secs
lola: 38570 markings, 138279 edges, 699 markings/sec, 50 secs
lola: 42063 markings, 151126 edges, 699 markings/sec, 55 secs
lola: 45557 markings, 164010 edges, 699 markings/sec, 60 secs
lola: 49045 markings, 176505 edges, 698 markings/sec, 65 secs
lola: 52530 markings, 188984 edges, 697 markings/sec, 70 secs
lola: 56016 markings, 201462 edges, 697 markings/sec, 75 secs
lola: 59504 markings, 213922 edges, 698 markings/sec, 80 secs
lola: 62986 markings, 226426 edges, 696 markings/sec, 85 secs
lola: 66471 markings, 238982 edges, 697 markings/sec, 90 secs
lola: 69952 markings, 251545 edges, 696 markings/sec, 95 secs
lola: 73430 markings, 264200 edges, 696 markings/sec, 100 secs
lola: 76911 markings, 276939 edges, 696 markings/sec, 105 secs
lola: 80391 markings, 289512 edges, 696 markings/sec, 110 secs
lola: 83870 markings, 302167 edges, 696 markings/sec, 115 secs
lola: 87349 markings, 314956 edges, 696 markings/sec, 120 secs
lola: 90829 markings, 327707 edges, 696 markings/sec, 125 secs
lola: 94310 markings, 340140 edges, 696 markings/sec, 130 secs
lola: 97788 markings, 352626 edges, 696 markings/sec, 135 secs
lola: 101268 markings, 365055 edges, 696 markings/sec, 140 secs
lola: 104747 markings, 377502 edges, 696 markings/sec, 145 secs
lola: 108224 markings, 390010 edges, 695 markings/sec, 150 secs
lola: 111699 markings, 402518 edges, 695 markings/sec, 155 secs
lola: 115122 markings, 414961 edges, 685 markings/sec, 160 secs
lola: 118475 markings, 427155 edges, 671 markings/sec, 165 secs
lola: 121827 markings, 439387 edges, 670 markings/sec, 170 secs
lola: 125177 markings, 451489 edges, 670 markings/sec, 175 secs
lola: 128557 markings, 463861 edges, 676 markings/sec, 180 secs
lola: 131859 markings, 475987 edges, 660 markings/sec, 185 secs
lola: 135256 markings, 487991 edges, 679 markings/sec, 190 secs
lola: 138594 markings, 499915 edges, 668 markings/sec, 195 secs
lola: 141877 markings, 511696 edges, 657 markings/sec, 200 secs
lola: 145236 markings, 523697 edges, 672 markings/sec, 205 secs
lola: 148644 markings, 535890 edges, 682 markings/sec, 210 secs
lola: 152161 markings, 548541 edges, 703 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(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 3008 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: 7159 markings, 7328 edges, 1432 markings/sec, 0 secs
lola: 14268 markings, 14655 edges, 1422 markings/sec, 5 secs
lola: 21427 markings, 22066 edges, 1432 markings/sec, 10 secs
lola: 28525 markings, 29452 edges, 1420 markings/sec, 15 secs
lola: 35713 markings, 36837 edges, 1438 markings/sec, 20 secs
lola: 42857 markings, 44164 edges, 1429 markings/sec, 25 secs
lola: 50075 markings, 51549 edges, 1444 markings/sec, 30 secs
lola: 57229 markings, 58958 edges, 1431 markings/sec, 35 secs
lola: 64330 markings, 66564 edges, 1420 markings/sec, 40 secs
lola: 71483 markings, 74132 edges, 1431 markings/sec, 45 secs
lola: 78436 markings, 81823 edges, 1391 markings/sec, 50 secs
lola: 85602 markings, 89757 edges, 1433 markings/sec, 55 secs
lola: 92661 markings, 97336 edges, 1412 markings/sec, 60 secs
lola: 99875 markings, 104722 edges, 1443 markings/sec, 65 secs
lola: 107052 markings, 112174 edges, 1435 markings/sec, 70 secs
lola: 114216 markings, 119612 edges, 1433 markings/sec, 75 secs
lola: 121149 markings, 126694 edges, 1387 markings/sec, 80 secs
lola: 128039 markings, 133749 edges, 1378 markings/sec, 85 secs
lola: 134975 markings, 140850 edges, 1387 markings/sec, 90 secs
lola: 141848 markings, 147889 edges, 1375 markings/sec, 95 secs
lola: 148680 markings, 154853 edges, 1366 markings/sec, 100 secs
lola: 155488 markings, 161893 edges, 1362 markings/sec, 105 secs
lola: 162381 markings, 168954 edges, 1379 markings/sec, 110 secs
lola: 169278 markings, 175995 edges, 1379 markings/sec, 115 secs
lola: 176112 markings, 182989 edges, 1367 markings/sec, 120 secs
lola: 182958 markings, 190061 edges, 1369 markings/sec, 125 secs
lola: 189815 markings, 197168 edges, 1371 markings/sec, 130 secs
lola: 196640 markings, 204245 edges, 1365 markings/sec, 135 secs
lola: 203408 markings, 211235 edges, 1354 markings/sec, 140 secs
lola: 209993 markings, 218053 edges, 1317 markings/sec, 145 secs
lola: 217140 markings, 225404 edges, 1429 markings/sec, 150 secs
lola: 224294 markings, 232759 edges, 1431 markings/sec, 155 secs
lola: 231424 markings, 240112 edges, 1426 markings/sec, 160 secs
lola: 238609 markings, 247487 edges, 1437 markings/sec, 165 secs
lola: 245509 markings, 254679 edges, 1380 markings/sec, 170 secs
lola: 252330 markings, 261825 edges, 1364 markings/sec, 175 secs
lola: 259201 markings, 268964 edges, 1374 markings/sec, 180 secs
lola: 266031 markings, 276242 edges, 1366 markings/sec, 185 secs
lola: 272916 markings, 283577 edges, 1377 markings/sec, 190 secs
lola: 279645 markings, 291059 edges, 1346 markings/sec, 195 secs
lola: 286583 markings, 298172 edges, 1388 markings/sec, 200 secs
lola: 293366 markings, 305367 edges, 1357 markings/sec, 205 secs
lola: 300217 markings, 312544 edges, 1370 markings/sec, 210 secs
lola: 307121 markings, 319574 edges, 1381 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3620 markings, 12288 edges, 724 markings/sec, 0 secs
lola: 7108 markings, 24745 edges, 698 markings/sec, 5 secs
lola: 10597 markings, 37269 edges, 698 markings/sec, 10 secs
lola: 14086 markings, 49728 edges, 698 markings/sec, 15 secs
lola: 17573 markings, 62221 edges, 697 markings/sec, 20 secs
lola: 21057 markings, 74745 edges, 697 markings/sec, 25 secs
lola: 24541 markings, 87294 edges, 697 markings/sec, 30 secs
lola: 28025 markings, 99968 edges, 697 markings/sec, 35 secs
lola: 31510 markings, 112657 edges, 697 markings/sec, 40 secs
lola: 34994 markings, 125346 edges, 697 markings/sec, 45 secs
lola: 38477 markings, 137946 edges, 697 markings/sec, 50 secs
lola: 41962 markings, 150762 edges, 697 markings/sec, 55 secs
lola: 45451 markings, 163595 edges, 698 markings/sec, 60 secs
lola: 48931 markings, 176096 edges, 696 markings/sec, 65 secs
lola: 52416 markings, 188569 edges, 697 markings/sec, 70 secs
lola: 55902 markings, 201051 edges, 697 markings/sec, 75 secs
lola: 59386 markings, 213496 edges, 697 markings/sec, 80 secs
lola: 62870 markings, 226007 edges, 697 markings/sec, 85 secs
lola: 66352 markings, 238551 edges, 696 markings/sec, 90 secs
lola: 69836 markings, 251125 edges, 697 markings/sec, 95 secs
lola: 73314 markings, 263782 edges, 696 markings/sec, 100 secs
lola: 76794 markings, 276517 edges, 696 markings/sec, 105 secs
lola: 80273 markings, 289089 edges, 696 markings/sec, 110 secs
lola: 83751 markings, 301743 edges, 696 markings/sec, 115 secs
lola: 87230 markings, 314514 edges, 696 markings/sec, 120 secs
lola: 90707 markings, 327273 edges, 695 markings/sec, 125 secs
lola: 94186 markings, 339693 edges, 696 markings/sec, 130 secs
lola: 97665 markings, 352184 edges, 696 markings/sec, 135 secs
lola: 101143 markings, 364613 edges, 696 markings/sec, 140 secs
lola: 104621 markings, 377049 edges, 696 markings/sec, 145 secs
lola: 108100 markings, 389566 edges, 696 markings/sec, 150 secs
lola: 111578 markings, 402079 edges, 696 markings/sec, 155 secs
lola: 115059 markings, 414731 edges, 696 markings/sec, 160 secs
lola: 118543 markings, 427400 edges, 697 markings/sec, 165 secs
lola: 122027 markings, 440112 edges, 697 markings/sec, 170 secs
lola: 125510 markings, 452703 edges, 697 markings/sec, 175 secs
lola: 128993 markings, 465451 edges, 697 markings/sec, 180 secs
lola: 132476 markings, 478303 edges, 697 markings/sec, 185 secs
lola: 145718 markings, 498167 edges, 2648 markings/sec, 190 secs
lola: 162277 markings, 520414 edges, 3312 markings/sec, 195 secs
lola: 178506 markings, 541345 edges, 3246 markings/sec, 200 secs
lola: 195114 markings, 563724 edges, 3322 markings/sec, 205 secs
lola: 211430 markings, 585824 edges, 3263 markings/sec, 210 secs
lola: 228255 markings, 608892 edges, 3365 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(BlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 7862 markings, 8412 edges, 1572 markings/sec, 0 secs
lola: 14880 markings, 18904 edges, 1404 markings/sec, 5 secs
lola: 20436 markings, 30299 edges, 1111 markings/sec, 10 secs
lola: 27590 markings, 40827 edges, 1431 markings/sec, 15 secs
lola: 33900 markings, 51745 edges, 1262 markings/sec, 20 secs
lola: 40991 markings, 62203 edges, 1418 markings/sec, 25 secs
lola: 48885 markings, 71344 edges, 1579 markings/sec, 30 secs
lola: 55365 markings, 82175 edges, 1296 markings/sec, 35 secs
lola: 61754 markings, 93102 edges, 1278 markings/sec, 40 secs
lola: 65578 markings, 106584 edges, 765 markings/sec, 45 secs
lola: 70657 markings, 118661 edges, 1016 markings/sec, 50 secs
lola: 76920 markings, 129586 edges, 1253 markings/sec, 55 secs
lola: 84199 markings, 139639 edges, 1456 markings/sec, 60 secs
lola: 90119 markings, 151479 edges, 1184 markings/sec, 65 secs
lola: 97618 markings, 161343 edges, 1500 markings/sec, 70 secs
lola: 105013 markings, 171004 edges, 1479 markings/sec, 75 secs
lola: 110954 markings, 182491 edges, 1188 markings/sec, 80 secs
lola: 116406 markings, 195003 edges, 1090 markings/sec, 85 secs
lola: 123643 markings, 205927 edges, 1447 markings/sec, 90 secs
lola: 131251 markings, 215780 edges, 1522 markings/sec, 95 secs
lola: 138514 markings, 226241 edges, 1453 markings/sec, 100 secs
lola: 146410 markings, 235804 edges, 1579 markings/sec, 105 secs
lola: 153898 markings, 245594 edges, 1498 markings/sec, 110 secs
lola: 160837 markings, 256627 edges, 1388 markings/sec, 115 secs
lola: 168563 markings, 266353 edges, 1545 markings/sec, 120 secs
lola: 174903 markings, 277726 edges, 1268 markings/sec, 125 secs
lola: 182636 markings, 288206 edges, 1547 markings/sec, 130 secs
lola: 190300 markings, 298044 edges, 1533 markings/sec, 135 secs
lola: 196401 markings, 310038 edges, 1220 markings/sec, 140 secs
lola: 203404 markings, 321203 edges, 1401 markings/sec, 145 secs
lola: 210539 markings, 332457 edges, 1427 markings/sec, 150 secs
lola: 218273 markings, 342259 edges, 1547 markings/sec, 155 secs
lola: 224024 markings, 354060 edges, 1150 markings/sec, 160 secs
lola: 227675 markings, 367969 edges, 730 markings/sec, 165 secs
lola: 233580 markings, 379730 edges, 1181 markings/sec, 170 secs
lola: 240701 markings, 390318 edges, 1424 markings/sec, 175 secs
lola: 244111 markings, 404270 edges, 682 markings/sec, 180 secs
lola: 248845 markings, 416900 edges, 947 markings/sec, 185 secs
lola: 252443 markings, 430613 edges, 720 markings/sec, 190 secs
lola: 256050 markings, 444350 edges, 721 markings/sec, 195 secs
lola: 259656 markings, 458150 edges, 721 markings/sec, 200 secs
lola: 264303 markings, 472184 edges, 929 markings/sec, 205 secs
lola: 268883 markings, 485935 edges, 916 markings/sec, 210 secs
lola: 273466 markings, 499467 edges, 917 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(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 3008 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: 3491 markings, 11828 edges, 698 markings/sec, 0 secs
lola: 6845 markings, 23805 edges, 671 markings/sec, 5 secs
lola: 10199 markings, 35848 edges, 671 markings/sec, 10 secs
lola: 13552 markings, 47821 edges, 671 markings/sec, 15 secs
lola: 16905 markings, 59821 edges, 671 markings/sec, 20 secs
lola: 20258 markings, 71881 edges, 671 markings/sec, 25 secs
lola: 23609 markings, 83932 edges, 670 markings/sec, 30 secs
lola: 26961 markings, 96104 edges, 670 markings/sec, 35 secs
lola: 30313 markings, 108271 edges, 670 markings/sec, 40 secs
lola: 33661 markings, 120507 edges, 670 markings/sec, 45 secs
lola: 36996 markings, 132567 edges, 667 markings/sec, 50 secs
lola: 40281 markings, 144527 edges, 657 markings/sec, 55 secs
lola: 43560 markings, 156577 edges, 656 markings/sec, 60 secs
lola: 46849 markings, 168666 edges, 658 markings/sec, 65 secs
lola: 50132 markings, 180376 edges, 657 markings/sec, 70 secs
lola: 53419 markings, 192195 edges, 657 markings/sec, 75 secs
lola: 56702 markings, 203914 edges, 657 markings/sec, 80 secs
lola: 59986 markings, 215647 edges, 657 markings/sec, 85 secs
lola: 63265 markings, 227439 edges, 656 markings/sec, 90 secs
lola: 66548 markings, 239253 edges, 657 markings/sec, 95 secs
lola: 69848 markings, 251167 edges, 660 markings/sec, 100 secs
lola: 73261 markings, 263596 edges, 683 markings/sec, 105 secs
lola: 76669 markings, 276064 edges, 682 markings/sec, 110 secs
lola: 80080 markings, 288394 edges, 682 markings/sec, 115 secs
lola: 83489 markings, 300772 edges, 682 markings/sec, 120 secs
lola: 86903 markings, 313330 edges, 683 markings/sec, 125 secs
lola: 90314 markings, 325881 edges, 682 markings/sec, 130 secs
lola: 93729 markings, 338058 edges, 683 markings/sec, 135 secs
lola: 97140 markings, 350319 edges, 682 markings/sec, 140 secs
lola: 100551 markings, 362495 edges, 682 markings/sec, 145 secs
lola: 103962 markings, 374693 edges, 682 markings/sec, 150 secs
lola: 107373 markings, 386952 edges, 682 markings/sec, 155 secs
lola: 110784 markings, 399226 edges, 682 markings/sec, 160 secs
lola: 114197 markings, 411591 edges, 683 markings/sec, 165 secs
lola: 117607 markings, 423975 edges, 682 markings/sec, 170 secs
lola: 121016 markings, 436446 edges, 682 markings/sec, 175 secs
lola: 124425 markings, 448763 edges, 682 markings/sec, 180 secs
lola: 127832 markings, 461179 edges, 681 markings/sec, 185 secs
lola: 131240 markings, 473698 edges, 682 markings/sec, 190 secs
lola: 134737 markings, 486133 edges, 699 markings/sec, 195 secs
lola: 138146 markings, 498308 edges, 682 markings/sec, 200 secs
lola: 141554 markings, 510544 edges, 682 markings/sec, 205 secs
lola: 144961 markings, 522708 edges, 681 markings/sec, 210 secs
lola: 148367 markings, 534896 edges, 681 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(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 13980 markings, 14640 edges, 2796 markings/sec, 0 secs
lola: 28173 markings, 29590 edges, 2839 markings/sec, 5 secs
lola: 42233 markings, 44399 edges, 2812 markings/sec, 10 secs
lola: 56283 markings, 59219 edges, 2810 markings/sec, 15 secs
lola: 70123 markings, 73672 edges, 2768 markings/sec, 20 secs
lola: 84132 markings, 88498 edges, 2802 markings/sec, 25 secs
lola: 98176 markings, 103295 edges, 2809 markings/sec, 30 secs
lola: 112216 markings, 118549 edges, 2808 markings/sec, 35 secs
lola: 126292 markings, 133377 edges, 2815 markings/sec, 40 secs
lola: 140379 markings, 148291 edges, 2817 markings/sec, 45 secs
lola: 154413 markings, 163040 edges, 2807 markings/sec, 50 secs
lola: 168546 markings, 178076 edges, 2827 markings/sec, 55 secs
lola: 182619 markings, 193088 edges, 2815 markings/sec, 60 secs
lola: 196659 markings, 207947 edges, 2808 markings/sec, 65 secs
lola: 210816 markings, 222994 edges, 2831 markings/sec, 70 secs
lola: 225018 markings, 238720 edges, 2840 markings/sec, 75 secs
lola: 238978 markings, 253402 edges, 2792 markings/sec, 80 secs
lola: 253022 markings, 268242 edges, 2809 markings/sec, 85 secs
lola: 267232 markings, 283434 edges, 2842 markings/sec, 90 secs
lola: 281395 markings, 298396 edges, 2833 markings/sec, 95 secs
lola: 295605 markings, 313620 edges, 2842 markings/sec, 100 secs
lola: 309817 markings, 328893 edges, 2842 markings/sec, 105 secs
lola: 323862 markings, 343936 edges, 2809 markings/sec, 110 secs
lola: 337999 markings, 359084 edges, 2827 markings/sec, 115 secs
lola: 352109 markings, 374210 edges, 2822 markings/sec, 120 secs
lola: 366398 markings, 390163 edges, 2858 markings/sec, 125 secs
lola: 380556 markings, 405373 edges, 2832 markings/sec, 130 secs
lola: 394745 markings, 420622 edges, 2838 markings/sec, 135 secs
lola: 408941 markings, 436017 edges, 2839 markings/sec, 140 secs
lola: 423108 markings, 451648 edges, 2833 markings/sec, 145 secs
lola: 437361 markings, 467015 edges, 2851 markings/sec, 150 secs
lola: 451097 markings, 481924 edges, 2747 markings/sec, 155 secs
lola: 464617 markings, 496383 edges, 2704 markings/sec, 160 secs
lola: 478111 markings, 510822 edges, 2699 markings/sec, 165 secs
lola: 491712 markings, 525394 edges, 2720 markings/sec, 170 secs
lola: 505276 markings, 539952 edges, 2713 markings/sec, 175 secs
lola: 518818 markings, 554511 edges, 2708 markings/sec, 180 secs
lola: 532426 markings, 569180 edges, 2722 markings/sec, 185 secs
lola: 545963 markings, 583783 edges, 2707 markings/sec, 190 secs
lola: 559697 markings, 599526 edges, 2747 markings/sec, 195 secs
lola: 573583 markings, 614437 edges, 2777 markings/sec, 200 secs
lola: 587470 markings, 630215 edges, 2777 markings/sec, 205 secs
lola: 601065 markings, 645221 edges, 2719 markings/sec, 210 secs
lola: 614638 markings, 659841 edges, 2715 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(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3459 markings, 11753 edges, 692 markings/sec, 0 secs
lola: 6838 markings, 23537 edges, 676 markings/sec, 5 secs
lola: 10212 markings, 35303 edges, 675 markings/sec, 10 secs
lola: 13588 markings, 47074 edges, 675 markings/sec, 15 secs
lola: 16871 markings, 58865 edges, 657 markings/sec, 20 secs
lola: 20242 markings, 70621 edges, 674 markings/sec, 25 secs
lola: 23615 markings, 82391 edges, 675 markings/sec, 30 secs
lola: 28111 markings, 93885 edges, 899 markings/sec, 35 secs
lola: 33251 markings, 105301 edges, 1028 markings/sec, 40 secs
lola: 36922 markings, 117020 edges, 734 markings/sec, 45 secs
lola: 40696 markings, 128740 edges, 755 markings/sec, 50 secs
lola: 44172 markings, 140490 edges, 695 markings/sec, 55 secs
lola: 50621 markings, 151440 edges, 1290 markings/sec, 60 secs
lola: 55869 markings, 163305 edges, 1050 markings/sec, 65 secs
lola: 59369 markings, 175556 edges, 700 markings/sec, 70 secs
lola: 64724 markings, 187478 edges, 1071 markings/sec, 75 secs
lola: 69816 markings, 199417 edges, 1018 markings/sec, 80 secs
lola: 74901 markings, 211440 edges, 1017 markings/sec, 85 secs
lola: 78412 markings, 223716 edges, 702 markings/sec, 90 secs
lola: 84399 markings, 235437 edges, 1197 markings/sec, 95 secs
lola: 88207 markings, 247686 edges, 762 markings/sec, 100 secs
lola: 94075 markings, 259489 edges, 1174 markings/sec, 105 secs
lola: 101340 markings, 271048 edges, 1453 markings/sec, 110 secs
lola: 110440 markings, 282339 edges, 1820 markings/sec, 115 secs
lola: 116676 markings, 294214 edges, 1247 markings/sec, 120 secs
lola: 125054 markings, 305575 edges, 1676 markings/sec, 125 secs
lola: 128848 markings, 318776 edges, 759 markings/sec, 130 secs
lola: 132386 markings, 332400 edges, 708 markings/sec, 135 secs
lola: 137010 markings, 346576 edges, 925 markings/sec, 140 secs
lola: 145705 markings, 358263 edges, 1739 markings/sec, 145 secs
lola: 152633 markings, 369852 edges, 1386 markings/sec, 150 secs
lola: 156049 markings, 382154 edges, 683 markings/sec, 155 secs
lola: 159831 markings, 395963 edges, 756 markings/sec, 160 secs
lola: 163321 markings, 409566 edges, 698 markings/sec, 165 secs
lola: 166812 markings, 422927 edges, 698 markings/sec, 170 secs
lola: 174536 markings, 436394 edges, 1545 markings/sec, 175 secs
lola: 183224 markings, 447773 edges, 1738 markings/sec, 180 secs
lola: 190203 markings, 459580 edges, 1396 markings/sec, 185 secs
lola: 193712 markings, 472758 edges, 702 markings/sec, 190 secs
lola: 197219 markings, 486520 edges, 701 markings/sec, 195 secs
lola: 202346 markings, 500290 edges, 1025 markings/sec, 200 secs
lola: 208638 markings, 512192 edges, 1258 markings/sec, 205 secs
lola: 214504 markings, 525056 edges, 1173 markings/sec, 210 secs
lola: 218093 markings, 539146 edges, 718 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(DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3324 markings, 11562 edges, 665 markings/sec, 0 secs
lola: 6702 markings, 23291 edges, 676 markings/sec, 5 secs
lola: 10134 markings, 34987 edges, 686 markings/sec, 10 secs
lola: 13423 markings, 46748 edges, 658 markings/sec, 15 secs
lola: 16712 markings, 58530 edges, 658 markings/sec, 20 secs
lola: 20001 markings, 70285 edges, 658 markings/sec, 25 secs
lola: 23289 markings, 82067 edges, 658 markings/sec, 30 secs
lola: 26577 markings, 93892 edges, 658 markings/sec, 35 secs
lola: 29766 markings, 105372 edges, 638 markings/sec, 40 secs
lola: 33129 markings, 117598 edges, 673 markings/sec, 45 secs
lola: 36227 markings, 128850 edges, 620 markings/sec, 50 secs
lola: 39221 markings, 139795 edges, 599 markings/sec, 55 secs
lola: 42214 markings, 150612 edges, 599 markings/sec, 60 secs
lola: 45602 markings, 162942 edges, 678 markings/sec, 65 secs
lola: 48975 markings, 175338 edges, 675 markings/sec, 70 secs
lola: 52409 markings, 187953 edges, 687 markings/sec, 75 secs
lola: 55824 markings, 200137 edges, 683 markings/sec, 80 secs
lola: 59250 markings, 212443 edges, 685 markings/sec, 85 secs
lola: 62678 markings, 224684 edges, 686 markings/sec, 90 secs
lola: 66104 markings, 236937 edges, 685 markings/sec, 95 secs
lola: 69528 markings, 249258 edges, 685 markings/sec, 100 secs
lola: 72953 markings, 261571 edges, 685 markings/sec, 105 secs
lola: 76377 markings, 274006 edges, 685 markings/sec, 110 secs
lola: 79800 markings, 286429 edges, 685 markings/sec, 115 secs
lola: 83224 markings, 298942 edges, 685 markings/sec, 120 secs
lola: 86648 markings, 311321 edges, 685 markings/sec, 125 secs
lola: 90070 markings, 323821 edges, 684 markings/sec, 130 secs
lola: 93492 markings, 336382 edges, 684 markings/sec, 135 secs
lola: 96930 markings, 348906 edges, 688 markings/sec, 140 secs
lola: 100364 markings, 361179 edges, 687 markings/sec, 145 secs
lola: 103797 markings, 373601 edges, 687 markings/sec, 150 secs
lola: 107229 markings, 386093 edges, 686 markings/sec, 155 secs
lola: 110665 markings, 398495 edges, 687 markings/sec, 160 secs
lola: 114098 markings, 410799 edges, 687 markings/sec, 165 secs
lola: 117531 markings, 423239 edges, 687 markings/sec, 170 secs
lola: 120964 markings, 435723 edges, 687 markings/sec, 175 secs
lola: 124393 markings, 448221 edges, 686 markings/sec, 180 secs
lola: 127818 markings, 460443 edges, 685 markings/sec, 185 secs
lola: 131241 markings, 472790 edges, 685 markings/sec, 190 secs
lola: 134663 markings, 485231 edges, 684 markings/sec, 195 secs
lola: 138087 markings, 497643 edges, 685 markings/sec, 200 secs
lola: 141512 markings, 509913 edges, 685 markings/sec, 205 secs
lola: 144935 markings, 522291 edges, 685 markings/sec, 210 secs
lola: 148358 markings, 534731 edges, 685 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(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 9876 markings, 11362 edges, 1975 markings/sec, 0 secs
lola: 19744 markings, 21959 edges, 1974 markings/sec, 5 secs
lola: 29676 markings, 32821 edges, 1986 markings/sec, 10 secs
lola: 39635 markings, 43990 edges, 1992 markings/sec, 15 secs
lola: 49760 markings, 55006 edges, 2025 markings/sec, 20 secs
lola: 59786 markings, 65874 edges, 2005 markings/sec, 25 secs
lola: 69715 markings, 77043 edges, 1986 markings/sec, 30 secs
lola: 79703 markings, 87696 edges, 1998 markings/sec, 35 secs
lola: 89756 markings, 98712 edges, 2011 markings/sec, 40 secs
lola: 99782 markings, 109600 edges, 2005 markings/sec, 45 secs
lola: 109809 markings, 120971 edges, 2005 markings/sec, 50 secs
lola: 119702 markings, 131636 edges, 1979 markings/sec, 55 secs
lola: 129639 markings, 142767 edges, 1987 markings/sec, 60 secs
lola: 139565 markings, 153605 edges, 1985 markings/sec, 65 secs
lola: 149446 markings, 164240 edges, 1976 markings/sec, 70 secs
lola: 159393 markings, 175312 edges, 1989 markings/sec, 75 secs
lola: 169448 markings, 186301 edges, 2011 markings/sec, 80 secs
lola: 179428 markings, 197183 edges, 1996 markings/sec, 85 secs
lola: 189291 markings, 208139 edges, 1973 markings/sec, 90 secs
lola: 199259 markings, 219396 edges, 1994 markings/sec, 95 secs
lola: 209232 markings, 231044 edges, 1995 markings/sec, 100 secs
lola: 219108 markings, 242459 edges, 1975 markings/sec, 105 secs
lola: 229040 markings, 253262 edges, 1986 markings/sec, 110 secs
lola: 238935 markings, 263999 edges, 1979 markings/sec, 115 secs
lola: 248825 markings, 274773 edges, 1978 markings/sec, 120 secs
lola: 258821 markings, 285702 edges, 1999 markings/sec, 125 secs
lola: 268747 markings, 296610 edges, 1985 markings/sec, 130 secs
lola: 278668 markings, 307303 edges, 1984 markings/sec, 135 secs
lola: 288659 markings, 318642 edges, 1998 markings/sec, 140 secs
lola: 298367 markings, 328946 edges, 1942 markings/sec, 145 secs
lola: 308398 markings, 340952 edges, 2006 markings/sec, 150 secs
lola: 318343 markings, 352620 edges, 1989 markings/sec, 155 secs
lola: 328217 markings, 363685 edges, 1975 markings/sec, 160 secs
lola: 338203 markings, 374866 edges, 1997 markings/sec, 165 secs
lola: 348222 markings, 386158 edges, 2004 markings/sec, 170 secs
lola: 358229 markings, 397781 edges, 2001 markings/sec, 175 secs
lola: 368277 markings, 408933 edges, 2010 markings/sec, 180 secs
lola: 378069 markings, 419845 edges, 1958 markings/sec, 185 secs
lola: 387911 markings, 430920 edges, 1968 markings/sec, 190 secs
lola: 397915 markings, 442769 edges, 2001 markings/sec, 195 secs
lola: 408051 markings, 455110 edges, 2027 markings/sec, 200 secs
lola: 418088 markings, 466042 edges, 2007 markings/sec, 205 secs
lola: 428030 markings, 477250 edges, 1988 markings/sec, 210 secs
lola: 437922 markings, 487871 edges, 1978 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_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 10517 markings, 12048 edges, 2103 markings/sec, 0 secs
lola: 20608 markings, 22847 edges, 2018 markings/sec, 5 secs
lola: 31001 markings, 33936 edges, 2079 markings/sec, 10 secs
lola: 41808 markings, 45941 edges, 2161 markings/sec, 15 secs
lola: 52250 markings, 57166 edges, 2088 markings/sec, 20 secs
lola: 62706 markings, 68400 edges, 2091 markings/sec, 25 secs
lola: 73204 markings, 80184 edges, 2100 markings/sec, 30 secs
lola: 83562 markings, 91292 edges, 2072 markings/sec, 35 secs
lola: 94351 markings, 103240 edges, 2158 markings/sec, 40 secs
lola: 104885 markings, 114503 edges, 2107 markings/sec, 45 secs
lola: 115555 markings, 126052 edges, 2134 markings/sec, 50 secs
lola: 126130 markings, 137803 edges, 2115 markings/sec, 55 secs
lola: 136428 markings, 149289 edges, 2060 markings/sec, 60 secs
lola: 146178 markings, 159719 edges, 1950 markings/sec, 65 secs
lola: 155438 markings, 169598 edges, 1852 markings/sec, 70 secs
lola: 165129 markings, 180451 edges, 1938 markings/sec, 75 secs
lola: 174936 markings, 191510 edges, 1961 markings/sec, 80 secs
lola: 184391 markings, 201974 edges, 1891 markings/sec, 85 secs
lola: 194389 markings, 213132 edges, 2000 markings/sec, 90 secs
lola: 204978 markings, 225026 edges, 2118 markings/sec, 95 secs
lola: 215433 markings, 236268 edges, 2091 markings/sec, 100 secs
lola: 224936 markings, 246446 edges, 1901 markings/sec, 105 secs
lola: 235056 markings, 257378 edges, 2024 markings/sec, 110 secs
lola: 245131 markings, 268331 edges, 2015 markings/sec, 115 secs
lola: 255681 markings, 280325 edges, 2110 markings/sec, 120 secs
lola: 266226 markings, 292222 edges, 2109 markings/sec, 125 secs
lola: 276389 markings, 303195 edges, 2033 markings/sec, 130 secs
lola: 286834 markings, 315402 edges, 2089 markings/sec, 135 secs
lola: 296656 markings, 326431 edges, 1964 markings/sec, 140 secs
lola: 307545 markings, 339105 edges, 2178 markings/sec, 145 secs
lola: 317629 markings, 350235 edges, 2017 markings/sec, 150 secs
lola: 328253 markings, 362420 edges, 2125 markings/sec, 155 secs
lola: 338491 markings, 373598 edges, 2048 markings/sec, 160 secs
lola: 349292 markings, 386115 edges, 2160 markings/sec, 165 secs
lola: 359945 markings, 398508 edges, 2131 markings/sec, 170 secs
lola: 370887 markings, 411604 edges, 2188 markings/sec, 175 secs
lola: 381949 markings, 425059 edges, 2212 markings/sec, 180 secs
lola: 392000 markings, 436347 edges, 2010 markings/sec, 185 secs
lola: 402668 markings, 448386 edges, 2134 markings/sec, 190 secs
lola: 413267 markings, 460834 edges, 2120 markings/sec, 195 secs
lola: 423831 markings, 473122 edges, 2113 markings/sec, 200 secs
lola: 434385 markings, 485681 edges, 2111 markings/sec, 205 secs
lola: 445626 markings, 499663 edges, 2248 markings/sec, 210 secs
lola: 456165 markings, 512273 edges, 2108 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(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 3008 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: 3452 markings, 11687 edges, 690 markings/sec, 0 secs
lola: 6911 markings, 24043 edges, 692 markings/sec, 5 secs
lola: 10377 markings, 36485 edges, 693 markings/sec, 10 secs
lola: 13841 markings, 48860 edges, 693 markings/sec, 15 secs
lola: 17295 markings, 61218 edges, 691 markings/sec, 20 secs
lola: 20743 markings, 73619 edges, 690 markings/sec, 25 secs
lola: 24207 markings, 86090 edges, 693 markings/sec, 30 secs
lola: 27671 markings, 98677 edges, 693 markings/sec, 35 secs
lola: 31129 markings, 111266 edges, 692 markings/sec, 40 secs
lola: 34587 markings, 123878 edges, 692 markings/sec, 45 secs
lola: 38044 markings, 136362 edges, 691 markings/sec, 50 secs
lola: 41501 markings, 149024 edges, 691 markings/sec, 55 secs
lola: 44956 markings, 161760 edges, 691 markings/sec, 60 secs
lola: 48406 markings, 174223 edges, 690 markings/sec, 65 secs
lola: 51851 markings, 186549 edges, 689 markings/sec, 70 secs
lola: 55297 markings, 198889 edges, 689 markings/sec, 75 secs
lola: 58741 markings, 211191 edges, 689 markings/sec, 80 secs
lola: 62185 markings, 223541 edges, 689 markings/sec, 85 secs
lola: 65628 markings, 235951 edges, 689 markings/sec, 90 secs
lola: 69072 markings, 248359 edges, 689 markings/sec, 95 secs
lola: 72517 markings, 260908 edges, 689 markings/sec, 100 secs
lola: 75957 markings, 273489 edges, 688 markings/sec, 105 secs
lola: 79394 markings, 285921 edges, 687 markings/sec, 110 secs
lola: 82826 markings, 298360 edges, 686 markings/sec, 115 secs
lola: 86259 markings, 310984 edges, 687 markings/sec, 120 secs
lola: 89693 markings, 323675 edges, 687 markings/sec, 125 secs
lola: 93130 markings, 335924 edges, 687 markings/sec, 130 secs
lola: 96568 markings, 348257 edges, 688 markings/sec, 135 secs
lola: 100006 markings, 360559 edges, 688 markings/sec, 140 secs
lola: 103443 markings, 372826 edges, 687 markings/sec, 145 secs
lola: 106881 markings, 385180 edges, 688 markings/sec, 150 secs
lola: 110318 markings, 397555 edges, 687 markings/sec, 155 secs
lola: 113755 markings, 409965 edges, 687 markings/sec, 160 secs
lola: 117194 markings, 422482 edges, 688 markings/sec, 165 secs
lola: 120630 markings, 435056 edges, 687 markings/sec, 170 secs
lola: 124065 markings, 447466 edges, 687 markings/sec, 175 secs
lola: 127499 markings, 459960 edges, 687 markings/sec, 180 secs
lola: 130934 markings, 472576 edges, 687 markings/sec, 185 secs
lola: 134458 markings, 485144 edges, 705 markings/sec, 190 secs
lola: 137893 markings, 497399 edges, 687 markings/sec, 195 secs
lola: 141328 markings, 509739 edges, 687 markings/sec, 200 secs
lola: 144762 markings, 522002 edges, 687 markings/sec, 205 secs
lola: 148195 markings, 534277 edges, 687 markings/sec, 210 secs
lola: 151627 markings, 546626 edges, 686 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(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 10506 markings, 12049 edges, 2101 markings/sec, 0 secs
lola: 20607 markings, 22829 edges, 2020 markings/sec, 5 secs
lola: 31085 markings, 34010 edges, 2096 markings/sec, 10 secs
lola: 41908 markings, 46031 edges, 2165 markings/sec, 15 secs
lola: 52382 markings, 57288 edges, 2095 markings/sec, 20 secs
lola: 62908 markings, 68624 edges, 2105 markings/sec, 25 secs
lola: 73367 markings, 80360 edges, 2092 markings/sec, 30 secs
lola: 83793 markings, 91541 edges, 2085 markings/sec, 35 secs
lola: 94608 markings, 103506 edges, 2163 markings/sec, 40 secs
lola: 105189 markings, 114866 edges, 2116 markings/sec, 45 secs
lola: 115805 markings, 126304 edges, 2123 markings/sec, 50 secs
lola: 126465 markings, 138178 edges, 2132 markings/sec, 55 secs
lola: 136649 markings, 149621 edges, 2037 markings/sec, 60 secs
lola: 146394 markings, 160006 edges, 1949 markings/sec, 65 secs
lola: 156455 markings, 170738 edges, 2012 markings/sec, 70 secs
lola: 166850 markings, 182418 edges, 2079 markings/sec, 75 secs
lola: 177503 markings, 194799 edges, 2131 markings/sec, 80 secs
lola: 187949 markings, 205943 edges, 2089 markings/sec, 85 secs
lola: 198524 markings, 217888 edges, 2115 markings/sec, 90 secs
lola: 209271 markings, 229807 edges, 2149 markings/sec, 95 secs
lola: 219502 markings, 240852 edges, 2046 markings/sec, 100 secs
lola: 228718 markings, 250804 edges, 1843 markings/sec, 105 secs
lola: 238902 markings, 261767 edges, 2037 markings/sec, 110 secs
lola: 249481 markings, 273607 edges, 2116 markings/sec, 115 secs
lola: 260241 markings, 285856 edges, 2152 markings/sec, 120 secs
lola: 270795 markings, 297311 edges, 2111 markings/sec, 125 secs
lola: 281340 markings, 309104 edges, 2109 markings/sec, 130 secs
lola: 291334 markings, 320331 edges, 1999 markings/sec, 135 secs
lola: 302231 markings, 333033 edges, 2179 markings/sec, 140 secs
lola: 312712 markings, 344760 edges, 2096 markings/sec, 145 secs
lola: 323922 markings, 357861 edges, 2242 markings/sec, 150 secs
lola: 334257 markings, 369118 edges, 2067 markings/sec, 155 secs
lola: 345420 markings, 382117 edges, 2233 markings/sec, 160 secs
lola: 356336 markings, 394892 edges, 2183 markings/sec, 165 secs
lola: 367681 markings, 408520 edges, 2269 markings/sec, 170 secs
lola: 379031 markings, 422154 edges, 2270 markings/sec, 175 secs
lola: 389370 markings, 433841 edges, 2068 markings/sec, 180 secs
lola: 400418 markings, 446270 edges, 2210 markings/sec, 185 secs
lola: 411235 markings, 458825 edges, 2163 markings/sec, 190 secs
lola: 422321 markings, 472061 edges, 2217 markings/sec, 195 secs
lola: 433081 markings, 484939 edges, 2152 markings/sec, 200 secs
lola: 444646 markings, 499568 edges, 2313 markings/sec, 205 secs
lola: 455456 markings, 512407 edges, 2162 markings/sec, 210 secs
lola: 466819 markings, 526231 edges, 2273 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(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 10452 markings, 11981 edges, 2090 markings/sec, 0 secs
lola: 20471 markings, 22694 edges, 2004 markings/sec, 5 secs
lola: 30771 markings, 33701 edges, 2060 markings/sec, 10 secs
lola: 41466 markings, 45578 edges, 2139 markings/sec, 15 secs
lola: 51855 markings, 56735 edges, 2078 markings/sec, 20 secs
lola: 62203 markings, 67855 edges, 2070 markings/sec, 25 secs
lola: 72661 markings, 79579 edges, 2092 markings/sec, 30 secs
lola: 82878 markings, 90528 edges, 2043 markings/sec, 35 secs
lola: 93608 markings, 102423 edges, 2146 markings/sec, 40 secs
lola: 104066 markings, 113622 edges, 2092 markings/sec, 45 secs
lola: 114555 markings, 124953 edges, 2098 markings/sec, 50 secs
lola: 125208 markings, 136838 edges, 2131 markings/sec, 55 secs
lola: 135413 markings, 148208 edges, 2041 markings/sec, 60 secs
lola: 145138 markings, 158626 edges, 1945 markings/sec, 65 secs
lola: 154885 markings, 169035 edges, 1949 markings/sec, 70 secs
lola: 165188 markings, 180512 edges, 2061 markings/sec, 75 secs
lola: 175598 markings, 192219 edges, 2082 markings/sec, 80 secs
lola: 186158 markings, 203881 edges, 2112 markings/sec, 85 secs
lola: 196772 markings, 215741 edges, 2123 markings/sec, 90 secs
lola: 207486 markings, 227752 edges, 2143 markings/sec, 95 secs
lola: 217730 markings, 238762 edges, 2049 markings/sec, 100 secs
lola: 226977 markings, 248681 edges, 1849 markings/sec, 105 secs
lola: 237275 markings, 259825 edges, 2060 markings/sec, 110 secs
lola: 247200 markings, 270590 edges, 1985 markings/sec, 115 secs
lola: 257934 markings, 283213 edges, 2147 markings/sec, 120 secs
lola: 268133 markings, 294301 edges, 2040 markings/sec, 125 secs
lola: 278129 markings, 305104 edges, 1999 markings/sec, 130 secs
lola: 288551 markings, 317276 edges, 2084 markings/sec, 135 secs
lola: 298303 markings, 328208 edges, 1950 markings/sec, 140 secs
lola: 308932 markings, 340562 edges, 2126 markings/sec, 145 secs
lola: 319166 markings, 352054 edges, 2047 markings/sec, 150 secs
lola: 329628 markings, 363935 edges, 2092 markings/sec, 155 secs
lola: 340091 markings, 375726 edges, 2093 markings/sec, 160 secs
lola: 350569 markings, 387480 edges, 2096 markings/sec, 165 secs
lola: 361277 markings, 399927 edges, 2142 markings/sec, 170 secs
lola: 372511 markings, 413776 edges, 2247 markings/sec, 175 secs
lola: 383129 markings, 426347 edges, 2124 markings/sec, 180 secs
lola: 393273 markings, 437708 edges, 2029 markings/sec, 185 secs
lola: 403888 markings, 449710 edges, 2123 markings/sec, 190 secs
lola: 414503 markings, 462116 edges, 2123 markings/sec, 195 secs
lola: 425016 markings, 474490 edges, 2103 markings/sec, 200 secs
lola: 435864 markings, 487689 edges, 2170 markings/sec, 205 secs
lola: 446710 markings, 500983 edges, 2169 markings/sec, 210 secs
lola: 457292 markings, 513506 edges, 2116 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_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_4_5 + P_2579_4_6 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_5_5 + P_2579_5_6 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_6_5 + P_2579_6_6 + P_2579_7_1 + P_2579_7_2 + P_2579_7_3 + P_2579_7_4 + P_2579_7_5 + P_2579_7_6 + P_2579_8_1 + P_2579_8_2 + P_2579_8_3 + P_2579_8_4 + P_2579_8_5 + P_2579_8_6 + P_2579... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3947 markings, 10389 edges, 789 markings/sec, 0 secs
lola: 7391 markings, 20993 edges, 689 markings/sec, 5 secs
lola: 10834 markings, 31771 edges, 689 markings/sec, 10 secs
lola: 14367 markings, 42581 edges, 707 markings/sec, 15 secs
lola: 17819 markings, 53167 edges, 690 markings/sec, 20 secs
lola: 21270 markings, 63870 edges, 690 markings/sec, 25 secs
lola: 24720 markings, 74671 edges, 690 markings/sec, 30 secs
lola: 28250 markings, 85395 edges, 706 markings/sec, 35 secs
lola: 31684 markings, 95948 edges, 687 markings/sec, 40 secs
lola: 35123 markings, 106682 edges, 688 markings/sec, 45 secs
lola: 38565 markings, 117492 edges, 688 markings/sec, 50 secs
lola: 42282 markings, 129481 edges, 743 markings/sec, 55 secs
lola: 45720 markings, 141786 edges, 688 markings/sec, 60 secs
lola: 49156 markings, 154086 edges, 687 markings/sec, 65 secs
lola: 52593 markings, 166363 edges, 687 markings/sec, 70 secs
lola: 56027 markings, 178683 edges, 687 markings/sec, 75 secs
lola: 59463 markings, 191068 edges, 687 markings/sec, 80 secs
lola: 62899 markings, 203456 edges, 687 markings/sec, 85 secs
lola: 66335 markings, 215964 edges, 687 markings/sec, 90 secs
lola: 69770 markings, 228534 edges, 687 markings/sec, 95 secs
lola: 73205 markings, 240959 edges, 687 markings/sec, 100 secs
lola: 76640 markings, 253410 edges, 687 markings/sec, 105 secs
lola: 80074 markings, 266051 edges, 687 markings/sec, 110 secs
lola: 83508 markings, 278716 edges, 687 markings/sec, 115 secs
lola: 86935 markings, 290929 edges, 685 markings/sec, 120 secs
lola: 90360 markings, 303226 edges, 685 markings/sec, 125 secs
lola: 93786 markings, 315477 edges, 685 markings/sec, 130 secs
lola: 97211 markings, 327705 edges, 685 markings/sec, 135 secs
lola: 100636 markings, 340020 edges, 685 markings/sec, 140 secs
lola: 104060 markings, 352342 edges, 685 markings/sec, 145 secs
lola: 107484 markings, 364715 edges, 685 markings/sec, 150 secs
lola: 110909 markings, 377168 edges, 685 markings/sec, 155 secs
lola: 114333 markings, 389702 edges, 685 markings/sec, 160 secs
lola: 117757 markings, 402072 edges, 685 markings/sec, 165 secs
lola: 121179 markings, 414527 edges, 684 markings/sec, 170 secs
lola: 124602 markings, 427101 edges, 685 markings/sec, 175 secs
lola: 128027 markings, 439675 edges, 685 markings/sec, 180 secs
lola: 131453 markings, 451903 edges, 685 markings/sec, 185 secs
lola: 134879 markings, 464208 edges, 685 markings/sec, 190 secs
lola: 138304 markings, 476435 edges, 685 markings/sec, 195 secs
lola: 141729 markings, 488689 edges, 685 markings/sec, 200 secs
lola: 145153 markings, 501008 edges, 685 markings/sec, 205 secs
lola: 148578 markings, 513322 edges, 685 markings/sec, 210 secs
lola: 152002 markings, 525754 edges, 685 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(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3530 markings, 12251 edges, 706 markings/sec, 0 secs
lola: 6994 markings, 24735 edges, 693 markings/sec, 5 secs
lola: 10459 markings, 37232 edges, 693 markings/sec, 10 secs
lola: 13926 markings, 49812 edges, 693 markings/sec, 15 secs
lola: 17393 markings, 62350 edges, 693 markings/sec, 20 secs
lola: 20870 markings, 74227 edges, 695 markings/sec, 25 secs
lola: 24362 markings, 85200 edges, 698 markings/sec, 30 secs
lola: 27847 markings, 96480 edges, 697 markings/sec, 35 secs
lola: 31332 markings, 107753 edges, 697 markings/sec, 40 secs
lola: 34818 markings, 119053 edges, 697 markings/sec, 45 secs
lola: 38297 markings, 130710 edges, 696 markings/sec, 50 secs
lola: 41783 markings, 141903 edges, 697 markings/sec, 55 secs
lola: 45266 markings, 153164 edges, 697 markings/sec, 60 secs
lola: 48744 markings, 164959 edges, 696 markings/sec, 65 secs
lola: 52226 markings, 176471 edges, 696 markings/sec, 70 secs
lola: 55707 markings, 187967 edges, 696 markings/sec, 75 secs
lola: 59190 markings, 199299 edges, 697 markings/sec, 80 secs
lola: 62655 markings, 211756 edges, 693 markings/sec, 85 secs
lola: 66120 markings, 224234 edges, 693 markings/sec, 90 secs
lola: 69586 markings, 236732 edges, 693 markings/sec, 95 secs
lola: 73050 markings, 249296 edges, 693 markings/sec, 100 secs
lola: 76516 markings, 261844 edges, 693 markings/sec, 105 secs
lola: 79996 markings, 273661 edges, 696 markings/sec, 110 secs
lola: 83484 markings, 284609 edges, 698 markings/sec, 115 secs
lola: 86966 markings, 295956 edges, 696 markings/sec, 120 secs
lola: 90443 markings, 307153 edges, 695 markings/sec, 125 secs
lola: 93926 markings, 318416 edges, 697 markings/sec, 130 secs
lola: 97403 markings, 330147 edges, 695 markings/sec, 135 secs
lola: 100891 markings, 341293 edges, 698 markings/sec, 140 secs
lola: 104377 markings, 352544 edges, 697 markings/sec, 145 secs
lola: 107852 markings, 364395 edges, 695 markings/sec, 150 secs
lola: 111334 markings, 375854 edges, 696 markings/sec, 155 secs
lola: 114813 markings, 387367 edges, 696 markings/sec, 160 secs
lola: 118294 markings, 398708 edges, 696 markings/sec, 165 secs
lola: 121758 markings, 411187 edges, 693 markings/sec, 170 secs
lola: 125205 markings, 423588 edges, 689 markings/sec, 175 secs
lola: 128616 markings, 435884 edges, 682 markings/sec, 180 secs
lola: 132021 markings, 448236 edges, 681 markings/sec, 185 secs
lola: 135423 markings, 460555 edges, 680 markings/sec, 190 secs
lola: 138840 markings, 472192 edges, 683 markings/sec, 195 secs
lola: 142276 markings, 482993 edges, 687 markings/sec, 200 secs
lola: 145708 markings, 494072 edges, 686 markings/sec, 205 secs
lola: 149127 markings, 505169 edges, 684 markings/sec, 210 secs
lola: 152541 markings, 516241 edges, 683 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: time limit reached - aborting
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496495117871

--------------------
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-S06J04T08"
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-S06J04T08.tgz
mv S_PolyORBLF-PT-S06J04T08 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-S06J04T08, 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-149441681700524"
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 ;