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

About the Execution of LoLA for S_PolyORBLF-PT-S06J04T06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1522.770 3539550.00 3546636.00 12436.40 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

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