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

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

=== Now, execution of the tool begins

BK_START 1496501694011


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J06T06: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S06J06T06 @ 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: 11440/65536 symbol table entries, 6628 collisions
lola: preprocessing...
lola: finding significant places
lola: 700 places, 10740 transitions, 642 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3155 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T06-UpperBounds.task
lola: MAX(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_5_3 + DisablePollingB_5_4 + DisablePollingB_5_5 + DisablePollingB_5_6 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_6_3 + DisablePollingB_6_4 + DisablePollingB_6_5 + DisablePollingB_6_6 + DisablePollingB_4_5 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_1_3 + DisablePollingB_1_4 + DisablePollingB_1_5 + DisablePollingB_1_6 + DisablePollingB_3_6 + DisablePollingB_3_5 + DisablePollingB_3_4 + DisablePollingB_3_3 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_2_1 + DisablePollingB_2_2 + DisablePollingB_2_3 + DisablePollingB_2_4 + DisablePollingB_2_5 + DisablePollingB_2_6 + DisablePollingB_4_6) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6) : MAX(P_1097) : MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6) : MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6) : MAX(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6) : MAX(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6) : MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6) : MAX(cBlockedTasks) : MAX(RunE_1 + RunE_2 + RunE_3 + RunE_4 + RunE_5 + RunE_6) : MAX(NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6) : MAX(cJobCnt) : MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_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(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_5_3 + DisablePollingB_5_4 + DisablePollingB_5_5 + DisablePollingB_5_6 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_6_3 + DisablePollingB_6_4 + DisablePollingB_6_5 + DisablePollingB_6_6 + DisablePollingB_4_5 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 5242 markings, 15172 edges, 1048 markings/sec, 0 secs
lola: 10349 markings, 33119 edges, 1021 markings/sec, 5 secs
lola: 15461 markings, 50615 edges, 1022 markings/sec, 10 secs
lola: 20564 markings, 68048 edges, 1021 markings/sec, 15 secs
lola: 25645 markings, 85988 edges, 1016 markings/sec, 20 secs
lola: 30735 markings, 103792 edges, 1018 markings/sec, 25 secs
lola: 35844 markings, 121255 edges, 1022 markings/sec, 30 secs
lola: 40961 markings, 138664 edges, 1023 markings/sec, 35 secs
lola: 46050 markings, 156429 edges, 1018 markings/sec, 40 secs
lola: 51234 markings, 171047 edges, 1037 markings/sec, 45 secs
lola: 56470 markings, 184059 edges, 1047 markings/sec, 50 secs
lola: 61668 markings, 198123 edges, 1040 markings/sec, 55 secs
lola: 66883 markings, 211741 edges, 1043 markings/sec, 60 secs
lola: 72130 markings, 224225 edges, 1049 markings/sec, 65 secs
lola: 77272 markings, 240893 edges, 1028 markings/sec, 70 secs
lola: 82437 markings, 256222 edges, 1033 markings/sec, 75 secs
lola: 87736 markings, 267000 edges, 1060 markings/sec, 80 secs
lola: 92984 markings, 279604 edges, 1050 markings/sec, 85 secs
lola: 98197 markings, 293357 edges, 1043 markings/sec, 90 secs
lola: 103475 markings, 304424 edges, 1056 markings/sec, 95 secs
lola: 108749 markings, 315879 edges, 1055 markings/sec, 100 secs
lola: 113948 markings, 331525 edges, 1040 markings/sec, 105 secs
lola: 119072 markings, 349232 edges, 1025 markings/sec, 110 secs
lola: 124129 markings, 366385 edges, 1011 markings/sec, 115 secs
lola: 128948 markings, 383030 edges, 964 markings/sec, 120 secs
lola: 133813 markings, 399152 edges, 973 markings/sec, 125 secs
lola: 138653 markings, 415205 edges, 968 markings/sec, 130 secs
lola: 143620 markings, 426364 edges, 993 markings/sec, 135 secs
lola: 148527 markings, 439543 edges, 981 markings/sec, 140 secs
lola: 153458 markings, 451995 edges, 986 markings/sec, 145 secs
lola: 158422 markings, 463642 edges, 993 markings/sec, 150 secs
lola: 163340 markings, 476862 edges, 984 markings/sec, 155 secs
lola: 168265 markings, 489948 edges, 985 markings/sec, 160 secs
lola: 173197 markings, 504784 edges, 986 markings/sec, 165 secs
lola: 178014 markings, 521619 edges, 963 markings/sec, 170 secs
lola: 182909 markings, 536140 edges, 979 markings/sec, 175 secs
lola: 187822 markings, 550606 edges, 983 markings/sec, 180 secs
lola: 192681 markings, 567149 edges, 972 markings/sec, 185 secs
lola: 197618 markings, 580823 edges, 987 markings/sec, 190 secs
lola: 202561 markings, 594613 edges, 989 markings/sec, 195 secs
lola: 207478 markings, 610523 edges, 983 markings/sec, 200 secs
lola: 212337 markings, 625212 edges, 972 markings/sec, 205 secs
lola: 217291 markings, 640358 edges, 991 markings/sec, 210 secs
lola: 222279 markings, 655455 edges, 998 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(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 9926 markings, 10200 edges, 1985 markings/sec, 0 secs
lola: 20618 markings, 21250 edges, 2138 markings/sec, 5 secs
lola: 30651 markings, 31686 edges, 2007 markings/sec, 10 secs
lola: 41915 markings, 43492 edges, 2253 markings/sec, 15 secs
lola: 53299 markings, 55402 edges, 2277 markings/sec, 20 secs
lola: 63883 markings, 66417 edges, 2117 markings/sec, 25 secs
lola: 75216 markings, 78285 edges, 2267 markings/sec, 30 secs
lola: 86027 markings, 89620 edges, 2162 markings/sec, 35 secs
lola: 96281 markings, 100297 edges, 2051 markings/sec, 40 secs
lola: 106817 markings, 111338 edges, 2107 markings/sec, 45 secs
lola: 117106 markings, 122100 edges, 2058 markings/sec, 50 secs
lola: 127092 markings, 132484 edges, 1997 markings/sec, 55 secs
lola: 138112 markings, 144153 edges, 2204 markings/sec, 60 secs
lola: 148979 markings, 155765 edges, 2173 markings/sec, 65 secs
lola: 158691 markings, 166049 edges, 1942 markings/sec, 70 secs
lola: 168364 markings, 176190 edges, 1935 markings/sec, 75 secs
lola: 178340 markings, 186663 edges, 1995 markings/sec, 80 secs
lola: 188282 markings, 197019 edges, 1988 markings/sec, 85 secs
lola: 198110 markings, 207331 edges, 1966 markings/sec, 90 secs
lola: 207855 markings, 217791 edges, 1949 markings/sec, 95 secs
lola: 218069 markings, 228533 edges, 2043 markings/sec, 100 secs
lola: 228697 markings, 239594 edges, 2126 markings/sec, 105 secs
lola: 239697 markings, 251029 edges, 2200 markings/sec, 110 secs
lola: 249765 markings, 261572 edges, 2014 markings/sec, 115 secs
lola: 260668 markings, 273005 edges, 2181 markings/sec, 120 secs
lola: 270810 markings, 283485 edges, 2028 markings/sec, 125 secs
lola: 280729 markings, 294021 edges, 1984 markings/sec, 130 secs
lola: 291030 markings, 304796 edges, 2060 markings/sec, 135 secs
lola: 300586 markings, 314929 edges, 1911 markings/sec, 140 secs
lola: 309719 markings, 324475 edges, 1827 markings/sec, 145 secs
lola: 319086 markings, 334225 edges, 1873 markings/sec, 150 secs
lola: 329280 markings, 344770 edges, 2039 markings/sec, 155 secs
lola: 339270 markings, 355318 edges, 1998 markings/sec, 160 secs
lola: 349619 markings, 366095 edges, 2070 markings/sec, 165 secs
lola: 360608 markings, 377470 edges, 2198 markings/sec, 170 secs
lola: 369612 markings, 386875 edges, 1801 markings/sec, 175 secs
lola: 379787 markings, 397628 edges, 2035 markings/sec, 180 secs
lola: 389894 markings, 408172 edges, 2021 markings/sec, 185 secs
lola: 400004 markings, 418903 edges, 2022 markings/sec, 190 secs
lola: 409648 markings, 429042 edges, 1929 markings/sec, 195 secs
lola: 419603 markings, 439329 edges, 1991 markings/sec, 200 secs
lola: 429871 markings, 449954 edges, 2054 markings/sec, 205 secs
lola: 439695 markings, 460260 edges, 1965 markings/sec, 210 secs
lola: 450868 markings, 472075 edges, 2235 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(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 9882 markings, 10175 edges, 1976 markings/sec, 0 secs
lola: 20525 markings, 21255 edges, 2129 markings/sec, 5 secs
lola: 30963 markings, 32102 edges, 2088 markings/sec, 10 secs
lola: 41604 markings, 43175 edges, 2128 markings/sec, 15 secs
lola: 52493 markings, 54439 edges, 2178 markings/sec, 20 secs
lola: 61283 markings, 63510 edges, 1758 markings/sec, 25 secs
lola: 71052 markings, 73537 edges, 1954 markings/sec, 30 secs
lola: 80922 markings, 83785 edges, 1974 markings/sec, 35 secs
lola: 91298 markings, 94508 edges, 2075 markings/sec, 40 secs
lola: 100789 markings, 104365 edges, 1898 markings/sec, 45 secs
lola: 110949 markings, 114878 edges, 2032 markings/sec, 50 secs
lola: 121577 markings, 126045 edges, 2126 markings/sec, 55 secs
lola: 131650 markings, 136568 edges, 2015 markings/sec, 60 secs
lola: 142109 markings, 147556 edges, 2092 markings/sec, 65 secs
lola: 152798 markings, 158778 edges, 2138 markings/sec, 70 secs
lola: 163321 markings, 169864 edges, 2105 markings/sec, 75 secs
lola: 172526 markings, 179620 edges, 1841 markings/sec, 80 secs
lola: 182794 markings, 190387 edges, 2054 markings/sec, 85 secs
lola: 192986 markings, 201038 edges, 2038 markings/sec, 90 secs
lola: 203968 markings, 212418 edges, 2196 markings/sec, 95 secs
lola: 213687 markings, 222534 edges, 1944 markings/sec, 100 secs
lola: 223568 markings, 232831 edges, 1976 markings/sec, 105 secs
lola: 234279 markings, 243962 edges, 2142 markings/sec, 110 secs
lola: 243118 markings, 253150 edges, 1768 markings/sec, 115 secs
lola: 253043 markings, 263590 edges, 1985 markings/sec, 120 secs
lola: 262435 markings, 273412 edges, 1878 markings/sec, 125 secs
lola: 272934 markings, 284451 edges, 2100 markings/sec, 130 secs
lola: 282141 markings, 293968 edges, 1841 markings/sec, 135 secs
lola: 292257 markings, 304498 edges, 2023 markings/sec, 140 secs
lola: 302000 markings, 314700 edges, 1949 markings/sec, 145 secs
lola: 313491 markings, 326690 edges, 2298 markings/sec, 150 secs
lola: 323728 markings, 337499 edges, 2047 markings/sec, 155 secs
lola: 332699 markings, 346906 edges, 1794 markings/sec, 160 secs
lola: 343141 markings, 357772 edges, 2088 markings/sec, 165 secs
lola: 353907 markings, 369055 edges, 2153 markings/sec, 170 secs
lola: 364024 markings, 379650 edges, 2023 markings/sec, 175 secs
lola: 374219 markings, 390300 edges, 2039 markings/sec, 180 secs
lola: 384677 markings, 401357 edges, 2092 markings/sec, 185 secs
lola: 395273 markings, 412453 edges, 2119 markings/sec, 190 secs
lola: 405893 markings, 423624 edges, 2124 markings/sec, 195 secs
lola: 416190 markings, 434579 edges, 2059 markings/sec, 200 secs
lola: 425410 markings, 444202 edges, 1844 markings/sec, 205 secs
lola: 435438 markings, 454579 edges, 2006 markings/sec, 210 secs
lola: 446143 markings, 465710 edges, 2141 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(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7284 markings, 7525 edges, 1457 markings/sec, 0 secs
lola: 14621 markings, 15188 edges, 1467 markings/sec, 5 secs
lola: 21872 markings, 22748 edges, 1450 markings/sec, 10 secs
lola: 29164 markings, 30256 edges, 1458 markings/sec, 15 secs
lola: 36405 markings, 37668 edges, 1448 markings/sec, 20 secs
lola: 43661 markings, 45110 edges, 1451 markings/sec, 25 secs
lola: 50933 markings, 52599 edges, 1454 markings/sec, 30 secs
lola: 58200 markings, 60120 edges, 1453 markings/sec, 35 secs
lola: 65430 markings, 67538 edges, 1446 markings/sec, 40 secs
lola: 72615 markings, 74984 edges, 1437 markings/sec, 45 secs
lola: 79827 markings, 82511 edges, 1442 markings/sec, 50 secs
lola: 87084 markings, 90078 edges, 1451 markings/sec, 55 secs
lola: 94320 markings, 97673 edges, 1447 markings/sec, 60 secs
lola: 101455 markings, 105279 edges, 1427 markings/sec, 65 secs
lola: 108713 markings, 112991 edges, 1452 markings/sec, 70 secs
lola: 116053 markings, 120591 edges, 1468 markings/sec, 75 secs
lola: 123307 markings, 128107 edges, 1451 markings/sec, 80 secs
lola: 130583 markings, 135726 edges, 1455 markings/sec, 85 secs
lola: 137868 markings, 143375 edges, 1457 markings/sec, 90 secs
lola: 145224 markings, 151082 edges, 1471 markings/sec, 95 secs
lola: 152524 markings, 158727 edges, 1460 markings/sec, 100 secs
lola: 159878 markings, 166390 edges, 1471 markings/sec, 105 secs
lola: 167170 markings, 173882 edges, 1458 markings/sec, 110 secs
lola: 174484 markings, 181482 edges, 1463 markings/sec, 115 secs
lola: 181835 markings, 189080 edges, 1470 markings/sec, 120 secs
lola: 189117 markings, 196607 edges, 1456 markings/sec, 125 secs
lola: 196358 markings, 204106 edges, 1448 markings/sec, 130 secs
lola: 203615 markings, 211574 edges, 1451 markings/sec, 135 secs
lola: 210888 markings, 219129 edges, 1455 markings/sec, 140 secs
lola: 218259 markings, 226699 edges, 1474 markings/sec, 145 secs
lola: 225455 markings, 234096 edges, 1439 markings/sec, 150 secs
lola: 232703 markings, 241641 edges, 1450 markings/sec, 155 secs
lola: 240009 markings, 249421 edges, 1461 markings/sec, 160 secs
lola: 247319 markings, 257105 edges, 1462 markings/sec, 165 secs
lola: 254533 markings, 264603 edges, 1443 markings/sec, 170 secs
lola: 261823 markings, 272112 edges, 1458 markings/sec, 175 secs
lola: 269117 markings, 279684 edges, 1459 markings/sec, 180 secs
lola: 276372 markings, 287176 edges, 1451 markings/sec, 185 secs
lola: 283618 markings, 294689 edges, 1449 markings/sec, 190 secs
lola: 290883 markings, 302312 edges, 1453 markings/sec, 195 secs
lola: 298192 markings, 309976 edges, 1462 markings/sec, 200 secs
lola: 305447 markings, 317484 edges, 1451 markings/sec, 205 secs
lola: 312716 markings, 325118 edges, 1454 markings/sec, 210 secs
lola: 320029 markings, 332739 edges, 1463 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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7228 markings, 8112 edges, 1446 markings/sec, 0 secs
lola: 14328 markings, 17425 edges, 1420 markings/sec, 5 secs
lola: 21329 markings, 28563 edges, 1400 markings/sec, 10 secs
lola: 28591 markings, 37189 edges, 1452 markings/sec, 15 secs
lola: 35679 markings, 47436 edges, 1418 markings/sec, 20 secs
lola: 42724 markings, 57394 edges, 1409 markings/sec, 25 secs
lola: 49870 markings, 66699 edges, 1429 markings/sec, 30 secs
lola: 56912 markings, 76839 edges, 1408 markings/sec, 35 secs
lola: 63943 markings, 87206 edges, 1406 markings/sec, 40 secs
lola: 71092 markings, 96327 edges, 1430 markings/sec, 45 secs
lola: 78081 markings, 106447 edges, 1398 markings/sec, 50 secs
lola: 85218 markings, 116276 edges, 1427 markings/sec, 55 secs
lola: 92400 markings, 124553 edges, 1436 markings/sec, 60 secs
lola: 99473 markings, 134803 edges, 1415 markings/sec, 65 secs
lola: 106459 markings, 145324 edges, 1397 markings/sec, 70 secs
lola: 113580 markings, 153599 edges, 1424 markings/sec, 75 secs
lola: 120646 markings, 164257 edges, 1413 markings/sec, 80 secs
lola: 127800 markings, 174401 edges, 1431 markings/sec, 85 secs
lola: 135061 markings, 182746 edges, 1452 markings/sec, 90 secs
lola: 142122 markings, 192888 edges, 1412 markings/sec, 95 secs
lola: 149155 markings, 203153 edges, 1407 markings/sec, 100 secs
lola: 156309 markings, 212460 edges, 1431 markings/sec, 105 secs
lola: 163340 markings, 222615 edges, 1406 markings/sec, 110 secs
lola: 170423 markings, 232695 edges, 1417 markings/sec, 115 secs
lola: 177516 markings, 242230 edges, 1419 markings/sec, 120 secs
lola: 184548 markings, 252331 edges, 1406 markings/sec, 125 secs
lola: 191375 markings, 261488 edges, 1365 markings/sec, 130 secs
lola: 198169 markings, 270996 edges, 1359 markings/sec, 135 secs
lola: 204891 markings, 280413 edges, 1344 markings/sec, 140 secs
lola: 211603 markings, 289482 edges, 1342 markings/sec, 145 secs
lola: 218305 markings, 299257 edges, 1340 markings/sec, 150 secs
lola: 225077 markings, 308565 edges, 1354 markings/sec, 155 secs
lola: 232179 markings, 317466 edges, 1420 markings/sec, 160 secs
lola: 239337 markings, 326583 edges, 1432 markings/sec, 165 secs
lola: 246369 markings, 336759 edges, 1406 markings/sec, 170 secs
lola: 253486 markings, 346661 edges, 1423 markings/sec, 175 secs
lola: 260578 markings, 356277 edges, 1418 markings/sec, 180 secs
lola: 267618 markings, 366307 edges, 1408 markings/sec, 185 secs
lola: 274736 markings, 375794 edges, 1424 markings/sec, 190 secs
lola: 281816 markings, 386032 edges, 1416 markings/sec, 195 secs
lola: 288856 markings, 395851 edges, 1408 markings/sec, 200 secs
lola: 295924 markings, 406184 edges, 1414 markings/sec, 205 secs
lola: 303025 markings, 415817 edges, 1420 markings/sec, 210 secs
lola: 310116 markings, 425731 edges, 1418 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(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 5063 markings, 17065 edges, 1013 markings/sec, 0 secs
lola: 10090 markings, 32701 edges, 1005 markings/sec, 5 secs
lola: 15113 markings, 47278 edges, 1005 markings/sec, 10 secs
lola: 20141 markings, 63392 edges, 1006 markings/sec, 15 secs
lola: 25173 markings, 77312 edges, 1006 markings/sec, 20 secs
lola: 30211 markings, 90734 edges, 1008 markings/sec, 25 secs
lola: 35392 markings, 103919 edges, 1036 markings/sec, 30 secs
lola: 40414 markings, 122023 edges, 1004 markings/sec, 35 secs
lola: 45448 markings, 139970 edges, 1007 markings/sec, 40 secs
lola: 50471 markings, 157311 edges, 1005 markings/sec, 45 secs
lola: 55493 markings, 174510 edges, 1004 markings/sec, 50 secs
lola: 60520 markings, 191784 edges, 1005 markings/sec, 55 secs
lola: 65576 markings, 208856 edges, 1011 markings/sec, 60 secs
lola: 70597 markings, 226551 edges, 1004 markings/sec, 65 secs
lola: 75629 markings, 243149 edges, 1006 markings/sec, 70 secs
lola: 80677 markings, 255777 edges, 1010 markings/sec, 75 secs
lola: 85708 markings, 268455 edges, 1006 markings/sec, 80 secs
lola: 90743 markings, 282027 edges, 1007 markings/sec, 85 secs
lola: 95779 markings, 295302 edges, 1007 markings/sec, 90 secs
lola: 100839 markings, 307073 edges, 1012 markings/sec, 95 secs
lola: 105893 markings, 323279 edges, 1011 markings/sec, 100 secs
lola: 110942 markings, 337012 edges, 1010 markings/sec, 105 secs
lola: 116010 markings, 346237 edges, 1014 markings/sec, 110 secs
lola: 121090 markings, 356488 edges, 1016 markings/sec, 115 secs
lola: 126190 markings, 366721 edges, 1020 markings/sec, 120 secs
lola: 131285 markings, 377835 edges, 1019 markings/sec, 125 secs
lola: 136380 markings, 388373 edges, 1019 markings/sec, 130 secs
lola: 141044 markings, 401352 edges, 933 markings/sec, 135 secs
lola: 146061 markings, 419553 edges, 1003 markings/sec, 140 secs
lola: 151086 markings, 437659 edges, 1005 markings/sec, 145 secs
lola: 156017 markings, 454732 edges, 986 markings/sec, 150 secs
lola: 161073 markings, 472296 edges, 1011 markings/sec, 155 secs
lola: 166134 markings, 490109 edges, 1012 markings/sec, 160 secs
lola: 171240 markings, 505024 edges, 1021 markings/sec, 165 secs
lola: 176323 markings, 516189 edges, 1017 markings/sec, 170 secs
lola: 181395 markings, 528555 edges, 1014 markings/sec, 175 secs
lola: 186472 markings, 541485 edges, 1015 markings/sec, 180 secs
lola: 191543 markings, 553232 edges, 1014 markings/sec, 185 secs
lola: 196707 markings, 565394 edges, 1033 markings/sec, 190 secs
lola: 201872 markings, 578195 edges, 1033 markings/sec, 195 secs
lola: 206766 markings, 592288 edges, 979 markings/sec, 200 secs
lola: 211780 markings, 610110 edges, 1003 markings/sec, 205 secs
lola: 216799 markings, 626488 edges, 1004 markings/sec, 210 secs
lola: 221820 markings, 639484 edges, 1004 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(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7368 markings, 7514 edges, 1474 markings/sec, 0 secs
lola: 14535 markings, 16234 edges, 1433 markings/sec, 5 secs
lola: 19341 markings, 35638 edges, 961 markings/sec, 10 secs
lola: 24144 markings, 55111 edges, 961 markings/sec, 15 secs
lola: 29022 markings, 74768 edges, 976 markings/sec, 20 secs
lola: 33930 markings, 93789 edges, 982 markings/sec, 25 secs
lola: 38771 markings, 111385 edges, 968 markings/sec, 30 secs
lola: 43657 markings, 128043 edges, 977 markings/sec, 35 secs
lola: 48656 markings, 140595 edges, 1000 markings/sec, 40 secs
lola: 53583 markings, 157499 edges, 985 markings/sec, 45 secs
lola: 58526 markings, 173949 edges, 989 markings/sec, 50 secs
lola: 63177 markings, 189127 edges, 930 markings/sec, 55 secs
lola: 67936 markings, 204768 edges, 952 markings/sec, 60 secs
lola: 72750 markings, 223220 edges, 963 markings/sec, 65 secs
lola: 77699 markings, 240782 edges, 990 markings/sec, 70 secs
lola: 83504 markings, 255105 edges, 1161 markings/sec, 75 secs
lola: 90016 markings, 266688 edges, 1302 markings/sec, 80 secs
lola: 94684 markings, 285830 edges, 934 markings/sec, 85 secs
lola: 99519 markings, 305569 edges, 967 markings/sec, 90 secs
lola: 104263 markings, 324585 edges, 949 markings/sec, 95 secs
lola: 109014 markings, 342757 edges, 950 markings/sec, 100 secs
lola: 113867 markings, 362455 edges, 971 markings/sec, 105 secs
lola: 118797 markings, 376372 edges, 986 markings/sec, 110 secs
lola: 123897 markings, 385302 edges, 1020 markings/sec, 115 secs
lola: 129025 markings, 398008 edges, 1026 markings/sec, 120 secs
lola: 134191 markings, 408972 edges, 1033 markings/sec, 125 secs
lola: 139664 markings, 421471 edges, 1095 markings/sec, 130 secs
lola: 145992 markings, 434849 edges, 1266 markings/sec, 135 secs
lola: 150604 markings, 453673 edges, 922 markings/sec, 140 secs
lola: 155136 markings, 472117 edges, 906 markings/sec, 145 secs
lola: 159536 markings, 490007 edges, 880 markings/sec, 150 secs
lola: 163962 markings, 507468 edges, 885 markings/sec, 155 secs
lola: 168126 markings, 523422 edges, 833 markings/sec, 160 secs
lola: 172432 markings, 540416 edges, 861 markings/sec, 165 secs
lola: 176486 markings, 556514 edges, 811 markings/sec, 170 secs
lola: 180665 markings, 570615 edges, 836 markings/sec, 175 secs
lola: 185036 markings, 582974 edges, 874 markings/sec, 180 secs
lola: 189321 markings, 592162 edges, 857 markings/sec, 185 secs
lola: 193695 markings, 604536 edges, 875 markings/sec, 190 secs
lola: 197872 markings, 616484 edges, 835 markings/sec, 195 secs
lola: 202292 markings, 627194 edges, 884 markings/sec, 200 secs
lola: 206915 markings, 637765 edges, 925 markings/sec, 205 secs
lola: 211084 markings, 653820 edges, 834 markings/sec, 210 secs
lola: 215342 markings, 671198 edges, 852 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(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 11138 markings, 11163 edges, 2228 markings/sec, 0 secs
lola: 23137 markings, 23207 edges, 2400 markings/sec, 5 secs
lola: 33868 markings, 33969 edges, 2146 markings/sec, 10 secs
lola: 44657 markings, 44850 edges, 2158 markings/sec, 15 secs
lola: 55602 markings, 55880 edges, 2189 markings/sec, 20 secs
lola: 66347 markings, 66704 edges, 2149 markings/sec, 25 secs
lola: 77898 markings, 78291 edges, 2310 markings/sec, 30 secs
lola: 89012 markings, 89500 edges, 2223 markings/sec, 35 secs
lola: 99706 markings, 100244 edges, 2139 markings/sec, 40 secs
lola: 110847 markings, 111446 edges, 2228 markings/sec, 45 secs
lola: 122288 markings, 122936 edges, 2288 markings/sec, 50 secs
lola: 132617 markings, 133349 edges, 2066 markings/sec, 55 secs
lola: 142576 markings, 143460 edges, 1992 markings/sec, 60 secs
lola: 153477 markings, 154436 edges, 2180 markings/sec, 65 secs
lola: 163308 markings, 164425 edges, 1966 markings/sec, 70 secs
lola: 172698 markings, 173863 edges, 1878 markings/sec, 75 secs
lola: 182842 markings, 184032 edges, 2029 markings/sec, 80 secs
lola: 194182 markings, 195449 edges, 2268 markings/sec, 85 secs
lola: 205706 markings, 207010 edges, 2305 markings/sec, 90 secs
lola: 217275 markings, 218761 edges, 2314 markings/sec, 95 secs
lola: 228535 markings, 230144 edges, 2252 markings/sec, 100 secs
lola: 239253 markings, 240991 edges, 2144 markings/sec, 105 secs
lola: 250082 markings, 251902 edges, 2166 markings/sec, 110 secs
lola: 260663 markings, 262687 edges, 2116 markings/sec, 115 secs
lola: 270323 markings, 272449 edges, 1932 markings/sec, 120 secs
lola: 280895 markings, 283150 edges, 2114 markings/sec, 125 secs
lola: 291614 markings, 293961 edges, 2144 markings/sec, 130 secs
lola: 302578 markings, 305042 edges, 2193 markings/sec, 135 secs
lola: 313747 markings, 316257 edges, 2234 markings/sec, 140 secs
lola: 324830 markings, 327447 edges, 2217 markings/sec, 145 secs
lola: 334586 markings, 337337 edges, 1951 markings/sec, 150 secs
lola: 344151 markings, 347075 edges, 1913 markings/sec, 155 secs
lola: 355178 markings, 358175 edges, 2205 markings/sec, 160 secs
lola: 366382 markings, 369493 edges, 2241 markings/sec, 165 secs
lola: 376882 markings, 380168 edges, 2100 markings/sec, 170 secs
lola: 388412 markings, 391851 edges, 2306 markings/sec, 175 secs
lola: 399701 markings, 403273 edges, 2258 markings/sec, 180 secs
lola: 409594 markings, 413303 edges, 1979 markings/sec, 185 secs
lola: 419817 markings, 423606 edges, 2045 markings/sec, 190 secs
lola: 430687 markings, 434701 edges, 2174 markings/sec, 195 secs
lola: 440929 markings, 445006 edges, 2048 markings/sec, 200 secs
lola: 451282 markings, 455528 edges, 2071 markings/sec, 205 secs
lola: 461964 markings, 466325 edges, 2136 markings/sec, 210 secs
lola: 471763 markings, 476305 edges, 1960 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(ProcessingEvt_1 + ProcessingEvt_2 + ProcessingEvt_3 + ProcessingEvt_4 + ProcessingEvt_5 + ProcessingEvt_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 11249 markings, 11274 edges, 2250 markings/sec, 0 secs
lola: 23381 markings, 23451 edges, 2426 markings/sec, 5 secs
lola: 34174 markings, 34276 edges, 2159 markings/sec, 10 secs
lola: 45097 markings, 45289 edges, 2185 markings/sec, 15 secs
lola: 56075 markings, 56354 edges, 2196 markings/sec, 20 secs
lola: 66872 markings, 67230 edges, 2159 markings/sec, 25 secs
lola: 78486 markings, 78882 edges, 2323 markings/sec, 30 secs
lola: 89878 markings, 90378 edges, 2278 markings/sec, 35 secs
lola: 100684 markings, 101222 edges, 2161 markings/sec, 40 secs
lola: 111944 markings, 112546 edges, 2252 markings/sec, 45 secs
lola: 123295 markings, 123948 edges, 2270 markings/sec, 50 secs
lola: 133907 markings, 134669 edges, 2122 markings/sec, 55 secs
lola: 143933 markings, 144832 edges, 2005 markings/sec, 60 secs
lola: 154791 markings, 155755 edges, 2172 markings/sec, 65 secs
lola: 164718 markings, 165836 edges, 1985 markings/sec, 70 secs
lola: 174061 markings, 175227 edges, 1869 markings/sec, 75 secs
lola: 184397 markings, 185594 edges, 2067 markings/sec, 80 secs
lola: 196286 markings, 197557 edges, 2378 markings/sec, 85 secs
lola: 207687 markings, 209031 edges, 2280 markings/sec, 90 secs
lola: 219291 markings, 220800 edges, 2321 markings/sec, 95 secs
lola: 230558 markings, 232225 edges, 2253 markings/sec, 100 secs
lola: 241194 markings, 242934 edges, 2127 markings/sec, 105 secs
lola: 252102 markings, 253978 edges, 2182 markings/sec, 110 secs
lola: 262504 markings, 264531 edges, 2080 markings/sec, 115 secs
lola: 272478 markings, 274698 edges, 1995 markings/sec, 120 secs
lola: 283062 markings, 285351 edges, 2117 markings/sec, 125 secs
lola: 293958 markings, 296307 edges, 2179 markings/sec, 130 secs
lola: 305641 markings, 308112 edges, 2337 markings/sec, 135 secs
lola: 316728 markings, 319249 edges, 2217 markings/sec, 140 secs
lola: 326705 markings, 329325 edges, 1995 markings/sec, 145 secs
lola: 336469 markings, 339227 edges, 1953 markings/sec, 150 secs
lola: 346110 markings, 349042 edges, 1928 markings/sec, 155 secs
lola: 357290 markings, 360296 edges, 2236 markings/sec, 160 secs
lola: 368245 markings, 371379 edges, 2191 markings/sec, 165 secs
lola: 378900 markings, 382192 edges, 2131 markings/sec, 170 secs
lola: 390030 markings, 393508 edges, 2226 markings/sec, 175 secs
lola: 401125 markings, 404700 edges, 2219 markings/sec, 180 secs
lola: 410956 markings, 414682 edges, 1966 markings/sec, 185 secs
lola: 421327 markings, 425133 edges, 2074 markings/sec, 190 secs
lola: 432495 markings, 436525 edges, 2234 markings/sec, 195 secs
lola: 442448 markings, 446551 edges, 1991 markings/sec, 200 secs
lola: 452812 markings, 457095 edges, 2073 markings/sec, 205 secs
lola: 463217 markings, 467600 edges, 2081 markings/sec, 210 secs
lola: 472905 markings, 477451 edges, 1938 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(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7440 markings, 7725 edges, 1488 markings/sec, 0 secs
lola: 14925 markings, 15617 edges, 1497 markings/sec, 5 secs
lola: 22321 markings, 23308 edges, 1479 markings/sec, 10 secs
lola: 29755 markings, 30997 edges, 1487 markings/sec, 15 secs
lola: 37145 markings, 38650 edges, 1478 markings/sec, 20 secs
lola: 44554 markings, 46321 edges, 1482 markings/sec, 25 secs
lola: 51967 markings, 53994 edges, 1483 markings/sec, 30 secs
lola: 59368 markings, 61680 edges, 1480 markings/sec, 35 secs
lola: 66745 markings, 69313 edges, 1475 markings/sec, 40 secs
lola: 74084 markings, 76953 edges, 1468 markings/sec, 45 secs
lola: 81431 markings, 84617 edges, 1469 markings/sec, 50 secs
lola: 88849 markings, 92425 edges, 1484 markings/sec, 55 secs
lola: 96188 markings, 100160 edges, 1468 markings/sec, 60 secs
lola: 103467 markings, 107956 edges, 1456 markings/sec, 65 secs
lola: 110906 markings, 115865 edges, 1488 markings/sec, 70 secs
lola: 118333 markings, 123636 edges, 1485 markings/sec, 75 secs
lola: 125691 markings, 131317 edges, 1472 markings/sec, 80 secs
lola: 133097 markings, 139181 edges, 1481 markings/sec, 85 secs
lola: 140553 markings, 147041 edges, 1491 markings/sec, 90 secs
lola: 148045 markings, 154938 edges, 1498 markings/sec, 95 secs
lola: 155472 markings, 162774 edges, 1485 markings/sec, 100 secs
lola: 162965 markings, 170643 edges, 1499 markings/sec, 105 secs
lola: 170443 markings, 178427 edges, 1496 markings/sec, 110 secs
lola: 177903 markings, 186290 edges, 1492 markings/sec, 115 secs
lola: 185402 markings, 194053 edges, 1500 markings/sec, 120 secs
lola: 192802 markings, 201767 edges, 1480 markings/sec, 125 secs
lola: 200206 markings, 209468 edges, 1481 markings/sec, 130 secs
lola: 207601 markings, 217193 edges, 1479 markings/sec, 135 secs
lola: 215092 markings, 224977 edges, 1498 markings/sec, 140 secs
lola: 222519 markings, 232739 edges, 1485 markings/sec, 145 secs
lola: 229862 markings, 240411 edges, 1469 markings/sec, 150 secs
lola: 237317 markings, 248245 edges, 1491 markings/sec, 155 secs
lola: 244492 markings, 255966 edges, 1435 markings/sec, 160 secs
lola: 251863 markings, 263745 edges, 1474 markings/sec, 165 secs
lola: 259243 markings, 271478 edges, 1476 markings/sec, 170 secs
lola: 266646 markings, 279183 edges, 1481 markings/sec, 175 secs
lola: 273895 markings, 286800 edges, 1450 markings/sec, 180 secs
lola: 281376 markings, 294640 edges, 1496 markings/sec, 185 secs
lola: 288836 markings, 302471 edges, 1492 markings/sec, 190 secs
lola: 296398 markings, 310490 edges, 1512 markings/sec, 195 secs
lola: 303928 markings, 318428 edges, 1506 markings/sec, 200 secs
lola: 311427 markings, 326311 edges, 1500 markings/sec, 205 secs
lola: 318954 markings, 334223 edges, 1505 markings/sec, 210 secs
lola: 326420 markings, 342072 edges, 1493 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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 6541 markings, 6764 edges, 1308 markings/sec, 0 secs
lola: 14309 markings, 14857 edges, 1554 markings/sec, 5 secs
lola: 21983 markings, 22859 edges, 1535 markings/sec, 10 secs
lola: 29691 markings, 30784 edges, 1542 markings/sec, 15 secs
lola: 37356 markings, 38637 edges, 1533 markings/sec, 20 secs
lola: 45030 markings, 46534 edges, 1535 markings/sec, 25 secs
lola: 52590 markings, 54306 edges, 1512 markings/sec, 30 secs
lola: 60156 markings, 62098 edges, 1513 markings/sec, 35 secs
lola: 67697 markings, 69899 edges, 1508 markings/sec, 40 secs
lola: 75214 markings, 77666 edges, 1503 markings/sec, 45 secs
lola: 82724 markings, 85451 edges, 1502 markings/sec, 50 secs
lola: 90303 markings, 93434 edges, 1516 markings/sec, 55 secs
lola: 97777 markings, 101317 edges, 1495 markings/sec, 60 secs
lola: 105238 markings, 109323 edges, 1492 markings/sec, 65 secs
lola: 112859 markings, 117303 edges, 1524 markings/sec, 70 secs
lola: 120471 markings, 125135 edges, 1522 markings/sec, 75 secs
lola: 127991 markings, 132979 edges, 1504 markings/sec, 80 secs
lola: 135560 markings, 141000 edges, 1514 markings/sec, 85 secs
lola: 143199 markings, 148954 edges, 1528 markings/sec, 90 secs
lola: 150861 markings, 156948 edges, 1532 markings/sec, 95 secs
lola: 158479 markings, 164923 edges, 1524 markings/sec, 100 secs
lola: 166103 markings, 172777 edges, 1525 markings/sec, 105 secs
lola: 173729 markings, 180710 edges, 1525 markings/sec, 110 secs
lola: 181478 markings, 188720 edges, 1550 markings/sec, 115 secs
lola: 189186 markings, 196676 edges, 1542 markings/sec, 120 secs
lola: 196854 markings, 204618 edges, 1534 markings/sec, 125 secs
lola: 204524 markings, 212532 edges, 1534 markings/sec, 130 secs
lola: 212259 markings, 220532 edges, 1547 markings/sec, 135 secs
lola: 219989 markings, 228496 edges, 1546 markings/sec, 140 secs
lola: 227595 markings, 236347 edges, 1521 markings/sec, 145 secs
lola: 235314 markings, 244387 edges, 1544 markings/sec, 150 secs
lola: 243054 markings, 252602 edges, 1548 markings/sec, 155 secs
lola: 250717 markings, 260601 edges, 1533 markings/sec, 160 secs
lola: 258408 markings, 268635 edges, 1538 markings/sec, 165 secs
lola: 266132 markings, 276588 edges, 1545 markings/sec, 170 secs
lola: 273817 markings, 284500 edges, 1537 markings/sec, 175 secs
lola: 281485 markings, 292477 edges, 1534 markings/sec, 180 secs
lola: 289146 markings, 300487 edges, 1532 markings/sec, 185 secs
lola: 296869 markings, 308513 edges, 1545 markings/sec, 190 secs
lola: 304562 markings, 316541 edges, 1539 markings/sec, 195 secs
lola: 312259 markings, 324620 edges, 1539 markings/sec, 200 secs
lola: 319975 markings, 332685 edges, 1543 markings/sec, 205 secs
lola: 327573 markings, 340648 edges, 1520 markings/sec, 210 secs
lola: 335346 markings, 348791 edges, 1555 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4881 markings, 16485 edges, 976 markings/sec, 0 secs
lola: 9905 markings, 32077 edges, 1005 markings/sec, 5 secs
lola: 14809 markings, 46530 edges, 981 markings/sec, 10 secs
lola: 19776 markings, 62169 edges, 993 markings/sec, 15 secs
lola: 24722 markings, 76422 edges, 989 markings/sec, 20 secs
lola: 29545 markings, 89583 edges, 965 markings/sec, 25 secs
lola: 34792 markings, 101759 edges, 1049 markings/sec, 30 secs
lola: 40149 markings, 121084 edges, 1071 markings/sec, 35 secs
lola: 45179 markings, 139012 edges, 1006 markings/sec, 40 secs
lola: 50423 markings, 157218 edges, 1049 markings/sec, 45 secs
lola: 55613 markings, 174943 edges, 1038 markings/sec, 50 secs
lola: 60802 markings, 192842 edges, 1038 markings/sec, 55 secs
lola: 65996 markings, 211060 edges, 1039 markings/sec, 60 secs
lola: 71281 markings, 229231 edges, 1057 markings/sec, 65 secs
lola: 76458 markings, 245891 edges, 1035 markings/sec, 70 secs
lola: 81592 markings, 258075 edges, 1027 markings/sec, 75 secs
lola: 86679 markings, 271504 edges, 1017 markings/sec, 80 secs
lola: 91745 markings, 284350 edges, 1013 markings/sec, 85 secs
lola: 96819 markings, 297378 edges, 1015 markings/sec, 90 secs
lola: 102015 markings, 310376 edges, 1039 markings/sec, 95 secs
lola: 107314 markings, 328288 edges, 1060 markings/sec, 100 secs
lola: 112290 markings, 339248 edges, 995 markings/sec, 105 secs
lola: 117291 markings, 349118 edges, 1000 markings/sec, 110 secs
lola: 122384 markings, 358543 edges, 1019 markings/sec, 115 secs
lola: 127547 markings, 369823 edges, 1033 markings/sec, 120 secs
lola: 132601 markings, 380288 edges, 1011 markings/sec, 125 secs
lola: 137687 markings, 391288 edges, 1017 markings/sec, 130 secs
lola: 147964 markings, 402432 edges, 2055 markings/sec, 135 secs
lola: 158874 markings, 413553 edges, 2182 markings/sec, 140 secs
lola: 169583 markings, 424524 edges, 2142 markings/sec, 145 secs
lola: 180163 markings, 435347 edges, 2116 markings/sec, 150 secs
lola: 191081 markings, 446441 edges, 2184 markings/sec, 155 secs
lola: 201694 markings, 457363 edges, 2123 markings/sec, 160 secs
lola: 212366 markings, 468437 edges, 2134 markings/sec, 165 secs
lola: 222690 markings, 479142 edges, 2065 markings/sec, 170 secs
lola: 233392 markings, 490154 edges, 2140 markings/sec, 175 secs
lola: 243989 markings, 501027 edges, 2119 markings/sec, 180 secs
lola: 254484 markings, 511726 edges, 2099 markings/sec, 185 secs
lola: 264949 markings, 522351 edges, 2093 markings/sec, 190 secs
lola: 275207 markings, 532912 edges, 2052 markings/sec, 195 secs
lola: 285539 markings, 543762 edges, 2066 markings/sec, 200 secs
lola: 295772 markings, 554512 edges, 2047 markings/sec, 205 secs
lola: 306292 markings, 565467 edges, 2104 markings/sec, 210 secs
lola: 316640 markings, 576125 edges, 2070 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(RunE_1 + RunE_2 + RunE_3 + RunE_4 + RunE_5 + RunE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4961 markings, 17555 edges, 992 markings/sec, 0 secs
lola: 9902 markings, 32783 edges, 988 markings/sec, 5 secs
lola: 14823 markings, 50665 edges, 984 markings/sec, 10 secs
lola: 19762 markings, 65748 edges, 988 markings/sec, 15 secs
lola: 24776 markings, 81980 edges, 1003 markings/sec, 20 secs
lola: 29716 markings, 100285 edges, 988 markings/sec, 25 secs
lola: 34652 markings, 118852 edges, 987 markings/sec, 30 secs
lola: 38686 markings, 133998 edges, 807 markings/sec, 35 secs
lola: 43617 markings, 148054 edges, 986 markings/sec, 40 secs
lola: 48564 markings, 163548 edges, 989 markings/sec, 45 secs
lola: 53495 markings, 183640 edges, 986 markings/sec, 50 secs
lola: 58414 markings, 197415 edges, 984 markings/sec, 55 secs
lola: 63349 markings, 217817 edges, 987 markings/sec, 60 secs
lola: 68284 markings, 232866 edges, 987 markings/sec, 65 secs
lola: 73205 markings, 251231 edges, 984 markings/sec, 70 secs
lola: 78144 markings, 270094 edges, 988 markings/sec, 75 secs
lola: 83073 markings, 286303 edges, 986 markings/sec, 80 secs
lola: 88347 markings, 304132 edges, 1055 markings/sec, 85 secs
lola: 93519 markings, 324506 edges, 1034 markings/sec, 90 secs
lola: 98708 markings, 343889 edges, 1038 markings/sec, 95 secs
lola: 103775 markings, 358624 edges, 1013 markings/sec, 100 secs
lola: 108870 markings, 374065 edges, 1019 markings/sec, 105 secs
lola: 114050 markings, 395225 edges, 1036 markings/sec, 110 secs
lola: 119069 markings, 409471 edges, 1004 markings/sec, 115 secs
lola: 124228 markings, 430092 edges, 1032 markings/sec, 120 secs
lola: 129301 markings, 446582 edges, 1015 markings/sec, 125 secs
lola: 134380 markings, 464774 edges, 1016 markings/sec, 130 secs
lola: 139524 markings, 485326 edges, 1029 markings/sec, 135 secs
lola: 144905 markings, 500582 edges, 1076 markings/sec, 140 secs
lola: 150977 markings, 516935 edges, 1214 markings/sec, 145 secs
lola: 156484 markings, 538077 edges, 1101 markings/sec, 150 secs
lola: 161880 markings, 555110 edges, 1079 markings/sec, 155 secs
lola: 167313 markings, 574454 edges, 1087 markings/sec, 160 secs
lola: 172750 markings, 593601 edges, 1087 markings/sec, 165 secs
lola: 178210 markings, 613983 edges, 1092 markings/sec, 170 secs
lola: 183564 markings, 632192 edges, 1071 markings/sec, 175 secs
lola: 188547 markings, 651225 edges, 997 markings/sec, 180 secs
lola: 193657 markings, 665384 edges, 1022 markings/sec, 185 secs
lola: 198723 markings, 682218 edges, 1013 markings/sec, 190 secs
lola: 203819 markings, 698837 edges, 1019 markings/sec, 195 secs
lola: 208908 markings, 715542 edges, 1018 markings/sec, 200 secs
lola: 214070 markings, 732649 edges, 1032 markings/sec, 205 secs
lola: 219367 markings, 752651 edges, 1059 markings/sec, 210 secs
lola: 224664 markings, 772730 edges, 1059 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 4863 markings, 16421 edges, 973 markings/sec, 0 secs
lola: 10000 markings, 32416 edges, 1027 markings/sec, 5 secs
lola: 15136 markings, 47359 edges, 1027 markings/sec, 10 secs
lola: 20286 markings, 63913 edges, 1030 markings/sec, 15 secs
lola: 25413 markings, 78097 edges, 1025 markings/sec, 20 secs
lola: 30553 markings, 91408 edges, 1028 markings/sec, 25 secs
lola: 35955 markings, 105961 edges, 1080 markings/sec, 30 secs
lola: 41488 markings, 125857 edges, 1107 markings/sec, 35 secs
lola: 46914 markings, 145111 edges, 1085 markings/sec, 40 secs
lola: 52331 markings, 163660 edges, 1083 markings/sec, 45 secs
lola: 57494 markings, 181183 edges, 1033 markings/sec, 50 secs
lola: 62928 markings, 200374 edges, 1087 markings/sec, 55 secs
lola: 68342 markings, 219085 edges, 1083 markings/sec, 60 secs
lola: 73735 markings, 236747 edges, 1079 markings/sec, 65 secs
lola: 79094 markings, 252868 edges, 1072 markings/sec, 70 secs
lola: 84309 markings, 263730 edges, 1043 markings/sec, 75 secs
lola: 89623 markings, 278333 edges, 1063 markings/sec, 80 secs
lola: 94943 markings, 292846 edges, 1064 markings/sec, 85 secs
lola: 100167 markings, 305243 edges, 1045 markings/sec, 90 secs
lola: 105578 markings, 322124 edges, 1082 markings/sec, 95 secs
lola: 110856 markings, 336880 edges, 1056 markings/sec, 100 secs
lola: 116045 markings, 346369 edges, 1038 markings/sec, 105 secs
lola: 121263 markings, 356797 edges, 1044 markings/sec, 110 secs
lola: 126528 markings, 367677 edges, 1053 markings/sec, 115 secs
lola: 131772 markings, 378602 edges, 1049 markings/sec, 120 secs
lola: 137035 markings, 389799 edges, 1053 markings/sec, 125 secs
lola: 147009 markings, 401475 edges, 1995 markings/sec, 130 secs
lola: 158256 markings, 412919 edges, 2249 markings/sec, 135 secs
lola: 169241 markings, 424135 edges, 2197 markings/sec, 140 secs
lola: 180125 markings, 435308 edges, 2177 markings/sec, 145 secs
lola: 191285 markings, 446657 edges, 2232 markings/sec, 150 secs
lola: 202325 markings, 458017 edges, 2208 markings/sec, 155 secs
lola: 213220 markings, 469314 edges, 2179 markings/sec, 160 secs
lola: 224004 markings, 480473 edges, 2157 markings/sec, 165 secs
lola: 235041 markings, 491824 edges, 2207 markings/sec, 170 secs
lola: 246030 markings, 503113 edges, 2198 markings/sec, 175 secs
lola: 256818 markings, 514099 edges, 2158 markings/sec, 180 secs
lola: 267952 markings, 525468 edges, 2227 markings/sec, 185 secs
lola: 278718 markings, 536591 edges, 2153 markings/sec, 190 secs
lola: 289797 markings, 548215 edges, 2216 markings/sec, 195 secs
lola: 300406 markings, 559352 edges, 2122 markings/sec, 200 secs
lola: 311314 markings, 570665 edges, 2182 markings/sec, 205 secs
lola: 321982 markings, 581651 edges, 2134 markings/sec, 210 secs
lola: 332780 markings, 592958 edges, 2160 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 5067 markings, 17756 edges, 1013 markings/sec, 0 secs
lola: 10123 markings, 33526 edges, 1011 markings/sec, 5 secs
lola: 15165 markings, 50203 edges, 1008 markings/sec, 10 secs
lola: 20215 markings, 66345 edges, 1010 markings/sec, 15 secs
lola: 25256 markings, 82783 edges, 1008 markings/sec, 20 secs
lola: 30291 markings, 99356 edges, 1007 markings/sec, 25 secs
lola: 35327 markings, 115789 edges, 1007 markings/sec, 30 secs
lola: 40367 markings, 131995 edges, 1008 markings/sec, 35 secs
lola: 45412 markings, 148312 edges, 1009 markings/sec, 40 secs
lola: 50460 markings, 164402 edges, 1010 markings/sec, 45 secs
lola: 55454 markings, 182352 edges, 999 markings/sec, 50 secs
lola: 60479 markings, 198929 edges, 1005 markings/sec, 55 secs
lola: 65489 markings, 216131 edges, 1002 markings/sec, 60 secs
lola: 70498 markings, 232993 edges, 1002 markings/sec, 65 secs
lola: 75296 markings, 249240 edges, 960 markings/sec, 70 secs
lola: 80092 markings, 265661 edges, 959 markings/sec, 75 secs
lola: 84885 markings, 281813 edges, 959 markings/sec, 80 secs
lola: 89681 markings, 298051 edges, 959 markings/sec, 85 secs
lola: 94483 markings, 314425 edges, 960 markings/sec, 90 secs
lola: 99515 markings, 331398 edges, 1006 markings/sec, 95 secs
lola: 104588 markings, 346322 edges, 1015 markings/sec, 100 secs
lola: 109692 markings, 360217 edges, 1021 markings/sec, 105 secs
lola: 114795 markings, 375499 edges, 1021 markings/sec, 110 secs
lola: 119863 markings, 393057 edges, 1014 markings/sec, 115 secs
lola: 124921 markings, 409925 edges, 1012 markings/sec, 120 secs
lola: 129959 markings, 427267 edges, 1008 markings/sec, 125 secs
lola: 135000 markings, 444338 edges, 1008 markings/sec, 130 secs
lola: 139962 markings, 461199 edges, 992 markings/sec, 135 secs
lola: 144990 markings, 478301 edges, 1006 markings/sec, 140 secs
lola: 150020 markings, 495303 edges, 1006 markings/sec, 145 secs
lola: 155052 markings, 512475 edges, 1006 markings/sec, 150 secs
lola: 160088 markings, 529437 edges, 1007 markings/sec, 155 secs
lola: 165184 markings, 546647 edges, 1019 markings/sec, 160 secs
lola: 170233 markings, 564678 edges, 1010 markings/sec, 165 secs
lola: 175291 markings, 581759 edges, 1012 markings/sec, 170 secs
lola: 180345 markings, 599309 edges, 1011 markings/sec, 175 secs
lola: 185402 markings, 616748 edges, 1011 markings/sec, 180 secs
lola: 190454 markings, 634741 edges, 1010 markings/sec, 185 secs
lola: 195504 markings, 652480 edges, 1010 markings/sec, 190 secs
lola: 200565 markings, 669877 edges, 1012 markings/sec, 195 secs
lola: 205615 markings, 687917 edges, 1010 markings/sec, 200 secs
lola: 210671 markings, 705853 edges, 1011 markings/sec, 205 secs
lola: 215732 markings, 723056 edges, 1012 markings/sec, 210 secs
lola: 220808 markings, 739861 edges, 1015 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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 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: 7614 markings, 7855 edges, 1523 markings/sec, 0 secs
lola: 15281 markings, 15882 edges, 1533 markings/sec, 5 secs
lola: 22850 markings, 23759 edges, 1514 markings/sec, 10 secs
lola: 30480 markings, 31575 edges, 1526 markings/sec, 15 secs
lola: 38061 markings, 39397 edges, 1516 markings/sec, 20 secs
lola: 45645 markings, 47165 edges, 1517 markings/sec, 25 secs
lola: 53225 markings, 54977 edges, 1516 markings/sec, 30 secs
lola: 60804 markings, 62778 edges, 1516 markings/sec, 35 secs
lola: 68369 markings, 70618 edges, 1513 markings/sec, 40 secs
lola: 75916 markings, 78417 edges, 1509 markings/sec, 45 secs
lola: 83471 markings, 86213 edges, 1511 markings/sec, 50 secs
lola: 91047 markings, 94213 edges, 1515 markings/sec, 55 secs
lola: 98534 markings, 102121 edges, 1497 markings/sec, 60 secs
lola: 106064 markings, 110267 edges, 1506 markings/sec, 65 secs
lola: 113733 markings, 118182 edges, 1534 markings/sec, 70 secs
lola: 121408 markings, 126092 edges, 1535 markings/sec, 75 secs
lola: 128908 markings, 133930 edges, 1500 markings/sec, 80 secs
lola: 136410 markings, 141867 edges, 1500 markings/sec, 85 secs
lola: 144130 markings, 149922 edges, 1544 markings/sec, 90 secs
lola: 151834 markings, 157987 edges, 1541 markings/sec, 95 secs
lola: 159533 markings, 166043 edges, 1540 markings/sec, 100 secs
lola: 167212 markings, 173924 edges, 1536 markings/sec, 105 secs
lola: 174898 markings, 181914 edges, 1537 markings/sec, 110 secs
lola: 182635 markings, 189911 edges, 1547 markings/sec, 115 secs
lola: 190264 markings, 197795 edges, 1526 markings/sec, 120 secs
lola: 197874 markings, 205657 edges, 1522 markings/sec, 125 secs
lola: 205500 markings, 213557 edges, 1525 markings/sec, 130 secs
lola: 213193 markings, 221485 edges, 1539 markings/sec, 135 secs
lola: 220848 markings, 229376 edges, 1531 markings/sec, 140 secs
lola: 228407 markings, 237179 edges, 1512 markings/sec, 145 secs
lola: 236087 markings, 245197 edges, 1536 markings/sec, 150 secs
lola: 243771 markings, 253388 edges, 1537 markings/sec, 155 secs
lola: 251374 markings, 261309 edges, 1521 markings/sec, 160 secs
lola: 259020 markings, 269261 edges, 1529 markings/sec, 165 secs
lola: 266681 markings, 277140 edges, 1532 markings/sec, 170 secs
lola: 274311 markings, 285028 edges, 1526 markings/sec, 175 secs
lola: 281939 markings, 292959 edges, 1526 markings/sec, 180 secs
lola: 289545 markings, 300886 edges, 1521 markings/sec, 185 secs
lola: 297220 markings, 308898 edges, 1535 markings/sec, 190 secs
lola: 304868 markings, 316871 edges, 1530 markings/sec, 195 secs
lola: 312510 markings, 324894 edges, 1528 markings/sec, 200 secs
lola: 320173 markings, 332883 edges, 1533 markings/sec, 205 secs
lola: 327719 markings, 340795 edges, 1509 markings/sec, 210 secs
lola: 335441 markings, 348886 edges, 1544 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-S06J06T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496505234395

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