Execution Chart

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

Trace from the execution

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

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


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S02J06T08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 81783 markings, 95646 edges, 16357 markings/sec, 0 secs
lola: 162372 markings, 191626 edges, 16118 markings/sec, 5 secs
lola: 242809 markings, 288033 edges, 16087 markings/sec, 10 secs
lola: 322996 markings, 384942 edges, 16037 markings/sec, 15 secs
lola: 402768 markings, 482559 edges, 15954 markings/sec, 20 secs
lola: 482178 markings, 579716 edges, 15882 markings/sec, 25 secs
lola: 560624 markings, 674526 edges, 15689 markings/sec, 30 secs
lola: 636728 markings, 766359 edges, 15221 markings/sec, 35 secs
lola: 712811 markings, 859140 edges, 15217 markings/sec, 40 secs
lola: 788703 markings, 951076 edges, 15178 markings/sec, 45 secs
lola: 864277 markings, 1043929 edges, 15115 markings/sec, 50 secs
lola: 939981 markings, 1136031 edges, 15141 markings/sec, 55 secs
lola: 1015433 markings, 1228396 edges, 15090 markings/sec, 60 secs
lola: 1090917 markings, 1321139 edges, 15097 markings/sec, 65 secs
lola: 1166255 markings, 1414432 edges, 15068 markings/sec, 70 secs
lola: 1241709 markings, 1507917 edges, 15091 markings/sec, 75 secs
lola: 1316213 markings, 1600406 edges, 14901 markings/sec, 80 secs
lola: 1389936 markings, 1691463 edges, 14745 markings/sec, 85 secs
lola: 1468228 markings, 1788823 edges, 15658 markings/sec, 90 secs
lola: 1546788 markings, 1886172 edges, 15712 markings/sec, 95 secs
lola: 1625222 markings, 1984932 edges, 15687 markings/sec, 100 secs
lola: 1703968 markings, 2081609 edges, 15749 markings/sec, 105 secs
lola: 1782437 markings, 2177834 edges, 15694 markings/sec, 110 secs
lola: 1860517 markings, 2274065 edges, 15616 markings/sec, 115 secs
lola: 1938145 markings, 2369640 edges, 15526 markings/sec, 120 secs
lola: 2015593 markings, 2464735 edges, 15490 markings/sec, 125 secs
lola: 2093285 markings, 2561961 edges, 15538 markings/sec, 130 secs
lola: 2170868 markings, 2657753 edges, 15517 markings/sec, 135 secs
lola: 2248363 markings, 2753858 edges, 15499 markings/sec, 140 secs
lola: 2326342 markings, 2849129 edges, 15596 markings/sec, 145 secs
lola: 2403793 markings, 2946259 edges, 15490 markings/sec, 150 secs
lola: 2481320 markings, 3041691 edges, 15505 markings/sec, 155 secs
lola: 2558741 markings, 3135987 edges, 15484 markings/sec, 160 secs
lola: 2636120 markings, 3231856 edges, 15476 markings/sec, 165 secs
lola: 2713759 markings, 3328101 edges, 15528 markings/sec, 170 secs
lola: 2790817 markings, 3423500 edges, 15412 markings/sec, 175 secs
lola: 2868075 markings, 3519374 edges, 15452 markings/sec, 180 secs
lola: 2945513 markings, 3614915 edges, 15488 markings/sec, 185 secs
lola: 3023106 markings, 3711883 edges, 15519 markings/sec, 190 secs
lola: 3100472 markings, 3806942 edges, 15473 markings/sec, 195 secs
lola: 3177918 markings, 3902049 edges, 15489 markings/sec, 200 secs
lola: 3255157 markings, 3997782 edges, 15448 markings/sec, 205 secs
lola: 3333286 markings, 4093386 edges, 15626 markings/sec, 210 secs
lola: 3410837 markings, 4188756 edges, 15510 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: 88567 markings, 104479 edges, 17713 markings/sec, 0 secs
lola: 174563 markings, 207284 edges, 17199 markings/sec, 5 secs
lola: 260388 markings, 310030 edges, 17165 markings/sec, 10 secs
lola: 345693 markings, 412609 edges, 17061 markings/sec, 15 secs
lola: 431071 markings, 515107 edges, 17076 markings/sec, 20 secs
lola: 516292 markings, 617893 edges, 17044 markings/sec, 25 secs
lola: 601312 markings, 720833 edges, 17004 markings/sec, 30 secs
lola: 685923 markings, 823448 edges, 16922 markings/sec, 35 secs
lola: 772191 markings, 927575 edges, 17254 markings/sec, 40 secs
lola: 860400 markings, 1033656 edges, 17642 markings/sec, 45 secs
lola: 948525 markings, 1141235 edges, 17625 markings/sec, 50 secs
lola: 1036271 markings, 1247498 edges, 17549 markings/sec, 55 secs
lola: 1124025 markings, 1353462 edges, 17551 markings/sec, 60 secs
lola: 1211658 markings, 1459206 edges, 17527 markings/sec, 65 secs
lola: 1299360 markings, 1565862 edges, 17540 markings/sec, 70 secs
lola: 1386863 markings, 1672832 edges, 17501 markings/sec, 75 secs
lola: 1474279 markings, 1778986 edges, 17483 markings/sec, 80 secs
lola: 1561522 markings, 1884966 edges, 17449 markings/sec, 85 secs
lola: 1648791 markings, 1991255 edges, 17454 markings/sec, 90 secs
lola: 1735877 markings, 2097226 edges, 17417 markings/sec, 95 secs
lola: 1823773 markings, 2203198 edges, 17579 markings/sec, 100 secs
lola: 1910923 markings, 2309010 edges, 17430 markings/sec, 105 secs
lola: 1997794 markings, 2415341 edges, 17374 markings/sec, 110 secs
lola: 2084528 markings, 2520994 edges, 17347 markings/sec, 115 secs
lola: 2171196 markings, 2627320 edges, 17334 markings/sec, 120 secs
lola: 2257923 markings, 2733042 edges, 17345 markings/sec, 125 secs
lola: 2344769 markings, 2838367 edges, 17369 markings/sec, 130 secs
lola: 2431376 markings, 2944216 edges, 17321 markings/sec, 135 secs
lola: 2518005 markings, 3050502 edges, 17326 markings/sec, 140 secs
lola: 2604822 markings, 3156730 edges, 17363 markings/sec, 145 secs
lola: 2691560 markings, 3263414 edges, 17348 markings/sec, 150 secs
lola: 2777990 markings, 3369007 edges, 17286 markings/sec, 155 secs
lola: 2864491 markings, 3474286 edges, 17300 markings/sec, 160 secs
lola: 2951176 markings, 3580324 edges, 17337 markings/sec, 165 secs
lola: 3037996 markings, 3686933 edges, 17364 markings/sec, 170 secs
lola: 3124404 markings, 3792527 edges, 17282 markings/sec, 175 secs
lola: 3210871 markings, 3898389 edges, 17293 markings/sec, 180 secs
lola: 3297295 markings, 4004195 edges, 17285 markings/sec, 185 secs
lola: 3383774 markings, 4110488 edges, 17296 markings/sec, 190 secs
lola: 3470260 markings, 4216520 edges, 17297 markings/sec, 195 secs
lola: 3556702 markings, 4321754 edges, 17288 markings/sec, 200 secs
lola: 3642853 markings, 4427697 edges, 17230 markings/sec, 205 secs
lola: 3728818 markings, 4532978 edges, 17193 markings/sec, 210 secs
lola: 3814983 markings, 4638262 edges, 17233 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: 95275 markings, 113264 edges, 19055 markings/sec, 0 secs
lola: 188569 markings, 231530 edges, 18659 markings/sec, 5 secs
lola: 281093 markings, 350211 edges, 18505 markings/sec, 10 secs
lola: 372955 markings, 467979 edges, 18372 markings/sec, 15 secs
lola: 465108 markings, 585676 edges, 18431 markings/sec, 20 secs
lola: 556424 markings, 704280 edges, 18263 markings/sec, 25 secs
lola: 647844 markings, 822822 edges, 18284 markings/sec, 30 secs
lola: 738816 markings, 942264 edges, 18194 markings/sec, 35 secs
lola: 830229 markings, 1061432 edges, 18283 markings/sec, 40 secs
lola: 921530 markings, 1180978 edges, 18260 markings/sec, 45 secs
lola: 1012602 markings, 1300585 edges, 18214 markings/sec, 50 secs
lola: 1103596 markings, 1421540 edges, 18199 markings/sec, 55 secs
lola: 1194601 markings, 1541880 edges, 18201 markings/sec, 60 secs
lola: 1284806 markings, 1665630 edges, 18041 markings/sec, 65 secs
lola: 1374622 markings, 1788907 edges, 17963 markings/sec, 70 secs
lola: 1464907 markings, 1909486 edges, 18057 markings/sec, 75 secs
lola: 1555097 markings, 2031583 edges, 18038 markings/sec, 80 secs
lola: 1645105 markings, 2152117 edges, 18002 markings/sec, 85 secs
lola: 1734573 markings, 2273669 edges, 17894 markings/sec, 90 secs
lola: 1824237 markings, 2395871 edges, 17933 markings/sec, 95 secs
lola: 1913944 markings, 2520711 edges, 17941 markings/sec, 100 secs
lola: 2003857 markings, 2643582 edges, 17983 markings/sec, 105 secs
lola: 2093988 markings, 2765150 edges, 18026 markings/sec, 110 secs
lola: 2183995 markings, 2885610 edges, 18001 markings/sec, 115 secs
lola: 2273569 markings, 3010170 edges, 17915 markings/sec, 120 secs
lola: 2363527 markings, 3127865 edges, 17992 markings/sec, 125 secs
lola: 2453716 markings, 3248771 edges, 18038 markings/sec, 130 secs
lola: 2543378 markings, 3370301 edges, 17932 markings/sec, 135 secs
lola: 2632580 markings, 3494579 edges, 17840 markings/sec, 140 secs
lola: 2722052 markings, 3618297 edges, 17894 markings/sec, 145 secs
lola: 2811514 markings, 3740797 edges, 17892 markings/sec, 150 secs
lola: 2901213 markings, 3860110 edges, 17940 markings/sec, 155 secs
lola: 2990762 markings, 3981459 edges, 17910 markings/sec, 160 secs
lola: 3080747 markings, 4101502 edges, 17997 markings/sec, 165 secs
lola: 3169697 markings, 4225011 edges, 17790 markings/sec, 170 secs
lola: 3259374 markings, 4344582 edges, 17935 markings/sec, 175 secs
lola: 3349354 markings, 4463437 edges, 17996 markings/sec, 180 secs
lola: 3439155 markings, 4582931 edges, 17960 markings/sec, 185 secs
lola: 3527692 markings, 4706710 edges, 17707 markings/sec, 190 secs
lola: 3616152 markings, 4829124 edges, 17692 markings/sec, 195 secs
lola: 3704287 markings, 4953058 edges, 17627 markings/sec, 200 secs
lola: 3793463 markings, 5073943 edges, 17835 markings/sec, 205 secs
lola: 3881811 markings, 5196876 edges, 17670 markings/sec, 210 secs
lola: 3970233 markings, 5317013 edges, 17684 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: 91490 markings, 108557 edges, 18298 markings/sec, 0 secs
lola: 181707 markings, 215902 edges, 18043 markings/sec, 5 secs
lola: 271292 markings, 324030 edges, 17917 markings/sec, 10 secs
lola: 361205 markings, 431862 edges, 17983 markings/sec, 15 secs
lola: 450582 markings, 539611 edges, 17875 markings/sec, 20 secs
lola: 539760 markings, 646623 edges, 17836 markings/sec, 25 secs
lola: 628645 markings, 754006 edges, 17777 markings/sec, 30 secs
lola: 717420 markings, 861502 edges, 17755 markings/sec, 35 secs
lola: 806016 markings, 968481 edges, 17719 markings/sec, 40 secs
lola: 894843 markings, 1076374 edges, 17765 markings/sec, 45 secs
lola: 983239 markings, 1183105 edges, 17679 markings/sec, 50 secs
lola: 1071746 markings, 1291524 edges, 17701 markings/sec, 55 secs
lola: 1159918 markings, 1397694 edges, 17634 markings/sec, 60 secs
lola: 1247853 markings, 1504995 edges, 17587 markings/sec, 65 secs
lola: 1335916 markings, 1612017 edges, 17613 markings/sec, 70 secs
lola: 1423730 markings, 1718853 edges, 17563 markings/sec, 75 secs
lola: 1511505 markings, 1825528 edges, 17555 markings/sec, 80 secs
lola: 1599266 markings, 1932183 edges, 17552 markings/sec, 85 secs
lola: 1686989 markings, 2038483 edges, 17545 markings/sec, 90 secs
lola: 1775102 markings, 2147086 edges, 17623 markings/sec, 95 secs
lola: 1862899 markings, 2254582 edges, 17559 markings/sec, 100 secs
lola: 1950183 markings, 2360404 edges, 17457 markings/sec, 105 secs
lola: 2037371 markings, 2466710 edges, 17438 markings/sec, 110 secs
lola: 2124731 markings, 2573038 edges, 17472 markings/sec, 115 secs
lola: 2211992 markings, 2679749 edges, 17452 markings/sec, 120 secs
lola: 2299084 markings, 2786462 edges, 17418 markings/sec, 125 secs
lola: 2386693 markings, 2892848 edges, 17522 markings/sec, 130 secs
lola: 2473575 markings, 2997540 edges, 17376 markings/sec, 135 secs
lola: 2560740 markings, 3104159 edges, 17433 markings/sec, 140 secs
lola: 2648051 markings, 3210192 edges, 17462 markings/sec, 145 secs
lola: 2735069 markings, 3317078 edges, 17404 markings/sec, 150 secs
lola: 2822093 markings, 3424264 edges, 17405 markings/sec, 155 secs
lola: 2909096 markings, 3531119 edges, 17401 markings/sec, 160 secs
lola: 2996312 markings, 3637825 edges, 17443 markings/sec, 165 secs
lola: 3083180 markings, 3744019 edges, 17374 markings/sec, 170 secs
lola: 3169907 markings, 3850010 edges, 17345 markings/sec, 175 secs
lola: 3257033 markings, 3956420 edges, 17425 markings/sec, 180 secs
lola: 3344123 markings, 4063452 edges, 17418 markings/sec, 185 secs
lola: 3431189 markings, 4170444 edges, 17413 markings/sec, 190 secs
lola: 3518198 markings, 4277631 edges, 17402 markings/sec, 195 secs
lola: 3605009 markings, 4383870 edges, 17362 markings/sec, 200 secs
lola: 3691709 markings, 4490111 edges, 17340 markings/sec, 205 secs
lola: 3778270 markings, 4595952 edges, 17312 markings/sec, 210 secs
lola: 3864797 markings, 4702229 edges, 17305 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: 92624 markings, 105150 edges, 18525 markings/sec, 0 secs
lola: 183773 markings, 210279 edges, 18230 markings/sec, 5 secs
lola: 274028 markings, 314067 edges, 18051 markings/sec, 10 secs
lola: 363773 markings, 420658 edges, 17949 markings/sec, 15 secs
lola: 453655 markings, 528163 edges, 17976 markings/sec, 20 secs
lola: 543072 markings, 632651 edges, 17883 markings/sec, 25 secs
lola: 632312 markings, 737569 edges, 17848 markings/sec, 30 secs
lola: 721332 markings, 841578 edges, 17804 markings/sec, 35 secs
lola: 809953 markings, 945978 edges, 17724 markings/sec, 40 secs
lola: 898730 markings, 1050272 edges, 17755 markings/sec, 45 secs
lola: 987484 markings, 1155514 edges, 17751 markings/sec, 50 secs
lola: 1076075 markings, 1260231 edges, 17718 markings/sec, 55 secs
lola: 1164390 markings, 1366861 edges, 17663 markings/sec, 60 secs
lola: 1252449 markings, 1471370 edges, 17612 markings/sec, 65 secs
lola: 1340708 markings, 1577247 edges, 17652 markings/sec, 70 secs
lola: 1428751 markings, 1680844 edges, 17609 markings/sec, 75 secs
lola: 1516985 markings, 1785451 edges, 17647 markings/sec, 80 secs
lola: 1604478 markings, 1889478 edges, 17499 markings/sec, 85 secs
lola: 1692015 markings, 1995255 edges, 17507 markings/sec, 90 secs
lola: 1779729 markings, 2100841 edges, 17543 markings/sec, 95 secs
lola: 1867470 markings, 2205779 edges, 17548 markings/sec, 100 secs
lola: 1954861 markings, 2311491 edges, 17478 markings/sec, 105 secs
lola: 2042163 markings, 2414432 edges, 17460 markings/sec, 110 secs
lola: 2129503 markings, 2517911 edges, 17468 markings/sec, 115 secs
lola: 2216790 markings, 2621936 edges, 17457 markings/sec, 120 secs
lola: 2304253 markings, 2727998 edges, 17493 markings/sec, 125 secs
lola: 2391291 markings, 2829987 edges, 17408 markings/sec, 130 secs
lola: 2478393 markings, 2934520 edges, 17420 markings/sec, 135 secs
lola: 2565466 markings, 3038365 edges, 17415 markings/sec, 140 secs
lola: 2652929 markings, 3141693 edges, 17493 markings/sec, 145 secs
lola: 2739635 markings, 3245425 edges, 17341 markings/sec, 150 secs
lola: 2826044 markings, 3348229 edges, 17282 markings/sec, 155 secs
lola: 2912381 markings, 3452076 edges, 17267 markings/sec, 160 secs
lola: 2999184 markings, 3555588 edges, 17361 markings/sec, 165 secs
lola: 3086009 markings, 3659090 edges, 17365 markings/sec, 170 secs
lola: 3172510 markings, 3762434 edges, 17300 markings/sec, 175 secs
lola: 3258956 markings, 3865443 edges, 17289 markings/sec, 180 secs
lola: 3345365 markings, 3968528 edges, 17282 markings/sec, 185 secs
lola: 3431729 markings, 4070859 edges, 17273 markings/sec, 190 secs
lola: 3518027 markings, 4173679 edges, 17260 markings/sec, 195 secs
lola: 3604481 markings, 4277264 edges, 17291 markings/sec, 200 secs
lola: 3690690 markings, 4381659 edges, 17242 markings/sec, 205 secs
lola: 3777007 markings, 4485592 edges, 17263 markings/sec, 210 secs
lola: 3863088 markings, 4588560 edges, 17216 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: 87190 markings, 101527 edges, 17438 markings/sec, 0 secs
lola: 171850 markings, 202483 edges, 16932 markings/sec, 5 secs
lola: 255257 markings, 303665 edges, 16681 markings/sec, 10 secs
lola: 338686 markings, 404526 edges, 16686 markings/sec, 15 secs
lola: 421430 markings, 504340 edges, 16549 markings/sec, 20 secs
lola: 503773 markings, 603705 edges, 16469 markings/sec, 25 secs
lola: 585422 markings, 703927 edges, 16330 markings/sec, 30 secs
lola: 667008 markings, 803682 edges, 16317 markings/sec, 35 secs
lola: 748251 markings, 903689 edges, 16249 markings/sec, 40 secs
lola: 829477 markings, 1003546 edges, 16245 markings/sec, 45 secs
lola: 910545 markings, 1103647 edges, 16214 markings/sec, 50 secs
lola: 991352 markings, 1203167 edges, 16161 markings/sec, 55 secs
lola: 1072250 markings, 1301870 edges, 16180 markings/sec, 60 secs
lola: 1152528 markings, 1401494 edges, 16056 markings/sec, 65 secs
lola: 1232825 markings, 1500877 edges, 16059 markings/sec, 70 secs
lola: 1312930 markings, 1600177 edges, 16021 markings/sec, 75 secs
lola: 1392854 markings, 1698243 edges, 15985 markings/sec, 80 secs
lola: 1472864 markings, 1796075 edges, 16002 markings/sec, 85 secs
lola: 1552490 markings, 1894648 edges, 15925 markings/sec, 90 secs
lola: 1631865 markings, 1993869 edges, 15875 markings/sec, 95 secs
lola: 1711502 markings, 2091981 edges, 15927 markings/sec, 100 secs
lola: 1791179 markings, 2190586 edges, 15935 markings/sec, 105 secs
lola: 1870890 markings, 2289864 edges, 15942 markings/sec, 110 secs
lola: 1950845 markings, 2387485 edges, 15991 markings/sec, 115 secs
lola: 2030407 markings, 2485045 edges, 15912 markings/sec, 120 secs
lola: 2109701 markings, 2583844 edges, 15859 markings/sec, 125 secs
lola: 2189535 markings, 2682179 edges, 15967 markings/sec, 130 secs
lola: 2262180 markings, 2773312 edges, 14529 markings/sec, 135 secs
lola: 2338518 markings, 2867916 edges, 15268 markings/sec, 140 secs
lola: 2413181 markings, 2959900 edges, 14933 markings/sec, 145 secs
lola: 2482610 markings, 3045990 edges, 13886 markings/sec, 150 secs
lola: 2554339 markings, 3134567 edges, 14346 markings/sec, 155 secs
lola: 2628698 markings, 3225078 edges, 14872 markings/sec, 160 secs
lola: 2709839 markings, 3325260 edges, 16228 markings/sec, 165 secs
lola: 2789474 markings, 3423594 edges, 15927 markings/sec, 170 secs
lola: 2858381 markings, 3508647 edges, 13781 markings/sec, 175 secs
lola: 2927240 markings, 3593219 edges, 13772 markings/sec, 180 secs
lola: 2998398 markings, 3681221 edges, 14232 markings/sec, 185 secs
lola: 3076765 markings, 3778207 edges, 15673 markings/sec, 190 secs
lola: 3157497 markings, 3878102 edges, 16146 markings/sec, 195 secs
lola: 3237964 markings, 3979071 edges, 16093 markings/sec, 200 secs
lola: 3318776 markings, 4079423 edges, 16162 markings/sec, 205 secs
lola: 3397082 markings, 4176588 edges, 15661 markings/sec, 210 secs
lola: 3476215 markings, 4274826 edges, 15827 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: 88845 markings, 105153 edges, 17769 markings/sec, 0 secs
lola: 173654 markings, 207040 edges, 16962 markings/sec, 5 secs
lola: 258858 markings, 309557 edges, 17041 markings/sec, 10 secs
lola: 347086 markings, 415422 edges, 17646 markings/sec, 15 secs
lola: 435150 markings, 521620 edges, 17613 markings/sec, 20 secs
lola: 523122 markings, 628050 edges, 17594 markings/sec, 25 secs
lola: 610650 markings, 734424 edges, 17506 markings/sec, 30 secs
lola: 696866 markings, 839176 edges, 17243 markings/sec, 35 secs
lola: 782623 markings, 943300 edges, 17151 markings/sec, 40 secs
lola: 869685 markings, 1048204 edges, 17412 markings/sec, 45 secs
lola: 956868 markings, 1154375 edges, 17437 markings/sec, 50 secs
lola: 1043719 markings, 1260343 edges, 17370 markings/sec, 55 secs
lola: 1130310 markings, 1365550 edges, 17318 markings/sec, 60 secs
lola: 1216619 markings, 1470900 edges, 17262 markings/sec, 65 secs
lola: 1303148 markings, 1575368 edges, 17306 markings/sec, 70 secs
lola: 1374627 markings, 1663017 edges, 14296 markings/sec, 75 secs
lola: 1447422 markings, 1751206 edges, 14559 markings/sec, 80 secs
lola: 1520677 markings, 1840143 edges, 14651 markings/sec, 85 secs
lola: 1591338 markings, 1926471 edges, 14132 markings/sec, 90 secs
lola: 1663772 markings, 2014699 edges, 14487 markings/sec, 95 secs
lola: 1736366 markings, 2102964 edges, 14519 markings/sec, 100 secs
lola: 1807819 markings, 2189849 edges, 14291 markings/sec, 105 secs
lola: 1878251 markings, 2275569 edges, 14086 markings/sec, 110 secs
lola: 1953592 markings, 2367708 edges, 15068 markings/sec, 115 secs
lola: 2028444 markings, 2460743 edges, 14970 markings/sec, 120 secs
lola: 2104123 markings, 2553984 edges, 15136 markings/sec, 125 secs
lola: 2176632 markings, 2642019 edges, 14502 markings/sec, 130 secs
lola: 2247222 markings, 2728329 edges, 14118 markings/sec, 135 secs
lola: 2319645 markings, 2816247 edges, 14485 markings/sec, 140 secs
lola: 2389498 markings, 2902148 edges, 13971 markings/sec, 145 secs
lola: 2466876 markings, 2996742 edges, 15476 markings/sec, 150 secs
lola: 2545377 markings, 3093044 edges, 15700 markings/sec, 155 secs
lola: 2623601 markings, 3188465 edges, 15645 markings/sec, 160 secs
lola: 2704172 markings, 3287561 edges, 16114 markings/sec, 165 secs
lola: 2784845 markings, 3387139 edges, 16135 markings/sec, 170 secs
lola: 2864066 markings, 3484622 edges, 15844 markings/sec, 175 secs
lola: 2944138 markings, 3583051 edges, 16014 markings/sec, 180 secs
lola: 3024334 markings, 3681596 edges, 16039 markings/sec, 185 secs
lola: 3109313 markings, 3785395 edges, 16996 markings/sec, 190 secs
lola: 3194540 markings, 3888971 edges, 17045 markings/sec, 195 secs
lola: 3279919 markings, 3993291 edges, 17076 markings/sec, 200 secs
lola: 3364902 markings, 4097582 edges, 16997 markings/sec, 205 secs
lola: 3449695 markings, 4201672 edges, 16959 markings/sec, 210 secs
lola: 3534615 markings, 4306695 edges, 16984 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: 97694 markings, 118189 edges, 19539 markings/sec, 0 secs
lola: 194461 markings, 235446 edges, 19353 markings/sec, 5 secs
lola: 290738 markings, 352170 edges, 19255 markings/sec, 10 secs
lola: 386394 markings, 470149 edges, 19131 markings/sec, 15 secs
lola: 482179 markings, 586690 edges, 19157 markings/sec, 20 secs
lola: 577939 markings, 702496 edges, 19152 markings/sec, 25 secs
lola: 673943 markings, 819089 edges, 19201 markings/sec, 30 secs
lola: 770005 markings, 935609 edges, 19212 markings/sec, 35 secs
lola: 865501 markings, 1051637 edges, 19099 markings/sec, 40 secs
lola: 960666 markings, 1168183 edges, 19033 markings/sec, 45 secs
lola: 1055311 markings, 1285393 edges, 18929 markings/sec, 50 secs
lola: 1150359 markings, 1403157 edges, 19010 markings/sec, 55 secs
lola: 1245120 markings, 1520677 edges, 18952 markings/sec, 60 secs
lola: 1339950 markings, 1637559 edges, 18966 markings/sec, 65 secs
lola: 1434694 markings, 1755276 edges, 18949 markings/sec, 70 secs
lola: 1529411 markings, 1872700 edges, 18943 markings/sec, 75 secs
lola: 1623379 markings, 1989414 edges, 18794 markings/sec, 80 secs
lola: 1717780 markings, 2106466 edges, 18880 markings/sec, 85 secs
lola: 1811940 markings, 2222859 edges, 18832 markings/sec, 90 secs
lola: 1906303 markings, 2339325 edges, 18873 markings/sec, 95 secs
lola: 2000466 markings, 2454336 edges, 18833 markings/sec, 100 secs
lola: 2094237 markings, 2569665 edges, 18754 markings/sec, 105 secs
lola: 2188051 markings, 2683874 edges, 18763 markings/sec, 110 secs
lola: 2281092 markings, 2798704 edges, 18608 markings/sec, 115 secs
lola: 2375155 markings, 2912647 edges, 18813 markings/sec, 120 secs
lola: 2469398 markings, 3029404 edges, 18849 markings/sec, 125 secs
lola: 2562729 markings, 3145149 edges, 18666 markings/sec, 130 secs
lola: 2656101 markings, 3260836 edges, 18674 markings/sec, 135 secs
lola: 2749730 markings, 3375542 edges, 18726 markings/sec, 140 secs
lola: 2842979 markings, 3490730 edges, 18650 markings/sec, 145 secs
lola: 2936330 markings, 3605474 edges, 18670 markings/sec, 150 secs
lola: 3029419 markings, 3720156 edges, 18618 markings/sec, 155 secs
lola: 3122321 markings, 3834898 edges, 18580 markings/sec, 160 secs
lola: 3215674 markings, 3949398 edges, 18671 markings/sec, 165 secs
lola: 3308899 markings, 4064488 edges, 18645 markings/sec, 170 secs
lola: 3401851 markings, 4180656 edges, 18590 markings/sec, 175 secs
lola: 3494590 markings, 4295203 edges, 18548 markings/sec, 180 secs
lola: 3587624 markings, 4410813 edges, 18607 markings/sec, 185 secs
lola: 3680189 markings, 4526093 edges, 18513 markings/sec, 190 secs
lola: 3773022 markings, 4641065 edges, 18567 markings/sec, 195 secs
lola: 3866548 markings, 4754775 edges, 18705 markings/sec, 200 secs
lola: 3958982 markings, 4870537 edges, 18487 markings/sec, 205 secs
lola: 4051388 markings, 4985212 edges, 18481 markings/sec, 210 secs
lola: 4144552 markings, 5099324 edges, 18633 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: 91993 markings, 109040 edges, 18399 markings/sec, 0 secs
lola: 189563 markings, 226200 edges, 19514 markings/sec, 5 secs
lola: 288904 markings, 345487 edges, 19868 markings/sec, 10 secs
lola: 387862 markings, 464801 edges, 19792 markings/sec, 15 secs
lola: 486758 markings, 584486 edges, 19779 markings/sec, 20 secs
lola: 585353 markings, 703343 edges, 19719 markings/sec, 25 secs
lola: 683580 markings, 823125 edges, 19645 markings/sec, 30 secs
lola: 781662 markings, 943674 edges, 19616 markings/sec, 35 secs
lola: 879604 markings, 1062564 edges, 19588 markings/sec, 40 secs
lola: 977348 markings, 1180587 edges, 19549 markings/sec, 45 secs
lola: 1075448 markings, 1300297 edges, 19620 markings/sec, 50 secs
lola: 1173217 markings, 1420618 edges, 19554 markings/sec, 55 secs
lola: 1270484 markings, 1538839 edges, 19453 markings/sec, 60 secs
lola: 1367765 markings, 1657729 edges, 19456 markings/sec, 65 secs
lola: 1464988 markings, 1775809 edges, 19445 markings/sec, 70 secs
lola: 1562283 markings, 1893074 edges, 19459 markings/sec, 75 secs
lola: 1659451 markings, 2011340 edges, 19434 markings/sec, 80 secs
lola: 1756299 markings, 2129270 edges, 19370 markings/sec, 85 secs
lola: 1853514 markings, 2247364 edges, 19443 markings/sec, 90 secs
lola: 1950590 markings, 2365906 edges, 19415 markings/sec, 95 secs
lola: 2047409 markings, 2484214 edges, 19364 markings/sec, 100 secs
lola: 2143754 markings, 2601884 edges, 19269 markings/sec, 105 secs
lola: 2240192 markings, 2719181 edges, 19288 markings/sec, 110 secs
lola: 2336701 markings, 2836846 edges, 19302 markings/sec, 115 secs
lola: 2433390 markings, 2954304 edges, 19338 markings/sec, 120 secs
lola: 2529831 markings, 3072652 edges, 19288 markings/sec, 125 secs
lola: 2626424 markings, 3191000 edges, 19319 markings/sec, 130 secs
lola: 2722255 markings, 3308737 edges, 19166 markings/sec, 135 secs
lola: 2815499 markings, 3422418 edges, 18649 markings/sec, 140 secs
lola: 2912891 markings, 3541697 edges, 19478 markings/sec, 145 secs
lola: 3010121 markings, 3661255 edges, 19446 markings/sec, 150 secs
lola: 3107685 markings, 3780339 edges, 19513 markings/sec, 155 secs
lola: 3205073 markings, 3899278 edges, 19478 markings/sec, 160 secs
lola: 3302335 markings, 4018364 edges, 19452 markings/sec, 165 secs
lola: 3399730 markings, 4137633 edges, 19479 markings/sec, 170 secs
lola: 3497194 markings, 4257744 edges, 19493 markings/sec, 175 secs
lola: 3594596 markings, 4377538 edges, 19480 markings/sec, 180 secs
lola: 3691802 markings, 4496929 edges, 19441 markings/sec, 185 secs
lola: 3788810 markings, 4616486 edges, 19402 markings/sec, 190 secs
lola: 3885852 markings, 4735245 edges, 19408 markings/sec, 195 secs
lola: 3982765 markings, 4853289 edges, 19383 markings/sec, 200 secs
lola: 4081732 markings, 4978176 edges, 19793 markings/sec, 205 secs
lola: 4178918 markings, 5097691 edges, 19437 markings/sec, 210 secs
lola: 4275715 markings, 5216835 edges, 19359 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: 96123 markings, 113408 edges, 19225 markings/sec, 0 secs
lola: 191163 markings, 226792 edges, 19008 markings/sec, 5 secs
lola: 285640 markings, 339781 edges, 18895 markings/sec, 10 secs
lola: 380134 markings, 452658 edges, 18899 markings/sec, 15 secs
lola: 474604 markings, 565668 edges, 18894 markings/sec, 20 secs
lola: 568519 markings, 678942 edges, 18783 markings/sec, 25 secs
lola: 661873 markings, 791754 edges, 18671 markings/sec, 30 secs
lola: 754238 markings, 903073 edges, 18473 markings/sec, 35 secs
lola: 837159 markings, 1003678 edges, 16584 markings/sec, 40 secs
lola: 928548 markings, 1114241 edges, 18278 markings/sec, 45 secs
lola: 1021060 markings, 1226545 edges, 18502 markings/sec, 50 secs
lola: 1109905 markings, 1334494 edges, 17769 markings/sec, 55 secs
lola: 1202625 markings, 1447474 edges, 18544 markings/sec, 60 secs
lola: 1294986 markings, 1558563 edges, 18472 markings/sec, 65 secs
lola: 1387240 markings, 1670480 edges, 18451 markings/sec, 70 secs
lola: 1479414 markings, 1782044 edges, 18435 markings/sec, 75 secs
lola: 1571530 markings, 1893732 edges, 18423 markings/sec, 80 secs
lola: 1663129 markings, 2004954 edges, 18320 markings/sec, 85 secs
lola: 1754976 markings, 2117017 edges, 18369 markings/sec, 90 secs
lola: 1847205 markings, 2228848 edges, 18446 markings/sec, 95 secs
lola: 1938642 markings, 2339895 edges, 18287 markings/sec, 100 secs
lola: 2030373 markings, 2451567 edges, 18346 markings/sec, 105 secs
lola: 2121909 markings, 2563323 edges, 18307 markings/sec, 110 secs
lola: 2213128 markings, 2673829 edges, 18244 markings/sec, 115 secs
lola: 2304289 markings, 2784488 edges, 18232 markings/sec, 120 secs
lola: 2395441 markings, 2895915 edges, 18230 markings/sec, 125 secs
lola: 2486804 markings, 3007394 edges, 18273 markings/sec, 130 secs
lola: 2578019 markings, 3118895 edges, 18243 markings/sec, 135 secs
lola: 2670190 markings, 3233214 edges, 18434 markings/sec, 140 secs
lola: 2761123 markings, 3344116 edges, 18187 markings/sec, 145 secs
lola: 2852122 markings, 3454810 edges, 18200 markings/sec, 150 secs
lola: 2943132 markings, 3566269 edges, 18202 markings/sec, 155 secs
lola: 3034356 markings, 3677906 edges, 18245 markings/sec, 160 secs
lola: 3125529 markings, 3789826 edges, 18235 markings/sec, 165 secs
lola: 3216765 markings, 3900954 edges, 18247 markings/sec, 170 secs
lola: 3307500 markings, 4011952 edges, 18147 markings/sec, 175 secs
lola: 3397381 markings, 4121298 edges, 17976 markings/sec, 180 secs
lola: 3487663 markings, 4230944 edges, 18056 markings/sec, 185 secs
lola: 3578041 markings, 4341334 edges, 18076 markings/sec, 190 secs
lola: 3668896 markings, 4453074 edges, 18171 markings/sec, 195 secs
lola: 3759732 markings, 4563868 edges, 18167 markings/sec, 200 secs
lola: 3850440 markings, 4674166 edges, 18142 markings/sec, 205 secs
lola: 3941509 markings, 4785094 edges, 18214 markings/sec, 210 secs
lola: 4032621 markings, 4895904 edges, 18222 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: 98617 markings, 115444 edges, 19723 markings/sec, 0 secs
lola: 196173 markings, 229844 edges, 19511 markings/sec, 5 secs
lola: 292863 markings, 344900 edges, 19338 markings/sec, 10 secs
lola: 388842 markings, 460892 edges, 19196 markings/sec, 15 secs
lola: 485008 markings, 575138 edges, 19233 markings/sec, 20 secs
lola: 580577 markings, 687990 edges, 19114 markings/sec, 25 secs
lola: 676082 markings, 801796 edges, 19101 markings/sec, 30 secs
lola: 771471 markings, 916988 edges, 19078 markings/sec, 35 secs
lola: 866675 markings, 1030823 edges, 19041 markings/sec, 40 secs
lola: 961919 markings, 1145254 edges, 19049 markings/sec, 45 secs
lola: 1057188 markings, 1259732 edges, 19054 markings/sec, 50 secs
lola: 1151984 markings, 1375909 edges, 18959 markings/sec, 55 secs
lola: 1246765 markings, 1490495 edges, 18956 markings/sec, 60 secs
lola: 1341487 markings, 1604309 edges, 18944 markings/sec, 65 secs
lola: 1435664 markings, 1716532 edges, 18835 markings/sec, 70 secs
lola: 1530278 markings, 1829575 edges, 18923 markings/sec, 75 secs
lola: 1624840 markings, 1942457 edges, 18912 markings/sec, 80 secs
lola: 1719616 markings, 2055333 edges, 18955 markings/sec, 85 secs
lola: 1814152 markings, 2168681 edges, 18907 markings/sec, 90 secs
lola: 1908469 markings, 2282524 edges, 18863 markings/sec, 95 secs
lola: 2003092 markings, 2395940 edges, 18925 markings/sec, 100 secs
lola: 2097354 markings, 2509072 edges, 18852 markings/sec, 105 secs
lola: 2191632 markings, 2622896 edges, 18856 markings/sec, 110 secs
lola: 2285573 markings, 2735410 edges, 18788 markings/sec, 115 secs
lola: 2379316 markings, 2848031 edges, 18749 markings/sec, 120 secs
lola: 2473204 markings, 2962597 edges, 18778 markings/sec, 125 secs
lola: 2564726 markings, 3074046 edges, 18304 markings/sec, 130 secs
lola: 2658501 markings, 3187356 edges, 18755 markings/sec, 135 secs
lola: 2752139 markings, 3301407 edges, 18728 markings/sec, 140 secs
lola: 2845931 markings, 3415286 edges, 18758 markings/sec, 145 secs
lola: 2939330 markings, 3527986 edges, 18680 markings/sec, 150 secs
lola: 3032849 markings, 3640794 edges, 18704 markings/sec, 155 secs
lola: 3126385 markings, 3753500 edges, 18707 markings/sec, 160 secs
lola: 3219793 markings, 3866247 edges, 18682 markings/sec, 165 secs
lola: 3313170 markings, 3978804 edges, 18675 markings/sec, 170 secs
lola: 3406629 markings, 4091269 edges, 18692 markings/sec, 175 secs
lola: 3500214 markings, 4205028 edges, 18717 markings/sec, 180 secs
lola: 3593156 markings, 4324427 edges, 18588 markings/sec, 185 secs
lola: 3686587 markings, 4437509 edges, 18686 markings/sec, 190 secs
lola: 3779792 markings, 4549239 edges, 18641 markings/sec, 195 secs
lola: 3873339 markings, 4662652 edges, 18709 markings/sec, 200 secs
lola: 3966381 markings, 4774949 edges, 18608 markings/sec, 205 secs
lola: 4059707 markings, 4887922 edges, 18665 markings/sec, 210 secs
lola: 4152866 markings, 4999129 edges, 18632 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: 94647 markings, 112352 edges, 18929 markings/sec, 0 secs
lola: 188150 markings, 223630 edges, 18701 markings/sec, 5 secs
lola: 280871 markings, 335613 edges, 18544 markings/sec, 10 secs
lola: 373820 markings, 447059 edges, 18590 markings/sec, 15 secs
lola: 466325 markings, 558471 edges, 18501 markings/sec, 20 secs
lola: 558634 markings, 669362 edges, 18462 markings/sec, 25 secs
lola: 650068 markings, 779801 edges, 18287 markings/sec, 30 secs
lola: 741718 markings, 890891 edges, 18330 markings/sec, 35 secs
lola: 833928 markings, 1001952 edges, 18442 markings/sec, 40 secs
lola: 926379 markings, 1114549 edges, 18490 markings/sec, 45 secs
lola: 1018503 markings, 1226541 edges, 18425 markings/sec, 50 secs
lola: 1110353 markings, 1338401 edges, 18370 markings/sec, 55 secs
lola: 1202130 markings, 1449211 edges, 18355 markings/sec, 60 secs
lola: 1293689 markings, 1560574 edges, 18312 markings/sec, 65 secs
lola: 1385096 markings, 1671894 edges, 18281 markings/sec, 70 secs
lola: 1476432 markings, 1782813 edges, 18267 markings/sec, 75 secs
lola: 1567773 markings, 1894156 edges, 18268 markings/sec, 80 secs
lola: 1658985 markings, 2004491 edges, 18242 markings/sec, 85 secs
lola: 1750555 markings, 2117180 edges, 18314 markings/sec, 90 secs
lola: 1841877 markings, 2229005 edges, 18264 markings/sec, 95 secs
lola: 1932774 markings, 2339282 edges, 18179 markings/sec, 100 secs
lola: 2023447 markings, 2449637 edges, 18135 markings/sec, 105 secs
lola: 2114316 markings, 2560187 edges, 18174 markings/sec, 110 secs
lola: 2205079 markings, 2671375 edges, 18153 markings/sec, 115 secs
lola: 2295711 markings, 2782280 edges, 18126 markings/sec, 120 secs
lola: 2386714 markings, 2892872 edges, 18201 markings/sec, 125 secs
lola: 2477034 markings, 3001918 edges, 18064 markings/sec, 130 secs
lola: 2567722 markings, 3112601 edges, 18138 markings/sec, 135 secs
lola: 2658513 markings, 3222957 edges, 18158 markings/sec, 140 secs
lola: 2748790 markings, 3334159 edges, 18055 markings/sec, 145 secs
lola: 2839142 markings, 3445081 edges, 18070 markings/sec, 150 secs
lola: 2929834 markings, 3556583 edges, 18138 markings/sec, 155 secs
lola: 3020255 markings, 3667399 edges, 18084 markings/sec, 160 secs
lola: 3110686 markings, 3777386 edges, 18086 markings/sec, 165 secs
lola: 3200741 markings, 3887574 edges, 18011 markings/sec, 170 secs
lola: 3291373 markings, 3998338 edges, 18126 markings/sec, 175 secs
lola: 3381826 markings, 4110105 edges, 18091 markings/sec, 180 secs
lola: 3472462 markings, 4221617 edges, 18127 markings/sec, 185 secs
lola: 3562502 markings, 4331872 edges, 18008 markings/sec, 190 secs
lola: 3652853 markings, 4442516 edges, 18070 markings/sec, 195 secs
lola: 3742919 markings, 4552364 edges, 18013 markings/sec, 200 secs
lola: 3829822 markings, 4658904 edges, 17381 markings/sec, 205 secs
lola: 3918118 markings, 4767391 edges, 17659 markings/sec, 210 secs
lola: 4008220 markings, 4877020 edges, 18020 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: 95369 markings, 113371 edges, 19074 markings/sec, 0 secs
lola: 188599 markings, 231562 edges, 18646 markings/sec, 5 secs
lola: 281021 markings, 350137 edges, 18484 markings/sec, 10 secs
lola: 372503 markings, 467209 edges, 18296 markings/sec, 15 secs
lola: 464069 markings, 584381 edges, 18313 markings/sec, 20 secs
lola: 555281 markings, 702523 edges, 18242 markings/sec, 25 secs
lola: 646668 markings, 821210 edges, 18277 markings/sec, 30 secs
lola: 737611 markings, 940688 edges, 18189 markings/sec, 35 secs
lola: 829068 markings, 1059972 edges, 18291 markings/sec, 40 secs
lola: 920258 markings, 1179056 edges, 18238 markings/sec, 45 secs
lola: 1011039 markings, 1298640 edges, 18156 markings/sec, 50 secs
lola: 1101766 markings, 1419341 edges, 18145 markings/sec, 55 secs
lola: 1192519 markings, 1539166 edges, 18151 markings/sec, 60 secs
lola: 1282386 markings, 1662226 edges, 17973 markings/sec, 65 secs
lola: 1371604 markings, 1784809 edges, 17844 markings/sec, 70 secs
lola: 1461348 markings, 1905217 edges, 17949 markings/sec, 75 secs
lola: 1551167 markings, 2026027 edges, 17964 markings/sec, 80 secs
lola: 1640658 markings, 2145960 edges, 17898 markings/sec, 85 secs
lola: 1729425 markings, 2267250 edges, 17753 markings/sec, 90 secs
lola: 1818555 markings, 2388484 edges, 17826 markings/sec, 95 secs
lola: 1907602 markings, 2511755 edges, 17809 markings/sec, 100 secs
lola: 1996468 markings, 2633841 edges, 17773 markings/sec, 105 secs
lola: 2085870 markings, 2754137 edges, 17880 markings/sec, 110 secs
lola: 2174947 markings, 2874230 edges, 17815 markings/sec, 115 secs
lola: 2263713 markings, 2996056 edges, 17753 markings/sec, 120 secs
lola: 2352427 markings, 3114165 edges, 17743 markings/sec, 125 secs
lola: 2438251 markings, 3227841 edges, 17165 markings/sec, 130 secs
lola: 2526717 markings, 3347412 edges, 17693 markings/sec, 135 secs
lola: 2615248 markings, 3470390 edges, 17706 markings/sec, 140 secs
lola: 2704160 markings, 3592795 edges, 17782 markings/sec, 145 secs
lola: 2792697 markings, 3715339 edges, 17707 markings/sec, 150 secs
lola: 2881610 markings, 3833390 edges, 17783 markings/sec, 155 secs
lola: 2970422 markings, 3954143 edges, 17762 markings/sec, 160 secs
lola: 3059667 markings, 4072582 edges, 17849 markings/sec, 165 secs
lola: 3147993 markings, 4194896 edges, 17665 markings/sec, 170 secs
lola: 3236447 markings, 4313362 edges, 17691 markings/sec, 175 secs
lola: 3324244 markings, 4430013 edges, 17559 markings/sec, 180 secs
lola: 3413516 markings, 4548593 edges, 17854 markings/sec, 185 secs
lola: 3501523 markings, 4671022 edges, 17601 markings/sec, 190 secs
lola: 3589756 markings, 4793567 edges, 17647 markings/sec, 195 secs
lola: 3677807 markings, 4915503 edges, 17610 markings/sec, 200 secs
lola: 3764943 markings, 5033676 edges, 17427 markings/sec, 205 secs
lola: 3852652 markings, 5156326 edges, 17542 markings/sec, 210 secs
lola: 3940359 markings, 5276634 edges, 17541 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: 80655 markings, 94349 edges, 16131 markings/sec, 0 secs
lola: 160120 markings, 188952 edges, 15893 markings/sec, 5 secs
lola: 239463 markings, 284043 edges, 15869 markings/sec, 10 secs
lola: 318523 markings, 379571 edges, 15812 markings/sec, 15 secs
lola: 397221 markings, 475710 edges, 15740 markings/sec, 20 secs
lola: 475451 markings, 571325 edges, 15646 markings/sec, 25 secs
lola: 553851 markings, 666538 edges, 15680 markings/sec, 30 secs
lola: 632273 markings, 760907 edges, 15684 markings/sec, 35 secs
lola: 710616 markings, 856413 edges, 15669 markings/sec, 40 secs
lola: 788708 markings, 951081 edges, 15618 markings/sec, 45 secs
lola: 866596 markings, 1046776 edges, 15578 markings/sec, 50 secs
lola: 944559 markings, 1141747 edges, 15593 markings/sec, 55 secs
lola: 1022284 markings, 1237041 edges, 15545 markings/sec, 60 secs
lola: 1100044 markings, 1332543 edges, 15552 markings/sec, 65 secs
lola: 1177661 markings, 1428322 edges, 15523 markings/sec, 70 secs
lola: 1255389 markings, 1524675 edges, 15546 markings/sec, 75 secs
lola: 1332463 markings, 1620710 edges, 15415 markings/sec, 80 secs
lola: 1409709 markings, 1715859 edges, 15449 markings/sec, 85 secs
lola: 1485613 markings, 1810606 edges, 15181 markings/sec, 90 secs
lola: 1559805 markings, 1902807 edges, 14838 markings/sec, 95 secs
lola: 1633914 markings, 1995498 edges, 14822 markings/sec, 100 secs
lola: 1710239 markings, 2088894 edges, 15265 markings/sec, 105 secs
lola: 1787190 markings, 2183548 edges, 15390 markings/sec, 110 secs
lola: 1864021 markings, 2278350 edges, 15366 markings/sec, 115 secs
lola: 1941119 markings, 2373267 edges, 15420 markings/sec, 120 secs
lola: 2018036 markings, 2467883 edges, 15383 markings/sec, 125 secs
lola: 2095140 markings, 2564297 edges, 15421 markings/sec, 130 secs
lola: 2172282 markings, 2659567 edges, 15428 markings/sec, 135 secs
lola: 2249153 markings, 2754827 edges, 15374 markings/sec, 140 secs
lola: 2326020 markings, 2848717 edges, 15373 markings/sec, 145 secs
lola: 2401287 markings, 2943145 edges, 15053 markings/sec, 150 secs
lola: 2478437 markings, 3038229 edges, 15430 markings/sec, 155 secs
lola: 2555562 markings, 3132139 edges, 15425 markings/sec, 160 secs
lola: 2632594 markings, 3227617 edges, 15406 markings/sec, 165 secs
lola: 2709894 markings, 3323272 edges, 15460 markings/sec, 170 secs
lola: 2785791 markings, 3416910 edges, 15179 markings/sec, 175 secs
lola: 2859208 markings, 3508130 edges, 14683 markings/sec, 180 secs
lola: 2933510 markings, 3600194 edges, 14860 markings/sec, 185 secs
lola: 3006719 markings, 3691440 edges, 14642 markings/sec, 190 secs
lola: 3083221 markings, 3785708 edges, 15300 markings/sec, 195 secs
lola: 3159122 markings, 3878974 edges, 15180 markings/sec, 200 secs
lola: 3236111 markings, 3974377 edges, 15398 markings/sec, 205 secs
lola: 3313595 markings, 4068903 edges, 15497 markings/sec, 210 secs
lola: 3388861 markings, 4161935 edges, 15053 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(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: 102980 markings, 116250 edges, 20596 markings/sec, 0 secs
lola: 202591 markings, 230632 edges, 19922 markings/sec, 5 secs
lola: 300893 markings, 344060 edges, 19660 markings/sec, 10 secs
lola: 398106 markings, 458066 edges, 19443 markings/sec, 15 secs
lola: 495462 markings, 571475 edges, 19471 markings/sec, 20 secs
lola: 592244 markings, 685322 edges, 19356 markings/sec, 25 secs
lola: 689438 markings, 798709 edges, 19439 markings/sec, 30 secs
lola: 785910 markings, 911668 edges, 19294 markings/sec, 35 secs
lola: 882491 markings, 1025572 edges, 19316 markings/sec, 40 secs
lola: 978862 markings, 1138203 edges, 19274 markings/sec, 45 secs
lola: 1075523 markings, 1252013 edges, 19332 markings/sec, 50 secs
lola: 1171958 markings, 1365470 edges, 19287 markings/sec, 55 secs
lola: 1268274 markings, 1479573 edges, 19263 markings/sec, 60 secs
lola: 1364812 markings, 1593141 edges, 19308 markings/sec, 65 secs
lola: 1460483 markings, 1705234 edges, 19134 markings/sec, 70 secs
lola: 1556529 markings, 1818347 edges, 19209 markings/sec, 75 secs
lola: 1652201 markings, 1931037 edges, 19134 markings/sec, 80 secs
lola: 1747942 markings, 2043481 edges, 19148 markings/sec, 85 secs
lola: 1843982 markings, 2157801 edges, 19208 markings/sec, 90 secs
lola: 1939483 markings, 2270790 edges, 19100 markings/sec, 95 secs
lola: 2034823 markings, 2383445 edges, 19068 markings/sec, 100 secs
lola: 2130160 markings, 2496169 edges, 19067 markings/sec, 105 secs
lola: 2225938 markings, 2609515 edges, 19156 markings/sec, 110 secs
lola: 2321443 markings, 2722844 edges, 19101 markings/sec, 115 secs
lola: 2416163 markings, 2835624 edges, 18944 markings/sec, 120 secs
lola: 2511170 markings, 2947521 edges, 19001 markings/sec, 125 secs
lola: 2606060 markings, 3060187 edges, 18978 markings/sec, 130 secs
lola: 2700995 markings, 3172376 edges, 18987 markings/sec, 135 secs
lola: 2796259 markings, 3284902 edges, 19053 markings/sec, 140 secs
lola: 2891307 markings, 3397254 edges, 19010 markings/sec, 145 secs
lola: 2985920 markings, 3510285 edges, 18923 markings/sec, 150 secs
lola: 3081159 markings, 3623162 edges, 19048 markings/sec, 155 secs
lola: 3175989 markings, 3736002 edges, 18966 markings/sec, 160 secs
lola: 3270821 markings, 3848766 edges, 18966 markings/sec, 165 secs
lola: 3365871 markings, 3961200 edges, 19010 markings/sec, 170 secs
lola: 3460753 markings, 4072990 edges, 18976 markings/sec, 175 secs
lola: 3555266 markings, 4185170 edges, 18903 markings/sec, 180 secs
lola: 3649841 markings, 4296762 edges, 18915 markings/sec, 185 secs
lola: 3745039 markings, 4409195 edges, 19040 markings/sec, 190 secs
lola: 3839591 markings, 4521751 edges, 18910 markings/sec, 195 secs
lola: 3934839 markings, 4634574 edges, 19050 markings/sec, 200 secs
lola: 4029866 markings, 4746836 edges, 19005 markings/sec, 205 secs
lola: 4125148 markings, 4858543 edges, 19056 markings/sec, 210 secs
lola: 4220445 markings, 4970837 edges, 19059 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: 87980 markings, 103991 edges, 17596 markings/sec, 0 secs
lola: 175201 markings, 208455 edges, 17444 markings/sec, 5 secs
lola: 261907 markings, 312577 edges, 17341 markings/sec, 10 secs
lola: 347951 markings, 415711 edges, 17209 markings/sec, 15 secs
lola: 435246 markings, 520816 edges, 17459 markings/sec, 20 secs
lola: 525126 markings, 629319 edges, 17976 markings/sec, 25 secs
lola: 614725 markings, 738108 edges, 17920 markings/sec, 30 secs
lola: 704330 markings, 846857 edges, 17921 markings/sec, 35 secs
lola: 793702 markings, 954752 edges, 17874 markings/sec, 40 secs
lola: 882877 markings, 1062019 edges, 17835 markings/sec, 45 secs
lola: 972251 markings, 1171237 edges, 17875 markings/sec, 50 secs
lola: 1060547 markings, 1278573 edges, 17659 markings/sec, 55 secs
lola: 1149118 markings, 1386122 edges, 17714 markings/sec, 60 secs
lola: 1237901 markings, 1493601 edges, 17757 markings/sec, 65 secs
lola: 1326824 markings, 1601797 edges, 17785 markings/sec, 70 secs
lola: 1415670 markings, 1710185 edges, 17769 markings/sec, 75 secs
lola: 1504531 markings, 1817377 edges, 17772 markings/sec, 80 secs
lola: 1593440 markings, 1925901 edges, 17782 markings/sec, 85 secs
lola: 1681971 markings, 2033241 edges, 17706 markings/sec, 90 secs
lola: 1770701 markings, 2141262 edges, 17746 markings/sec, 95 secs
lola: 1859254 markings, 2248967 edges, 17711 markings/sec, 100 secs
lola: 1947654 markings, 2356673 edges, 17680 markings/sec, 105 secs
lola: 2036268 markings, 2466658 edges, 17723 markings/sec, 110 secs
lola: 2124433 markings, 2574698 edges, 17633 markings/sec, 115 secs
lola: 2212648 markings, 2681990 edges, 17643 markings/sec, 120 secs
lola: 2300982 markings, 2789095 edges, 17667 markings/sec, 125 secs
lola: 2388755 markings, 2896849 edges, 17555 markings/sec, 130 secs
lola: 2476738 markings, 3004594 edges, 17597 markings/sec, 135 secs
lola: 2564831 markings, 3111989 edges, 17619 markings/sec, 140 secs
lola: 2652744 markings, 3219451 edges, 17583 markings/sec, 145 secs
lola: 2740874 markings, 3328464 edges, 17626 markings/sec, 150 secs
lola: 2829079 markings, 3436607 edges, 17641 markings/sec, 155 secs
lola: 2917059 markings, 3544733 edges, 17596 markings/sec, 160 secs
lola: 3005125 markings, 3652478 edges, 17613 markings/sec, 165 secs
lola: 3093192 markings, 3760056 edges, 17613 markings/sec, 170 secs
lola: 3181197 markings, 3866981 edges, 17601 markings/sec, 175 secs
lola: 3269431 markings, 3974513 edges, 17647 markings/sec, 180 secs
lola: 3357198 markings, 4082237 edges, 17553 markings/sec, 185 secs
lola: 3444949 markings, 4189698 edges, 17550 markings/sec, 190 secs
lola: 3532816 markings, 4298123 edges, 17573 markings/sec, 195 secs
lola: 3620499 markings, 4405251 edges, 17537 markings/sec, 200 secs
lola: 3708625 markings, 4512169 edges, 17625 markings/sec, 205 secs
lola: 3796054 markings, 4619202 edges, 17486 markings/sec, 210 secs
lola: 3883750 markings, 4726651 edges, 17539 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1496450805425

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBLF-PT-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/S_PolyORBLF-PT-S02J06T08.tgz
mv S_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 S_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 r128-smll-149441681600434"
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 ;