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

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

=== Now, execution of the tool begins

BK_START 1496486321805


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J04T06: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S06J04T06 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11132/65536 symbol table entries, 6611 collisions
lola: preprocessing...
lola: finding significant places
lola: 632 places, 10500 transitions, 578 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2723 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T06-UpperBounds.task
lola: 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) : 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) : MAX(TryAllocateOneTaskB_1 + TryAllocateOneTaskB_2 + TryAllocateOneTaskB_3 + TryAllocateOneTaskB_4 + TryAllocateOneTaskB_5 + TryAllocateOneTaskB_6) : MAX(NotifyEventJobQueuedE_1 + NotifyEventJobQueuedE_2 + NotifyEventJobQueuedE_3 + NotifyEventJobQueuedE_4 + NotifyEventJobQueuedE_5 + NotifyEventJobQueuedE_6) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6) : MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6) : MAX(PlaceSources_1 + PlaceSources_2 + PlaceSources_3 + PlaceSources_4 + PlaceSources_5 + PlaceSources_6) : MAX(Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6) : MAX(P_1095) : 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_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) : MAX(cBlockedTasks) : MAX(cIdleTasks) : MAX(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6) : MAX(cPollingAbort) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_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(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5552 markings, 19271 edges, 1110 markings/sec, 0 secs
lola: 10939 markings, 38608 edges, 1077 markings/sec, 5 secs
lola: 16416 markings, 58005 edges, 1095 markings/sec, 10 secs
lola: 21792 markings, 77292 edges, 1075 markings/sec, 15 secs
lola: 27276 markings, 96719 edges, 1097 markings/sec, 20 secs
lola: 32673 markings, 116076 edges, 1079 markings/sec, 25 secs
lola: 38235 markings, 135394 edges, 1112 markings/sec, 30 secs
lola: 43988 markings, 154522 edges, 1151 markings/sec, 35 secs
lola: 49479 markings, 173941 edges, 1098 markings/sec, 40 secs
lola: 55579 markings, 192821 edges, 1220 markings/sec, 45 secs
lola: 61080 markings, 212031 edges, 1100 markings/sec, 50 secs
lola: 66486 markings, 231286 edges, 1081 markings/sec, 55 secs
lola: 71976 markings, 250448 edges, 1098 markings/sec, 60 secs
lola: 77459 markings, 269753 edges, 1097 markings/sec, 65 secs
lola: 82959 markings, 289244 edges, 1100 markings/sec, 70 secs
lola: 88442 markings, 308683 edges, 1097 markings/sec, 75 secs
lola: 94195 markings, 327931 edges, 1151 markings/sec, 80 secs
lola: 100062 markings, 347378 edges, 1173 markings/sec, 85 secs
lola: 105824 markings, 366622 edges, 1152 markings/sec, 90 secs
lola: 111387 markings, 386504 edges, 1113 markings/sec, 95 secs
lola: 117029 markings, 406122 edges, 1128 markings/sec, 100 secs
lola: 122658 markings, 425665 edges, 1126 markings/sec, 105 secs
lola: 128285 markings, 445058 edges, 1125 markings/sec, 110 secs
lola: 134592 markings, 464475 edges, 1261 markings/sec, 115 secs
lola: 140754 markings, 483853 edges, 1232 markings/sec, 120 secs
lola: 146687 markings, 503340 edges, 1187 markings/sec, 125 secs
lola: 153488 markings, 522342 edges, 1360 markings/sec, 130 secs
lola: 160193 markings, 541451 edges, 1341 markings/sec, 135 secs
lola: 166845 markings, 560300 edges, 1330 markings/sec, 140 secs
lola: 173707 markings, 579083 edges, 1372 markings/sec, 145 secs
lola: 179773 markings, 598030 edges, 1213 markings/sec, 150 secs
lola: 185997 markings, 617213 edges, 1245 markings/sec, 155 secs
lola: 191500 markings, 636369 edges, 1101 markings/sec, 160 secs
lola: 197122 markings, 655758 edges, 1124 markings/sec, 165 secs
lola: 202753 markings, 675321 edges, 1126 markings/sec, 170 secs
lola: 208294 markings, 694875 edges, 1108 markings/sec, 175 secs
lola: 214985 markings, 716126 edges, 1338 markings/sec, 180 secs
lola: 220694 markings, 735590 edges, 1142 markings/sec, 185 secs
lola: 226441 markings, 755363 edges, 1149 markings/sec, 190 secs
lola: 232581 markings, 775076 edges, 1228 markings/sec, 195 secs
lola: 238033 markings, 794163 edges, 1090 markings/sec, 200 secs
lola: 243642 markings, 813525 edges, 1122 markings/sec, 205 secs
lola: 249850 markings, 833345 edges, 1242 markings/sec, 210 secs
lola: 255531 markings, 852688 edges, 1136 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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5540 markings, 19229 edges, 1108 markings/sec, 0 secs
lola: 10969 markings, 38714 edges, 1086 markings/sec, 5 secs
lola: 16482 markings, 58253 edges, 1103 markings/sec, 10 secs
lola: 21893 markings, 77656 edges, 1082 markings/sec, 15 secs
lola: 27412 markings, 97213 edges, 1104 markings/sec, 20 secs
lola: 32802 markings, 116540 edges, 1078 markings/sec, 25 secs
lola: 38493 markings, 135857 edges, 1138 markings/sec, 30 secs
lola: 44125 markings, 155010 edges, 1126 markings/sec, 35 secs
lola: 49599 markings, 174370 edges, 1095 markings/sec, 40 secs
lola: 55722 markings, 193328 edges, 1225 markings/sec, 45 secs
lola: 61212 markings, 212497 edges, 1098 markings/sec, 50 secs
lola: 66645 markings, 231850 edges, 1087 markings/sec, 55 secs
lola: 72168 markings, 251129 edges, 1105 markings/sec, 60 secs
lola: 77676 markings, 270540 edges, 1102 markings/sec, 65 secs
lola: 83184 markings, 290063 edges, 1102 markings/sec, 70 secs
lola: 88674 markings, 309516 edges, 1098 markings/sec, 75 secs
lola: 94434 markings, 328795 edges, 1152 markings/sec, 80 secs
lola: 100310 markings, 348274 edges, 1175 markings/sec, 85 secs
lola: 106099 markings, 367627 edges, 1158 markings/sec, 90 secs
lola: 111609 markings, 387321 edges, 1102 markings/sec, 95 secs
lola: 117196 markings, 406726 edges, 1117 markings/sec, 100 secs
lola: 122768 markings, 426055 edges, 1114 markings/sec, 105 secs
lola: 128457 markings, 445266 edges, 1138 markings/sec, 110 secs
lola: 134612 markings, 464547 edges, 1231 markings/sec, 115 secs
lola: 140721 markings, 483735 edges, 1222 markings/sec, 120 secs
lola: 146505 markings, 502684 edges, 1157 markings/sec, 125 secs
lola: 152803 markings, 520808 edges, 1260 markings/sec, 130 secs
lola: 158531 markings, 539635 edges, 1146 markings/sec, 135 secs
lola: 166137 markings, 557787 edges, 1521 markings/sec, 140 secs
lola: 172795 markings, 576536 edges, 1332 markings/sec, 145 secs
lola: 179067 markings, 595471 edges, 1254 markings/sec, 150 secs
lola: 185290 markings, 614699 edges, 1245 markings/sec, 155 secs
lola: 190768 markings, 633857 edges, 1096 markings/sec, 160 secs
lola: 196398 markings, 653207 edges, 1126 markings/sec, 165 secs
lola: 202042 markings, 672746 edges, 1129 markings/sec, 170 secs
lola: 207558 markings, 692257 edges, 1103 markings/sec, 175 secs
lola: 214258 markings, 713543 edges, 1340 markings/sec, 180 secs
lola: 219898 markings, 732957 edges, 1128 markings/sec, 185 secs
lola: 225672 markings, 752761 edges, 1155 markings/sec, 190 secs
lola: 231892 markings, 772627 edges, 1244 markings/sec, 195 secs
lola: 237345 markings, 791729 edges, 1091 markings/sec, 200 secs
lola: 242953 markings, 811051 edges, 1122 markings/sec, 205 secs
lola: 249170 markings, 830929 edges, 1243 markings/sec, 210 secs
lola: 254825 markings, 850258 edges, 1131 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(TryAllocateOneTaskB_1 + TryAllocateOneTaskB_2 + TryAllocateOneTaskB_3 + TryAllocateOneTaskB_4 + TryAllocateOneTaskB_5 + TryAllocateOneTaskB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 13779 markings, 15347 edges, 2756 markings/sec, 0 secs
lola: 27964 markings, 30453 edges, 2837 markings/sec, 5 secs
lola: 42558 markings, 46594 edges, 2919 markings/sec, 10 secs
lola: 65022 markings, 89948 edges, 4493 markings/sec, 15 secs
lola: 82524 markings, 119964 edges, 3500 markings/sec, 20 secs
lola: 96091 markings, 134478 edges, 2713 markings/sec, 25 secs
lola: 110222 markings, 150748 edges, 2826 markings/sec, 30 secs
lola: 123942 markings, 165455 edges, 2744 markings/sec, 35 secs
lola: 137112 markings, 179627 edges, 2634 markings/sec, 40 secs
lola: 150612 markings, 194810 edges, 2700 markings/sec, 45 secs
lola: 164003 markings, 209240 edges, 2678 markings/sec, 50 secs
lola: 178192 markings, 225454 edges, 2838 markings/sec, 55 secs
lola: 193545 markings, 245179 edges, 3071 markings/sec, 60 secs
lola: 217940 markings, 299239 edges, 4879 markings/sec, 65 secs
lola: 231218 markings, 313512 edges, 2656 markings/sec, 70 secs
lola: 245070 markings, 329130 edges, 2770 markings/sec, 75 secs
lola: 258341 markings, 343927 edges, 2654 markings/sec, 80 secs
lola: 271996 markings, 359097 edges, 2731 markings/sec, 85 secs
lola: 286176 markings, 375553 edges, 2836 markings/sec, 90 secs
lola: 300880 markings, 393193 edges, 2941 markings/sec, 95 secs
lola: 327164 markings, 450158 edges, 5257 markings/sec, 100 secs
lola: 340841 markings, 468370 edges, 2735 markings/sec, 105 secs
lola: 353555 markings, 482203 edges, 2543 markings/sec, 110 secs
lola: 373208 markings, 515668 edges, 3931 markings/sec, 115 secs
lola: 394206 markings, 558924 edges, 4200 markings/sec, 120 secs
lola: 407941 markings, 573623 edges, 2747 markings/sec, 125 secs
lola: 421697 markings, 589745 edges, 2751 markings/sec, 130 secs
lola: 435738 markings, 606542 edges, 2808 markings/sec, 135 secs
lola: 448797 markings, 621111 edges, 2612 markings/sec, 140 secs
lola: 463136 markings, 638217 edges, 2868 markings/sec, 145 secs
lola: 477312 markings, 655497 edges, 2835 markings/sec, 150 secs
lola: 501671 markings, 706739 edges, 4872 markings/sec, 155 secs
lola: 516784 markings, 729935 edges, 3023 markings/sec, 160 secs
lola: 530564 markings, 745827 edges, 2756 markings/sec, 165 secs
lola: 544990 markings, 763164 edges, 2885 markings/sec, 170 secs
lola: 558836 markings, 779693 edges, 2769 markings/sec, 175 secs
lola: 573072 markings, 796758 edges, 2847 markings/sec, 180 secs
lola: 594244 markings, 837590 edges, 4234 markings/sec, 185 secs
lola: 616149 markings, 882214 edges, 4381 markings/sec, 190 secs
lola: 638971 markings, 931761 edges, 4564 markings/sec, 195 secs
lola: 653433 markings, 949912 edges, 2892 markings/sec, 200 secs
lola: 673764 markings, 986815 edges, 4066 markings/sec, 205 secs
lola: 694276 markings, 1026960 edges, 4102 markings/sec, 210 secs
lola: 708952 markings, 1043845 edges, 2935 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(NotifyEventJobQueuedE_1 + NotifyEventJobQueuedE_2 + NotifyEventJobQueuedE_3 + NotifyEventJobQueuedE_4 + NotifyEventJobQueuedE_5 + NotifyEventJobQueuedE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 14467 markings, 16343 edges, 2893 markings/sec, 0 secs
lola: 29350 markings, 32258 edges, 2977 markings/sec, 5 secs
lola: 44669 markings, 49286 edges, 3064 markings/sec, 10 secs
lola: 59459 markings, 65186 edges, 2958 markings/sec, 15 secs
lola: 74521 markings, 82094 edges, 3012 markings/sec, 20 secs
lola: 89622 markings, 98855 edges, 3020 markings/sec, 25 secs
lola: 104674 markings, 114944 edges, 3010 markings/sec, 30 secs
lola: 119713 markings, 131220 edges, 3008 markings/sec, 35 secs
lola: 134984 markings, 148898 edges, 3054 markings/sec, 40 secs
lola: 148848 markings, 163720 edges, 2773 markings/sec, 45 secs
lola: 163332 markings, 179327 edges, 2897 markings/sec, 50 secs
lola: 178441 markings, 197459 edges, 3022 markings/sec, 55 secs
lola: 192721 markings, 212752 edges, 2856 markings/sec, 60 secs
lola: 207714 markings, 230146 edges, 2999 markings/sec, 65 secs
lola: 221847 markings, 245367 edges, 2827 markings/sec, 70 secs
lola: 235077 markings, 259644 edges, 2646 markings/sec, 75 secs
lola: 249015 markings, 274787 edges, 2788 markings/sec, 80 secs
lola: 263791 markings, 292124 edges, 2955 markings/sec, 85 secs
lola: 277748 markings, 307256 edges, 2791 markings/sec, 90 secs
lola: 292058 markings, 324075 edges, 2862 markings/sec, 95 secs
lola: 306363 markings, 340756 edges, 2861 markings/sec, 100 secs
lola: 321504 markings, 358429 edges, 3028 markings/sec, 105 secs
lola: 336511 markings, 375425 edges, 3001 markings/sec, 110 secs
lola: 351764 markings, 393216 edges, 3051 markings/sec, 115 secs
lola: 367083 markings, 411114 edges, 3064 markings/sec, 120 secs
lola: 382816 markings, 430289 edges, 3147 markings/sec, 125 secs
lola: 398276 markings, 449278 edges, 3092 markings/sec, 130 secs
lola: 413513 markings, 467864 edges, 3047 markings/sec, 135 secs
lola: 428231 markings, 484108 edges, 2944 markings/sec, 140 secs
lola: 444266 markings, 504183 edges, 3207 markings/sec, 145 secs
lola: 459049 markings, 520355 edges, 2957 markings/sec, 150 secs
lola: 474115 markings, 538366 edges, 3013 markings/sec, 155 secs
lola: 490242 markings, 558491 edges, 3225 markings/sec, 160 secs
lola: 505881 markings, 577983 edges, 3128 markings/sec, 165 secs
lola: 517008 markings, 592092 edges, 2225 markings/sec, 170 secs
lola: 526696 markings, 603238 edges, 1938 markings/sec, 175 secs
lola: 536087 markings, 613703 edges, 1878 markings/sec, 180 secs
lola: 546143 markings, 625981 edges, 2011 markings/sec, 185 secs
lola: 556718 markings, 639907 edges, 2115 markings/sec, 190 secs
lola: 566434 markings, 651222 edges, 1943 markings/sec, 195 secs
lola: 576576 markings, 663596 edges, 2028 markings/sec, 200 secs
lola: 586370 markings, 675041 edges, 1959 markings/sec, 205 secs
lola: 595993 markings, 686111 edges, 1925 markings/sec, 210 secs
lola: 606879 markings, 700769 edges, 2177 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(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7128 markings, 7574 edges, 1426 markings/sec, 0 secs
lola: 14026 markings, 16309 edges, 1380 markings/sec, 5 secs
lola: 20720 markings, 25890 edges, 1339 markings/sec, 10 secs
lola: 27874 markings, 34582 edges, 1431 markings/sec, 15 secs
lola: 34518 markings, 44059 edges, 1329 markings/sec, 20 secs
lola: 41545 markings, 53130 edges, 1405 markings/sec, 25 secs
lola: 45699 markings, 66302 edges, 831 markings/sec, 30 secs
lola: 52409 markings, 75861 edges, 1342 markings/sec, 35 secs
lola: 59218 markings, 85224 edges, 1362 markings/sec, 40 secs
lola: 65304 markings, 95968 edges, 1217 markings/sec, 45 secs
lola: 71484 markings, 106126 edges, 1236 markings/sec, 50 secs
lola: 78424 markings, 115505 edges, 1388 markings/sec, 55 secs
lola: 85099 markings, 125599 edges, 1335 markings/sec, 60 secs
lola: 89027 markings, 139177 edges, 786 markings/sec, 65 secs
lola: 92488 markings, 153171 edges, 692 markings/sec, 70 secs
lola: 95969 markings, 167245 edges, 696 markings/sec, 75 secs
lola: 99462 markings, 181341 edges, 699 markings/sec, 80 secs
lola: 103122 markings, 195406 edges, 732 markings/sec, 85 secs
lola: 106760 markings, 209555 edges, 728 markings/sec, 90 secs
lola: 110358 markings, 224034 edges, 720 markings/sec, 95 secs
lola: 113972 markings, 238472 edges, 723 markings/sec, 100 secs
lola: 117929 markings, 252647 edges, 791 markings/sec, 105 secs
lola: 124675 markings, 262533 edges, 1349 markings/sec, 110 secs
lola: 131219 markings, 272386 edges, 1309 markings/sec, 115 secs
lola: 136372 markings, 284593 edges, 1031 markings/sec, 120 secs
lola: 142360 markings, 295415 edges, 1198 markings/sec, 125 secs
lola: 148030 markings, 306451 edges, 1134 markings/sec, 130 secs
lola: 154723 markings, 316439 edges, 1339 markings/sec, 135 secs
lola: 159495 markings, 328798 edges, 954 markings/sec, 140 secs
lola: 162949 markings, 342843 edges, 691 markings/sec, 145 secs
lola: 166375 markings, 356924 edges, 685 markings/sec, 150 secs
lola: 169837 markings, 371014 edges, 692 markings/sec, 155 secs
lola: 173300 markings, 384854 edges, 693 markings/sec, 160 secs
lola: 176803 markings, 398774 edges, 701 markings/sec, 165 secs
lola: 180458 markings, 412707 edges, 731 markings/sec, 170 secs
lola: 184205 markings, 426750 edges, 749 markings/sec, 175 secs
lola: 187846 markings, 440718 edges, 728 markings/sec, 180 secs
lola: 191694 markings, 455092 edges, 770 markings/sec, 185 secs
lola: 195220 markings, 469603 edges, 705 markings/sec, 190 secs
lola: 198794 markings, 483856 edges, 715 markings/sec, 195 secs
lola: 202501 markings, 498187 edges, 741 markings/sec, 200 secs
lola: 206314 markings, 512633 edges, 763 markings/sec, 205 secs
lola: 212537 markings, 524015 edges, 1245 markings/sec, 210 secs
lola: 216733 markings, 537538 edges, 839 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(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 13710 markings, 15175 edges, 2742 markings/sec, 0 secs
lola: 27851 markings, 30244 edges, 2828 markings/sec, 5 secs
lola: 42403 markings, 46252 edges, 2910 markings/sec, 10 secs
lola: 56588 markings, 61542 edges, 2837 markings/sec, 15 secs
lola: 70632 markings, 76720 edges, 2809 markings/sec, 20 secs
lola: 84988 markings, 92487 edges, 2871 markings/sec, 25 secs
lola: 99670 markings, 108618 edges, 2936 markings/sec, 30 secs
lola: 114013 markings, 124056 edges, 2869 markings/sec, 35 secs
lola: 128394 markings, 139917 edges, 2876 markings/sec, 40 secs
lola: 142040 markings, 154946 edges, 2729 markings/sec, 45 secs
lola: 155535 markings, 169387 edges, 2699 markings/sec, 50 secs
lola: 169904 markings, 185709 edges, 2874 markings/sec, 55 secs
lola: 184197 markings, 201420 edges, 2859 markings/sec, 60 secs
lola: 198885 markings, 218044 edges, 2938 markings/sec, 65 secs
lola: 213093 markings, 233425 edges, 2842 markings/sec, 70 secs
lola: 226230 markings, 247560 edges, 2627 markings/sec, 75 secs
lola: 240138 markings, 262649 edges, 2782 markings/sec, 80 secs
lola: 254375 markings, 278593 edges, 2847 markings/sec, 85 secs
lola: 268689 markings, 294602 edges, 2863 markings/sec, 90 secs
lola: 282686 markings, 310191 edges, 2799 markings/sec, 95 secs
lola: 296271 markings, 325715 edges, 2717 markings/sec, 100 secs
lola: 310558 markings, 341956 edges, 2857 markings/sec, 105 secs
lola: 325133 markings, 358623 edges, 2915 markings/sec, 110 secs
lola: 339476 markings, 374755 edges, 2869 markings/sec, 115 secs
lola: 354121 markings, 391417 edges, 2929 markings/sec, 120 secs
lola: 369039 markings, 408886 edges, 2984 markings/sec, 125 secs
lola: 383545 markings, 425651 edges, 2901 markings/sec, 130 secs
lola: 398501 markings, 443793 edges, 2991 markings/sec, 135 secs
lola: 412457 markings, 459454 edges, 2791 markings/sec, 140 secs
lola: 426993 markings, 476053 edges, 2907 markings/sec, 145 secs
lola: 441775 markings, 493062 edges, 2956 markings/sec, 150 secs
lola: 455910 markings, 509020 edges, 2827 markings/sec, 155 secs
lola: 470583 markings, 526095 edges, 2935 markings/sec, 160 secs
lola: 485286 markings, 543435 edges, 2941 markings/sec, 165 secs
lola: 500612 markings, 562586 edges, 3065 markings/sec, 170 secs
lola: 515110 markings, 579220 edges, 2900 markings/sec, 175 secs
lola: 529332 markings, 595349 edges, 2844 markings/sec, 180 secs
lola: 544526 markings, 614217 edges, 3039 markings/sec, 185 secs
lola: 559335 markings, 631367 edges, 2962 markings/sec, 190 secs
lola: 573846 markings, 648118 edges, 2902 markings/sec, 195 secs
lola: 588851 markings, 666148 edges, 3001 markings/sec, 200 secs
lola: 604224 markings, 685799 edges, 3075 markings/sec, 205 secs
lola: 618241 markings, 701922 edges, 2803 markings/sec, 210 secs
lola: 632880 markings, 719297 edges, 2928 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(PlaceSources_1 + PlaceSources_2 + PlaceSources_3 + PlaceSources_4 + PlaceSources_5 + PlaceSources_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5244 markings, 18158 edges, 1049 markings/sec, 0 secs
lola: 20060 markings, 42802 edges, 2963 markings/sec, 5 secs
lola: 41752 markings, 70693 edges, 4338 markings/sec, 10 secs
lola: 63982 markings, 100595 edges, 4446 markings/sec, 15 secs
lola: 85901 markings, 130661 edges, 4384 markings/sec, 20 secs
lola: 107910 markings, 160836 edges, 4402 markings/sec, 25 secs
lola: 130644 markings, 192741 edges, 4547 markings/sec, 30 secs
lola: 151500 markings, 220773 edges, 4171 markings/sec, 35 secs
lola: 156659 markings, 237617 edges, 1032 markings/sec, 40 secs
lola: 161964 markings, 255942 edges, 1061 markings/sec, 45 secs
lola: 167293 markings, 274376 edges, 1066 markings/sec, 50 secs
lola: 172451 markings, 292603 edges, 1032 markings/sec, 55 secs
lola: 177914 markings, 311193 edges, 1093 markings/sec, 60 secs
lola: 183252 markings, 329576 edges, 1068 markings/sec, 65 secs
lola: 188540 markings, 347909 edges, 1058 markings/sec, 70 secs
lola: 194511 markings, 366885 edges, 1194 markings/sec, 75 secs
lola: 203672 markings, 387272 edges, 1832 markings/sec, 80 secs
lola: 211104 markings, 406834 edges, 1486 markings/sec, 85 secs
lola: 219949 markings, 426876 edges, 1769 markings/sec, 90 secs
lola: 225661 markings, 445256 edges, 1142 markings/sec, 95 secs
lola: 236489 markings, 465721 edges, 2166 markings/sec, 100 secs
lola: 246896 markings, 484790 edges, 2081 markings/sec, 105 secs
lola: 257749 markings, 505725 edges, 2171 markings/sec, 110 secs
lola: 280154 markings, 536582 edges, 4481 markings/sec, 115 secs
lola: 302315 markings, 566913 edges, 4432 markings/sec, 120 secs
lola: 324276 markings, 596272 edges, 4392 markings/sec, 125 secs
lola: 346890 markings, 627738 edges, 4523 markings/sec, 130 secs
lola: 368644 markings, 657153 edges, 4351 markings/sec, 135 secs
lola: 390993 markings, 688735 edges, 4470 markings/sec, 140 secs
lola: 412688 markings, 718740 edges, 4339 markings/sec, 145 secs
lola: 417904 markings, 735111 edges, 1043 markings/sec, 150 secs
lola: 423189 markings, 753416 edges, 1057 markings/sec, 155 secs
lola: 428544 markings, 771858 edges, 1071 markings/sec, 160 secs
lola: 433676 markings, 790092 edges, 1026 markings/sec, 165 secs
lola: 439166 markings, 808671 edges, 1098 markings/sec, 170 secs
lola: 444496 markings, 827045 edges, 1066 markings/sec, 175 secs
lola: 449766 markings, 845389 edges, 1054 markings/sec, 180 secs
lola: 455700 markings, 864291 edges, 1187 markings/sec, 185 secs
lola: 464925 markings, 884763 edges, 1845 markings/sec, 190 secs
lola: 472317 markings, 904335 edges, 1478 markings/sec, 195 secs
lola: 481190 markings, 924596 edges, 1775 markings/sec, 200 secs
lola: 486899 markings, 942836 edges, 1142 markings/sec, 205 secs
lola: 496936 markings, 962943 edges, 2007 markings/sec, 210 secs
lola: 507932 markings, 982576 edges, 2199 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(Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 10259 markings, 11236 edges, 2052 markings/sec, 0 secs
lola: 19497 markings, 22898 edges, 1848 markings/sec, 5 secs
lola: 29776 markings, 33859 edges, 2056 markings/sec, 10 secs
lola: 40149 markings, 45044 edges, 2075 markings/sec, 15 secs
lola: 49406 markings, 56474 edges, 1851 markings/sec, 20 secs
lola: 59619 markings, 67505 edges, 2043 markings/sec, 25 secs
lola: 68950 markings, 79102 edges, 1866 markings/sec, 30 secs
lola: 78545 markings, 90666 edges, 1919 markings/sec, 35 secs
lola: 88766 markings, 101585 edges, 2044 markings/sec, 40 secs
lola: 98364 markings, 112758 edges, 1920 markings/sec, 45 secs
lola: 108809 markings, 123705 edges, 2089 markings/sec, 50 secs
lola: 118791 markings, 134635 edges, 1996 markings/sec, 55 secs
lola: 129050 markings, 145576 edges, 2052 markings/sec, 60 secs
lola: 139358 markings, 156634 edges, 2062 markings/sec, 65 secs
lola: 149240 markings, 167985 edges, 1976 markings/sec, 70 secs
lola: 159138 markings, 179410 edges, 1980 markings/sec, 75 secs
lola: 169276 markings, 190510 edges, 2028 markings/sec, 80 secs
lola: 179597 markings, 201721 edges, 2064 markings/sec, 85 secs
lola: 189712 markings, 212735 edges, 2023 markings/sec, 90 secs
lola: 200075 markings, 223883 edges, 2073 markings/sec, 95 secs
lola: 210319 markings, 234984 edges, 2049 markings/sec, 100 secs
lola: 220438 markings, 246199 edges, 2024 markings/sec, 105 secs
lola: 229858 markings, 257711 edges, 1884 markings/sec, 110 secs
lola: 240059 markings, 269054 edges, 2040 markings/sec, 115 secs
lola: 249761 markings, 280806 edges, 1940 markings/sec, 120 secs
lola: 260079 markings, 292494 edges, 2064 markings/sec, 125 secs
lola: 269701 markings, 304260 edges, 1924 markings/sec, 130 secs
lola: 279305 markings, 316090 edges, 1921 markings/sec, 135 secs
lola: 289606 markings, 327532 edges, 2060 markings/sec, 140 secs
lola: 299603 markings, 338678 edges, 1999 markings/sec, 145 secs
lola: 308242 markings, 351280 edges, 1728 markings/sec, 150 secs
lola: 316715 markings, 363806 edges, 1695 markings/sec, 155 secs
lola: 326476 markings, 375611 edges, 1952 markings/sec, 160 secs
lola: 336426 markings, 386974 edges, 1990 markings/sec, 165 secs
lola: 345009 markings, 398967 edges, 1717 markings/sec, 170 secs
lola: 353951 markings, 410527 edges, 1788 markings/sec, 175 secs
lola: 362640 markings, 422622 edges, 1738 markings/sec, 180 secs
lola: 371374 markings, 434756 edges, 1747 markings/sec, 185 secs
lola: 381598 markings, 446206 edges, 2045 markings/sec, 190 secs
lola: 391127 markings, 458155 edges, 1906 markings/sec, 195 secs
lola: 400243 markings, 470165 edges, 1823 markings/sec, 200 secs
lola: 409283 markings, 481732 edges, 1808 markings/sec, 205 secs
lola: 418827 markings, 493448 edges, 1909 markings/sec, 210 secs
lola: 428099 markings, 505622 edges, 1854 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(P_1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 32554 markings, 67178 edges, 6511 markings/sec, 0 secs
lola: 52997 markings, 99237 edges, 4089 markings/sec, 5 secs
lola: 75663 markings, 122898 edges, 4533 markings/sec, 10 secs
lola: 98370 markings, 146667 edges, 4541 markings/sec, 15 secs
lola: 121072 markings, 170486 edges, 4540 markings/sec, 20 secs
lola: 143793 markings, 194338 edges, 4544 markings/sec, 25 secs
lola: 166563 markings, 218266 edges, 4554 markings/sec, 30 secs
lola: 189330 markings, 242221 edges, 4553 markings/sec, 35 secs
lola: 212092 markings, 266383 edges, 4552 markings/sec, 40 secs
lola: 234820 markings, 290571 edges, 4546 markings/sec, 45 secs
lola: 257626 markings, 314712 edges, 4561 markings/sec, 50 secs
lola: 280433 markings, 338866 edges, 4561 markings/sec, 55 secs
lola: 303133 markings, 362917 edges, 4540 markings/sec, 60 secs
lola: 325890 markings, 387177 edges, 4551 markings/sec, 65 secs
lola: 348643 markings, 411288 edges, 4551 markings/sec, 70 secs
lola: 371285 markings, 435255 edges, 4528 markings/sec, 75 secs
lola: 394089 markings, 459688 edges, 4561 markings/sec, 80 secs
lola: 416760 markings, 483835 edges, 4534 markings/sec, 85 secs
lola: 439452 markings, 508051 edges, 4538 markings/sec, 90 secs
lola: 462174 markings, 532148 edges, 4544 markings/sec, 95 secs
lola: 484852 markings, 556478 edges, 4536 markings/sec, 100 secs
lola: 507603 markings, 580713 edges, 4550 markings/sec, 105 secs
lola: 530330 markings, 605148 edges, 4545 markings/sec, 110 secs
lola: 552930 markings, 630146 edges, 4520 markings/sec, 115 secs
lola: 575636 markings, 655437 edges, 4541 markings/sec, 120 secs
lola: 598386 markings, 679897 edges, 4550 markings/sec, 125 secs
lola: 621077 markings, 704378 edges, 4538 markings/sec, 130 secs
lola: 643767 markings, 728745 edges, 4538 markings/sec, 135 secs
lola: 666533 markings, 753102 edges, 4553 markings/sec, 140 secs
lola: 689252 markings, 777554 edges, 4544 markings/sec, 145 secs
lola: 711978 markings, 801950 edges, 4545 markings/sec, 150 secs
lola: 734756 markings, 826499 edges, 4556 markings/sec, 155 secs
lola: 757385 markings, 851378 edges, 4526 markings/sec, 160 secs
lola: 780089 markings, 877225 edges, 4541 markings/sec, 165 secs
lola: 802841 markings, 901883 edges, 4550 markings/sec, 170 secs
lola: 825580 markings, 927530 edges, 4548 markings/sec, 175 secs
lola: 848419 markings, 952469 edges, 4568 markings/sec, 180 secs
lola: 870983 markings, 978035 edges, 4513 markings/sec, 185 secs
lola: 893835 markings, 1002901 edges, 4570 markings/sec, 190 secs
lola: 916274 markings, 1027920 edges, 4488 markings/sec, 195 secs
lola: 939094 markings, 1052503 edges, 4564 markings/sec, 200 secs
lola: 961793 markings, 1077298 edges, 4540 markings/sec, 205 secs
lola: 984387 markings, 1103768 edges, 4519 markings/sec, 210 secs
lola: 1007198 markings, 1129243 edges, 4562 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(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 2312 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: 5228 markings, 18342 edges, 1046 markings/sec, 0 secs
lola: 10448 markings, 34502 edges, 1044 markings/sec, 5 secs
lola: 15648 markings, 51686 edges, 1040 markings/sec, 10 secs
lola: 20849 markings, 68607 edges, 1040 markings/sec, 15 secs
lola: 26042 markings, 85548 edges, 1039 markings/sec, 20 secs
lola: 31233 markings, 102442 edges, 1038 markings/sec, 25 secs
lola: 36421 markings, 119290 edges, 1038 markings/sec, 30 secs
lola: 41621 markings, 135949 edges, 1040 markings/sec, 35 secs
lola: 46812 markings, 152934 edges, 1038 markings/sec, 40 secs
lola: 52003 markings, 169885 edges, 1038 markings/sec, 45 secs
lola: 57160 markings, 187877 edges, 1031 markings/sec, 50 secs
lola: 62342 markings, 205085 edges, 1036 markings/sec, 55 secs
lola: 67500 markings, 222876 edges, 1032 markings/sec, 60 secs
lola: 72666 markings, 240356 edges, 1033 markings/sec, 65 secs
lola: 77821 markings, 257916 edges, 1031 markings/sec, 70 secs
lola: 82972 markings, 275358 edges, 1030 markings/sec, 75 secs
lola: 88129 markings, 292823 edges, 1031 markings/sec, 80 secs
lola: 93288 markings, 310305 edges, 1032 markings/sec, 85 secs
lola: 98446 markings, 327772 edges, 1032 markings/sec, 90 secs
lola: 103634 markings, 343591 edges, 1038 markings/sec, 95 secs
lola: 108837 markings, 357865 edges, 1041 markings/sec, 100 secs
lola: 114041 markings, 372800 edges, 1041 markings/sec, 105 secs
lola: 119193 markings, 390897 edges, 1030 markings/sec, 110 secs
lola: 124373 markings, 408069 edges, 1036 markings/sec, 115 secs
lola: 129533 markings, 425800 edges, 1032 markings/sec, 120 secs
lola: 134694 markings, 443313 edges, 1032 markings/sec, 125 secs
lola: 139848 markings, 460809 edges, 1031 markings/sec, 130 secs
lola: 144998 markings, 478330 edges, 1030 markings/sec, 135 secs
lola: 150153 markings, 495731 edges, 1031 markings/sec, 140 secs
lola: 155310 markings, 513282 edges, 1031 markings/sec, 145 secs
lola: 160471 markings, 530742 edges, 1032 markings/sec, 150 secs
lola: 165720 markings, 548597 edges, 1050 markings/sec, 155 secs
lola: 170879 markings, 567150 edges, 1032 markings/sec, 160 secs
lola: 176038 markings, 585495 edges, 1032 markings/sec, 165 secs
lola: 181190 markings, 603623 edges, 1030 markings/sec, 170 secs
lola: 186353 markings, 621392 edges, 1033 markings/sec, 175 secs
lola: 191517 markings, 639290 edges, 1033 markings/sec, 180 secs
lola: 196677 markings, 657824 edges, 1032 markings/sec, 185 secs
lola: 201833 markings, 676065 edges, 1031 markings/sec, 190 secs
lola: 207000 markings, 694379 edges, 1033 markings/sec, 195 secs
lola: 212166 markings, 712912 edges, 1033 markings/sec, 200 secs
lola: 217339 markings, 730892 edges, 1035 markings/sec, 205 secs
lola: 222550 markings, 747648 edges, 1042 markings/sec, 210 secs
lola: 227839 markings, 761141 edges, 1058 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 16152 markings, 25682 edges, 3230 markings/sec, 0 secs
lola: 38470 markings, 54472 edges, 4464 markings/sec, 5 secs
lola: 61194 markings, 85098 edges, 4545 markings/sec, 10 secs
lola: 83874 markings, 116298 edges, 4536 markings/sec, 15 secs
lola: 106393 markings, 146689 edges, 4504 markings/sec, 20 secs
lola: 129776 markings, 179532 edges, 4677 markings/sec, 25 secs
lola: 147230 markings, 204414 edges, 3491 markings/sec, 30 secs
lola: 152381 markings, 222916 edges, 1030 markings/sec, 35 secs
lola: 157550 markings, 241452 edges, 1034 markings/sec, 40 secs
lola: 162759 markings, 259759 edges, 1042 markings/sec, 45 secs
lola: 168360 markings, 278527 edges, 1120 markings/sec, 50 secs
lola: 173864 markings, 297297 edges, 1101 markings/sec, 55 secs
lola: 179057 markings, 315632 edges, 1039 markings/sec, 60 secs
lola: 184606 markings, 334385 edges, 1110 markings/sec, 65 secs
lola: 190723 markings, 353642 edges, 1223 markings/sec, 70 secs
lola: 199848 markings, 373808 edges, 1825 markings/sec, 75 secs
lola: 208169 markings, 393836 edges, 1664 markings/sec, 80 secs
lola: 216104 markings, 412982 edges, 1587 markings/sec, 85 secs
lola: 221824 markings, 431883 edges, 1144 markings/sec, 90 secs
lola: 233880 markings, 451801 edges, 2411 markings/sec, 95 secs
lola: 244007 markings, 471215 edges, 2025 markings/sec, 100 secs
lola: 258432 markings, 495704 edges, 2885 markings/sec, 105 secs
lola: 281375 markings, 527268 edges, 4589 markings/sec, 110 secs
lola: 304104 markings, 557959 edges, 4546 markings/sec, 115 secs
lola: 326866 markings, 588479 edges, 4552 markings/sec, 120 secs
lola: 349938 markings, 620591 edges, 4614 markings/sec, 125 secs
lola: 372448 markings, 651650 edges, 4502 markings/sec, 130 secs
lola: 395576 markings, 683938 edges, 4626 markings/sec, 135 secs
lola: 409792 markings, 706590 edges, 2843 markings/sec, 140 secs
lola: 414928 markings, 725094 edges, 1027 markings/sec, 145 secs
lola: 420101 markings, 743586 edges, 1035 markings/sec, 150 secs
lola: 425378 markings, 761926 edges, 1055 markings/sec, 155 secs
lola: 430954 markings, 780697 edges, 1115 markings/sec, 160 secs
lola: 436433 markings, 799478 edges, 1096 markings/sec, 165 secs
lola: 441691 markings, 817821 edges, 1052 markings/sec, 170 secs
lola: 447248 markings, 836616 edges, 1111 markings/sec, 175 secs
lola: 454272 markings, 856346 edges, 1405 markings/sec, 180 secs
lola: 463451 markings, 876518 edges, 1836 markings/sec, 185 secs
lola: 471510 markings, 896590 edges, 1612 markings/sec, 190 secs
lola: 478690 markings, 915271 edges, 1436 markings/sec, 195 secs
lola: 486017 markings, 934897 edges, 1465 markings/sec, 200 secs
lola: 497718 markings, 954334 edges, 2340 markings/sec, 205 secs
lola: 507705 markings, 973832 edges, 1997 markings/sec, 210 secs
lola: 524195 markings, 999556 edges, 3298 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(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5695 markings, 20330 edges, 1139 markings/sec, 0 secs
lola: 10862 markings, 41915 edges, 1033 markings/sec, 5 secs
lola: 16005 markings, 61551 edges, 1029 markings/sec, 10 secs
lola: 21089 markings, 81143 edges, 1017 markings/sec, 15 secs
lola: 26241 markings, 101333 edges, 1030 markings/sec, 20 secs
lola: 31433 markings, 121088 edges, 1038 markings/sec, 25 secs
lola: 36615 markings, 140958 edges, 1036 markings/sec, 30 secs
lola: 41762 markings, 160674 edges, 1029 markings/sec, 35 secs
lola: 46944 markings, 180615 edges, 1036 markings/sec, 40 secs
lola: 53497 markings, 196706 edges, 1311 markings/sec, 45 secs
lola: 59237 markings, 217378 edges, 1148 markings/sec, 50 secs
lola: 64583 markings, 238519 edges, 1069 markings/sec, 55 secs
lola: 70159 markings, 259374 edges, 1115 markings/sec, 60 secs
lola: 75939 markings, 279488 edges, 1156 markings/sec, 65 secs
lola: 81028 markings, 297006 edges, 1018 markings/sec, 70 secs
lola: 86108 markings, 314717 edges, 1016 markings/sec, 75 secs
lola: 92008 markings, 331462 edges, 1180 markings/sec, 80 secs
lola: 97189 markings, 349699 edges, 1036 markings/sec, 85 secs
lola: 104262 markings, 367356 edges, 1415 markings/sec, 90 secs
lola: 109370 markings, 385479 edges, 1022 markings/sec, 95 secs
lola: 114488 markings, 403229 edges, 1024 markings/sec, 100 secs
lola: 119635 markings, 420173 edges, 1029 markings/sec, 105 secs
lola: 124741 markings, 438034 edges, 1021 markings/sec, 110 secs
lola: 130198 markings, 455953 edges, 1091 markings/sec, 115 secs
lola: 135748 markings, 473532 edges, 1110 markings/sec, 120 secs
lola: 141854 markings, 492648 edges, 1221 markings/sec, 125 secs
lola: 148514 markings, 512940 edges, 1332 markings/sec, 130 secs
lola: 154149 markings, 533859 edges, 1127 markings/sec, 135 secs
lola: 159357 markings, 553550 edges, 1042 markings/sec, 140 secs
lola: 164517 markings, 570505 edges, 1032 markings/sec, 145 secs
lola: 169855 markings, 585256 edges, 1068 markings/sec, 150 secs
lola: 175223 markings, 605880 edges, 1074 markings/sec, 155 secs
lola: 181118 markings, 626641 edges, 1179 markings/sec, 160 secs
lola: 186315 markings, 644791 edges, 1039 markings/sec, 165 secs
lola: 192360 markings, 664006 edges, 1209 markings/sec, 170 secs
lola: 197540 markings, 682040 edges, 1036 markings/sec, 175 secs
lola: 204106 markings, 699441 edges, 1313 markings/sec, 180 secs
lola: 209953 markings, 719656 edges, 1169 markings/sec, 185 secs
lola: 215271 markings, 732435 edges, 1064 markings/sec, 190 secs
lola: 220622 markings, 749285 edges, 1070 markings/sec, 195 secs
lola: 225945 markings, 770408 edges, 1065 markings/sec, 200 secs
lola: 231386 markings, 791697 edges, 1088 markings/sec, 205 secs
lola: 236755 markings, 812947 edges, 1074 markings/sec, 210 secs
lola: 242155 markings, 834372 edges, 1080 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(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 27015 markings, 27790 edges, 5403 markings/sec, 0 secs
lola: 54741 markings, 56333 edges, 5545 markings/sec, 5 secs
lola: 82814 markings, 85360 edges, 5615 markings/sec, 10 secs
lola: 109847 markings, 113505 edges, 5407 markings/sec, 15 secs
lola: 135825 markings, 140248 edges, 5196 markings/sec, 20 secs
lola: 162916 markings, 168378 edges, 5418 markings/sec, 25 secs
lola: 184459 markings, 190468 edges, 4309 markings/sec, 30 secs
lola: 206271 markings, 213132 edges, 4362 markings/sec, 35 secs
lola: 227512 markings, 235143 edges, 4248 markings/sec, 40 secs
lola: 249391 markings, 257882 edges, 4376 markings/sec, 45 secs
lola: 275429 markings, 285004 edges, 5208 markings/sec, 50 secs
lola: 301273 markings, 311984 edges, 5169 markings/sec, 55 secs
lola: 326591 markings, 338522 edges, 5064 markings/sec, 60 secs
lola: 352487 markings, 365583 edges, 5179 markings/sec, 65 secs
lola: 377956 markings, 392492 edges, 5094 markings/sec, 70 secs
lola: 403819 markings, 419554 edges, 5173 markings/sec, 75 secs
lola: 429399 markings, 446005 edges, 5116 markings/sec, 80 secs
lola: 454774 markings, 472403 edges, 5075 markings/sec, 85 secs
lola: 479279 markings, 497976 edges, 4901 markings/sec, 90 secs
lola: 500566 markings, 520139 edges, 4257 markings/sec, 95 secs
lola: 521899 markings, 542262 edges, 4267 markings/sec, 100 secs
lola: 543041 markings, 564375 edges, 4228 markings/sec, 105 secs
lola: 563695 markings, 585823 edges, 4131 markings/sec, 110 secs
lola: 584522 markings, 607567 edges, 4165 markings/sec, 115 secs
lola: 604994 markings, 629323 edges, 4094 markings/sec, 120 secs
lola: 629310 markings, 654588 edges, 4863 markings/sec, 125 secs
lola: 654996 markings, 681365 edges, 5137 markings/sec, 130 secs
lola: 680462 markings, 707831 edges, 5093 markings/sec, 135 secs
lola: 705571 markings, 733945 edges, 5022 markings/sec, 140 secs
lola: 728331 markings, 757927 edges, 4552 markings/sec, 145 secs
lola: 749796 markings, 780702 edges, 4293 markings/sec, 150 secs
lola: 774743 markings, 806803 edges, 4989 markings/sec, 155 secs
lola: 795146 markings, 828098 edges, 4081 markings/sec, 160 secs
lola: 816957 markings, 851027 edges, 4362 markings/sec, 165 secs
lola: 841118 markings, 876498 edges, 4832 markings/sec, 170 secs
lola: 865655 markings, 902142 edges, 4907 markings/sec, 175 secs
lola: 888241 markings, 926309 edges, 4517 markings/sec, 180 secs
lola: 911847 markings, 950988 edges, 4721 markings/sec, 185 secs
lola: 935300 markings, 976108 edges, 4691 markings/sec, 190 secs
lola: 958608 markings, 1000631 edges, 4662 markings/sec, 195 secs
lola: 980103 markings, 1023611 edges, 4299 markings/sec, 200 secs
lola: 1000704 markings, 1045371 edges, 4120 markings/sec, 205 secs
lola: 1025374 markings, 1071230 edges, 4934 markings/sec, 210 secs
lola: 1049055 markings, 1096088 edges, 4736 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5903 markings, 17754 edges, 1181 markings/sec, 0 secs
lola: 16661 markings, 33707 edges, 2152 markings/sec, 5 secs
lola: 27362 markings, 49845 edges, 2140 markings/sec, 10 secs
lola: 37456 markings, 66164 edges, 2019 markings/sec, 15 secs
lola: 49074 markings, 82180 edges, 2324 markings/sec, 20 secs
lola: 60749 markings, 98199 edges, 2335 markings/sec, 25 secs
lola: 73102 markings, 114123 edges, 2471 markings/sec, 30 secs
lola: 85323 markings, 130020 edges, 2444 markings/sec, 35 secs
lola: 97327 markings, 146059 edges, 2401 markings/sec, 40 secs
lola: 106248 markings, 164001 edges, 1784 markings/sec, 45 secs
lola: 116401 markings, 182348 edges, 2031 markings/sec, 50 secs
lola: 127696 markings, 199533 edges, 2259 markings/sec, 55 secs
lola: 137401 markings, 217432 edges, 1941 markings/sec, 60 secs
lola: 146476 markings, 236566 edges, 1815 markings/sec, 65 secs
lola: 156714 markings, 254304 edges, 2048 markings/sec, 70 secs
lola: 168660 markings, 271475 edges, 2389 markings/sec, 75 secs
lola: 181289 markings, 287471 edges, 2526 markings/sec, 80 secs
lola: 191164 markings, 305496 edges, 1975 markings/sec, 85 secs
lola: 199695 markings, 323622 edges, 1706 markings/sec, 90 secs
lola: 206190 markings, 343842 edges, 1299 markings/sec, 95 secs
lola: 214331 markings, 364030 edges, 1628 markings/sec, 100 secs
lola: 223947 markings, 382692 edges, 1923 markings/sec, 105 secs
lola: 233524 markings, 400981 edges, 1915 markings/sec, 110 secs
lola: 246801 markings, 417278 edges, 2655 markings/sec, 115 secs
lola: 259836 markings, 433754 edges, 2607 markings/sec, 120 secs
lola: 272733 markings, 449995 edges, 2579 markings/sec, 125 secs
lola: 283886 markings, 467977 edges, 2231 markings/sec, 130 secs
lola: 295951 markings, 484874 edges, 2413 markings/sec, 135 secs
lola: 306277 markings, 503605 edges, 2065 markings/sec, 140 secs
lola: 317902 markings, 520422 edges, 2325 markings/sec, 145 secs
lola: 327050 markings, 539974 edges, 1830 markings/sec, 150 secs
lola: 335933 markings, 559973 edges, 1777 markings/sec, 155 secs
lola: 345727 markings, 579564 edges, 1959 markings/sec, 160 secs
lola: 356984 markings, 598572 edges, 2251 markings/sec, 165 secs
lola: 369128 markings, 615196 edges, 2429 markings/sec, 170 secs
lola: 380611 markings, 631577 edges, 2297 markings/sec, 175 secs
lola: 386741 markings, 653067 edges, 1226 markings/sec, 180 secs
lola: 395580 markings, 673495 edges, 1768 markings/sec, 185 secs
lola: 404554 markings, 693380 edges, 1795 markings/sec, 190 secs
lola: 412752 markings, 714498 edges, 1640 markings/sec, 195 secs
lola: 422210 markings, 734860 edges, 1892 markings/sec, 200 secs
lola: 434938 markings, 752554 edges, 2546 markings/sec, 205 secs
lola: 445472 markings, 772899 edges, 2107 markings/sec, 210 secs
lola: 456511 markings, 791728 edges, 2208 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(cPollingAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 17014 markings, 26690 edges, 3403 markings/sec, 0 secs
lola: 39951 markings, 56587 edges, 4587 markings/sec, 5 secs
lola: 62989 markings, 87609 edges, 4608 markings/sec, 10 secs
lola: 86150 markings, 119655 edges, 4632 markings/sec, 15 secs
lola: 109189 markings, 150620 edges, 4608 markings/sec, 20 secs
lola: 132751 markings, 183475 edges, 4712 markings/sec, 25 secs
lola: 148037 markings, 207288 edges, 3057 markings/sec, 30 secs
lola: 153328 markings, 226344 edges, 1058 markings/sec, 35 secs
lola: 158625 markings, 245289 edges, 1059 markings/sec, 40 secs
lola: 164085 markings, 264129 edges, 1092 markings/sec, 45 secs
lola: 169881 markings, 283589 edges, 1159 markings/sec, 50 secs
lola: 175451 markings, 302947 edges, 1114 markings/sec, 55 secs
lola: 180985 markings, 322087 edges, 1107 markings/sec, 60 secs
lola: 187131 markings, 341856 edges, 1229 markings/sec, 65 secs
lola: 195207 markings, 362195 edges, 1615 markings/sec, 70 secs
lola: 203683 markings, 382882 edges, 1695 markings/sec, 75 secs
lola: 212912 markings, 404134 edges, 1846 markings/sec, 80 secs
lola: 219188 markings, 422929 edges, 1255 markings/sec, 85 secs
lola: 229226 markings, 443585 edges, 2008 markings/sec, 90 secs
lola: 240065 markings, 463411 edges, 2168 markings/sec, 95 secs
lola: 250689 markings, 484056 edges, 2125 markings/sec, 100 secs
lola: 273705 markings, 516415 edges, 4603 markings/sec, 105 secs
lola: 296993 markings, 548290 edges, 4658 markings/sec, 110 secs
lola: 320053 markings, 578990 edges, 4612 markings/sec, 115 secs
lola: 343715 markings, 612120 edges, 4732 markings/sec, 120 secs
lola: 366569 markings, 643170 edges, 4571 markings/sec, 125 secs
lola: 390124 markings, 676322 edges, 4711 markings/sec, 130 secs
lola: 408695 markings, 702683 edges, 3714 markings/sec, 135 secs
lola: 414017 markings, 721795 edges, 1064 markings/sec, 140 secs
lola: 419360 markings, 740946 edges, 1069 markings/sec, 145 secs
lola: 424774 markings, 759969 edges, 1083 markings/sec, 150 secs
lola: 430605 markings, 779523 edges, 1166 markings/sec, 155 secs
lola: 436311 markings, 799042 edges, 1141 markings/sec, 160 secs
lola: 441780 markings, 818139 edges, 1094 markings/sec, 165 secs
lola: 447632 markings, 837785 edges, 1170 markings/sec, 170 secs
lola: 455618 markings, 858456 edges, 1597 markings/sec, 175 secs
lola: 464654 markings, 879388 edges, 1807 markings/sec, 180 secs
lola: 473442 markings, 900480 edges, 1758 markings/sec, 185 secs
lola: 479863 markings, 919484 edges, 1284 markings/sec, 190 secs
lola: 490232 markings, 940742 edges, 2074 markings/sec, 195 secs
lola: 500819 markings, 960443 edges, 2117 markings/sec, 200 secs
lola: 511460 markings, 981162 edges, 2128 markings/sec, 205 secs
lola: 533610 markings, 1012996 edges, 4430 markings/sec, 210 secs
lola: 557184 markings, 1046176 edges, 4715 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(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5828 markings, 17673 edges, 1166 markings/sec, 0 secs
lola: 16577 markings, 33498 edges, 2150 markings/sec, 5 secs
lola: 27046 markings, 49515 edges, 2094 markings/sec, 10 secs
lola: 37054 markings, 65736 edges, 2002 markings/sec, 15 secs
lola: 48844 markings, 81614 edges, 2358 markings/sec, 20 secs
lola: 60425 markings, 97565 edges, 2316 markings/sec, 25 secs
lola: 72559 markings, 113383 edges, 2427 markings/sec, 30 secs
lola: 84850 markings, 129112 edges, 2458 markings/sec, 35 secs
lola: 96539 markings, 145020 edges, 2338 markings/sec, 40 secs
lola: 105681 markings, 162466 edges, 1828 markings/sec, 45 secs
lola: 115972 markings, 180701 edges, 2058 markings/sec, 50 secs
lola: 126595 markings, 198205 edges, 2125 markings/sec, 55 secs
lola: 136185 markings, 215986 edges, 1918 markings/sec, 60 secs
lola: 145337 markings, 234496 edges, 1830 markings/sec, 65 secs
lola: 156224 markings, 252337 edges, 2177 markings/sec, 70 secs
lola: 167442 markings, 270078 edges, 2244 markings/sec, 75 secs
lola: 180467 markings, 286367 edges, 2605 markings/sec, 80 secs
lola: 190223 markings, 304039 edges, 1951 markings/sec, 85 secs
lola: 199166 markings, 322925 edges, 1789 markings/sec, 90 secs
lola: 206095 markings, 343743 edges, 1386 markings/sec, 95 secs
lola: 214786 markings, 364544 edges, 1738 markings/sec, 100 secs
lola: 224774 markings, 383807 edges, 1998 markings/sec, 105 secs
lola: 234726 markings, 402623 edges, 1990 markings/sec, 110 secs
lola: 248463 markings, 419469 edges, 2747 markings/sec, 115 secs
lola: 262023 markings, 436383 edges, 2712 markings/sec, 120 secs
lola: 273743 markings, 454015 edges, 2344 markings/sec, 125 secs
lola: 286094 markings, 472371 edges, 2470 markings/sec, 130 secs
lola: 298663 markings, 489665 edges, 2514 markings/sec, 135 secs
lola: 308854 markings, 508339 edges, 2038 markings/sec, 140 secs
lola: 321229 markings, 525558 edges, 2475 markings/sec, 145 secs
lola: 329050 markings, 546638 edges, 1564 markings/sec, 150 secs
lola: 339270 markings, 565752 edges, 2044 markings/sec, 155 secs
lola: 348746 markings, 586018 edges, 1895 markings/sec, 160 secs
lola: 361462 markings, 603699 edges, 2543 markings/sec, 165 secs
lola: 372965 markings, 620313 edges, 2301 markings/sec, 170 secs
lola: 383071 markings, 638223 edges, 2021 markings/sec, 175 secs
lola: 389565 markings, 659602 edges, 1299 markings/sec, 180 secs
lola: 398568 markings, 679625 edges, 1801 markings/sec, 185 secs
lola: 406533 markings, 699759 edges, 1593 markings/sec, 190 secs
lola: 416379 markings, 720385 edges, 1969 markings/sec, 195 secs
lola: 426739 markings, 740084 edges, 2072 markings/sec, 200 secs
lola: 438601 markings, 759296 edges, 2372 markings/sec, 205 secs
lola: 450092 markings, 778740 edges, 2298 markings/sec, 210 secs
lola: 460183 markings, 798803 edges, 2018 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496489861355

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