Execution Chart

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

Trace from the execution

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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 5441 markings, 18869 edges, 1088 markings/sec, 0 secs
lola: 10716 markings, 37811 edges, 1055 markings/sec, 5 secs
lola: 16132 markings, 56958 edges, 1083 markings/sec, 10 secs
lola: 21454 markings, 76082 edges, 1064 markings/sec, 15 secs
lola: 26877 markings, 95247 edges, 1085 markings/sec, 20 secs
lola: 32218 markings, 114451 edges, 1068 markings/sec, 25 secs
lola: 37678 markings, 133348 edges, 1092 markings/sec, 30 secs
lola: 43095 markings, 151345 edges, 1083 markings/sec, 35 secs
lola: 48253 markings, 169479 edges, 1032 markings/sec, 40 secs
lola: 53915 markings, 187263 edges, 1132 markings/sec, 45 secs
lola: 59088 markings, 205332 edges, 1035 markings/sec, 50 secs
lola: 64263 markings, 223363 edges, 1035 markings/sec, 55 secs
lola: 69434 markings, 241389 edges, 1034 markings/sec, 60 secs
lola: 74576 markings, 259399 edges, 1028 markings/sec, 65 secs
lola: 79647 markings, 277721 edges, 1014 markings/sec, 70 secs
lola: 84915 markings, 295984 edges, 1054 markings/sec, 75 secs
lola: 89971 markings, 314254 edges, 1011 markings/sec, 80 secs
lola: 95722 markings, 332341 edges, 1150 markings/sec, 85 secs
lola: 101025 markings, 350864 edges, 1061 markings/sec, 90 secs
lola: 106504 markings, 369083 edges, 1096 markings/sec, 95 secs
lola: 111716 markings, 387721 edges, 1042 markings/sec, 100 secs
lola: 117012 markings, 406060 edges, 1059 markings/sec, 105 secs
lola: 122256 markings, 424370 edges, 1049 markings/sec, 110 secs
lola: 127582 markings, 442538 edges, 1065 markings/sec, 115 secs
lola: 133539 markings, 460623 edges, 1191 markings/sec, 120 secs
lola: 139350 markings, 478793 edges, 1162 markings/sec, 125 secs
lola: 144751 markings, 497096 edges, 1080 markings/sec, 130 secs
lola: 150821 markings, 515076 edges, 1214 markings/sec, 135 secs
lola: 156525 markings, 533264 edges, 1141 markings/sec, 140 secs
lola: 163772 markings, 550509 edges, 1449 markings/sec, 145 secs
lola: 169180 markings, 568630 edges, 1082 markings/sec, 150 secs
lola: 175747 markings, 586348 edges, 1313 markings/sec, 155 secs
lola: 182098 markings, 604222 edges, 1270 markings/sec, 160 secs
lola: 187485 markings, 622420 edges, 1077 markings/sec, 165 secs
lola: 192739 markings, 640571 edges, 1051 markings/sec, 170 secs
lola: 198020 markings, 658902 edges, 1056 markings/sec, 175 secs
lola: 203349 markings, 677430 edges, 1066 markings/sec, 180 secs
lola: 208595 markings, 695927 edges, 1049 markings/sec, 185 secs
lola: 214956 markings, 716022 edges, 1272 markings/sec, 190 secs
lola: 220341 markings, 734445 edges, 1077 markings/sec, 195 secs
lola: 225975 markings, 753774 edges, 1127 markings/sec, 200 secs
lola: 232103 markings, 773377 edges, 1226 markings/sec, 205 secs
lola: 237485 markings, 792225 edges, 1076 markings/sec, 210 secs
lola: 242999 markings, 811213 edges, 1103 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: 4423 markings, 15166 edges, 885 markings/sec, 0 secs
lola: 9714 markings, 34243 edges, 1058 markings/sec, 5 secs
lola: 14964 markings, 52721 edges, 1050 markings/sec, 10 secs
lola: 20103 markings, 71286 edges, 1028 markings/sec, 15 secs
lola: 25345 markings, 89711 edges, 1048 markings/sec, 20 secs
lola: 30518 markings, 108356 edges, 1035 markings/sec, 25 secs
lola: 35863 markings, 126816 edges, 1069 markings/sec, 30 secs
lola: 41200 markings, 145261 edges, 1067 markings/sec, 35 secs
lola: 46646 markings, 163739 edges, 1089 markings/sec, 40 secs
lola: 52415 markings, 181837 edges, 1154 markings/sec, 45 secs
lola: 57682 markings, 200318 edges, 1053 markings/sec, 50 secs
lola: 62957 markings, 218714 edges, 1055 markings/sec, 55 secs
lola: 68226 markings, 237078 edges, 1054 markings/sec, 60 secs
lola: 73366 markings, 255397 edges, 1028 markings/sec, 65 secs
lola: 78619 markings, 273965 edges, 1051 markings/sec, 70 secs
lola: 83893 markings, 292643 edges, 1055 markings/sec, 75 secs
lola: 89133 markings, 311193 edges, 1048 markings/sec, 80 secs
lola: 94655 markings, 329610 edges, 1104 markings/sec, 85 secs
lola: 100291 markings, 348203 edges, 1127 markings/sec, 90 secs
lola: 105820 markings, 366608 edges, 1106 markings/sec, 95 secs
lola: 111095 markings, 385430 edges, 1055 markings/sec, 100 secs
lola: 116442 markings, 404011 edges, 1069 markings/sec, 105 secs
lola: 121689 markings, 422529 edges, 1049 markings/sec, 110 secs
lola: 127133 markings, 440938 edges, 1089 markings/sec, 115 secs
lola: 133147 markings, 459208 edges, 1203 markings/sec, 120 secs
lola: 139016 markings, 477604 edges, 1174 markings/sec, 125 secs
lola: 144474 markings, 496088 edges, 1092 markings/sec, 130 secs
lola: 150600 markings, 514273 edges, 1225 markings/sec, 135 secs
lola: 156363 markings, 532668 edges, 1153 markings/sec, 140 secs
lola: 163493 markings, 550222 edges, 1426 markings/sec, 145 secs
lola: 169126 markings, 568437 edges, 1127 markings/sec, 150 secs
lola: 175743 markings, 586334 edges, 1323 markings/sec, 155 secs
lola: 182149 markings, 604402 edges, 1281 markings/sec, 160 secs
lola: 187587 markings, 622782 edges, 1088 markings/sec, 165 secs
lola: 192888 markings, 641103 edges, 1060 markings/sec, 170 secs
lola: 198224 markings, 659631 edges, 1067 markings/sec, 175 secs
lola: 203613 markings, 678380 edges, 1078 markings/sec, 180 secs
lola: 208906 markings, 697063 edges, 1059 markings/sec, 185 secs
lola: 215333 markings, 717364 edges, 1285 markings/sec, 190 secs
lola: 220818 markings, 736033 edges, 1097 markings/sec, 195 secs
lola: 226317 markings, 754951 edges, 1100 markings/sec, 200 secs
lola: 232252 markings, 773903 edges, 1187 markings/sec, 205 secs
lola: 237460 markings, 792138 edges, 1042 markings/sec, 210 secs
lola: 242821 markings, 810577 edges, 1072 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: 13920 markings, 15505 edges, 2784 markings/sec, 0 secs
lola: 27955 markings, 30444 edges, 2807 markings/sec, 5 secs
lola: 42254 markings, 46263 edges, 2860 markings/sec, 10 secs
lola: 65238 markings, 90468 edges, 4597 markings/sec, 15 secs
lola: 83586 markings, 121081 edges, 3670 markings/sec, 20 secs
lola: 98173 markings, 136756 edges, 2917 markings/sec, 25 secs
lola: 113251 markings, 153995 edges, 3016 markings/sec, 30 secs
lola: 127998 markings, 169885 edges, 2949 markings/sec, 35 secs
lola: 142220 markings, 185597 edges, 2844 markings/sec, 40 secs
lola: 156342 markings, 200939 edges, 2824 markings/sec, 45 secs
lola: 171429 markings, 218181 edges, 3017 markings/sec, 50 secs
lola: 186227 markings, 234635 edges, 2960 markings/sec, 55 secs
lola: 211905 markings, 286805 edges, 5136 markings/sec, 60 secs
lola: 227407 markings, 309449 edges, 3100 markings/sec, 65 secs
lola: 242434 markings, 326244 edges, 3005 markings/sec, 70 secs
lola: 256550 markings, 342020 edges, 2823 markings/sec, 75 secs
lola: 271030 markings, 358079 edges, 2896 markings/sec, 80 secs
lola: 286176 markings, 375553 edges, 3029 markings/sec, 85 secs
lola: 301800 markings, 394164 edges, 3125 markings/sec, 90 secs
lola: 328449 markings, 453334 edges, 5330 markings/sec, 95 secs
lola: 343550 markings, 471287 edges, 3020 markings/sec, 100 secs
lola: 357584 markings, 487210 edges, 2807 markings/sec, 105 secs
lola: 382159 markings, 536623 edges, 4915 markings/sec, 110 secs
lola: 399969 markings, 565046 edges, 3562 markings/sec, 115 secs
lola: 414451 markings, 581200 edges, 2896 markings/sec, 120 secs
lola: 428824 markings, 598722 edges, 2875 markings/sec, 125 secs
lola: 442130 markings, 613360 edges, 2661 markings/sec, 130 secs
lola: 456359 markings, 629867 edges, 2846 markings/sec, 135 secs
lola: 470937 markings, 647285 edges, 2916 markings/sec, 140 secs
lola: 490993 markings, 682013 edges, 4011 markings/sec, 145 secs
lola: 511510 markings, 723641 edges, 4103 markings/sec, 150 secs
lola: 525736 markings, 740056 edges, 2845 markings/sec, 155 secs
lola: 540193 markings, 757245 edges, 2891 markings/sec, 160 secs
lola: 554888 markings, 775409 edges, 2939 markings/sec, 165 secs
lola: 569143 markings, 791992 edges, 2851 markings/sec, 170 secs
lola: 588737 markings, 824372 edges, 3919 markings/sec, 175 secs
lola: 610021 markings, 869443 edges, 4257 markings/sec, 180 secs
lola: 636141 markings, 928125 edges, 5224 markings/sec, 185 secs
lola: 650953 markings, 946718 edges, 2962 markings/sec, 190 secs
lola: 670385 markings, 978856 edges, 3886 markings/sec, 195 secs
lola: 691471 markings, 1022792 edges, 4217 markings/sec, 200 secs
lola: 706908 markings, 1041659 edges, 3087 markings/sec, 205 secs
lola: 720511 markings, 1057598 edges, 2721 markings/sec, 210 secs
lola: 747489 markings, 1115472 edges, 5396 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: 14520 markings, 16400 edges, 2904 markings/sec, 0 secs
lola: 29324 markings, 32230 edges, 2961 markings/sec, 5 secs
lola: 44148 markings, 48711 edges, 2965 markings/sec, 10 secs
lola: 58466 markings, 64110 edges, 2864 markings/sec, 15 secs
lola: 72955 markings, 80372 edges, 2898 markings/sec, 20 secs
lola: 87179 markings, 95713 edges, 2845 markings/sec, 25 secs
lola: 102063 markings, 112176 edges, 2977 markings/sec, 30 secs
lola: 116582 markings, 127837 edges, 2904 markings/sec, 35 secs
lola: 131139 markings, 144094 edges, 2911 markings/sec, 40 secs
lola: 144902 markings, 159517 edges, 2753 markings/sec, 45 secs
lola: 158582 markings, 174177 edges, 2736 markings/sec, 50 secs
lola: 173168 markings, 191171 edges, 2917 markings/sec, 55 secs
lola: 187713 markings, 207371 edges, 2909 markings/sec, 60 secs
lola: 202675 markings, 224708 edges, 2992 markings/sec, 65 secs
lola: 216992 markings, 240121 edges, 2863 markings/sec, 70 secs
lola: 230009 markings, 254160 edges, 2603 markings/sec, 75 secs
lola: 244033 markings, 269371 edges, 2805 markings/sec, 80 secs
lola: 258702 markings, 286330 edges, 2934 markings/sec, 85 secs
lola: 272983 markings, 302159 edges, 2856 markings/sec, 90 secs
lola: 287106 markings, 318086 edges, 2825 markings/sec, 95 secs
lola: 300972 markings, 334246 edges, 2773 markings/sec, 100 secs
lola: 315581 markings, 351284 edges, 2922 markings/sec, 105 secs
lola: 330981 markings, 369333 edges, 3080 markings/sec, 110 secs
lola: 346552 markings, 387564 edges, 3114 markings/sec, 115 secs
lola: 361541 markings, 404571 edges, 2998 markings/sec, 120 secs
lola: 377496 markings, 423698 edges, 3191 markings/sec, 125 secs
lola: 393189 markings, 442923 edges, 3139 markings/sec, 130 secs
lola: 408895 markings, 462427 edges, 3141 markings/sec, 135 secs
lola: 423795 markings, 479304 edges, 2980 markings/sec, 140 secs
lola: 439615 markings, 498521 edges, 3164 markings/sec, 145 secs
lola: 455049 markings, 515910 edges, 3087 markings/sec, 150 secs
lola: 469882 markings, 533094 edges, 2967 markings/sec, 155 secs
lola: 486247 markings, 553460 edges, 3273 markings/sec, 160 secs
lola: 501816 markings, 572476 edges, 3114 markings/sec, 165 secs
lola: 518078 markings, 593255 edges, 3252 markings/sec, 170 secs
lola: 533247 markings, 610570 edges, 3034 markings/sec, 175 secs
lola: 549219 markings, 630287 edges, 3194 markings/sec, 180 secs
lola: 564813 markings, 649461 edges, 3119 markings/sec, 185 secs
lola: 580496 markings, 667939 edges, 3137 markings/sec, 190 secs
lola: 595897 markings, 686013 edges, 3080 markings/sec, 195 secs
lola: 612560 markings, 708311 edges, 3333 markings/sec, 200 secs
lola: 628056 markings, 727195 edges, 3099 markings/sec, 205 secs
lola: 644138 markings, 747438 edges, 3216 markings/sec, 210 secs
lola: 659500 markings, 765590 edges, 3072 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: 10856 markings, 12587 edges, 2171 markings/sec, 0 secs
lola: 21707 markings, 26915 edges, 2170 markings/sec, 5 secs
lola: 32838 markings, 40681 edges, 2226 markings/sec, 10 secs
lola: 42762 markings, 56395 edges, 1985 markings/sec, 15 secs
lola: 51153 markings, 74199 edges, 1678 markings/sec, 20 secs
lola: 62069 markings, 88975 edges, 2183 markings/sec, 25 secs
lola: 71148 markings, 105612 edges, 1816 markings/sec, 30 secs
lola: 81547 markings, 121251 edges, 2080 markings/sec, 35 secs
lola: 89212 markings, 139900 edges, 1533 markings/sec, 40 secs
lola: 94437 markings, 161055 edges, 1045 markings/sec, 45 secs
lola: 99710 markings, 182404 edges, 1055 markings/sec, 50 secs
lola: 105205 markings, 203583 edges, 1099 markings/sec, 55 secs
lola: 110676 markings, 225350 edges, 1094 markings/sec, 60 secs
lola: 116214 markings, 247168 edges, 1108 markings/sec, 65 secs
lola: 125869 markings, 263812 edges, 1931 markings/sec, 70 secs
lola: 135177 markings, 280770 edges, 1862 markings/sec, 75 secs
lola: 144154 markings, 297908 edges, 1795 markings/sec, 80 secs
lola: 153394 markings, 315037 edges, 1848 markings/sec, 85 secs
lola: 160724 markings, 333704 edges, 1466 markings/sec, 90 secs
lola: 165899 markings, 354944 edges, 1035 markings/sec, 95 secs
lola: 171095 markings, 376061 edges, 1039 markings/sec, 100 secs
lola: 176348 markings, 397042 edges, 1051 markings/sec, 105 secs
lola: 181912 markings, 418122 edges, 1113 markings/sec, 110 secs
lola: 187411 markings, 439190 edges, 1100 markings/sec, 115 secs
lola: 193116 markings, 460930 edges, 1141 markings/sec, 120 secs
lola: 198483 markings, 482584 edges, 1073 markings/sec, 125 secs
lola: 204123 markings, 504293 edges, 1128 markings/sec, 130 secs
lola: 212348 markings, 523658 edges, 1645 markings/sec, 135 secs
lola: 218476 markings, 544592 edges, 1226 markings/sec, 140 secs
lola: 224044 markings, 566501 edges, 1114 markings/sec, 145 secs
lola: 231286 markings, 586185 edges, 1448 markings/sec, 150 secs
lola: 236823 markings, 607980 edges, 1107 markings/sec, 155 secs
lola: 246329 markings, 625199 edges, 1901 markings/sec, 160 secs
lola: 257485 markings, 640988 edges, 2231 markings/sec, 165 secs
lola: 264845 markings, 660153 edges, 1472 markings/sec, 170 secs
lola: 270355 markings, 681557 edges, 1102 markings/sec, 175 secs
lola: 275887 markings, 703361 edges, 1106 markings/sec, 180 secs
lola: 281937 markings, 724788 edges, 1210 markings/sec, 185 secs
lola: 287303 markings, 746538 edges, 1073 markings/sec, 190 secs
lola: 292972 markings, 768203 edges, 1134 markings/sec, 195 secs
lola: 298446 markings, 789827 edges, 1095 markings/sec, 200 secs
lola: 303665 markings, 811008 edges, 1044 markings/sec, 205 secs
lola: 309029 markings, 832696 edges, 1073 markings/sec, 210 secs
lola: 314463 markings, 854709 edges, 1087 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: 13884 markings, 15366 edges, 2777 markings/sec, 0 secs
lola: 28244 markings, 30675 edges, 2872 markings/sec, 5 secs
lola: 42751 markings, 46638 edges, 2901 markings/sec, 10 secs
lola: 57001 markings, 61963 edges, 2850 markings/sec, 15 secs
lola: 71359 markings, 77705 edges, 2872 markings/sec, 20 secs
lola: 85813 markings, 93417 edges, 2891 markings/sec, 25 secs
lola: 100693 markings, 109721 edges, 2976 markings/sec, 30 secs
lola: 115268 markings, 125409 edges, 2915 markings/sec, 35 secs
lola: 129867 markings, 141519 edges, 2920 markings/sec, 40 secs
lola: 143649 markings, 156691 edges, 2756 markings/sec, 45 secs
lola: 157494 markings, 171502 edges, 2769 markings/sec, 50 secs
lola: 172044 markings, 188033 edges, 2910 markings/sec, 55 secs
lola: 186576 markings, 204025 edges, 2906 markings/sec, 60 secs
lola: 201465 markings, 220947 edges, 2978 markings/sec, 65 secs
lola: 215897 markings, 236458 edges, 2886 markings/sec, 70 secs
lola: 229006 markings, 250618 edges, 2622 markings/sec, 75 secs
lola: 243073 markings, 265767 edges, 2813 markings/sec, 80 secs
lola: 257864 markings, 282834 edges, 2958 markings/sec, 85 secs
lola: 272158 markings, 298401 edges, 2859 markings/sec, 90 secs
lola: 286340 markings, 314548 edges, 2836 markings/sec, 95 secs
lola: 300110 markings, 329870 edges, 2754 markings/sec, 100 secs
lola: 314504 markings, 346262 edges, 2879 markings/sec, 105 secs
lola: 329276 markings, 363266 edges, 2954 markings/sec, 110 secs
lola: 344064 markings, 380103 edges, 2958 markings/sec, 115 secs
lola: 358637 markings, 396765 edges, 2915 markings/sec, 120 secs
lola: 373442 markings, 413672 edges, 2961 markings/sec, 125 secs
lola: 388249 markings, 431223 edges, 2961 markings/sec, 130 secs
lola: 403101 markings, 448845 edges, 2970 markings/sec, 135 secs
lola: 417357 markings, 464789 edges, 2851 markings/sec, 140 secs
lola: 432384 markings, 482623 edges, 3005 markings/sec, 145 secs
lola: 446867 markings, 498615 edges, 2897 markings/sec, 150 secs
lola: 460986 markings, 514653 edges, 2824 markings/sec, 155 secs
lola: 476441 markings, 533231 edges, 3091 markings/sec, 160 secs
lola: 491097 markings, 550614 edges, 2931 markings/sec, 165 secs
lola: 506382 markings, 569283 edges, 3057 markings/sec, 170 secs
lola: 520781 markings, 585543 edges, 2880 markings/sec, 175 secs
lola: 535603 markings, 602984 edges, 2964 markings/sec, 180 secs
lola: 550687 markings, 621417 edges, 3017 markings/sec, 185 secs
lola: 565529 markings, 638494 edges, 2968 markings/sec, 190 secs
lola: 580149 markings, 655398 edges, 2924 markings/sec, 195 secs
lola: 595340 markings, 674241 edges, 3038 markings/sec, 200 secs
lola: 610557 markings, 692907 edges, 3043 markings/sec, 205 secs
lola: 625279 markings, 710411 edges, 2944 markings/sec, 210 secs
lola: 640046 markings, 727561 edges, 2953 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: 5105 markings, 17658 edges, 1021 markings/sec, 0 secs
lola: 19624 markings, 42112 edges, 2904 markings/sec, 5 secs
lola: 41685 markings, 70552 edges, 4412 markings/sec, 10 secs
lola: 64237 markings, 100996 edges, 4510 markings/sec, 15 secs
lola: 86291 markings, 131062 edges, 4411 markings/sec, 20 secs
lola: 108622 markings, 161619 edges, 4466 markings/sec, 25 secs
lola: 131538 markings, 193651 edges, 4583 markings/sec, 30 secs
lola: 151799 markings, 221087 edges, 4052 markings/sec, 35 secs
lola: 156941 markings, 238635 edges, 1028 markings/sec, 40 secs
lola: 162315 markings, 257022 edges, 1075 markings/sec, 45 secs
lola: 167592 markings, 275480 edges, 1055 markings/sec, 50 secs
lola: 172775 markings, 293690 edges, 1037 markings/sec, 55 secs
lola: 178237 markings, 312321 edges, 1092 markings/sec, 60 secs
lola: 183606 markings, 330742 edges, 1074 markings/sec, 65 secs
lola: 188884 markings, 349073 edges, 1056 markings/sec, 70 secs
lola: 194844 markings, 368072 edges, 1192 markings/sec, 75 secs
lola: 204036 markings, 388461 edges, 1838 markings/sec, 80 secs
lola: 211638 markings, 408126 edges, 1520 markings/sec, 85 secs
lola: 220346 markings, 427944 edges, 1742 markings/sec, 90 secs
lola: 226062 markings, 446560 edges, 1143 markings/sec, 95 secs
lola: 237652 markings, 467220 edges, 2318 markings/sec, 100 secs
lola: 247662 markings, 486116 edges, 2002 markings/sec, 105 secs
lola: 259311 markings, 507997 edges, 2330 markings/sec, 110 secs
lola: 282035 markings, 539433 edges, 4545 markings/sec, 115 secs
lola: 304283 markings, 569372 edges, 4450 markings/sec, 120 secs
lola: 326550 markings, 599086 edges, 4453 markings/sec, 125 secs
lola: 349460 markings, 631399 edges, 4582 markings/sec, 130 secs
lola: 371500 markings, 661376 edges, 4408 markings/sec, 135 secs
lola: 394122 markings, 693061 edges, 4524 markings/sec, 140 secs
lola: 413554 markings, 719648 edges, 3886 markings/sec, 145 secs
lola: 418673 markings, 737872 edges, 1024 markings/sec, 150 secs
lola: 424042 markings, 756226 edges, 1074 markings/sec, 155 secs
lola: 429305 markings, 774626 edges, 1053 markings/sec, 160 secs
lola: 434491 markings, 792845 edges, 1037 markings/sec, 165 secs
lola: 439943 markings, 811437 edges, 1090 markings/sec, 170 secs
lola: 445305 markings, 829833 edges, 1072 markings/sec, 175 secs
lola: 450588 markings, 848147 edges, 1057 markings/sec, 180 secs
lola: 456532 markings, 867128 edges, 1189 markings/sec, 185 secs
lola: 465742 markings, 887537 edges, 1842 markings/sec, 190 secs
lola: 473469 markings, 907250 edges, 1545 markings/sec, 195 secs
lola: 482043 markings, 926925 edges, 1715 markings/sec, 200 secs
lola: 487744 markings, 945595 edges, 1140 markings/sec, 205 secs
lola: 499496 markings, 966326 edges, 2350 markings/sec, 210 secs
lola: 509368 markings, 985219 edges, 1974 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: 7027 markings, 7750 edges, 1405 markings/sec, 0 secs
lola: 13895 markings, 15279 edges, 1374 markings/sec, 5 secs
lola: 19978 markings, 23456 edges, 1217 markings/sec, 10 secs
lola: 27012 markings, 30912 edges, 1407 markings/sec, 15 secs
lola: 34020 markings, 38543 edges, 1402 markings/sec, 20 secs
lola: 41042 markings, 45953 edges, 1404 markings/sec, 25 secs
lola: 47199 markings, 53916 edges, 1231 markings/sec, 30 secs
lola: 54027 markings, 61519 edges, 1366 markings/sec, 35 secs
lola: 60988 markings, 69082 edges, 1392 markings/sec, 40 secs
lola: 67286 markings, 77175 edges, 1260 markings/sec, 45 secs
lola: 73440 markings, 85216 edges, 1231 markings/sec, 50 secs
lola: 80378 markings, 92743 edges, 1388 markings/sec, 55 secs
lola: 87393 markings, 100195 edges, 1403 markings/sec, 60 secs
lola: 93846 markings, 107833 edges, 1291 markings/sec, 65 secs
lola: 100801 markings, 115256 edges, 1391 markings/sec, 70 secs
lola: 107914 markings, 122677 edges, 1423 markings/sec, 75 secs
lola: 114710 markings, 130213 edges, 1359 markings/sec, 80 secs
lola: 121538 markings, 137643 edges, 1366 markings/sec, 85 secs
lola: 128624 markings, 145133 edges, 1417 markings/sec, 90 secs
lola: 135618 markings, 152713 edges, 1399 markings/sec, 95 secs
lola: 142708 markings, 160297 edges, 1418 markings/sec, 100 secs
lola: 149262 markings, 168015 edges, 1311 markings/sec, 105 secs
lola: 155922 markings, 175940 edges, 1332 markings/sec, 110 secs
lola: 162774 markings, 183497 edges, 1370 markings/sec, 115 secs
lola: 169784 markings, 191137 edges, 1402 markings/sec, 120 secs
lola: 176810 markings, 198784 edges, 1405 markings/sec, 125 secs
lola: 183820 markings, 206267 edges, 1402 markings/sec, 130 secs
lola: 190664 markings, 213787 edges, 1369 markings/sec, 135 secs
lola: 197762 markings, 221354 edges, 1420 markings/sec, 140 secs
lola: 204796 markings, 229107 edges, 1407 markings/sec, 145 secs
lola: 211659 markings, 236520 edges, 1373 markings/sec, 150 secs
lola: 218611 markings, 244203 edges, 1390 markings/sec, 155 secs
lola: 224871 markings, 252353 edges, 1252 markings/sec, 160 secs
lola: 231726 markings, 259699 edges, 1371 markings/sec, 165 secs
lola: 238806 markings, 267538 edges, 1416 markings/sec, 170 secs
lola: 245708 markings, 275420 edges, 1380 markings/sec, 175 secs
lola: 252031 markings, 283626 edges, 1265 markings/sec, 180 secs
lola: 259150 markings, 291459 edges, 1424 markings/sec, 185 secs
lola: 266250 markings, 299133 edges, 1420 markings/sec, 190 secs
lola: 272265 markings, 307389 edges, 1203 markings/sec, 195 secs
lola: 278901 markings, 315590 edges, 1327 markings/sec, 200 secs
lola: 285843 markings, 323310 edges, 1388 markings/sec, 205 secs
lola: 292845 markings, 331065 edges, 1400 markings/sec, 210 secs
lola: 299622 markings, 338717 edges, 1355 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: 21361 markings, 44013 edges, 4272 markings/sec, 0 secs
lola: 40633 markings, 86366 edges, 3854 markings/sec, 5 secs
lola: 63425 markings, 110146 edges, 4558 markings/sec, 10 secs
lola: 86225 markings, 133945 edges, 4560 markings/sec, 15 secs
lola: 108983 markings, 157791 edges, 4552 markings/sec, 20 secs
lola: 131735 markings, 181652 edges, 4550 markings/sec, 25 secs
lola: 154570 markings, 205669 edges, 4567 markings/sec, 30 secs
lola: 177437 markings, 229729 edges, 4573 markings/sec, 35 secs
lola: 200296 markings, 253895 edges, 4572 markings/sec, 40 secs
lola: 223125 markings, 278068 edges, 4566 markings/sec, 45 secs
lola: 245997 markings, 302352 edges, 4574 markings/sec, 50 secs
lola: 268799 markings, 326543 edges, 4560 markings/sec, 55 secs
lola: 291709 markings, 350834 edges, 4582 markings/sec, 60 secs
lola: 314538 markings, 375099 edges, 4566 markings/sec, 65 secs
lola: 337316 markings, 399257 edges, 4556 markings/sec, 70 secs
lola: 360152 markings, 423515 edges, 4567 markings/sec, 75 secs
lola: 382924 markings, 447700 edges, 4554 markings/sec, 80 secs
lola: 405737 markings, 472138 edges, 4563 markings/sec, 85 secs
lola: 428404 markings, 496241 edges, 4533 markings/sec, 90 secs
lola: 451328 markings, 520665 edges, 4585 markings/sec, 95 secs
lola: 474088 markings, 544787 edges, 4552 markings/sec, 100 secs
lola: 496844 markings, 569227 edges, 4551 markings/sec, 105 secs
lola: 519574 markings, 593474 edges, 4546 markings/sec, 110 secs
lola: 542382 markings, 618594 edges, 4562 markings/sec, 115 secs
lola: 565162 markings, 643810 edges, 4556 markings/sec, 120 secs
lola: 587893 markings, 668597 edges, 4546 markings/sec, 125 secs
lola: 610699 markings, 693157 edges, 4561 markings/sec, 130 secs
lola: 633433 markings, 717556 edges, 4547 markings/sec, 135 secs
lola: 656249 markings, 742087 edges, 4563 markings/sec, 140 secs
lola: 679105 markings, 766593 edges, 4571 markings/sec, 145 secs
lola: 702044 markings, 791354 edges, 4588 markings/sec, 150 secs
lola: 724779 markings, 815723 edges, 4547 markings/sec, 155 secs
lola: 747589 markings, 840626 edges, 4562 markings/sec, 160 secs
lola: 770395 markings, 865836 edges, 4561 markings/sec, 165 secs
lola: 793133 markings, 891356 edges, 4548 markings/sec, 170 secs
lola: 815939 markings, 916436 edges, 4561 markings/sec, 175 secs
lola: 838839 markings, 941897 edges, 4580 markings/sec, 180 secs
lola: 861553 markings, 967551 edges, 4543 markings/sec, 185 secs
lola: 884409 markings, 992597 edges, 4571 markings/sec, 190 secs
lola: 907007 markings, 1017408 edges, 4520 markings/sec, 195 secs
lola: 929813 markings, 1042554 edges, 4561 markings/sec, 200 secs
lola: 952677 markings, 1067369 edges, 4573 markings/sec, 205 secs
lola: 975265 markings, 1092791 edges, 4518 markings/sec, 210 secs
lola: 998197 markings, 1118979 edges, 4586 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: 3595 markings, 12486 edges, 719 markings/sec, 0 secs
lola: 7160 markings, 24120 edges, 713 markings/sec, 5 secs
lola: 10731 markings, 35327 edges, 714 markings/sec, 10 secs
lola: 14285 markings, 47416 edges, 711 markings/sec, 15 secs
lola: 17853 markings, 58674 edges, 714 markings/sec, 20 secs
lola: 21408 markings, 70509 edges, 711 markings/sec, 25 secs
lola: 24972 markings, 81840 edges, 713 markings/sec, 30 secs
lola: 28527 markings, 93535 edges, 711 markings/sec, 35 secs
lola: 32079 markings, 105204 edges, 710 markings/sec, 40 secs
lola: 35634 markings, 116760 edges, 711 markings/sec, 45 secs
lola: 39193 markings, 128262 edges, 712 markings/sec, 50 secs
lola: 42753 markings, 139842 edges, 712 markings/sec, 55 secs
lola: 46316 markings, 151283 edges, 713 markings/sec, 60 secs
lola: 49882 markings, 162645 edges, 713 markings/sec, 65 secs
lola: 53410 markings, 174971 edges, 706 markings/sec, 70 secs
lola: 56943 markings, 187169 edges, 707 markings/sec, 75 secs
lola: 60487 markings, 198949 edges, 709 markings/sec, 80 secs
lola: 64020 markings, 211099 edges, 707 markings/sec, 85 secs
lola: 67555 markings, 223052 edges, 707 markings/sec, 90 secs
lola: 71081 markings, 235073 edges, 705 markings/sec, 95 secs
lola: 74619 markings, 246968 edges, 708 markings/sec, 100 secs
lola: 78147 markings, 259006 edges, 706 markings/sec, 105 secs
lola: 81675 markings, 270964 edges, 706 markings/sec, 110 secs
lola: 85203 markings, 282931 edges, 706 markings/sec, 115 secs
lola: 88737 markings, 294847 edges, 707 markings/sec, 120 secs
lola: 92270 markings, 306864 edges, 707 markings/sec, 125 secs
lola: 95806 markings, 318865 edges, 707 markings/sec, 130 secs
lola: 99343 markings, 330815 edges, 707 markings/sec, 135 secs
lola: 102902 markings, 341637 edges, 712 markings/sec, 140 secs
lola: 106477 markings, 351466 edges, 715 markings/sec, 145 secs
lola: 110050 markings, 361181 edges, 715 markings/sec, 150 secs
lola: 113624 markings, 371320 edges, 715 markings/sec, 155 secs
lola: 117138 markings, 383969 edges, 703 markings/sec, 160 secs
lola: 120680 markings, 395772 edges, 708 markings/sec, 165 secs
lola: 124223 markings, 407570 edges, 709 markings/sec, 170 secs
lola: 127747 markings, 419878 edges, 705 markings/sec, 175 secs
lola: 131287 markings, 431707 edges, 708 markings/sec, 180 secs
lola: 134819 markings, 443727 edges, 706 markings/sec, 185 secs
lola: 138347 markings, 455757 edges, 706 markings/sec, 190 secs
lola: 141878 markings, 467710 edges, 706 markings/sec, 195 secs
lola: 145402 markings, 479660 edges, 705 markings/sec, 200 secs
lola: 148928 markings, 491593 edges, 705 markings/sec, 205 secs
lola: 152458 markings, 503526 edges, 706 markings/sec, 210 secs
lola: 155990 markings, 515517 edges, 706 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: 16433 markings, 25969 edges, 3287 markings/sec, 0 secs
lola: 39413 markings, 55885 edges, 4596 markings/sec, 5 secs
lola: 62564 markings, 87118 edges, 4630 markings/sec, 10 secs
lola: 85746 markings, 118990 edges, 4636 markings/sec, 15 secs
lola: 108824 markings, 150096 edges, 4616 markings/sec, 20 secs
lola: 132639 markings, 183361 edges, 4763 markings/sec, 25 secs
lola: 147982 markings, 207088 edges, 3069 markings/sec, 30 secs
lola: 153205 markings, 225902 edges, 1045 markings/sec, 35 secs
lola: 158460 markings, 244700 edges, 1051 markings/sec, 40 secs
lola: 163863 markings, 263334 edges, 1081 markings/sec, 45 secs
lola: 169457 markings, 282330 edges, 1119 markings/sec, 50 secs
lola: 175015 markings, 301389 edges, 1112 markings/sec, 55 secs
lola: 180399 markings, 320045 edges, 1077 markings/sec, 60 secs
lola: 186087 markings, 339198 edges, 1138 markings/sec, 65 secs
lola: 193724 markings, 359240 edges, 1527 markings/sec, 70 secs
lola: 202736 markings, 379617 edges, 1802 markings/sec, 75 secs
lola: 210987 markings, 399966 edges, 1650 markings/sec, 80 secs
lola: 217682 markings, 418649 edges, 1339 markings/sec, 85 secs
lola: 226738 markings, 439195 edges, 1811 markings/sec, 90 secs
lola: 237604 markings, 458282 edges, 2173 markings/sec, 95 secs
lola: 247777 markings, 477964 edges, 2035 markings/sec, 100 secs
lola: 266756 markings, 506959 edges, 3796 markings/sec, 105 secs
lola: 290133 markings, 538964 edges, 4675 markings/sec, 110 secs
lola: 313433 markings, 570602 edges, 4660 markings/sec, 115 secs
lola: 337253 markings, 603255 edges, 4764 markings/sec, 120 secs
lola: 360045 markings, 634228 edges, 4558 markings/sec, 125 secs
lola: 383309 markings, 666630 edges, 4653 markings/sec, 130 secs
lola: 406710 markings, 699436 edges, 4680 markings/sec, 135 secs
lola: 412393 markings, 715989 edges, 1137 markings/sec, 140 secs
lola: 417628 markings, 734782 edges, 1047 markings/sec, 145 secs
lola: 422910 markings, 753456 edges, 1056 markings/sec, 150 secs
lola: 428527 markings, 772350 edges, 1123 markings/sec, 155 secs
lola: 434205 markings, 791523 edges, 1136 markings/sec, 160 secs
lola: 439449 markings, 810194 edges, 1049 markings/sec, 165 secs
lola: 445094 markings, 829114 edges, 1129 markings/sec, 170 secs
lola: 451068 markings, 848453 edges, 1195 markings/sec, 175 secs
lola: 460372 markings, 869085 edges, 1861 markings/sec, 180 secs
lola: 468297 markings, 889174 edges, 1585 markings/sec, 185 secs
lola: 476889 markings, 908898 edges, 1718 markings/sec, 190 secs
lola: 482574 markings, 927964 edges, 1137 markings/sec, 195 secs
lola: 494802 markings, 948681 edges, 2446 markings/sec, 200 secs
lola: 504652 markings, 967891 edges, 1970 markings/sec, 205 secs
lola: 517855 markings, 990981 edges, 2641 markings/sec, 210 secs
lola: 541522 markings, 1024057 edges, 4733 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: 4012 markings, 13060 edges, 802 markings/sec, 0 secs
lola: 7592 markings, 28167 edges, 716 markings/sec, 5 secs
lola: 11120 markings, 43033 edges, 706 markings/sec, 10 secs
lola: 14606 markings, 55922 edges, 697 markings/sec, 15 secs
lola: 18119 markings, 70229 edges, 703 markings/sec, 20 secs
lola: 21631 markings, 83416 edges, 702 markings/sec, 25 secs
lola: 25122 markings, 96954 edges, 698 markings/sec, 30 secs
lola: 28657 markings, 110498 edges, 707 markings/sec, 35 secs
lola: 32267 markings, 124376 edges, 722 markings/sec, 40 secs
lola: 35805 markings, 137751 edges, 708 markings/sec, 45 secs
lola: 39351 markings, 151387 edges, 709 markings/sec, 50 secs
lola: 42843 markings, 164934 edges, 698 markings/sec, 55 secs
lola: 46395 markings, 178481 edges, 710 markings/sec, 60 secs
lola: 50565 markings, 189014 edges, 834 markings/sec, 65 secs
lola: 55276 markings, 201815 edges, 942 markings/sec, 70 secs
lola: 58946 markings, 216187 edges, 734 markings/sec, 75 secs
lola: 62625 markings, 230621 edges, 736 markings/sec, 80 secs
lola: 66365 markings, 244949 edges, 748 markings/sec, 85 secs
lola: 70130 markings, 259226 edges, 753 markings/sec, 90 secs
lola: 73910 markings, 273599 edges, 756 markings/sec, 95 secs
lola: 77771 markings, 285986 edges, 772 markings/sec, 100 secs
lola: 81259 markings, 297831 edges, 698 markings/sec, 105 secs
lola: 84746 markings, 309898 edges, 697 markings/sec, 110 secs
lola: 88228 markings, 321861 edges, 696 markings/sec, 115 secs
lola: 92521 markings, 333295 edges, 859 markings/sec, 120 secs
lola: 96001 markings, 345806 edges, 696 markings/sec, 125 secs
lola: 99585 markings, 358320 edges, 717 markings/sec, 130 secs
lola: 105001 markings, 370000 edges, 1083 markings/sec, 135 secs
lola: 108499 markings, 382443 edges, 700 markings/sec, 140 secs
lola: 111997 markings, 394644 edges, 700 markings/sec, 145 secs
lola: 115502 markings, 406884 edges, 701 markings/sec, 150 secs
lola: 119045 markings, 418039 edges, 709 markings/sec, 155 secs
lola: 122536 markings, 430390 edges, 698 markings/sec, 160 secs
lola: 126139 markings, 442496 edges, 721 markings/sec, 165 secs
lola: 129883 markings, 454832 edges, 749 markings/sec, 170 secs
lola: 133830 markings, 466889 edges, 789 markings/sec, 175 secs
lola: 137315 markings, 478993 edges, 697 markings/sec, 180 secs
lola: 141794 markings, 492388 edges, 896 markings/sec, 185 secs
lola: 146359 markings, 506220 edges, 913 markings/sec, 190 secs
lola: 150722 markings, 519622 edges, 873 markings/sec, 195 secs
lola: 154338 markings, 534498 edges, 723 markings/sec, 200 secs
lola: 157917 markings, 548236 edges, 716 markings/sec, 205 secs
lola: 161427 markings, 560984 edges, 702 markings/sec, 210 secs
lola: 164979 markings, 572027 edges, 710 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: 26626 markings, 27379 edges, 5325 markings/sec, 0 secs
lola: 53909 markings, 55479 edges, 5457 markings/sec, 5 secs
lola: 81698 markings, 84177 edges, 5558 markings/sec, 10 secs
lola: 108380 markings, 111991 edges, 5336 markings/sec, 15 secs
lola: 134150 markings, 138531 edges, 5154 markings/sec, 20 secs
lola: 161132 markings, 166568 edges, 5396 markings/sec, 25 secs
lola: 182426 markings, 188340 edges, 4259 markings/sec, 30 secs
lola: 203992 markings, 210792 edges, 4313 markings/sec, 35 secs
lola: 224901 markings, 232345 edges, 4182 markings/sec, 40 secs
lola: 246189 markings, 254563 edges, 4258 markings/sec, 45 secs
lola: 272205 markings, 281641 edges, 5203 markings/sec, 50 secs
lola: 298206 markings, 308792 edges, 5200 markings/sec, 55 secs
lola: 323283 markings, 335064 edges, 5015 markings/sec, 60 secs
lola: 349008 markings, 361955 edges, 5145 markings/sec, 65 secs
lola: 374518 markings, 388951 edges, 5102 markings/sec, 70 secs
lola: 400309 markings, 415937 edges, 5158 markings/sec, 75 secs
lola: 425884 markings, 442383 edges, 5115 markings/sec, 80 secs
lola: 451382 markings, 468888 edges, 5100 markings/sec, 85 secs
lola: 476189 markings, 494836 edges, 4961 markings/sec, 90 secs
lola: 497581 markings, 516911 edges, 4278 markings/sec, 95 secs
lola: 518861 markings, 539114 edges, 4256 markings/sec, 100 secs
lola: 539903 markings, 561106 edges, 4208 markings/sec, 105 secs
lola: 560784 markings, 582821 edges, 4176 markings/sec, 110 secs
lola: 581277 markings, 604098 edges, 4099 markings/sec, 115 secs
lola: 602006 markings, 626190 edges, 4146 markings/sec, 120 secs
lola: 625476 markings, 650626 edges, 4694 markings/sec, 125 secs
lola: 651332 markings, 677483 edges, 5171 markings/sec, 130 secs
lola: 676539 markings, 703798 edges, 5041 markings/sec, 135 secs
lola: 701614 markings, 729796 edges, 5015 markings/sec, 140 secs
lola: 725078 markings, 754507 edges, 4693 markings/sec, 145 secs
lola: 746212 markings, 776931 edges, 4227 markings/sec, 150 secs
lola: 771362 markings, 803327 edges, 5030 markings/sec, 155 secs
lola: 791946 markings, 824749 edges, 4117 markings/sec, 160 secs
lola: 813612 markings, 847506 edges, 4333 markings/sec, 165 secs
lola: 836797 markings, 871994 edges, 4637 markings/sec, 170 secs
lola: 861562 markings, 897855 edges, 4953 markings/sec, 175 secs
lola: 884553 markings, 922360 edges, 4598 markings/sec, 180 secs
lola: 907674 markings, 946622 edges, 4624 markings/sec, 185 secs
lola: 931651 markings, 972167 edges, 4795 markings/sec, 190 secs
lola: 954278 markings, 996114 edges, 4525 markings/sec, 195 secs
lola: 976542 markings, 1019743 edges, 4453 markings/sec, 200 secs
lola: 997247 markings, 1041804 edges, 4141 markings/sec, 205 secs
lola: 1020919 markings, 1066623 edges, 4734 markings/sec, 210 secs
lola: 1044746 markings, 1091568 edges, 4765 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: 5877 markings, 17728 edges, 1175 markings/sec, 0 secs
lola: 16670 markings, 33716 edges, 2159 markings/sec, 5 secs
lola: 27397 markings, 49883 edges, 2145 markings/sec, 10 secs
lola: 37540 markings, 66250 edges, 2029 markings/sec, 15 secs
lola: 49166 markings, 82276 edges, 2325 markings/sec, 20 secs
lola: 60882 markings, 98343 edges, 2343 markings/sec, 25 secs
lola: 73300 markings, 114325 edges, 2484 markings/sec, 30 secs
lola: 85553 markings, 130258 edges, 2451 markings/sec, 35 secs
lola: 97525 markings, 146291 edges, 2394 markings/sec, 40 secs
lola: 106513 markings, 164412 edges, 1798 markings/sec, 45 secs
lola: 116501 markings, 182689 edges, 1998 markings/sec, 50 secs
lola: 127987 markings, 199860 edges, 2297 markings/sec, 55 secs
lola: 137704 markings, 217757 edges, 1943 markings/sec, 60 secs
lola: 146695 markings, 237067 edges, 1798 markings/sec, 65 secs
lola: 156854 markings, 254863 edges, 2032 markings/sec, 70 secs
lola: 169031 markings, 271878 edges, 2435 markings/sec, 75 secs
lola: 181719 markings, 287949 edges, 2538 markings/sec, 80 secs
lola: 191325 markings, 306102 edges, 1921 markings/sec, 85 secs
lola: 200019 markings, 324216 edges, 1739 markings/sec, 90 secs
lola: 206654 markings, 344359 edges, 1327 markings/sec, 95 secs
lola: 214778 markings, 364536 edges, 1625 markings/sec, 100 secs
lola: 224386 markings, 383189 edges, 1922 markings/sec, 105 secs
lola: 233928 markings, 401545 edges, 1908 markings/sec, 110 secs
lola: 247365 markings, 417884 edges, 2687 markings/sec, 115 secs
lola: 260333 markings, 434516 edges, 2594 markings/sec, 120 secs
lola: 272969 markings, 450886 edges, 2527 markings/sec, 125 secs
lola: 284425 markings, 468717 edges, 2291 markings/sec, 130 secs
lola: 296630 markings, 485699 edges, 2441 markings/sec, 135 secs
lola: 306459 markings, 503826 edges, 1966 markings/sec, 140 secs
lola: 317377 markings, 519691 edges, 2184 markings/sec, 145 secs
lola: 326602 markings, 538315 edges, 1845 markings/sec, 150 secs
lola: 335155 markings, 557189 edges, 1711 markings/sec, 155 secs
lola: 343634 markings, 576744 edges, 1696 markings/sec, 160 secs
lola: 355132 markings, 594502 edges, 2300 markings/sec, 165 secs
lola: 367477 markings, 611458 edges, 2469 markings/sec, 170 secs
lola: 377275 markings, 627339 edges, 1960 markings/sec, 175 secs
lola: 385193 markings, 646944 edges, 1584 markings/sec, 180 secs
lola: 391542 markings, 667761 edges, 1270 markings/sec, 185 secs
lola: 401359 markings, 686316 edges, 1963 markings/sec, 190 secs
lola: 410122 markings, 706583 edges, 1753 markings/sec, 195 secs
lola: 418891 markings, 727640 edges, 1754 markings/sec, 200 secs
lola: 431308 markings, 745587 edges, 2483 markings/sec, 205 secs
lola: 442315 markings, 765244 edges, 2201 markings/sec, 210 secs
lola: 454283 markings, 783932 edges, 2394 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: 15753 markings, 25277 edges, 3151 markings/sec, 0 secs
lola: 37460 markings, 52992 edges, 4341 markings/sec, 5 secs
lola: 59852 markings, 83449 edges, 4478 markings/sec, 10 secs
lola: 81694 markings, 113243 edges, 4368 markings/sec, 15 secs
lola: 103835 markings, 143581 edges, 4428 markings/sec, 20 secs
lola: 126546 markings, 175108 edges, 4542 markings/sec, 25 secs
lola: 146318 markings, 201915 edges, 3954 markings/sec, 30 secs
lola: 151427 markings, 219492 edges, 1022 markings/sec, 35 secs
lola: 156500 markings, 237719 edges, 1015 markings/sec, 40 secs
lola: 161621 markings, 255818 edges, 1024 markings/sec, 45 secs
lola: 167155 markings, 274268 edges, 1107 markings/sec, 50 secs
lola: 172636 markings, 292899 edges, 1096 markings/sec, 55 secs
lola: 177739 markings, 311061 edges, 1021 markings/sec, 60 secs
lola: 183207 markings, 329476 edges, 1094 markings/sec, 65 secs
lola: 189081 markings, 348395 edges, 1175 markings/sec, 70 secs
lola: 198289 markings, 368610 edges, 1842 markings/sec, 75 secs
lola: 205645 markings, 388011 edges, 1471 markings/sec, 80 secs
lola: 214441 markings, 407812 edges, 1759 markings/sec, 85 secs
lola: 220094 markings, 426182 edges, 1131 markings/sec, 90 secs
lola: 230350 markings, 446020 edges, 2051 markings/sec, 95 secs
lola: 240936 markings, 465071 edges, 2117 markings/sec, 100 secs
lola: 250969 markings, 484778 edges, 2007 markings/sec, 105 secs
lola: 273326 markings, 515899 edges, 4471 markings/sec, 110 secs
lola: 295598 markings, 546252 edges, 4454 markings/sec, 115 secs
lola: 317839 markings, 576480 edges, 4448 markings/sec, 120 secs
lola: 340481 markings, 607524 edges, 4528 markings/sec, 125 secs
lola: 362431 markings, 637344 edges, 4390 markings/sec, 130 secs
lola: 384645 markings, 668620 edges, 4443 markings/sec, 135 secs
lola: 406984 markings, 699723 edges, 4468 markings/sec, 140 secs
lola: 412332 markings, 715767 edges, 1070 markings/sec, 145 secs
lola: 417422 markings, 734049 edges, 1018 markings/sec, 150 secs
lola: 422544 markings, 752233 edges, 1024 markings/sec, 155 secs
lola: 427946 markings, 770514 edges, 1080 markings/sec, 160 secs
lola: 433597 markings, 789324 edges, 1130 markings/sec, 165 secs
lola: 438739 markings, 807664 edges, 1028 markings/sec, 170 secs
lola: 444150 markings, 826111 edges, 1082 markings/sec, 175 secs
lola: 450340 markings, 845909 edges, 1238 markings/sec, 180 secs
lola: 459651 markings, 866477 edges, 1862 markings/sec, 185 secs
lola: 467203 markings, 886618 edges, 1510 markings/sec, 190 secs
lola: 476244 markings, 907158 edges, 1808 markings/sec, 195 secs
lola: 482088 markings, 926289 edges, 1169 markings/sec, 200 secs
lola: 493851 markings, 947321 edges, 2353 markings/sec, 205 secs
lola: 503964 markings, 966461 edges, 2023 markings/sec, 210 secs
lola: 516106 markings, 988454 edges, 2428 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: 5885 markings, 17736 edges, 1177 markings/sec, 0 secs
lola: 16651 markings, 33697 edges, 2153 markings/sec, 5 secs
lola: 27846 markings, 50377 edges, 2239 markings/sec, 10 secs
lola: 38367 markings, 67135 edges, 2104 markings/sec, 15 secs
lola: 50014 markings, 83207 edges, 2329 markings/sec, 20 secs
lola: 62276 markings, 100001 edges, 2452 markings/sec, 25 secs
lola: 75085 markings, 116275 edges, 2562 markings/sec, 30 secs
lola: 87420 markings, 132370 edges, 2467 markings/sec, 35 secs
lola: 99201 markings, 148867 edges, 2356 markings/sec, 40 secs
lola: 108606 markings, 166679 edges, 1881 markings/sec, 45 secs
lola: 117285 markings, 185607 edges, 1736 markings/sec, 50 secs
lola: 129553 markings, 202203 edges, 2454 markings/sec, 55 secs
lola: 139615 markings, 220051 edges, 2012 markings/sec, 60 secs
lola: 148607 markings, 240241 edges, 1798 markings/sec, 65 secs
lola: 158675 markings, 259365 edges, 2014 markings/sec, 70 secs
lola: 172364 markings, 275741 edges, 2738 markings/sec, 75 secs
lola: 183763 markings, 293316 edges, 2280 markings/sec, 80 secs
lola: 193021 markings, 312585 edges, 1852 markings/sec, 85 secs
lola: 201932 markings, 331630 edges, 1782 markings/sec, 90 secs
lola: 209078 markings, 352752 edges, 1429 markings/sec, 95 secs
lola: 217617 markings, 373259 edges, 1708 markings/sec, 100 secs
lola: 227533 markings, 392397 edges, 1983 markings/sec, 105 secs
lola: 240801 markings, 409745 edges, 2654 markings/sec, 110 secs
lola: 254273 markings, 426369 edges, 2694 markings/sec, 115 secs
lola: 266803 markings, 442983 edges, 2506 markings/sec, 120 secs
lola: 278504 markings, 461698 edges, 2340 markings/sec, 125 secs
lola: 291042 markings, 478279 edges, 2508 markings/sec, 130 secs
lola: 302869 markings, 495735 edges, 2365 markings/sec, 135 secs
lola: 312725 markings, 513665 edges, 1971 markings/sec, 140 secs
lola: 323572 markings, 531726 edges, 2169 markings/sec, 145 secs
lola: 332220 markings, 551144 edges, 1730 markings/sec, 150 secs
lola: 340509 markings, 570539 edges, 1658 markings/sec, 155 secs
lola: 351261 markings, 589228 edges, 2150 markings/sec, 160 secs
lola: 364190 markings, 606985 edges, 2586 markings/sec, 165 secs
lola: 374943 markings, 623587 edges, 2151 markings/sec, 170 secs
lola: 383837 markings, 641420 edges, 1779 markings/sec, 175 secs
lola: 389934 markings, 661067 edges, 1219 markings/sec, 180 secs
lola: 399050 markings, 680227 edges, 1823 markings/sec, 185 secs
lola: 406611 markings, 700110 edges, 1512 markings/sec, 190 secs
lola: 416358 markings, 720290 edges, 1949 markings/sec, 195 secs
lola: 426455 markings, 739763 edges, 2019 markings/sec, 200 secs
lola: 437847 markings, 758477 edges, 2278 markings/sec, 205 secs
lola: 449266 markings, 777445 edges, 2284 markings/sec, 210 secs
lola: 458612 markings, 796910 edges, 1869 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 1494725499165

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

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

Sequence of Actions to be Executed by the VM

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

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