About the Execution of LoLA for PolyORBLF-PT-S02J06T08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4961.310 | 3539996.00 | 3546524.00 | 8168.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 PolyORBLF-PT-S02J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440870000434
=====================================================================
--------------------
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-S02J06T08-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494683878801
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S02J06T08 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2124/65536 symbol table entries, 10 collisions
lola: preprocessing...
lola: finding significant places
lola: 690 places, 1434 transitions, 636 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2005 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: MAX(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8) : MAX(P_1159_1 + P_1159_2 + P_1159_3 + P_1159_4 + P_1159_5 + P_1159_6 + P_1159_7 + P_1159_8) : MAX(BlockedTasks) : MAX(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_4_1 + DisablePollingB_7_1 + DisablePollingB_7_2 + DisablePollingB_8_1 + DisablePollingB_8_2 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_2_2 + DisablePollingB_2_1 + DisablePollingB_4_2) : MAX(ORB_Lock) : MAX(cIdleTasks) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6 + P_2318_7 + P_2318_8) : MAX(MarkerRead) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_7_1 + DisablePollingE_7_2 + DisablePollingE_8_1 + DisablePollingE_8_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_3 + QueueJobB_4_4 + QueueJobB_4_5 + QueueJobB_4_6 + QueueJobB_5_0 + QueueJobB_5_1 + QueueJobB_5_2 + QueueJobB_5_3 + QueueJobB_5_4 + QueueJobB_5_5 + QueueJobB_5_6 + QueueJobB_6_0 + QueueJobB_6_1 + QueueJobB_6_2 + QueueJobB_6_3 + QueueJobB_6_4 + QueueJobB_6_5 + QueueJobB_6_6 + QueueJobB_7_0 + QueueJobB_7_1 + QueueJobB_7_2 + QueueJobB_7_3 + QueueJobB_7_4 + QueueJobB_7_5 + QueueJobB_7_6 + QueueJobB_8_0 + QueueJobB_8_1 + QueueJobB_8_2 + QueueJobB_8_3 + QueueJobB_8_4 + QueueJobB_8_5 + QueueJobB_8_6) : MAX(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8) : MAX(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_4_1 + DisablePollingB_7_1 + DisablePollingB_7_2 + DisablePollingB_8_1 + DisablePollingB_8_2 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_2_2 + DisablePollingB_2_1 + DisablePollingB_4_2) : MAX(IsMonitoring) : MAX(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8) : MAX(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_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(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 81851 markings, 95720 edges, 16370 markings/sec, 0 secs
lola: 162609 markings, 191948 edges, 16152 markings/sec, 5 secs
lola: 243342 markings, 288669 edges, 16147 markings/sec, 10 secs
lola: 324116 markings, 386317 edges, 16155 markings/sec, 15 secs
lola: 404488 markings, 484781 edges, 16074 markings/sec, 20 secs
lola: 484540 markings, 582543 edges, 16010 markings/sec, 25 secs
lola: 564611 markings, 679565 edges, 16014 markings/sec, 30 secs
lola: 644733 markings, 776184 edges, 16024 markings/sec, 35 secs
lola: 724943 markings, 873686 edges, 16042 markings/sec, 40 secs
lola: 804869 markings, 971008 edges, 15985 markings/sec, 45 secs
lola: 884400 markings, 1068455 edges, 15906 markings/sec, 50 secs
lola: 964192 markings, 1165339 edges, 15958 markings/sec, 55 secs
lola: 1043704 markings, 1263556 edges, 15902 markings/sec, 60 secs
lola: 1123079 markings, 1361023 edges, 15875 markings/sec, 65 secs
lola: 1202585 markings, 1459561 edges, 15901 markings/sec, 70 secs
lola: 1281962 markings, 1557642 edges, 15875 markings/sec, 75 secs
lola: 1361077 markings, 1656116 edges, 15823 markings/sec, 80 secs
lola: 1440207 markings, 1753943 edges, 15826 markings/sec, 85 secs
lola: 1519132 markings, 1851739 edges, 15785 markings/sec, 90 secs
lola: 1598109 markings, 1950841 edges, 15795 markings/sec, 95 secs
lola: 1677275 markings, 2048688 edges, 15833 markings/sec, 100 secs
lola: 1756274 markings, 2145547 edges, 15800 markings/sec, 105 secs
lola: 1835013 markings, 2242246 edges, 15748 markings/sec, 110 secs
lola: 1913758 markings, 2339637 edges, 15749 markings/sec, 115 secs
lola: 1992861 markings, 2436732 edges, 15821 markings/sec, 120 secs
lola: 2071697 markings, 2534798 edges, 15767 markings/sec, 125 secs
lola: 2150554 markings, 2633146 edges, 15771 markings/sec, 130 secs
lola: 2229423 markings, 2730646 edges, 15774 markings/sec, 135 secs
lola: 2308759 markings, 2827562 edges, 15867 markings/sec, 140 secs
lola: 2387633 markings, 2925674 edges, 15775 markings/sec, 145 secs
lola: 2466259 markings, 3023341 edges, 15725 markings/sec, 150 secs
lola: 2545178 markings, 3119630 edges, 15784 markings/sec, 155 secs
lola: 2623718 markings, 3216357 edges, 15708 markings/sec, 160 secs
lola: 2702507 markings, 3314025 edges, 15758 markings/sec, 165 secs
lola: 2780799 markings, 3410754 edges, 15658 markings/sec, 170 secs
lola: 2859369 markings, 3508310 edges, 15714 markings/sec, 175 secs
lola: 2937882 markings, 3605473 edges, 15703 markings/sec, 180 secs
lola: 3016406 markings, 3703149 edges, 15705 markings/sec, 185 secs
lola: 3094639 markings, 3799843 edges, 15647 markings/sec, 190 secs
lola: 3173012 markings, 3895702 edges, 15675 markings/sec, 195 secs
lola: 3251119 markings, 3992923 edges, 15621 markings/sec, 200 secs
lola: 3330262 markings, 4089365 edges, 15829 markings/sec, 205 secs
lola: 3408629 markings, 4186049 edges, 15673 markings/sec, 210 secs
lola: 3487012 markings, 4282594 edges, 15677 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(P_1159_1 + P_1159_2 + P_1159_3 + P_1159_4 + P_1159_5 + P_1159_6 + P_1159_7 + P_1159_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 91300 markings, 107850 edges, 18260 markings/sec, 0 secs
lola: 181301 markings, 215268 edges, 18000 markings/sec, 5 secs
lola: 271199 markings, 322837 edges, 17980 markings/sec, 10 secs
lola: 361411 markings, 431471 edges, 18042 markings/sec, 15 secs
lola: 451625 markings, 539759 edges, 18043 markings/sec, 20 secs
lola: 541797 markings, 648785 edges, 18034 markings/sec, 25 secs
lola: 631445 markings, 757655 edges, 17930 markings/sec, 30 secs
lola: 720979 markings, 865528 edges, 17907 markings/sec, 35 secs
lola: 810302 markings, 973618 edges, 17865 markings/sec, 40 secs
lola: 899529 markings, 1081855 edges, 17845 markings/sec, 45 secs
lola: 988442 markings, 1189550 edges, 17783 markings/sec, 50 secs
lola: 1077654 markings, 1297270 edges, 17842 markings/sec, 55 secs
lola: 1166509 markings, 1404835 edges, 17771 markings/sec, 60 secs
lola: 1255559 markings, 1512776 edges, 17810 markings/sec, 65 secs
lola: 1344351 markings, 1620802 edges, 17758 markings/sec, 70 secs
lola: 1433214 markings, 1728968 edges, 17773 markings/sec, 75 secs
lola: 1521849 markings, 1836810 edges, 17727 markings/sec, 80 secs
lola: 1610426 markings, 1944610 edges, 17715 markings/sec, 85 secs
lola: 1698957 markings, 2052364 edges, 17706 markings/sec, 90 secs
lola: 1788233 markings, 2160215 edges, 17855 markings/sec, 95 secs
lola: 1876720 markings, 2267592 edges, 17697 markings/sec, 100 secs
lola: 1965107 markings, 2375078 edges, 17677 markings/sec, 105 secs
lola: 2053104 markings, 2482657 edges, 17599 markings/sec, 110 secs
lola: 2141213 markings, 2590353 edges, 17622 markings/sec, 115 secs
lola: 2229260 markings, 2697934 edges, 17609 markings/sec, 120 secs
lola: 2317522 markings, 2805581 edges, 17652 markings/sec, 125 secs
lola: 2405825 markings, 2912854 edges, 17661 markings/sec, 130 secs
lola: 2493804 markings, 3020743 edges, 17596 markings/sec, 135 secs
lola: 2581640 markings, 3128318 edges, 17567 markings/sec, 140 secs
lola: 2669609 markings, 3236310 edges, 17594 markings/sec, 145 secs
lola: 2757522 markings, 3343831 edges, 17583 markings/sec, 150 secs
lola: 2845278 markings, 3450865 edges, 17551 markings/sec, 155 secs
lola: 2933100 markings, 3558898 edges, 17564 markings/sec, 160 secs
lola: 3021318 markings, 3666431 edges, 17644 markings/sec, 165 secs
lola: 3107467 markings, 3772120 edges, 17230 markings/sec, 170 secs
lola: 3191482 markings, 3874635 edges, 16803 markings/sec, 175 secs
lola: 3278123 markings, 3980715 edges, 17328 markings/sec, 180 secs
lola: 3366256 markings, 4089331 edges, 17627 markings/sec, 185 secs
lola: 3454224 markings, 4196870 edges, 17594 markings/sec, 190 secs
lola: 3542408 markings, 4304317 edges, 17637 markings/sec, 195 secs
lola: 3630046 markings, 4411874 edges, 17528 markings/sec, 200 secs
lola: 3717347 markings, 4519075 edges, 17460 markings/sec, 205 secs
lola: 3804707 markings, 4625459 edges, 17472 markings/sec, 210 secs
lola: 3892080 markings, 4732969 edges, 17475 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(BlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 90992 markings, 107832 edges, 18198 markings/sec, 0 secs
lola: 180045 markings, 220316 edges, 17811 markings/sec, 5 secs
lola: 268975 markings, 334886 edges, 17786 markings/sec, 10 secs
lola: 361297 markings, 452496 edges, 18464 markings/sec, 15 secs
lola: 453635 markings, 570772 edges, 18468 markings/sec, 20 secs
lola: 545335 markings, 689970 edges, 18340 markings/sec, 25 secs
lola: 636908 markings, 808572 edges, 18315 markings/sec, 30 secs
lola: 728330 markings, 928416 edges, 18284 markings/sec, 35 secs
lola: 819952 markings, 1048431 edges, 18324 markings/sec, 40 secs
lola: 911562 markings, 1167351 edges, 18322 markings/sec, 45 secs
lola: 1002816 markings, 1288074 edges, 18251 markings/sec, 50 secs
lola: 1093801 markings, 1408530 edges, 18197 markings/sec, 55 secs
lola: 1185148 markings, 1528685 edges, 18269 markings/sec, 60 secs
lola: 1275236 markings, 1653063 edges, 18018 markings/sec, 65 secs
lola: 1365308 markings, 1775614 edges, 18014 markings/sec, 70 secs
lola: 1455558 markings, 1897398 edges, 18050 markings/sec, 75 secs
lola: 1545953 markings, 2019314 edges, 18079 markings/sec, 80 secs
lola: 1635918 markings, 2140269 edges, 17993 markings/sec, 85 secs
lola: 1725435 markings, 2261494 edges, 17903 markings/sec, 90 secs
lola: 1815225 markings, 2383577 edges, 17958 markings/sec, 95 secs
lola: 1904791 markings, 2508088 edges, 17913 markings/sec, 100 secs
lola: 1994373 markings, 2630708 edges, 17916 markings/sec, 105 secs
lola: 2084262 markings, 2751655 edges, 17978 markings/sec, 110 secs
lola: 2173930 markings, 2873047 edges, 17934 markings/sec, 115 secs
lola: 2263415 markings, 2995672 edges, 17897 markings/sec, 120 secs
lola: 2352970 markings, 3114884 edges, 17911 markings/sec, 125 secs
lola: 2432614 markings, 3220800 edges, 15929 markings/sec, 130 secs
lola: 2504221 markings, 3317172 edges, 14321 markings/sec, 135 secs
lola: 2577708 markings, 3418326 edges, 14697 markings/sec, 140 secs
lola: 2655469 markings, 3524317 edges, 15552 markings/sec, 145 secs
lola: 2734003 markings, 3634640 edges, 15707 markings/sec, 150 secs
lola: 2813429 markings, 3743228 edges, 15885 markings/sec, 155 secs
lola: 2888443 markings, 3843055 edges, 15003 markings/sec, 160 secs
lola: 2964870 markings, 3946536 edges, 15285 markings/sec, 165 secs
lola: 3050739 markings, 4060826 edges, 17174 markings/sec, 170 secs
lola: 3134146 markings, 4175867 edges, 16681 markings/sec, 175 secs
lola: 3218288 markings, 4287541 edges, 16828 markings/sec, 180 secs
lola: 3305044 markings, 4404859 edges, 17351 markings/sec, 185 secs
lola: 3389404 markings, 4514593 edges, 16872 markings/sec, 190 secs
lola: 3472175 markings, 4629167 edges, 16554 markings/sec, 195 secs
lola: 3557464 markings, 4748368 edges, 17058 markings/sec, 200 secs
lola: 3643627 markings, 4866818 edges, 17233 markings/sec, 205 secs
lola: 3729121 markings, 4987357 edges, 17099 markings/sec, 210 secs
lola: 3815914 markings, 5104959 edges, 17359 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(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_4_1 + DisablePollingB_7_1 + DisablePollingB_7_2 + DisablePollingB_8_1 + DisablePollingB_8_2 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_2_2 + DisablePollingB_2_1 + DisablePollingB_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 88287 markings, 104757 edges, 17657 markings/sec, 0 secs
lola: 182531 markings, 216864 edges, 18849 markings/sec, 5 secs
lola: 269541 markings, 321816 edges, 17402 markings/sec, 10 secs
lola: 354478 markings, 423777 edges, 16987 markings/sec, 15 secs
lola: 444527 markings, 532231 edges, 18010 markings/sec, 20 secs
lola: 532106 markings, 637427 edges, 17516 markings/sec, 25 secs
lola: 605871 markings, 726196 edges, 14753 markings/sec, 30 secs
lola: 672833 markings, 807450 edges, 13392 markings/sec, 35 secs
lola: 745886 markings, 895933 edges, 14611 markings/sec, 40 secs
lola: 824609 markings, 990771 edges, 15745 markings/sec, 45 secs
lola: 912078 markings, 1097294 edges, 17494 markings/sec, 50 secs
lola: 1002037 markings, 1206030 edges, 17992 markings/sec, 55 secs
lola: 1092794 markings, 1317060 edges, 18151 markings/sec, 60 secs
lola: 1175130 markings, 1416022 edges, 16467 markings/sec, 65 secs
lola: 1265314 markings, 1526171 edges, 18037 markings/sec, 70 secs
lola: 1350819 markings, 1630180 edges, 17101 markings/sec, 75 secs
lola: 1441513 markings, 1740276 edges, 18139 markings/sec, 80 secs
lola: 1533234 markings, 1851970 edges, 18344 markings/sec, 85 secs
lola: 1625011 markings, 1963192 edges, 18355 markings/sec, 90 secs
lola: 1717469 markings, 2076942 edges, 18492 markings/sec, 95 secs
lola: 1809032 markings, 2188726 edges, 18313 markings/sec, 100 secs
lola: 1900622 markings, 2300426 edges, 18318 markings/sec, 105 secs
lola: 1991854 markings, 2411109 edges, 18246 markings/sec, 110 secs
lola: 2082935 markings, 2521717 edges, 18216 markings/sec, 115 secs
lola: 2174386 markings, 2633745 edges, 18290 markings/sec, 120 secs
lola: 2265601 markings, 2745461 edges, 18243 markings/sec, 125 secs
lola: 2357044 markings, 2856747 edges, 18289 markings/sec, 130 secs
lola: 2447959 markings, 2967025 edges, 18183 markings/sec, 135 secs
lola: 2539198 markings, 3077708 edges, 18248 markings/sec, 140 secs
lola: 2630438 markings, 3188635 edges, 18248 markings/sec, 145 secs
lola: 2721456 markings, 3300245 edges, 18204 markings/sec, 150 secs
lola: 2812440 markings, 3412523 edges, 18197 markings/sec, 155 secs
lola: 2903281 markings, 3523632 edges, 18168 markings/sec, 160 secs
lola: 2994553 markings, 3635702 edges, 18254 markings/sec, 165 secs
lola: 3085431 markings, 3746877 edges, 18176 markings/sec, 170 secs
lola: 3176026 markings, 3857442 edges, 18119 markings/sec, 175 secs
lola: 3267180 markings, 3968775 edges, 18231 markings/sec, 180 secs
lola: 3358191 markings, 4080656 edges, 18202 markings/sec, 185 secs
lola: 3449345 markings, 4193340 edges, 18231 markings/sec, 190 secs
lola: 3540024 markings, 4304197 edges, 18136 markings/sec, 195 secs
lola: 3630942 markings, 4415988 edges, 18184 markings/sec, 200 secs
lola: 3721521 markings, 4526611 edges, 18116 markings/sec, 205 secs
lola: 3811897 markings, 4636970 edges, 18075 markings/sec, 210 secs
lola: 3902296 markings, 4748067 edges, 18080 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(ORB_Lock)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 96470 markings, 109224 edges, 19294 markings/sec, 0 secs
lola: 191365 markings, 219404 edges, 18979 markings/sec, 5 secs
lola: 285129 markings, 327141 edges, 18753 markings/sec, 10 secs
lola: 378673 markings, 439004 edges, 18709 markings/sec, 15 secs
lola: 472357 markings, 549917 edges, 18737 markings/sec, 20 secs
lola: 565473 markings, 659190 edges, 18623 markings/sec, 25 secs
lola: 658310 markings, 768041 edges, 18567 markings/sec, 30 secs
lola: 751101 markings, 876049 edges, 18558 markings/sec, 35 secs
lola: 843344 markings, 985598 edges, 18449 markings/sec, 40 secs
lola: 935979 markings, 1094742 edges, 18527 markings/sec, 45 secs
lola: 1028673 markings, 1204151 edges, 18539 markings/sec, 50 secs
lola: 1120775 markings, 1313678 edges, 18420 markings/sec, 55 secs
lola: 1212777 markings, 1424254 edges, 18400 markings/sec, 60 secs
lola: 1304441 markings, 1534119 edges, 18333 markings/sec, 65 secs
lola: 1396147 markings, 1642199 edges, 18341 markings/sec, 70 secs
lola: 1488340 markings, 1751332 edges, 18439 markings/sec, 75 secs
lola: 1579564 markings, 1860464 edges, 18245 markings/sec, 80 secs
lola: 1670909 markings, 1970497 edges, 18269 markings/sec, 85 secs
lola: 1762298 markings, 2080548 edges, 18278 markings/sec, 90 secs
lola: 1853877 markings, 2188924 edges, 18316 markings/sec, 95 secs
lola: 1944926 markings, 2298635 edges, 18210 markings/sec, 100 secs
lola: 2035651 markings, 2406385 edges, 18145 markings/sec, 105 secs
lola: 2126096 markings, 2513967 edges, 18089 markings/sec, 110 secs
lola: 2216461 markings, 2621559 edges, 18073 markings/sec, 115 secs
lola: 2306874 markings, 2731214 edges, 18083 markings/sec, 120 secs
lola: 2397096 markings, 2836690 edges, 18044 markings/sec, 125 secs
lola: 2487154 markings, 2944761 edges, 18012 markings/sec, 130 secs
lola: 2577450 markings, 3052560 edges, 18059 markings/sec, 135 secs
lola: 2667581 markings, 3160039 edges, 18026 markings/sec, 140 secs
lola: 2757133 markings, 3266211 edges, 17910 markings/sec, 145 secs
lola: 2846546 markings, 3372960 edges, 17883 markings/sec, 150 secs
lola: 2935985 markings, 3480352 edges, 17888 markings/sec, 155 secs
lola: 3025542 markings, 3587290 edges, 17911 markings/sec, 160 secs
lola: 3115479 markings, 3694207 edges, 17987 markings/sec, 165 secs
lola: 3204838 markings, 3801167 edges, 17872 markings/sec, 170 secs
lola: 3294357 markings, 3907743 edges, 17904 markings/sec, 175 secs
lola: 3383482 markings, 4013928 edges, 17825 markings/sec, 180 secs
lola: 3472895 markings, 4119814 edges, 17883 markings/sec, 185 secs
lola: 3562189 markings, 4226451 edges, 17859 markings/sec, 190 secs
lola: 3650663 markings, 4333592 edges, 17695 markings/sec, 195 secs
lola: 3740041 markings, 4440965 edges, 17876 markings/sec, 200 secs
lola: 3829098 markings, 4547585 edges, 17811 markings/sec, 205 secs
lola: 3917813 markings, 4654111 edges, 17743 markings/sec, 210 secs
lola: 4006483 markings, 4762070 edges, 17734 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(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 89696 markings, 104450 edges, 17939 markings/sec, 0 secs
lola: 176644 markings, 208411 edges, 17390 markings/sec, 5 secs
lola: 262637 markings, 312295 edges, 17199 markings/sec, 10 secs
lola: 348262 markings, 416103 edges, 17125 markings/sec, 15 secs
lola: 433040 markings, 517943 edges, 16956 markings/sec, 20 secs
lola: 517537 markings, 620679 edges, 16899 markings/sec, 25 secs
lola: 601932 markings, 724436 edges, 16879 markings/sec, 30 secs
lola: 687167 markings, 828423 edges, 17047 markings/sec, 35 secs
lola: 772456 markings, 932963 edges, 17058 markings/sec, 40 secs
lola: 857466 markings, 1038418 edges, 17002 markings/sec, 45 secs
lola: 942334 markings, 1142723 edges, 16974 markings/sec, 50 secs
lola: 1027030 markings, 1246207 edges, 16939 markings/sec, 55 secs
lola: 1111534 markings, 1350446 edges, 16901 markings/sec, 60 secs
lola: 1195479 markings, 1454894 edges, 16789 markings/sec, 65 secs
lola: 1279605 markings, 1558629 edges, 16825 markings/sec, 70 secs
lola: 1362810 markings, 1661768 edges, 16641 markings/sec, 75 secs
lola: 1446591 markings, 1764241 edges, 16756 markings/sec, 80 secs
lola: 1530170 markings, 1866773 edges, 16716 markings/sec, 85 secs
lola: 1613383 markings, 1971024 edges, 16643 markings/sec, 90 secs
lola: 1696796 markings, 2073922 edges, 16683 markings/sec, 95 secs
lola: 1780405 markings, 2177390 edges, 16722 markings/sec, 100 secs
lola: 1863740 markings, 2281153 edges, 16667 markings/sec, 105 secs
lola: 1947572 markings, 2383497 edges, 16766 markings/sec, 110 secs
lola: 2030860 markings, 2485592 edges, 16658 markings/sec, 115 secs
lola: 2114052 markings, 2588707 edges, 16638 markings/sec, 120 secs
lola: 2197469 markings, 2692239 edges, 16683 markings/sec, 125 secs
lola: 2280234 markings, 2795901 edges, 16553 markings/sec, 130 secs
lola: 2362968 markings, 2898529 edges, 16547 markings/sec, 135 secs
lola: 2446133 markings, 3000196 edges, 16633 markings/sec, 140 secs
lola: 2529187 markings, 3103565 edges, 16611 markings/sec, 145 secs
lola: 2611979 markings, 3204206 edges, 16558 markings/sec, 150 secs
lola: 2687586 markings, 3297458 edges, 15121 markings/sec, 155 secs
lola: 2758491 markings, 3385837 edges, 14181 markings/sec, 160 secs
lola: 2833856 markings, 3478146 edges, 15073 markings/sec, 165 secs
lola: 2912681 markings, 3575530 edges, 15765 markings/sec, 170 secs
lola: 2990349 markings, 3671517 edges, 15534 markings/sec, 175 secs
lola: 3068143 markings, 3767614 edges, 15559 markings/sec, 180 secs
lola: 3146376 markings, 3864668 edges, 15647 markings/sec, 185 secs
lola: 3228486 markings, 3967123 edges, 16422 markings/sec, 190 secs
lola: 3310681 markings, 4068992 edges, 16439 markings/sec, 195 secs
lola: 3392906 markings, 4171604 edges, 16445 markings/sec, 200 secs
lola: 3475388 markings, 4273588 edges, 16496 markings/sec, 205 secs
lola: 3557552 markings, 4374114 edges, 16433 markings/sec, 210 secs
lola: 3639890 markings, 4475028 edges, 16468 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6 + P_2318_7 + P_2318_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 89379 markings, 105814 edges, 17876 markings/sec, 0 secs
lola: 175345 markings, 209052 edges, 17193 markings/sec, 5 secs
lola: 256357 markings, 306643 edges, 16202 markings/sec, 10 secs
lola: 345107 markings, 412969 edges, 17750 markings/sec, 15 secs
lola: 433502 markings, 519544 edges, 17679 markings/sec, 20 secs
lola: 521890 markings, 626596 edges, 17678 markings/sec, 25 secs
lola: 609391 markings, 732918 edges, 17500 markings/sec, 30 secs
lola: 696235 markings, 838418 edges, 17369 markings/sec, 35 secs
lola: 782812 markings, 943527 edges, 17315 markings/sec, 40 secs
lola: 869293 markings, 1047744 edges, 17296 markings/sec, 45 secs
lola: 955778 markings, 1153079 edges, 17297 markings/sec, 50 secs
lola: 1042125 markings, 1258386 edges, 17269 markings/sec, 55 secs
lola: 1128092 markings, 1362986 edges, 17193 markings/sec, 60 secs
lola: 1213826 markings, 1467348 edges, 17147 markings/sec, 65 secs
lola: 1300138 markings, 1571711 edges, 17262 markings/sec, 70 secs
lola: 1386037 markings, 1676926 edges, 17180 markings/sec, 75 secs
lola: 1472002 markings, 1780700 edges, 17193 markings/sec, 80 secs
lola: 1557718 markings, 1885267 edges, 17143 markings/sec, 85 secs
lola: 1643063 markings, 1989535 edges, 17069 markings/sec, 90 secs
lola: 1728232 markings, 2092979 edges, 17034 markings/sec, 95 secs
lola: 1813457 markings, 2196740 edges, 17045 markings/sec, 100 secs
lola: 1898502 markings, 2300325 edges, 17009 markings/sec, 105 secs
lola: 1983483 markings, 2404443 edges, 16996 markings/sec, 110 secs
lola: 2069704 markings, 2511949 edges, 17244 markings/sec, 115 secs
lola: 2154149 markings, 2614676 edges, 16889 markings/sec, 120 secs
lola: 2238674 markings, 2717976 edges, 16905 markings/sec, 125 secs
lola: 2321403 markings, 2818442 edges, 16546 markings/sec, 130 secs
lola: 2407225 markings, 2923805 edges, 17164 markings/sec, 135 secs
lola: 2492765 markings, 3028629 edges, 17108 markings/sec, 140 secs
lola: 2578724 markings, 3133584 edges, 17192 markings/sec, 145 secs
lola: 2664673 markings, 3238861 edges, 17190 markings/sec, 150 secs
lola: 2750557 markings, 3345232 edges, 17177 markings/sec, 155 secs
lola: 2836527 markings, 3450843 edges, 17194 markings/sec, 160 secs
lola: 2922345 markings, 3556433 edges, 17164 markings/sec, 165 secs
lola: 3008306 markings, 3661697 edges, 17192 markings/sec, 170 secs
lola: 3094222 markings, 3766911 edges, 17183 markings/sec, 175 secs
lola: 3180049 markings, 3871312 edges, 17165 markings/sec, 180 secs
lola: 3266003 markings, 3975935 edges, 17191 markings/sec, 185 secs
lola: 3351672 markings, 4081405 edges, 17134 markings/sec, 190 secs
lola: 3437272 markings, 4186543 edges, 17120 markings/sec, 195 secs
lola: 3522933 markings, 4292293 edges, 17132 markings/sec, 200 secs
lola: 3608621 markings, 4397042 edges, 17138 markings/sec, 205 secs
lola: 3694863 markings, 4502023 edges, 17248 markings/sec, 210 secs
lola: 3780322 markings, 4606602 edges, 17092 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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 96012 markings, 116143 edges, 19202 markings/sec, 0 secs
lola: 192160 markings, 232651 edges, 19230 markings/sec, 5 secs
lola: 287786 markings, 348845 edges, 19125 markings/sec, 10 secs
lola: 383005 markings, 465961 edges, 19044 markings/sec, 15 secs
lola: 478177 markings, 581922 edges, 19034 markings/sec, 20 secs
lola: 573226 markings, 696814 edges, 19010 markings/sec, 25 secs
lola: 668490 markings, 812376 edges, 19053 markings/sec, 30 secs
lola: 763383 markings, 927689 edges, 18979 markings/sec, 35 secs
lola: 857911 markings, 1042411 edges, 18906 markings/sec, 40 secs
lola: 951947 markings, 1157516 edges, 18807 markings/sec, 45 secs
lola: 1045549 markings, 1273831 edges, 18720 markings/sec, 50 secs
lola: 1139394 markings, 1390191 edges, 18769 markings/sec, 55 secs
lola: 1233295 markings, 1505818 edges, 18780 markings/sec, 60 secs
lola: 1326965 markings, 1621726 edges, 18734 markings/sec, 65 secs
lola: 1420660 markings, 1737824 edges, 18739 markings/sec, 70 secs
lola: 1514412 markings, 1853910 edges, 18750 markings/sec, 75 secs
lola: 1606634 markings, 1968381 edges, 18444 markings/sec, 80 secs
lola: 1698930 markings, 2082898 edges, 18459 markings/sec, 85 secs
lola: 1791062 markings, 2197539 edges, 18426 markings/sec, 90 secs
lola: 1883687 markings, 2311100 edges, 18525 markings/sec, 95 secs
lola: 1975811 markings, 2424245 edges, 18425 markings/sec, 100 secs
lola: 2068131 markings, 2537465 edges, 18464 markings/sec, 105 secs
lola: 2160472 markings, 2650250 edges, 18468 markings/sec, 110 secs
lola: 2252614 markings, 2763624 edges, 18428 markings/sec, 115 secs
lola: 2344991 markings, 2875801 edges, 18475 markings/sec, 120 secs
lola: 2437965 markings, 2990585 edges, 18595 markings/sec, 125 secs
lola: 2529737 markings, 3104128 edges, 18354 markings/sec, 130 secs
lola: 2621507 markings, 3217790 edges, 18354 markings/sec, 135 secs
lola: 2713580 markings, 3330902 edges, 18415 markings/sec, 140 secs
lola: 2805494 markings, 3444373 edges, 18383 markings/sec, 145 secs
lola: 2897472 markings, 3557763 edges, 18396 markings/sec, 150 secs
lola: 2989558 markings, 3670961 edges, 18417 markings/sec, 155 secs
lola: 3081168 markings, 3784455 edges, 18322 markings/sec, 160 secs
lola: 3173236 markings, 3897224 edges, 18414 markings/sec, 165 secs
lola: 3265257 markings, 4010442 edges, 18404 markings/sec, 170 secs
lola: 3356780 markings, 4124634 edges, 18305 markings/sec, 175 secs
lola: 3448673 markings, 4238078 edges, 18379 markings/sec, 180 secs
lola: 3540088 markings, 4351246 edges, 18283 markings/sec, 185 secs
lola: 3631577 markings, 4465487 edges, 18298 markings/sec, 190 secs
lola: 3722728 markings, 4579363 edges, 18230 markings/sec, 195 secs
lola: 3814924 markings, 4691470 edges, 18439 markings/sec, 200 secs
lola: 3906718 markings, 4805074 edges, 18359 markings/sec, 205 secs
lola: 3997925 markings, 4919902 edges, 18241 markings/sec, 210 secs
lola: 4089680 markings, 5032787 edges, 18351 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(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_7_1 + DisablePollingE_7_2 + DisablePollingE_8_1 + DisablePollingE_8_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 100790 markings, 119819 edges, 20158 markings/sec, 0 secs
lola: 200366 markings, 238962 edges, 19915 markings/sec, 5 secs
lola: 299480 markings, 358388 edges, 19823 markings/sec, 10 secs
lola: 398219 markings, 477461 edges, 19748 markings/sec, 15 secs
lola: 496779 markings, 596362 edges, 19712 markings/sec, 20 secs
lola: 594988 markings, 715049 edges, 19642 markings/sec, 25 secs
lola: 692378 markings, 833815 edges, 19478 markings/sec, 30 secs
lola: 790209 markings, 954378 edges, 19566 markings/sec, 35 secs
lola: 888098 markings, 1072919 edges, 19578 markings/sec, 40 secs
lola: 985838 markings, 1190926 edges, 19548 markings/sec, 45 secs
lola: 1083906 markings, 1310751 edges, 19614 markings/sec, 50 secs
lola: 1177380 markings, 1425914 edges, 18695 markings/sec, 55 secs
lola: 1273162 markings, 1541941 edges, 19156 markings/sec, 60 secs
lola: 1369760 markings, 1660234 edges, 19320 markings/sec, 65 secs
lola: 1467751 markings, 1779099 edges, 19598 markings/sec, 70 secs
lola: 1565694 markings, 1897248 edges, 19589 markings/sec, 75 secs
lola: 1663541 markings, 2016612 edges, 19569 markings/sec, 80 secs
lola: 1761169 markings, 2135222 edges, 19526 markings/sec, 85 secs
lola: 1859343 markings, 2254474 edges, 19635 markings/sec, 90 secs
lola: 1957205 markings, 2374024 edges, 19572 markings/sec, 95 secs
lola: 2054945 markings, 2493550 edges, 19548 markings/sec, 100 secs
lola: 2152208 markings, 2612340 edges, 19453 markings/sec, 105 secs
lola: 2249525 markings, 2730457 edges, 19463 markings/sec, 110 secs
lola: 2347077 markings, 2849893 edges, 19510 markings/sec, 115 secs
lola: 2444485 markings, 2967978 edges, 19482 markings/sec, 120 secs
lola: 2541789 markings, 3087049 edges, 19461 markings/sec, 125 secs
lola: 2639226 markings, 3206704 edges, 19487 markings/sec, 130 secs
lola: 2736321 markings, 3325657 edges, 19419 markings/sec, 135 secs
lola: 2833425 markings, 3444725 edges, 19421 markings/sec, 140 secs
lola: 2930319 markings, 3563196 edges, 19379 markings/sec, 145 secs
lola: 3026840 markings, 3681715 edges, 19304 markings/sec, 150 secs
lola: 3123707 markings, 3799432 edges, 19373 markings/sec, 155 secs
lola: 3220569 markings, 3917902 edges, 19372 markings/sec, 160 secs
lola: 3317188 markings, 4036591 edges, 19324 markings/sec, 165 secs
lola: 3413616 markings, 4154955 edges, 19286 markings/sec, 170 secs
lola: 3510603 markings, 4274214 edges, 19397 markings/sec, 175 secs
lola: 3607088 markings, 4392826 edges, 19297 markings/sec, 180 secs
lola: 3703816 markings, 4511320 edges, 19346 markings/sec, 185 secs
lola: 3800125 markings, 4630301 edges, 19262 markings/sec, 190 secs
lola: 3896487 markings, 4748140 edges, 19272 markings/sec, 195 secs
lola: 3993257 markings, 4866190 edges, 19354 markings/sec, 200 secs
lola: 4090954 markings, 4989573 edges, 19539 markings/sec, 205 secs
lola: 4187566 markings, 5108560 edges, 19322 markings/sec, 210 secs
lola: 4283592 markings, 5226471 edges, 19205 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(QueueJobB_1_0 + QueueJobB_1_1 + QueueJobB_1_2 + QueueJobB_1_3 + QueueJobB_1_4 + QueueJobB_1_5 + QueueJobB_1_6 + QueueJobB_2_0 + QueueJobB_2_1 + QueueJobB_2_2 + QueueJobB_2_3 + QueueJobB_2_4 + QueueJobB_2_5 + QueueJobB_2_6 + QueueJobB_3_0 + QueueJobB_3_1 + QueueJobB_3_2 + QueueJobB_3_3 + QueueJobB_3_4 + QueueJobB_3_5 + QueueJobB_3_6 + QueueJobB_4_0 + QueueJobB_4_1 + QueueJobB_4_2 + QueueJobB_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 90933 markings, 107371 edges, 18187 markings/sec, 0 secs
lola: 180929 markings, 214515 edges, 17999 markings/sec, 5 secs
lola: 270276 markings, 321346 edges, 17869 markings/sec, 10 secs
lola: 359459 markings, 427839 edges, 17837 markings/sec, 15 secs
lola: 448925 markings, 535093 edges, 17893 markings/sec, 20 secs
lola: 538158 markings, 642141 edges, 17847 markings/sec, 25 secs
lola: 626812 markings, 749142 edges, 17731 markings/sec, 30 secs
lola: 715131 markings, 856298 edges, 17664 markings/sec, 35 secs
lola: 804094 markings, 963638 edges, 17793 markings/sec, 40 secs
lola: 892714 markings, 1071171 edges, 17724 markings/sec, 45 secs
lola: 981787 markings, 1179655 edges, 17815 markings/sec, 50 secs
lola: 1070145 markings, 1286248 edges, 17672 markings/sec, 55 secs
lola: 1158144 markings, 1393449 edges, 17600 markings/sec, 60 secs
lola: 1246288 markings, 1499829 edges, 17629 markings/sec, 65 secs
lola: 1334423 markings, 1606460 edges, 17627 markings/sec, 70 secs
lola: 1424333 markings, 1715559 edges, 17982 markings/sec, 75 secs
lola: 1512670 markings, 1822554 edges, 17667 markings/sec, 80 secs
lola: 1600350 markings, 1928920 edges, 17536 markings/sec, 85 secs
lola: 1687735 markings, 2034785 edges, 17477 markings/sec, 90 secs
lola: 1775312 markings, 2141825 edges, 17515 markings/sec, 95 secs
lola: 1862884 markings, 2247774 edges, 17514 markings/sec, 100 secs
lola: 1949911 markings, 2353660 edges, 17405 markings/sec, 105 secs
lola: 2037348 markings, 2460016 edges, 17487 markings/sec, 110 secs
lola: 2124391 markings, 2566397 edges, 17409 markings/sec, 115 secs
lola: 2211192 markings, 2671481 edges, 17360 markings/sec, 120 secs
lola: 2297859 markings, 2776720 edges, 17333 markings/sec, 125 secs
lola: 2384555 markings, 2882645 edges, 17339 markings/sec, 130 secs
lola: 2471476 markings, 2988474 edges, 17384 markings/sec, 135 secs
lola: 2558351 markings, 3095077 edges, 17375 markings/sec, 140 secs
lola: 2645933 markings, 3203190 edges, 17516 markings/sec, 145 secs
lola: 2736110 markings, 3313770 edges, 18035 markings/sec, 150 secs
lola: 2826378 markings, 3423318 edges, 18054 markings/sec, 155 secs
lola: 2916536 markings, 3533610 edges, 18032 markings/sec, 160 secs
lola: 3007203 markings, 3644804 edges, 18133 markings/sec, 165 secs
lola: 3097234 markings, 3755443 edges, 18006 markings/sec, 170 secs
lola: 3187855 markings, 3865626 edges, 18124 markings/sec, 175 secs
lola: 3278101 markings, 3975978 edges, 18049 markings/sec, 180 secs
lola: 3368276 markings, 4086103 edges, 18035 markings/sec, 185 secs
lola: 3458537 markings, 4195666 edges, 18052 markings/sec, 190 secs
lola: 3548737 markings, 4305167 edges, 18040 markings/sec, 195 secs
lola: 3638955 markings, 4416054 edges, 18044 markings/sec, 200 secs
lola: 3729047 markings, 4526569 edges, 18018 markings/sec, 205 secs
lola: 3819146 markings, 4636318 edges, 18020 markings/sec, 210 secs
lola: 3909080 markings, 4745669 edges, 17987 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(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 97860 markings, 114594 edges, 19572 markings/sec, 0 secs
lola: 194603 markings, 227902 edges, 19349 markings/sec, 5 secs
lola: 290357 markings, 341918 edges, 19151 markings/sec, 10 secs
lola: 385622 markings, 456988 edges, 19053 markings/sec, 15 secs
lola: 480989 markings, 570401 edges, 19073 markings/sec, 20 secs
lola: 575829 markings, 682264 edges, 18968 markings/sec, 25 secs
lola: 670578 markings, 795223 edges, 18950 markings/sec, 30 secs
lola: 765141 markings, 909409 edges, 18913 markings/sec, 35 secs
lola: 859532 markings, 1022094 edges, 18878 markings/sec, 40 secs
lola: 954050 markings, 1135711 edges, 18904 markings/sec, 45 secs
lola: 1048698 markings, 1249465 edges, 18930 markings/sec, 50 secs
lola: 1142668 markings, 1364852 edges, 18794 markings/sec, 55 secs
lola: 1236647 markings, 1478042 edges, 18796 markings/sec, 60 secs
lola: 1330611 markings, 1591195 edges, 18793 markings/sec, 65 secs
lola: 1424108 markings, 1702709 edges, 18699 markings/sec, 70 secs
lola: 1517943 markings, 1814625 edges, 18767 markings/sec, 75 secs
lola: 1611834 markings, 1927045 edges, 18778 markings/sec, 80 secs
lola: 1706007 markings, 2039121 edges, 18835 markings/sec, 85 secs
lola: 1799799 markings, 2151690 edges, 18758 markings/sec, 90 secs
lola: 1893444 markings, 2264594 edges, 18729 markings/sec, 95 secs
lola: 1987136 markings, 2376621 edges, 18738 markings/sec, 100 secs
lola: 2081009 markings, 2489348 edges, 18775 markings/sec, 105 secs
lola: 2174541 markings, 2602063 edges, 18706 markings/sec, 110 secs
lola: 2267971 markings, 2714158 edges, 18686 markings/sec, 115 secs
lola: 2357446 markings, 2821609 edges, 17895 markings/sec, 120 secs
lola: 2446694 markings, 2930212 edges, 17850 markings/sec, 125 secs
lola: 2528586 markings, 3029800 edges, 16378 markings/sec, 130 secs
lola: 2621843 markings, 3143016 edges, 18651 markings/sec, 135 secs
lola: 2715221 markings, 3256740 edges, 18676 markings/sec, 140 secs
lola: 2809300 markings, 3370463 edges, 18816 markings/sec, 145 secs
lola: 2903035 markings, 3484528 edges, 18747 markings/sec, 150 secs
lola: 2995236 markings, 3595556 edges, 18440 markings/sec, 155 secs
lola: 3089371 markings, 3708414 edges, 18827 markings/sec, 160 secs
lola: 3182683 markings, 3821104 edges, 18662 markings/sec, 165 secs
lola: 3275471 markings, 3933503 edges, 18558 markings/sec, 170 secs
lola: 3365296 markings, 4041600 edges, 17965 markings/sec, 175 secs
lola: 3455491 markings, 4150911 edges, 18039 markings/sec, 180 secs
lola: 3545335 markings, 4260758 edges, 17969 markings/sec, 185 secs
lola: 3636117 markings, 4376245 edges, 18156 markings/sec, 190 secs
lola: 3725916 markings, 4484955 edges, 17960 markings/sec, 195 secs
lola: 3815867 markings, 4592974 edges, 17990 markings/sec, 200 secs
lola: 3905657 markings, 4701226 edges, 17958 markings/sec, 205 secs
lola: 3995165 markings, 4809881 edges, 17902 markings/sec, 210 secs
lola: 4086083 markings, 4919409 edges, 18184 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(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_4_1 + DisablePollingB_7_1 + DisablePollingB_7_2 + DisablePollingB_8_1 + DisablePollingB_8_2 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_2_2 + DisablePollingB_2_1 + DisablePollingB_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 92262 markings, 109488 edges, 18452 markings/sec, 0 secs
lola: 183619 markings, 218181 edges, 18271 markings/sec, 5 secs
lola: 275362 markings, 328884 edges, 18349 markings/sec, 10 secs
lola: 365521 markings, 437133 edges, 18032 markings/sec, 15 secs
lola: 455098 markings, 545112 edges, 17915 markings/sec, 20 secs
lola: 544519 markings, 652253 edges, 17884 markings/sec, 25 secs
lola: 633623 markings, 759978 edges, 17821 markings/sec, 30 secs
lola: 722529 markings, 867673 edges, 17781 markings/sec, 35 secs
lola: 811283 markings, 974831 edges, 17751 markings/sec, 40 secs
lola: 900273 markings, 1082792 edges, 17798 markings/sec, 45 secs
lola: 988831 markings, 1190045 edges, 17712 markings/sec, 50 secs
lola: 1077407 markings, 1298520 edges, 17715 markings/sec, 55 secs
lola: 1165942 markings, 1404970 edges, 17707 markings/sec, 60 secs
lola: 1254188 markings, 1512758 edges, 17649 markings/sec, 65 secs
lola: 1342516 markings, 1620058 edges, 17666 markings/sec, 70 secs
lola: 1430579 markings, 1727250 edges, 17613 markings/sec, 75 secs
lola: 1518620 markings, 1834283 edges, 17608 markings/sec, 80 secs
lola: 1606699 markings, 1941215 edges, 17616 markings/sec, 85 secs
lola: 1694891 markings, 2048449 edges, 17638 markings/sec, 90 secs
lola: 1783115 markings, 2156932 edges, 17645 markings/sec, 95 secs
lola: 1871063 markings, 2264464 edges, 17590 markings/sec, 100 secs
lola: 1958771 markings, 2371002 edges, 17542 markings/sec, 105 secs
lola: 2047567 markings, 2479189 edges, 17759 markings/sec, 110 secs
lola: 2136782 markings, 2587807 edges, 17843 markings/sec, 115 secs
lola: 2224382 markings, 2694872 edges, 17520 markings/sec, 120 secs
lola: 2311755 markings, 2801763 edges, 17475 markings/sec, 125 secs
lola: 2402256 markings, 2911420 edges, 18100 markings/sec, 130 secs
lola: 2492992 markings, 3021513 edges, 18147 markings/sec, 135 secs
lola: 2582865 markings, 3130509 edges, 17975 markings/sec, 140 secs
lola: 2670237 markings, 3237521 edges, 17474 markings/sec, 145 secs
lola: 2758805 markings, 3346667 edges, 17714 markings/sec, 150 secs
lola: 2848042 markings, 3455921 edges, 17847 markings/sec, 155 secs
lola: 2936371 markings, 3564746 edges, 17666 markings/sec, 160 secs
lola: 3023653 markings, 3671397 edges, 17456 markings/sec, 165 secs
lola: 3113668 markings, 3781132 edges, 18003 markings/sec, 170 secs
lola: 3202054 markings, 3889128 edges, 17677 markings/sec, 175 secs
lola: 3289521 markings, 3996150 edges, 17493 markings/sec, 180 secs
lola: 3376754 markings, 4103891 edges, 17447 markings/sec, 185 secs
lola: 3464217 markings, 4211358 edges, 17493 markings/sec, 190 secs
lola: 3551185 markings, 4317891 edges, 17394 markings/sec, 195 secs
lola: 3638543 markings, 4425185 edges, 17472 markings/sec, 200 secs
lola: 3725431 markings, 4531190 edges, 17378 markings/sec, 205 secs
lola: 3812195 markings, 4637360 edges, 17353 markings/sec, 210 secs
lola: 3898902 markings, 4743863 edges, 17341 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(IsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 92001 markings, 109097 edges, 18400 markings/sec, 0 secs
lola: 181876 markings, 222526 edges, 17975 markings/sec, 5 secs
lola: 271032 markings, 337166 edges, 17831 markings/sec, 10 secs
lola: 359558 markings, 450326 edges, 17705 markings/sec, 15 secs
lola: 448272 markings, 563762 edges, 17743 markings/sec, 20 secs
lola: 536304 markings, 678339 edges, 17606 markings/sec, 25 secs
lola: 624404 markings, 791803 edges, 17620 markings/sec, 30 secs
lola: 712016 markings, 907479 edges, 17522 markings/sec, 35 secs
lola: 799937 markings, 1023042 edges, 17584 markings/sec, 40 secs
lola: 887853 markings, 1137616 edges, 17583 markings/sec, 45 secs
lola: 975642 markings, 1252900 edges, 17558 markings/sec, 50 secs
lola: 1062983 markings, 1367991 edges, 17468 markings/sec, 55 secs
lola: 1150829 markings, 1482802 edges, 17569 markings/sec, 60 secs
lola: 1237625 markings, 1600492 edges, 17359 markings/sec, 65 secs
lola: 1324148 markings, 1719349 edges, 17305 markings/sec, 70 secs
lola: 1410527 markings, 1837114 edges, 17276 markings/sec, 75 secs
lola: 1497752 markings, 1952684 edges, 17445 markings/sec, 80 secs
lola: 1584105 markings, 2071159 edges, 17271 markings/sec, 85 secs
lola: 1670538 markings, 2185601 edges, 17287 markings/sec, 90 secs
lola: 1756644 markings, 2304502 edges, 17221 markings/sec, 95 secs
lola: 1842772 markings, 2421760 edges, 17226 markings/sec, 100 secs
lola: 1928986 markings, 2540137 edges, 17243 markings/sec, 105 secs
lola: 2015148 markings, 2658778 edges, 17232 markings/sec, 110 secs
lola: 2101209 markings, 2775375 edges, 17212 markings/sec, 115 secs
lola: 2187534 markings, 2889834 edges, 17265 markings/sec, 120 secs
lola: 2273298 markings, 3009685 edges, 17153 markings/sec, 125 secs
lola: 2359377 markings, 3122940 edges, 17216 markings/sec, 130 secs
lola: 2445894 markings, 3237862 edges, 17303 markings/sec, 135 secs
lola: 2531699 markings, 3354580 edges, 17161 markings/sec, 140 secs
lola: 2617214 markings, 3473142 edges, 17103 markings/sec, 145 secs
lola: 2703127 markings, 3591401 edges, 17183 markings/sec, 150 secs
lola: 2788673 markings, 3709735 edges, 17109 markings/sec, 155 secs
lola: 2874593 markings, 3823826 edges, 17184 markings/sec, 160 secs
lola: 2960435 markings, 3940602 edges, 17168 markings/sec, 165 secs
lola: 3046438 markings, 4055154 edges, 17201 markings/sec, 170 secs
lola: 3132177 markings, 4173530 edges, 17148 markings/sec, 175 secs
lola: 3217982 markings, 4287174 edges, 17161 markings/sec, 180 secs
lola: 3303754 markings, 4403069 edges, 17154 markings/sec, 185 secs
lola: 3390048 markings, 4515588 edges, 17259 markings/sec, 190 secs
lola: 3475637 markings, 4633824 edges, 17118 markings/sec, 195 secs
lola: 3560981 markings, 4753319 edges, 17069 markings/sec, 200 secs
lola: 3646145 markings, 4870689 edges, 17033 markings/sec, 205 secs
lola: 3730870 markings, 4989746 edges, 16945 markings/sec, 210 secs
lola: 3816671 markings, 5106200 edges, 17160 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(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 78337 markings, 91698 edges, 15667 markings/sec, 0 secs
lola: 155582 markings, 183581 edges, 15449 markings/sec, 5 secs
lola: 232666 markings, 275519 edges, 15417 markings/sec, 10 secs
lola: 309537 markings, 368848 edges, 15374 markings/sec, 15 secs
lola: 386177 markings, 462084 edges, 15328 markings/sec, 20 secs
lola: 462324 markings, 555174 edges, 15229 markings/sec, 25 secs
lola: 538465 markings, 648076 edges, 15228 markings/sec, 30 secs
lola: 614797 markings, 739824 edges, 15266 markings/sec, 35 secs
lola: 691092 markings, 832617 edges, 15259 markings/sec, 40 secs
lola: 767081 markings, 924320 edges, 15198 markings/sec, 45 secs
lola: 845832 markings, 1020558 edges, 15750 markings/sec, 50 secs
lola: 923379 markings, 1115698 edges, 15509 markings/sec, 55 secs
lola: 1000998 markings, 1210360 edges, 15524 markings/sec, 60 secs
lola: 1079776 markings, 1307587 edges, 15756 markings/sec, 65 secs
lola: 1158410 markings, 1404754 edges, 15727 markings/sec, 70 secs
lola: 1237208 markings, 1502303 edges, 15760 markings/sec, 75 secs
lola: 1315623 markings, 1599690 edges, 15683 markings/sec, 80 secs
lola: 1393972 markings, 1696299 edges, 15670 markings/sec, 85 secs
lola: 1472191 markings, 1793619 edges, 15644 markings/sec, 90 secs
lola: 1550370 markings, 1890806 edges, 15636 markings/sec, 95 secs
lola: 1628530 markings, 1988999 edges, 15632 markings/sec, 100 secs
lola: 1706908 markings, 2085041 edges, 15676 markings/sec, 105 secs
lola: 1785072 markings, 2180978 edges, 15633 markings/sec, 110 secs
lola: 1863096 markings, 2277128 edges, 15605 markings/sec, 115 secs
lola: 1941311 markings, 2373502 edges, 15643 markings/sec, 120 secs
lola: 2019347 markings, 2469550 edges, 15607 markings/sec, 125 secs
lola: 2097548 markings, 2567332 edges, 15640 markings/sec, 130 secs
lola: 2175766 markings, 2664022 edges, 15644 markings/sec, 135 secs
lola: 2253853 markings, 2760513 edges, 15617 markings/sec, 140 secs
lola: 2332333 markings, 2856492 edges, 15696 markings/sec, 145 secs
lola: 2410309 markings, 2954320 edges, 15595 markings/sec, 150 secs
lola: 2488509 markings, 3050533 edges, 15640 markings/sec, 155 secs
lola: 2566557 markings, 3145593 edges, 15610 markings/sec, 160 secs
lola: 2644517 markings, 3242456 edges, 15592 markings/sec, 165 secs
lola: 2722711 markings, 3339216 edges, 15639 markings/sec, 170 secs
lola: 2800305 markings, 3435595 edges, 15519 markings/sec, 175 secs
lola: 2878061 markings, 3531865 edges, 15551 markings/sec, 180 secs
lola: 2955990 markings, 3628242 edges, 15586 markings/sec, 185 secs
lola: 3033694 markings, 3725172 edges, 15541 markings/sec, 190 secs
lola: 3111412 markings, 3820044 edges, 15544 markings/sec, 195 secs
lola: 3188931 markings, 3915718 edges, 15504 markings/sec, 200 secs
lola: 3266873 markings, 4011986 edges, 15588 markings/sec, 205 secs
lola: 3344684 markings, 4107269 edges, 15562 markings/sec, 210 secs
lola: 3422351 markings, 4202747 edges, 15533 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 103234 markings, 116571 edges, 20647 markings/sec, 0 secs
lola: 205126 markings, 233661 edges, 20378 markings/sec, 5 secs
lola: 306644 markings, 350697 edges, 20304 markings/sec, 10 secs
lola: 406082 markings, 467438 edges, 19888 markings/sec, 15 secs
lola: 505787 markings, 583631 edges, 19941 markings/sec, 20 secs
lola: 601879 markings, 696621 edges, 19218 markings/sec, 25 secs
lola: 700006 markings, 811360 edges, 19625 markings/sec, 30 secs
lola: 795673 markings, 923232 edges, 19133 markings/sec, 35 secs
lola: 891597 markings, 1036116 edges, 19185 markings/sec, 40 secs
lola: 987182 markings, 1147904 edges, 19117 markings/sec, 45 secs
lola: 1083082 markings, 1261014 edges, 19180 markings/sec, 50 secs
lola: 1182625 markings, 1378097 edges, 19909 markings/sec, 55 secs
lola: 1282406 markings, 1496088 edges, 19956 markings/sec, 60 secs
lola: 1382037 markings, 1613589 edges, 19926 markings/sec, 65 secs
lola: 1480987 markings, 1729185 edges, 19790 markings/sec, 70 secs
lola: 1580206 markings, 1846291 edges, 19844 markings/sec, 75 secs
lola: 1679095 markings, 1962871 edges, 19778 markings/sec, 80 secs
lola: 1778389 markings, 2080313 edges, 19859 markings/sec, 85 secs
lola: 1877145 markings, 2196951 edges, 19751 markings/sec, 90 secs
lola: 1975937 markings, 2313886 edges, 19758 markings/sec, 95 secs
lola: 2074209 markings, 2430162 edges, 19654 markings/sec, 100 secs
lola: 2171355 markings, 2545090 edges, 19429 markings/sec, 105 secs
lola: 2269971 markings, 2661822 edges, 19723 markings/sec, 110 secs
lola: 2368296 markings, 2778705 edges, 19665 markings/sec, 115 secs
lola: 2466275 markings, 2894951 edges, 19596 markings/sec, 120 secs
lola: 2564391 markings, 3010230 edges, 19623 markings/sec, 125 secs
lola: 2662422 markings, 3127105 edges, 19606 markings/sec, 130 secs
lola: 2760664 markings, 3242395 edges, 19648 markings/sec, 135 secs
lola: 2859106 markings, 3359254 edges, 19688 markings/sec, 140 secs
lola: 2956726 markings, 3475256 edges, 19524 markings/sec, 145 secs
lola: 3054996 markings, 3592361 edges, 19654 markings/sec, 150 secs
lola: 3152983 markings, 3708610 edges, 19597 markings/sec, 155 secs
lola: 3250849 markings, 3825038 edges, 19573 markings/sec, 160 secs
lola: 3349081 markings, 3941575 edges, 19646 markings/sec, 165 secs
lola: 3447096 markings, 4056816 edges, 19603 markings/sec, 170 secs
lola: 3544735 markings, 4172786 edges, 19528 markings/sec, 175 secs
lola: 3642387 markings, 4287939 edges, 19530 markings/sec, 180 secs
lola: 3740670 markings, 4403956 edges, 19657 markings/sec, 185 secs
lola: 3838274 markings, 4520241 edges, 19521 markings/sec, 190 secs
lola: 3936222 markings, 4636129 edges, 19590 markings/sec, 195 secs
lola: 4033789 markings, 4751577 edges, 19513 markings/sec, 200 secs
lola: 4131670 markings, 4866121 edges, 19576 markings/sec, 205 secs
lola: 4229644 markings, 4981453 edges, 19595 markings/sec, 210 secs
lola: 4326944 markings, 5096152 edges, 19460 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(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4 + P_1724_5 + P_1724_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2544 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: 92156 markings, 108930 edges, 18431 markings/sec, 0 secs
lola: 183026 markings, 217898 edges, 18174 markings/sec, 5 secs
lola: 273365 markings, 326310 edges, 18068 markings/sec, 10 secs
lola: 363501 markings, 434380 edges, 18027 markings/sec, 15 secs
lola: 453377 markings, 542552 edges, 17975 markings/sec, 20 secs
lola: 543212 markings, 651180 edges, 17967 markings/sec, 25 secs
lola: 632410 markings, 759877 edges, 17840 markings/sec, 30 secs
lola: 722020 markings, 868303 edges, 17922 markings/sec, 35 secs
lola: 811390 markings, 976106 edges, 17874 markings/sec, 40 secs
lola: 900716 markings, 1083844 edges, 17865 markings/sec, 45 secs
lola: 990097 markings, 1192768 edges, 17876 markings/sec, 50 secs
lola: 1079035 markings, 1301088 edges, 17788 markings/sec, 55 secs
lola: 1167757 markings, 1408775 edges, 17744 markings/sec, 60 secs
lola: 1256579 markings, 1515991 edges, 17764 markings/sec, 65 secs
lola: 1345419 markings, 1624612 edges, 17768 markings/sec, 70 secs
lola: 1433876 markings, 1732095 edges, 17691 markings/sec, 75 secs
lola: 1522590 markings, 1839330 edges, 17743 markings/sec, 80 secs
lola: 1611159 markings, 1947314 edges, 17714 markings/sec, 85 secs
lola: 1699448 markings, 2054543 edges, 17658 markings/sec, 90 secs
lola: 1787737 markings, 2161931 edges, 17658 markings/sec, 95 secs
lola: 1875951 markings, 2269199 edges, 17643 markings/sec, 100 secs
lola: 1964017 markings, 2376694 edges, 17613 markings/sec, 105 secs
lola: 2052181 markings, 2486495 edges, 17633 markings/sec, 110 secs
lola: 2140044 markings, 2593402 edges, 17573 markings/sec, 115 secs
lola: 2227891 markings, 2700629 edges, 17569 markings/sec, 120 secs
lola: 2315672 markings, 2807097 edges, 17556 markings/sec, 125 secs
lola: 2403198 markings, 2914492 edges, 17505 markings/sec, 130 secs
lola: 2490766 markings, 3021625 edges, 17514 markings/sec, 135 secs
lola: 2578539 markings, 3128647 edges, 17555 markings/sec, 140 secs
lola: 2666128 markings, 3236034 edges, 17518 markings/sec, 145 secs
lola: 2753849 markings, 3344212 edges, 17544 markings/sec, 150 secs
lola: 2841543 markings, 3451904 edges, 17539 markings/sec, 155 secs
lola: 2929203 markings, 3559569 edges, 17532 markings/sec, 160 secs
lola: 3016903 markings, 3667067 edges, 17540 markings/sec, 165 secs
lola: 3101852 markings, 3770726 edges, 16990 markings/sec, 170 secs
lola: 3186083 markings, 3872982 edges, 16846 markings/sec, 175 secs
lola: 3270930 markings, 3976370 edges, 16969 markings/sec, 180 secs
lola: 3355018 markings, 4079552 edges, 16818 markings/sec, 185 secs
lola: 3439178 markings, 4182718 edges, 16832 markings/sec, 190 secs
lola: 3523480 markings, 4286687 edges, 16860 markings/sec, 195 secs
lola: 3607637 markings, 4389551 edges, 16831 markings/sec, 200 secs
lola: 3692181 markings, 4492032 edges, 16909 markings/sec, 205 secs
lola: 3776200 markings, 4594835 edges, 16804 markings/sec, 210 secs
lola: 3860089 markings, 4697829 edges, 16778 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-S02J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494687418797
--------------------
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-S02J06T08"
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-S02J06T08.tgz
mv PolyORBLF-PT-S02J06T08 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-S02J06T08, 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-149440870000434"
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 '
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 ;