Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1494691089705


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S04J04T06 @ 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: 3552/65536 symbol table entries, 872 collisions
lola: preprocessing...
lola: finding significant places
lola: 554 places, 2998 transitions, 504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1821 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T06-UpperBounds.task
lola: MAX(P_1099) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6) : MAX(IsMonitoring) : MAX(IsMonitoring) : MAX(PollingAbort) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6) : MAX(MarkerWrite) : MAX(P_1095) : MAX(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_4 + P_2579_1_3 + P_2579_1_2 + P_2579_1_1 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4) : MAX(Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6) : MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6) : MAX(P_1716) : MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6) : MAX(Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6) : MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4)
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(P_1099)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 47141 markings, 52402 edges, 9428 markings/sec, 0 secs
lola: 93304 markings, 105879 edges, 9233 markings/sec, 5 secs
lola: 139016 markings, 159726 edges, 9142 markings/sec, 10 secs
lola: 184329 markings, 214103 edges, 9063 markings/sec, 15 secs
lola: 229486 markings, 269373 edges, 9031 markings/sec, 20 secs
lola: 274339 markings, 325155 edges, 8971 markings/sec, 25 secs
lola: 319083 markings, 381759 edges, 8949 markings/sec, 30 secs
lola: 364073 markings, 437663 edges, 8998 markings/sec, 35 secs
lola: 408572 markings, 494450 edges, 8900 markings/sec, 40 secs
lola: 453558 markings, 551031 edges, 8997 markings/sec, 45 secs
lola: 497957 markings, 609126 edges, 8880 markings/sec, 50 secs
lola: 542432 markings, 665478 edges, 8895 markings/sec, 55 secs
lola: 586831 markings, 722880 edges, 8880 markings/sec, 60 secs
lola: 631587 markings, 779660 edges, 8951 markings/sec, 65 secs
lola: 676237 markings, 837015 edges, 8930 markings/sec, 70 secs
lola: 720602 markings, 894741 edges, 8873 markings/sec, 75 secs
lola: 765255 markings, 952949 edges, 8931 markings/sec, 80 secs
lola: 809782 markings, 1011618 edges, 8905 markings/sec, 85 secs
lola: 854415 markings, 1069082 edges, 8927 markings/sec, 90 secs
lola: 898851 markings, 1127153 edges, 8887 markings/sec, 95 secs
lola: 943534 markings, 1184332 edges, 8937 markings/sec, 100 secs
lola: 988356 markings, 1242621 edges, 8964 markings/sec, 105 secs
lola: 1032669 markings, 1300510 edges, 8863 markings/sec, 110 secs
lola: 1077522 markings, 1359027 edges, 8971 markings/sec, 115 secs
lola: 1122175 markings, 1417054 edges, 8931 markings/sec, 120 secs
lola: 1166891 markings, 1474616 edges, 8943 markings/sec, 125 secs
lola: 1211712 markings, 1533900 edges, 8964 markings/sec, 130 secs
lola: 1256560 markings, 1592412 edges, 8970 markings/sec, 135 secs
lola: 1301336 markings, 1651120 edges, 8955 markings/sec, 140 secs
lola: 1346162 markings, 1709278 edges, 8965 markings/sec, 145 secs
lola: 1390904 markings, 1767196 edges, 8948 markings/sec, 150 secs
lola: 1435933 markings, 1825975 edges, 9006 markings/sec, 155 secs
lola: 1480717 markings, 1884515 edges, 8957 markings/sec, 160 secs
lola: 1525558 markings, 1942691 edges, 8968 markings/sec, 165 secs
lola: 1570537 markings, 2000905 edges, 8996 markings/sec, 170 secs
lola: 1615262 markings, 2059610 edges, 8945 markings/sec, 175 secs
lola: 1659743 markings, 2118932 edges, 8896 markings/sec, 180 secs
lola: 1704158 markings, 2177056 edges, 8883 markings/sec, 185 secs
lola: 1748409 markings, 2235496 edges, 8850 markings/sec, 190 secs
lola: 1792756 markings, 2293855 edges, 8869 markings/sec, 195 secs
lola: 1837123 markings, 2351859 edges, 8873 markings/sec, 200 secs
lola: 1881449 markings, 2410069 edges, 8865 markings/sec, 205 secs
lola: 1925809 markings, 2467773 edges, 8872 markings/sec, 210 secs
lola: 1970160 markings, 2524743 edges, 8870 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(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 2016 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: 48782 markings, 51715 edges, 9756 markings/sec, 0 secs
lola: 97436 markings, 106087 edges, 9731 markings/sec, 5 secs
lola: 146167 markings, 161326 edges, 9746 markings/sec, 10 secs
lola: 194977 markings, 217494 edges, 9762 markings/sec, 15 secs
lola: 240671 markings, 274047 edges, 9139 markings/sec, 20 secs
lola: 289343 markings, 333190 edges, 9734 markings/sec, 25 secs
lola: 337753 markings, 390028 edges, 9682 markings/sec, 30 secs
lola: 387240 markings, 449089 edges, 9897 markings/sec, 35 secs
lola: 436424 markings, 508877 edges, 9837 markings/sec, 40 secs
lola: 484976 markings, 566585 edges, 9710 markings/sec, 45 secs
lola: 533386 markings, 627061 edges, 9682 markings/sec, 50 secs
lola: 582131 markings, 688456 edges, 9749 markings/sec, 55 secs
lola: 630576 markings, 748283 edges, 9689 markings/sec, 60 secs
lola: 679377 markings, 806022 edges, 9760 markings/sec, 65 secs
lola: 728630 markings, 868970 edges, 9851 markings/sec, 70 secs
lola: 777730 markings, 930959 edges, 9820 markings/sec, 75 secs
lola: 826808 markings, 992971 edges, 9816 markings/sec, 80 secs
lola: 875910 markings, 1054174 edges, 9820 markings/sec, 85 secs
lola: 924222 markings, 1111823 edges, 9662 markings/sec, 90 secs
lola: 973657 markings, 1171192 edges, 9887 markings/sec, 95 secs
lola: 1021444 markings, 1231227 edges, 9557 markings/sec, 100 secs
lola: 1070484 markings, 1292995 edges, 9808 markings/sec, 105 secs
lola: 1119063 markings, 1353503 edges, 9716 markings/sec, 110 secs
lola: 1168475 markings, 1415970 edges, 9882 markings/sec, 115 secs
lola: 1218202 markings, 1480620 edges, 9945 markings/sec, 120 secs
lola: 1267312 markings, 1542563 edges, 9822 markings/sec, 125 secs
lola: 1317015 markings, 1604810 edges, 9941 markings/sec, 130 secs
lola: 1365255 markings, 1668145 edges, 9648 markings/sec, 135 secs
lola: 1414956 markings, 1729795 edges, 9940 markings/sec, 140 secs
lola: 1463967 markings, 1791343 edges, 9802 markings/sec, 145 secs
lola: 1512697 markings, 1854792 edges, 9746 markings/sec, 150 secs
lola: 1561438 markings, 1916014 edges, 9748 markings/sec, 155 secs
lola: 1611208 markings, 1979048 edges, 9954 markings/sec, 160 secs
lola: 1661100 markings, 2041828 edges, 9978 markings/sec, 165 secs
lola: 1709997 markings, 2100854 edges, 9779 markings/sec, 170 secs
lola: 1758447 markings, 2164032 edges, 9690 markings/sec, 175 secs
lola: 1807105 markings, 2224617 edges, 9732 markings/sec, 180 secs
lola: 1856543 markings, 2286686 edges, 9888 markings/sec, 185 secs
lola: 1905874 markings, 2349525 edges, 9866 markings/sec, 190 secs
lola: 1954935 markings, 2411459 edges, 9812 markings/sec, 195 secs
lola: 2003777 markings, 2472997 edges, 9768 markings/sec, 200 secs
lola: 2053404 markings, 2537773 edges, 9925 markings/sec, 205 secs
lola: 2102792 markings, 2598171 edges, 9878 markings/sec, 210 secs
lola: 2151290 markings, 2660139 edges, 9700 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(IsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 46291 markings, 49055 edges, 9258 markings/sec, 0 secs
lola: 92384 markings, 100770 edges, 9219 markings/sec, 5 secs
lola: 138894 markings, 152422 edges, 9302 markings/sec, 10 secs
lola: 185275 markings, 207123 edges, 9276 markings/sec, 15 secs
lola: 231377 markings, 262371 edges, 9220 markings/sec, 20 secs
lola: 277797 markings, 319519 edges, 9284 markings/sec, 25 secs
lola: 324122 markings, 374490 edges, 9265 markings/sec, 30 secs
lola: 370418 markings, 428803 edges, 9259 markings/sec, 35 secs
lola: 417485 markings, 485790 edges, 9413 markings/sec, 40 secs
lola: 464372 markings, 541308 edges, 9377 markings/sec, 45 secs
lola: 510402 markings, 598089 edges, 9206 markings/sec, 50 secs
lola: 556403 markings, 656939 edges, 9200 markings/sec, 55 secs
lola: 602819 markings, 712488 edges, 9283 markings/sec, 60 secs
lola: 649208 markings, 769517 edges, 9278 markings/sec, 65 secs
lola: 697081 markings, 828719 edges, 9575 markings/sec, 70 secs
lola: 744639 markings, 888711 edges, 9512 markings/sec, 75 secs
lola: 791473 markings, 948947 edges, 9367 markings/sec, 80 secs
lola: 839064 markings, 1008141 edges, 9518 markings/sec, 85 secs
lola: 886067 markings, 1067105 edges, 9401 markings/sec, 90 secs
lola: 932313 markings, 1121922 edges, 9249 markings/sec, 95 secs
lola: 979979 markings, 1178727 edges, 9533 markings/sec, 100 secs
lola: 1025661 markings, 1236523 edges, 9136 markings/sec, 105 secs
lola: 1073031 markings, 1296896 edges, 9474 markings/sec, 110 secs
lola: 1119961 markings, 1354568 edges, 9386 markings/sec, 115 secs
lola: 1167599 markings, 1415014 edges, 9528 markings/sec, 120 secs
lola: 1215428 markings, 1477174 edges, 9566 markings/sec, 125 secs
lola: 1262893 markings, 1536532 edges, 9493 markings/sec, 130 secs
lola: 1310567 markings, 1597091 edges, 9535 markings/sec, 135 secs
lola: 1357373 markings, 1656974 edges, 9361 markings/sec, 140 secs
lola: 1403573 markings, 1714878 edges, 9240 markings/sec, 145 secs
lola: 1451116 markings, 1775067 edges, 9509 markings/sec, 150 secs
lola: 1498610 markings, 1835948 edges, 9499 markings/sec, 155 secs
lola: 1545594 markings, 1895382 edges, 9397 markings/sec, 160 secs
lola: 1593374 markings, 1955338 edges, 9556 markings/sec, 165 secs
lola: 1641180 markings, 2016472 edges, 9561 markings/sec, 170 secs
lola: 1689089 markings, 2075180 edges, 9582 markings/sec, 175 secs
lola: 1735901 markings, 2134663 edges, 9362 markings/sec, 180 secs
lola: 1783505 markings, 2194503 edges, 9521 markings/sec, 185 secs
lola: 1830828 markings, 2254083 edges, 9465 markings/sec, 190 secs
lola: 1877995 markings, 2314197 edges, 9433 markings/sec, 195 secs
lola: 1926183 markings, 2376399 edges, 9638 markings/sec, 200 secs
lola: 1973027 markings, 2433736 edges, 9369 markings/sec, 205 secs
lola: 2021346 markings, 2495947 edges, 9664 markings/sec, 210 secs
lola: 2069108 markings, 2557369 edges, 9552 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(IsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 48295 markings, 51201 edges, 9659 markings/sec, 0 secs
lola: 96784 markings, 105416 edges, 9698 markings/sec, 5 secs
lola: 145603 markings, 160334 edges, 9764 markings/sec, 10 secs
lola: 194377 markings, 216834 edges, 9755 markings/sec, 15 secs
lola: 242951 markings, 276608 edges, 9715 markings/sec, 20 secs
lola: 291874 markings, 336359 edges, 9785 markings/sec, 25 secs
lola: 340419 markings, 392975 edges, 9709 markings/sec, 30 secs
lola: 389745 markings, 452056 edges, 9865 markings/sec, 35 secs
lola: 438952 markings, 511936 edges, 9841 markings/sec, 40 secs
lola: 487621 markings, 570182 edges, 9734 markings/sec, 45 secs
lola: 536021 markings, 630318 edges, 9680 markings/sec, 50 secs
lola: 584740 markings, 691120 edges, 9744 markings/sec, 55 secs
lola: 633156 markings, 751595 edges, 9683 markings/sec, 60 secs
lola: 682135 markings, 809311 edges, 9796 markings/sec, 65 secs
lola: 730435 markings, 871684 edges, 9660 markings/sec, 70 secs
lola: 777648 markings, 930847 edges, 9443 markings/sec, 75 secs
lola: 824948 markings, 990334 edges, 9460 markings/sec, 80 secs
lola: 872309 markings, 1048988 edges, 9472 markings/sec, 85 secs
lola: 919003 markings, 1104857 edges, 9339 markings/sec, 90 secs
lola: 966439 markings, 1162396 edges, 9487 markings/sec, 95 secs
lola: 1013032 markings, 1219861 edges, 9319 markings/sec, 100 secs
lola: 1060284 markings, 1278912 edges, 9450 markings/sec, 105 secs
lola: 1107042 markings, 1338320 edges, 9352 markings/sec, 110 secs
lola: 1155054 markings, 1397425 edges, 9602 markings/sec, 115 secs
lola: 1202938 markings, 1460870 edges, 9577 markings/sec, 120 secs
lola: 1250697 markings, 1521102 edges, 9552 markings/sec, 125 secs
lola: 1298637 markings, 1582053 edges, 9588 markings/sec, 130 secs
lola: 1345885 markings, 1641650 edges, 9450 markings/sec, 135 secs
lola: 1393649 markings, 1703169 edges, 9553 markings/sec, 140 secs
lola: 1440863 markings, 1762418 edges, 9443 markings/sec, 145 secs
lola: 1488203 markings, 1822657 edges, 9468 markings/sec, 150 secs
lola: 1535126 markings, 1882228 edges, 9385 markings/sec, 155 secs
lola: 1583398 markings, 1943674 edges, 9654 markings/sec, 160 secs
lola: 1631040 markings, 2004561 edges, 9528 markings/sec, 165 secs
lola: 1679125 markings, 2063240 edges, 9617 markings/sec, 170 secs
lola: 1725887 markings, 2123273 edges, 9352 markings/sec, 175 secs
lola: 1773469 markings, 2182075 edges, 9516 markings/sec, 180 secs
lola: 1820618 markings, 2241031 edges, 9430 markings/sec, 185 secs
lola: 1868032 markings, 2301858 edges, 9483 markings/sec, 190 secs
lola: 1915974 markings, 2362144 edges, 9588 markings/sec, 195 secs
lola: 1963022 markings, 2420365 edges, 9410 markings/sec, 200 secs
lola: 2010997 markings, 2482326 edges, 9595 markings/sec, 205 secs
lola: 2059095 markings, 2545147 edges, 9620 markings/sec, 210 secs
lola: 2106777 markings, 2602635 edges, 9536 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(PollingAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 55004 markings, 58928 edges, 11001 markings/sec, 0 secs
lola: 109926 markings, 117926 edges, 10984 markings/sec, 5 secs
lola: 164823 markings, 177793 edges, 10979 markings/sec, 10 secs
lola: 219295 markings, 237749 edges, 10894 markings/sec, 15 secs
lola: 274312 markings, 298092 edges, 11003 markings/sec, 20 secs
lola: 328639 markings, 358388 edges, 10865 markings/sec, 25 secs
lola: 383009 markings, 418853 edges, 10874 markings/sec, 30 secs
lola: 437144 markings, 479772 edges, 10827 markings/sec, 35 secs
lola: 490958 markings, 539996 edges, 10763 markings/sec, 40 secs
lola: 544171 markings, 599869 edges, 10643 markings/sec, 45 secs
lola: 598172 markings, 660960 edges, 10800 markings/sec, 50 secs
lola: 652630 markings, 722176 edges, 10892 markings/sec, 55 secs
lola: 706133 markings, 782657 edges, 10701 markings/sec, 60 secs
lola: 759513 markings, 842946 edges, 10676 markings/sec, 65 secs
lola: 812733 markings, 904586 edges, 10644 markings/sec, 70 secs
lola: 866880 markings, 964966 edges, 10829 markings/sec, 75 secs
lola: 919967 markings, 1026805 edges, 10617 markings/sec, 80 secs
lola: 972946 markings, 1088755 edges, 10596 markings/sec, 85 secs
lola: 1025759 markings, 1149387 edges, 10563 markings/sec, 90 secs
lola: 1078843 markings, 1210527 edges, 10617 markings/sec, 95 secs
lola: 1131608 markings, 1271459 edges, 10553 markings/sec, 100 secs
lola: 1185117 markings, 1333187 edges, 10702 markings/sec, 105 secs
lola: 1238214 markings, 1392925 edges, 10619 markings/sec, 110 secs
lola: 1291128 markings, 1451854 edges, 10583 markings/sec, 115 secs
lola: 1344009 markings, 1511605 edges, 10576 markings/sec, 120 secs
lola: 1396971 markings, 1572211 edges, 10592 markings/sec, 125 secs
lola: 1452215 markings, 1635324 edges, 11049 markings/sec, 130 secs
lola: 1508196 markings, 1699862 edges, 11196 markings/sec, 135 secs
lola: 1563285 markings, 1762514 edges, 11018 markings/sec, 140 secs
lola: 1617602 markings, 1825785 edges, 10863 markings/sec, 145 secs
lola: 1671790 markings, 1888933 edges, 10838 markings/sec, 150 secs
lola: 1727385 markings, 1951657 edges, 11119 markings/sec, 155 secs
lola: 1781840 markings, 2013856 edges, 10891 markings/sec, 160 secs
lola: 1837227 markings, 2077534 edges, 11077 markings/sec, 165 secs
lola: 1891893 markings, 2140940 edges, 10933 markings/sec, 170 secs
lola: 1946211 markings, 2202968 edges, 10864 markings/sec, 175 secs
lola: 2001157 markings, 2266270 edges, 10989 markings/sec, 180 secs
lola: 2056453 markings, 2328787 edges, 11059 markings/sec, 185 secs
lola: 2111652 markings, 2390393 edges, 11040 markings/sec, 190 secs
lola: 2166193 markings, 2454524 edges, 10908 markings/sec, 195 secs
lola: 2220369 markings, 2516211 edges, 10835 markings/sec, 200 secs
lola: 2275117 markings, 2579739 edges, 10950 markings/sec, 205 secs
lola: 2329774 markings, 2641376 edges, 10931 markings/sec, 210 secs
lola: 2384374 markings, 2707018 edges, 10920 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(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 58369 markings, 61814 edges, 11674 markings/sec, 0 secs
lola: 116003 markings, 125495 edges, 11527 markings/sec, 5 secs
lola: 172732 markings, 188639 edges, 11346 markings/sec, 10 secs
lola: 228721 markings, 252398 edges, 11198 markings/sec, 15 secs
lola: 281793 markings, 314447 edges, 10614 markings/sec, 20 secs
lola: 334626 markings, 376774 edges, 10567 markings/sec, 25 secs
lola: 387079 markings, 439799 edges, 10491 markings/sec, 30 secs
lola: 439237 markings, 503724 edges, 10432 markings/sec, 35 secs
lola: 491136 markings, 568563 edges, 10380 markings/sec, 40 secs
lola: 543530 markings, 631519 edges, 10479 markings/sec, 45 secs
lola: 594582 markings, 696167 edges, 10210 markings/sec, 50 secs
lola: 646155 markings, 760876 edges, 10315 markings/sec, 55 secs
lola: 697343 markings, 826533 edges, 10238 markings/sec, 60 secs
lola: 748961 markings, 890906 edges, 10324 markings/sec, 65 secs
lola: 800477 markings, 955513 edges, 10303 markings/sec, 70 secs
lola: 851907 markings, 1021215 edges, 10286 markings/sec, 75 secs
lola: 903307 markings, 1086760 edges, 10280 markings/sec, 80 secs
lola: 954921 markings, 1150488 edges, 10323 markings/sec, 85 secs
lola: 1006433 markings, 1214832 edges, 10302 markings/sec, 90 secs
lola: 1057707 markings, 1280041 edges, 10255 markings/sec, 95 secs
lola: 1105320 markings, 1341444 edges, 9523 markings/sec, 100 secs
lola: 1157073 markings, 1405052 edges, 10351 markings/sec, 105 secs
lola: 1211697 markings, 1474235 edges, 10925 markings/sec, 110 secs
lola: 1266058 markings, 1543309 edges, 10872 markings/sec, 115 secs
lola: 1319669 markings, 1612301 edges, 10722 markings/sec, 120 secs
lola: 1373444 markings, 1683084 edges, 10755 markings/sec, 125 secs
lola: 1427283 markings, 1753222 edges, 10768 markings/sec, 130 secs
lola: 1480763 markings, 1823697 edges, 10696 markings/sec, 135 secs
lola: 1534295 markings, 1894793 edges, 10706 markings/sec, 140 secs
lola: 1588053 markings, 1965846 edges, 10752 markings/sec, 145 secs
lola: 1641179 markings, 2037456 edges, 10625 markings/sec, 150 secs
lola: 1694770 markings, 2108187 edges, 10718 markings/sec, 155 secs
lola: 1748655 markings, 2178153 edges, 10777 markings/sec, 160 secs
lola: 1802317 markings, 2249959 edges, 10732 markings/sec, 165 secs
lola: 1855635 markings, 2321745 edges, 10664 markings/sec, 170 secs
lola: 1908948 markings, 2393233 edges, 10663 markings/sec, 175 secs
lola: 1962483 markings, 2464261 edges, 10707 markings/sec, 180 secs
lola: 2016521 markings, 2534399 edges, 10808 markings/sec, 185 secs
lola: 2069204 markings, 2607278 edges, 10537 markings/sec, 190 secs
lola: 2122420 markings, 2678402 edges, 10643 markings/sec, 195 secs
lola: 2175971 markings, 2750060 edges, 10710 markings/sec, 200 secs
lola: 2228679 markings, 2820660 edges, 10542 markings/sec, 205 secs
lola: 2281952 markings, 2890721 edges, 10655 markings/sec, 210 secs
lola: 2335045 markings, 2960703 edges, 10619 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(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 35535 markings, 39684 edges, 7107 markings/sec, 0 secs
lola: 70912 markings, 81292 edges, 7075 markings/sec, 5 secs
lola: 106191 markings, 123801 edges, 7056 markings/sec, 10 secs
lola: 141465 markings, 166705 edges, 7055 markings/sec, 15 secs
lola: 176614 markings, 209698 edges, 7030 markings/sec, 20 secs
lola: 211818 markings, 253552 edges, 7041 markings/sec, 25 secs
lola: 246482 markings, 297485 edges, 6933 markings/sec, 30 secs
lola: 281095 markings, 342658 edges, 6923 markings/sec, 35 secs
lola: 315625 markings, 388422 edges, 6906 markings/sec, 40 secs
lola: 350182 markings, 432816 edges, 6911 markings/sec, 45 secs
lola: 384643 markings, 477313 edges, 6892 markings/sec, 50 secs
lola: 419147 markings, 521234 edges, 6901 markings/sec, 55 secs
lola: 453592 markings, 565391 edges, 6889 markings/sec, 60 secs
lola: 488024 markings, 610110 edges, 6886 markings/sec, 65 secs
lola: 522379 markings, 654943 edges, 6871 markings/sec, 70 secs
lola: 556713 markings, 700564 edges, 6867 markings/sec, 75 secs
lola: 591115 markings, 746242 edges, 6880 markings/sec, 80 secs
lola: 625469 markings, 791424 edges, 6871 markings/sec, 85 secs
lola: 659737 markings, 837203 edges, 6854 markings/sec, 90 secs
lola: 694002 markings, 883399 edges, 6853 markings/sec, 95 secs
lola: 728308 markings, 928253 edges, 6861 markings/sec, 100 secs
lola: 762640 markings, 972342 edges, 6866 markings/sec, 105 secs
lola: 796898 markings, 1017041 edges, 6852 markings/sec, 110 secs
lola: 831257 markings, 1062183 edges, 6872 markings/sec, 115 secs
lola: 865589 markings, 1107912 edges, 6866 markings/sec, 120 secs
lola: 899722 markings, 1153579 edges, 6827 markings/sec, 125 secs
lola: 933926 markings, 1197877 edges, 6841 markings/sec, 130 secs
lola: 968154 markings, 1243649 edges, 6846 markings/sec, 135 secs
lola: 1002304 markings, 1289692 edges, 6830 markings/sec, 140 secs
lola: 1036439 markings, 1335075 edges, 6827 markings/sec, 145 secs
lola: 1070642 markings, 1381038 edges, 6841 markings/sec, 150 secs
lola: 1104733 markings, 1427493 edges, 6818 markings/sec, 155 secs
lola: 1138942 markings, 1472343 edges, 6842 markings/sec, 160 secs
lola: 1173061 markings, 1517474 edges, 6824 markings/sec, 165 secs
lola: 1207219 markings, 1562231 edges, 6832 markings/sec, 170 secs
lola: 1241332 markings, 1607446 edges, 6823 markings/sec, 175 secs
lola: 1275538 markings, 1652350 edges, 6841 markings/sec, 180 secs
lola: 1309666 markings, 1697145 edges, 6826 markings/sec, 185 secs
lola: 1343710 markings, 1741608 edges, 6809 markings/sec, 190 secs
lola: 1377645 markings, 1786857 edges, 6787 markings/sec, 195 secs
lola: 1411674 markings, 1833162 edges, 6806 markings/sec, 200 secs
lola: 1445599 markings, 1878034 edges, 6785 markings/sec, 205 secs
lola: 1477624 markings, 1919549 edges, 6405 markings/sec, 210 secs
lola: 1506557 markings, 1958786 edges, 5787 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(P_1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 48493 markings, 53892 edges, 9699 markings/sec, 0 secs
lola: 93544 markings, 105423 edges, 9010 markings/sec, 5 secs
lola: 137826 markings, 157483 edges, 8856 markings/sec, 10 secs
lola: 184920 markings, 214144 edges, 9419 markings/sec, 15 secs
lola: 236713 markings, 277542 edges, 10359 markings/sec, 20 secs
lola: 287596 markings, 341959 edges, 10177 markings/sec, 25 secs
lola: 339134 markings, 405858 edges, 10308 markings/sec, 30 secs
lola: 388171 markings, 466945 edges, 9807 markings/sec, 35 secs
lola: 438428 markings, 531895 edges, 10051 markings/sec, 40 secs
lola: 490143 markings, 597044 edges, 10343 markings/sec, 45 secs
lola: 541017 markings, 661901 edges, 10175 markings/sec, 50 secs
lola: 592322 markings, 727315 edges, 10261 markings/sec, 55 secs
lola: 644372 markings, 793681 edges, 10410 markings/sec, 60 secs
lola: 696291 markings, 860040 edges, 10384 markings/sec, 65 secs
lola: 747862 markings, 927172 edges, 10314 markings/sec, 70 secs
lola: 799405 markings, 993224 edges, 10309 markings/sec, 75 secs
lola: 851326 markings, 1060468 edges, 10384 markings/sec, 80 secs
lola: 903580 markings, 1127765 edges, 10451 markings/sec, 85 secs
lola: 955648 markings, 1193880 edges, 10414 markings/sec, 90 secs
lola: 1007152 markings, 1260432 edges, 10301 markings/sec, 95 secs
lola: 1058510 markings, 1326967 edges, 10272 markings/sec, 100 secs
lola: 1110353 markings, 1393798 edges, 10369 markings/sec, 105 secs
lola: 1161562 markings, 1461317 edges, 10242 markings/sec, 110 secs
lola: 1212730 markings, 1527454 edges, 10234 markings/sec, 115 secs
lola: 1264341 markings, 1593719 edges, 10322 markings/sec, 120 secs
lola: 1316165 markings, 1661869 edges, 10365 markings/sec, 125 secs
lola: 1367763 markings, 1728815 edges, 10320 markings/sec, 130 secs
lola: 1419747 markings, 1796519 edges, 10397 markings/sec, 135 secs
lola: 1471415 markings, 1863729 edges, 10334 markings/sec, 140 secs
lola: 1523181 markings, 1930171 edges, 10353 markings/sec, 145 secs
lola: 1575036 markings, 1998400 edges, 10371 markings/sec, 150 secs
lola: 1626487 markings, 2066236 edges, 10290 markings/sec, 155 secs
lola: 1677878 markings, 2132866 edges, 10278 markings/sec, 160 secs
lola: 1729690 markings, 2200633 edges, 10362 markings/sec, 165 secs
lola: 1781207 markings, 2267788 edges, 10303 markings/sec, 170 secs
lola: 1832711 markings, 2335538 edges, 10301 markings/sec, 175 secs
lola: 1884165 markings, 2402522 edges, 10291 markings/sec, 180 secs
lola: 1935587 markings, 2469315 edges, 10284 markings/sec, 185 secs
lola: 1986754 markings, 2535988 edges, 10233 markings/sec, 190 secs
lola: 2038442 markings, 2603844 edges, 10338 markings/sec, 195 secs
lola: 2089953 markings, 2671732 edges, 10302 markings/sec, 200 secs
lola: 2141028 markings, 2740190 edges, 10215 markings/sec, 205 secs
lola: 2192359 markings, 2809536 edges, 10266 markings/sec, 210 secs
lola: 2243849 markings, 2877830 edges, 10298 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_4 + P_2579_1_3 + P_2579_1_2 + P_2579_1_1 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 55306 markings, 59932 edges, 11061 markings/sec, 0 secs
lola: 109085 markings, 119549 edges, 10756 markings/sec, 5 secs
lola: 162073 markings, 178377 edges, 10598 markings/sec, 10 secs
lola: 215727 markings, 237130 edges, 10731 markings/sec, 15 secs
lola: 269131 markings, 295915 edges, 10681 markings/sec, 20 secs
lola: 322513 markings, 355110 edges, 10676 markings/sec, 25 secs
lola: 375833 markings, 414617 edges, 10664 markings/sec, 30 secs
lola: 429113 markings, 473763 edges, 10656 markings/sec, 35 secs
lola: 482463 markings, 535027 edges, 10670 markings/sec, 40 secs
lola: 536091 markings, 595004 edges, 10726 markings/sec, 45 secs
lola: 589682 markings, 657040 edges, 10718 markings/sec, 50 secs
lola: 642503 markings, 716612 edges, 10564 markings/sec, 55 secs
lola: 695024 markings, 777050 edges, 10504 markings/sec, 60 secs
lola: 745873 markings, 835060 edges, 10170 markings/sec, 65 secs
lola: 798531 markings, 894048 edges, 10532 markings/sec, 70 secs
lola: 852365 markings, 954505 edges, 10767 markings/sec, 75 secs
lola: 905345 markings, 1014721 edges, 10596 markings/sec, 80 secs
lola: 958981 markings, 1075442 edges, 10727 markings/sec, 85 secs
lola: 1011758 markings, 1135801 edges, 10555 markings/sec, 90 secs
lola: 1065202 markings, 1197031 edges, 10689 markings/sec, 95 secs
lola: 1118476 markings, 1260189 edges, 10655 markings/sec, 100 secs
lola: 1171128 markings, 1321476 edges, 10530 markings/sec, 105 secs
lola: 1224252 markings, 1380806 edges, 10625 markings/sec, 110 secs
lola: 1276969 markings, 1442380 edges, 10543 markings/sec, 115 secs
lola: 1330149 markings, 1505066 edges, 10636 markings/sec, 120 secs
lola: 1382524 markings, 1565816 edges, 10475 markings/sec, 125 secs
lola: 1435512 markings, 1626390 edges, 10598 markings/sec, 130 secs
lola: 1487874 markings, 1686446 edges, 10472 markings/sec, 135 secs
lola: 1539428 markings, 1747200 edges, 10311 markings/sec, 140 secs
lola: 1591765 markings, 1808290 edges, 10467 markings/sec, 145 secs
lola: 1644156 markings, 1868174 edges, 10478 markings/sec, 150 secs
lola: 1696525 markings, 1928704 edges, 10474 markings/sec, 155 secs
lola: 1748771 markings, 1988180 edges, 10449 markings/sec, 160 secs
lola: 1801575 markings, 2049998 edges, 10561 markings/sec, 165 secs
lola: 1853956 markings, 2110378 edges, 10476 markings/sec, 170 secs
lola: 1906482 markings, 2171381 edges, 10505 markings/sec, 175 secs
lola: 1959038 markings, 2231580 edges, 10511 markings/sec, 180 secs
lola: 2011100 markings, 2291238 edges, 10412 markings/sec, 185 secs
lola: 2063365 markings, 2351579 edges, 10453 markings/sec, 190 secs
lola: 2115316 markings, 2411112 edges, 10390 markings/sec, 195 secs
lola: 2167276 markings, 2472302 edges, 10392 markings/sec, 200 secs
lola: 2219369 markings, 2531998 edges, 10419 markings/sec, 205 secs
lola: 2271371 markings, 2592257 edges, 10400 markings/sec, 210 secs
lola: 2323303 markings, 2652445 edges, 10386 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(Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 57110 markings, 61167 edges, 11422 markings/sec, 0 secs
lola: 114044 markings, 122260 edges, 11387 markings/sec, 5 secs
lola: 171180 markings, 184674 edges, 11427 markings/sec, 10 secs
lola: 227736 markings, 247036 edges, 11311 markings/sec, 15 secs
lola: 284471 markings, 309407 edges, 11347 markings/sec, 20 secs
lola: 340719 markings, 372014 edges, 11250 markings/sec, 25 secs
lola: 396919 markings, 435075 edges, 11240 markings/sec, 30 secs
lola: 453325 markings, 498119 edges, 11281 markings/sec, 35 secs
lola: 508991 markings, 559970 edges, 11133 markings/sec, 40 secs
lola: 564437 markings, 622690 edges, 11089 markings/sec, 45 secs
lola: 620835 markings, 686465 edges, 11280 markings/sec, 50 secs
lola: 676845 markings, 749275 edges, 11202 markings/sec, 55 secs
lola: 732019 markings, 812072 edges, 11035 markings/sec, 60 secs
lola: 783020 markings, 870622 edges, 10200 markings/sec, 65 secs
lola: 839049 markings, 934342 edges, 11206 markings/sec, 70 secs
lola: 895265 markings, 998288 edges, 11243 markings/sec, 75 secs
lola: 950443 markings, 1062339 edges, 11036 markings/sec, 80 secs
lola: 1006059 markings, 1126924 edges, 11123 markings/sec, 85 secs
lola: 1061188 markings, 1190318 edges, 11026 markings/sec, 90 secs
lola: 1116526 markings, 1254091 edges, 11068 markings/sec, 95 secs
lola: 1171967 markings, 1318387 edges, 11088 markings/sec, 100 secs
lola: 1227579 markings, 1381157 edges, 11122 markings/sec, 105 secs
lola: 1282926 markings, 1442940 edges, 11069 markings/sec, 110 secs
lola: 1338108 markings, 1505255 edges, 11036 markings/sec, 115 secs
lola: 1393623 markings, 1568125 edges, 11103 markings/sec, 120 secs
lola: 1449163 markings, 1631786 edges, 11108 markings/sec, 125 secs
lola: 1505160 markings, 1696510 edges, 11199 markings/sec, 130 secs
lola: 1560607 markings, 1759363 edges, 11089 markings/sec, 135 secs
lola: 1615145 markings, 1823135 edges, 10908 markings/sec, 140 secs
lola: 1669420 markings, 1886241 edges, 10855 markings/sec, 145 secs
lola: 1725151 markings, 1949190 edges, 11146 markings/sec, 150 secs
lola: 1779653 markings, 2011422 edges, 10900 markings/sec, 155 secs
lola: 1835316 markings, 2075477 edges, 11133 markings/sec, 160 secs
lola: 1890473 markings, 2139356 edges, 11031 markings/sec, 165 secs
lola: 1944915 markings, 2201478 edges, 10888 markings/sec, 170 secs
lola: 2000166 markings, 2265215 edges, 11050 markings/sec, 175 secs
lola: 2055597 markings, 2327855 edges, 11086 markings/sec, 180 secs
lola: 2110999 markings, 2389694 edges, 11080 markings/sec, 185 secs
lola: 2165710 markings, 2453894 edges, 10942 markings/sec, 190 secs
lola: 2220055 markings, 2515887 edges, 10869 markings/sec, 195 secs
lola: 2274968 markings, 2579579 edges, 10983 markings/sec, 200 secs
lola: 2329814 markings, 2641466 edges, 10969 markings/sec, 205 secs
lola: 2384597 markings, 2707312 edges, 10957 markings/sec, 210 secs
lola: 2438606 markings, 2770043 edges, 10802 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(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 53306 markings, 55788 edges, 10661 markings/sec, 0 secs
lola: 105194 markings, 112245 edges, 10378 markings/sec, 5 secs
lola: 157268 markings, 168936 edges, 10415 markings/sec, 10 secs
lola: 207854 markings, 226325 edges, 10117 markings/sec, 15 secs
lola: 260208 markings, 283993 edges, 10471 markings/sec, 20 secs
lola: 313083 markings, 342302 edges, 10575 markings/sec, 25 secs
lola: 366876 markings, 401224 edges, 10759 markings/sec, 30 secs
lola: 422487 markings, 463981 edges, 11122 markings/sec, 35 secs
lola: 478750 markings, 526413 edges, 11253 markings/sec, 40 secs
lola: 534771 markings, 590159 edges, 11204 markings/sec, 45 secs
lola: 591444 markings, 652646 edges, 11335 markings/sec, 50 secs
lola: 648004 markings, 714903 edges, 11312 markings/sec, 55 secs
lola: 704341 markings, 777252 edges, 11267 markings/sec, 60 secs
lola: 761513 markings, 839995 edges, 11434 markings/sec, 65 secs
lola: 818494 markings, 902931 edges, 11396 markings/sec, 70 secs
lola: 875350 markings, 966318 edges, 11371 markings/sec, 75 secs
lola: 931920 markings, 1029647 edges, 11314 markings/sec, 80 secs
lola: 989755 markings, 1093585 edges, 11567 markings/sec, 85 secs
lola: 1045937 markings, 1156180 edges, 11236 markings/sec, 90 secs
lola: 1101640 markings, 1219564 edges, 11141 markings/sec, 95 secs
lola: 1158476 markings, 1282552 edges, 11367 markings/sec, 100 secs
lola: 1214844 markings, 1345496 edges, 11274 markings/sec, 105 secs
lola: 1271673 markings, 1408445 edges, 11366 markings/sec, 110 secs
lola: 1328193 markings, 1470964 edges, 11304 markings/sec, 115 secs
lola: 1384786 markings, 1534529 edges, 11319 markings/sec, 120 secs
lola: 1441443 markings, 1597971 edges, 11331 markings/sec, 125 secs
lola: 1498194 markings, 1661200 edges, 11350 markings/sec, 130 secs
lola: 1554358 markings, 1723696 edges, 11233 markings/sec, 135 secs
lola: 1611414 markings, 1786613 edges, 11411 markings/sec, 140 secs
lola: 1668505 markings, 1849838 edges, 11418 markings/sec, 145 secs
lola: 1725387 markings, 1913137 edges, 11376 markings/sec, 150 secs
lola: 1782110 markings, 1975757 edges, 11345 markings/sec, 155 secs
lola: 1839314 markings, 2039345 edges, 11441 markings/sec, 160 secs
lola: 1896428 markings, 2102427 edges, 11423 markings/sec, 165 secs
lola: 1952755 markings, 2165510 edges, 11265 markings/sec, 170 secs
lola: 2009353 markings, 2229157 edges, 11320 markings/sec, 175 secs
lola: 2066340 markings, 2292144 edges, 11397 markings/sec, 180 secs
lola: 2123238 markings, 2355454 edges, 11380 markings/sec, 185 secs
lola: 2180171 markings, 2418573 edges, 11387 markings/sec, 190 secs
lola: 2236908 markings, 2482041 edges, 11347 markings/sec, 195 secs
lola: 2294391 markings, 2546169 edges, 11497 markings/sec, 200 secs
lola: 2351509 markings, 2609627 edges, 11424 markings/sec, 205 secs
lola: 2408181 markings, 2672391 edges, 11334 markings/sec, 210 secs
lola: 2465351 markings, 2735705 edges, 11434 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(P_1716)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 43013 markings, 55968 edges, 8603 markings/sec, 0 secs
lola: 84591 markings, 113011 edges, 8316 markings/sec, 5 secs
lola: 125759 markings, 171188 edges, 8234 markings/sec, 10 secs
lola: 167220 markings, 228475 edges, 8292 markings/sec, 15 secs
lola: 208561 markings, 287325 edges, 8268 markings/sec, 20 secs
lola: 249806 markings, 345750 edges, 8249 markings/sec, 25 secs
lola: 291370 markings, 404467 edges, 8313 markings/sec, 30 secs
lola: 332671 markings, 463502 edges, 8260 markings/sec, 35 secs
lola: 373249 markings, 519974 edges, 8116 markings/sec, 40 secs
lola: 414972 markings, 579909 edges, 8345 markings/sec, 45 secs
lola: 456646 markings, 638790 edges, 8335 markings/sec, 50 secs
lola: 497749 markings, 697065 edges, 8221 markings/sec, 55 secs
lola: 539986 markings, 757324 edges, 8447 markings/sec, 60 secs
lola: 581568 markings, 816900 edges, 8316 markings/sec, 65 secs
lola: 621453 markings, 872181 edges, 7977 markings/sec, 70 secs
lola: 661288 markings, 928337 edges, 7967 markings/sec, 75 secs
lola: 702627 markings, 987818 edges, 8268 markings/sec, 80 secs
lola: 743293 markings, 1045227 edges, 8133 markings/sec, 85 secs
lola: 784829 markings, 1105038 edges, 8307 markings/sec, 90 secs
lola: 823981 markings, 1160525 edges, 7830 markings/sec, 95 secs
lola: 864923 markings, 1219682 edges, 8188 markings/sec, 100 secs
lola: 905740 markings, 1278773 edges, 8163 markings/sec, 105 secs
lola: 945771 markings, 1336676 edges, 8006 markings/sec, 110 secs
lola: 987495 markings, 1398306 edges, 8345 markings/sec, 115 secs
lola: 1027880 markings, 1456580 edges, 8077 markings/sec, 120 secs
lola: 1068943 markings, 1516789 edges, 8213 markings/sec, 125 secs
lola: 1110093 markings, 1575259 edges, 8230 markings/sec, 130 secs
lola: 1150773 markings, 1633437 edges, 8136 markings/sec, 135 secs
lola: 1191998 markings, 1692584 edges, 8245 markings/sec, 140 secs
lola: 1233382 markings, 1752414 edges, 8277 markings/sec, 145 secs
lola: 1272872 markings, 1809521 edges, 7898 markings/sec, 150 secs
lola: 1313344 markings, 1868048 edges, 8094 markings/sec, 155 secs
lola: 1354765 markings, 1927243 edges, 8284 markings/sec, 160 secs
lola: 1394844 markings, 1985389 edges, 8016 markings/sec, 165 secs
lola: 1435305 markings, 2041275 edges, 8092 markings/sec, 170 secs
lola: 1476751 markings, 2100860 edges, 8289 markings/sec, 175 secs
lola: 1518252 markings, 2161438 edges, 8300 markings/sec, 180 secs
lola: 1557124 markings, 2218229 edges, 7774 markings/sec, 185 secs
lola: 1597393 markings, 2276582 edges, 8054 markings/sec, 190 secs
lola: 1637575 markings, 2333585 edges, 8036 markings/sec, 195 secs
lola: 1679022 markings, 2393946 edges, 8289 markings/sec, 200 secs
lola: 1719297 markings, 2453428 edges, 8055 markings/sec, 205 secs
lola: 1760101 markings, 2513540 edges, 8161 markings/sec, 210 secs
lola: 1800911 markings, 2572819 edges, 8162 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(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 35039 markings, 39135 edges, 7008 markings/sec, 0 secs
lola: 69978 markings, 80150 edges, 6988 markings/sec, 5 secs
lola: 104799 markings, 122162 edges, 6964 markings/sec, 10 secs
lola: 139610 markings, 164499 edges, 6962 markings/sec, 15 secs
lola: 174311 markings, 206821 edges, 6940 markings/sec, 20 secs
lola: 209044 markings, 249823 edges, 6947 markings/sec, 25 secs
lola: 243649 markings, 293772 edges, 6921 markings/sec, 30 secs
lola: 278283 markings, 339132 edges, 6927 markings/sec, 35 secs
lola: 312860 markings, 384830 edges, 6915 markings/sec, 40 secs
lola: 347436 markings, 429472 edges, 6915 markings/sec, 45 secs
lola: 381918 markings, 473541 edges, 6896 markings/sec, 50 secs
lola: 416370 markings, 517419 edges, 6890 markings/sec, 55 secs
lola: 450802 markings, 561951 edges, 6886 markings/sec, 60 secs
lola: 485273 markings, 606668 edges, 6894 markings/sec, 65 secs
lola: 519668 markings, 651370 edges, 6879 markings/sec, 70 secs
lola: 553990 markings, 696940 edges, 6864 markings/sec, 75 secs
lola: 588361 markings, 742823 edges, 6874 markings/sec, 80 secs
lola: 622753 markings, 787830 edges, 6878 markings/sec, 85 secs
lola: 657118 markings, 833962 edges, 6873 markings/sec, 90 secs
lola: 691503 markings, 880220 edges, 6877 markings/sec, 95 secs
lola: 725940 markings, 925149 edges, 6887 markings/sec, 100 secs
lola: 760450 markings, 969622 edges, 6902 markings/sec, 105 secs
lola: 792884 markings, 1012043 edges, 6487 markings/sec, 110 secs
lola: 826864 markings, 1056408 edges, 6796 markings/sec, 115 secs
lola: 860863 markings, 1101758 edges, 6800 markings/sec, 120 secs
lola: 894628 markings, 1146292 edges, 6753 markings/sec, 125 secs
lola: 928437 markings, 1190894 edges, 6762 markings/sec, 130 secs
lola: 962307 markings, 1235733 edges, 6774 markings/sec, 135 secs
lola: 996152 markings, 1281182 edges, 6769 markings/sec, 140 secs
lola: 1030001 markings, 1326769 edges, 6770 markings/sec, 145 secs
lola: 1063886 markings, 1371399 edges, 6777 markings/sec, 150 secs
lola: 1097598 markings, 1417256 edges, 6742 markings/sec, 155 secs
lola: 1131359 markings, 1462784 edges, 6752 markings/sec, 160 secs
lola: 1165219 markings, 1507035 edges, 6772 markings/sec, 165 secs
lola: 1199007 markings, 1551410 edges, 6758 markings/sec, 170 secs
lola: 1232865 markings, 1596157 edges, 6772 markings/sec, 175 secs
lola: 1266712 markings, 1640439 edges, 6769 markings/sec, 180 secs
lola: 1300473 markings, 1685089 edges, 6752 markings/sec, 185 secs
lola: 1334200 markings, 1729244 edges, 6745 markings/sec, 190 secs
lola: 1367950 markings, 1773736 edges, 6750 markings/sec, 195 secs
lola: 1401611 markings, 1819520 edges, 6732 markings/sec, 200 secs
lola: 1435297 markings, 1864503 edges, 6737 markings/sec, 205 secs
lola: 1469067 markings, 1908531 edges, 6754 markings/sec, 210 secs
lola: 1502850 markings, 1953598 edges, 6757 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(Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 46118 markings, 47667 edges, 9224 markings/sec, 0 secs
lola: 92111 markings, 96579 edges, 9199 markings/sec, 5 secs
lola: 137221 markings, 147511 edges, 9022 markings/sec, 10 secs
lola: 181983 markings, 198113 edges, 8952 markings/sec, 15 secs
lola: 226595 markings, 249814 edges, 8922 markings/sec, 20 secs
lola: 271859 markings, 300566 edges, 9053 markings/sec, 25 secs
lola: 316512 markings, 353661 edges, 8931 markings/sec, 30 secs
lola: 361820 markings, 405669 edges, 9062 markings/sec, 35 secs
lola: 406724 markings, 458361 edges, 8981 markings/sec, 40 secs
lola: 452159 markings, 509723 edges, 9087 markings/sec, 45 secs
lola: 497523 markings, 561913 edges, 9073 markings/sec, 50 secs
lola: 542970 markings, 613394 edges, 9089 markings/sec, 55 secs
lola: 588547 markings, 664894 edges, 9115 markings/sec, 60 secs
lola: 634166 markings, 717409 edges, 9124 markings/sec, 65 secs
lola: 680133 markings, 770468 edges, 9193 markings/sec, 70 secs
lola: 726116 markings, 822343 edges, 9197 markings/sec, 75 secs
lola: 771368 markings, 875077 edges, 9050 markings/sec, 80 secs
lola: 817118 markings, 927952 edges, 9150 markings/sec, 85 secs
lola: 862704 markings, 981304 edges, 9117 markings/sec, 90 secs
lola: 908409 markings, 1035191 edges, 9141 markings/sec, 95 secs
lola: 954139 markings, 1087765 edges, 9146 markings/sec, 100 secs
lola: 999630 markings, 1140772 edges, 9098 markings/sec, 105 secs
lola: 1044701 markings, 1193704 edges, 9014 markings/sec, 110 secs
lola: 1089998 markings, 1246832 edges, 9059 markings/sec, 115 secs
lola: 1135647 markings, 1300047 edges, 9130 markings/sec, 120 secs
lola: 1181453 markings, 1353777 edges, 9161 markings/sec, 125 secs
lola: 1227075 markings, 1407680 edges, 9124 markings/sec, 130 secs
lola: 1272423 markings, 1462078 edges, 9070 markings/sec, 135 secs
lola: 1317974 markings, 1515732 edges, 9110 markings/sec, 140 secs
lola: 1363483 markings, 1569757 edges, 9102 markings/sec, 145 secs
lola: 1409078 markings, 1622828 edges, 9119 markings/sec, 150 secs
lola: 1455350 markings, 1676900 edges, 9254 markings/sec, 155 secs
lola: 1501094 markings, 1731502 edges, 9149 markings/sec, 160 secs
lola: 1546601 markings, 1785972 edges, 9101 markings/sec, 165 secs
lola: 1592347 markings, 1841188 edges, 9149 markings/sec, 170 secs
lola: 1638235 markings, 1895433 edges, 9178 markings/sec, 175 secs
lola: 1684064 markings, 1949780 edges, 9166 markings/sec, 180 secs
lola: 1729688 markings, 2004465 edges, 9125 markings/sec, 185 secs
lola: 1775975 markings, 2059289 edges, 9257 markings/sec, 190 secs
lola: 1822150 markings, 2113637 edges, 9235 markings/sec, 195 secs
lola: 1868003 markings, 2167307 edges, 9171 markings/sec, 200 secs
lola: 1913872 markings, 2223254 edges, 9174 markings/sec, 205 secs
lola: 1960308 markings, 2277915 edges, 9287 markings/sec, 210 secs
lola: 2006569 markings, 2332562 edges, 9252 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(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 2016 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: 55246 markings, 57933 edges, 11049 markings/sec, 0 secs
lola: 108863 markings, 116165 edges, 10723 markings/sec, 5 secs
lola: 162569 markings, 174769 edges, 10741 markings/sec, 10 secs
lola: 214804 markings, 233956 edges, 10447 markings/sec, 15 secs
lola: 269072 markings, 293618 edges, 10854 markings/sec, 20 secs
lola: 323914 markings, 353956 edges, 10968 markings/sec, 25 secs
lola: 379411 markings, 414983 edges, 11099 markings/sec, 30 secs
lola: 433630 markings, 476388 edges, 10844 markings/sec, 35 secs
lola: 488096 markings, 537869 edges, 10893 markings/sec, 40 secs
lola: 543137 markings, 599593 edges, 11008 markings/sec, 45 secs
lola: 598210 markings, 660270 edges, 11015 markings/sec, 50 secs
lola: 653746 markings, 721133 edges, 11107 markings/sec, 55 secs
lola: 708693 markings, 782060 edges, 10989 markings/sec, 60 secs
lola: 764433 markings, 843241 edges, 11148 markings/sec, 65 secs
lola: 820085 markings, 904675 edges, 11130 markings/sec, 70 secs
lola: 875555 markings, 966534 edges, 11094 markings/sec, 75 secs
lola: 930872 markings, 1028407 edges, 11063 markings/sec, 80 secs
lola: 987477 markings, 1091063 edges, 11321 markings/sec, 85 secs
lola: 1042692 markings, 1152556 edges, 11043 markings/sec, 90 secs
lola: 1098531 markings, 1214382 edges, 11168 markings/sec, 95 secs
lola: 1152528 markings, 1275952 edges, 10799 markings/sec, 100 secs
lola: 1208919 markings, 1338912 edges, 11278 markings/sec, 105 secs
lola: 1264762 markings, 1400634 edges, 11169 markings/sec, 110 secs
lola: 1320372 markings, 1462398 edges, 11122 markings/sec, 115 secs
lola: 1376179 markings, 1524946 edges, 11161 markings/sec, 120 secs
lola: 1431543 markings, 1586922 edges, 11073 markings/sec, 125 secs
lola: 1487253 markings, 1649111 edges, 11142 markings/sec, 130 secs
lola: 1542808 markings, 1710793 edges, 11111 markings/sec, 135 secs
lola: 1599004 markings, 1773016 edges, 11239 markings/sec, 140 secs
lola: 1654738 markings, 1834703 edges, 11147 markings/sec, 145 secs
lola: 1710877 markings, 1896808 edges, 11228 markings/sec, 150 secs
lola: 1766855 markings, 1958752 edges, 11196 markings/sec, 155 secs
lola: 1822907 markings, 2021036 edges, 11210 markings/sec, 160 secs
lola: 1879033 markings, 2083181 edges, 11225 markings/sec, 165 secs
lola: 1934833 markings, 2145589 edges, 11160 markings/sec, 170 secs
lola: 1990197 markings, 2207610 edges, 11073 markings/sec, 175 secs
lola: 2046067 markings, 2269658 edges, 11174 markings/sec, 180 secs
lola: 2102310 markings, 2332379 edges, 11249 markings/sec, 185 secs
lola: 2157970 markings, 2393961 edges, 11132 markings/sec, 190 secs
lola: 2214180 markings, 2456785 edges, 11242 markings/sec, 195 secs
lola: 2270190 markings, 2519159 edges, 11202 markings/sec, 200 secs
lola: 2326514 markings, 2581704 edges, 11265 markings/sec, 205 secs
lola: 2382506 markings, 2644192 edges, 11198 markings/sec, 210 secs
lola: 2438722 markings, 2706069 edges, 11243 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 55374 markings, 62646 edges, 11075 markings/sec, 0 secs
lola: 108567 markings, 125435 edges, 10639 markings/sec, 5 secs
lola: 161698 markings, 188694 edges, 10626 markings/sec, 10 secs
lola: 213964 markings, 252847 edges, 10453 markings/sec, 15 secs
lola: 266248 markings, 317725 edges, 10457 markings/sec, 20 secs
lola: 318455 markings, 383979 edges, 10441 markings/sec, 25 secs
lola: 369841 markings, 451234 edges, 10277 markings/sec, 30 secs
lola: 421007 markings, 516334 edges, 10233 markings/sec, 35 secs
lola: 472409 markings, 582365 edges, 10280 markings/sec, 40 secs
lola: 524230 markings, 647312 edges, 10364 markings/sec, 45 secs
lola: 575359 markings, 714020 edges, 10226 markings/sec, 50 secs
lola: 626840 markings, 780195 edges, 10296 markings/sec, 55 secs
lola: 678879 markings, 848551 edges, 10408 markings/sec, 60 secs
lola: 730315 markings, 915676 edges, 10287 markings/sec, 65 secs
lola: 781823 markings, 982690 edges, 10302 markings/sec, 70 secs
lola: 833341 markings, 1049616 edges, 10304 markings/sec, 75 secs
lola: 885047 markings, 1116562 edges, 10341 markings/sec, 80 secs
lola: 937169 markings, 1184014 edges, 10424 markings/sec, 85 secs
lola: 988329 markings, 1251023 edges, 10232 markings/sec, 90 secs
lola: 1039959 markings, 1317540 edges, 10326 markings/sec, 95 secs
lola: 1091290 markings, 1383668 edges, 10266 markings/sec, 100 secs
lola: 1143290 markings, 1450896 edges, 10400 markings/sec, 105 secs
lola: 1195090 markings, 1518274 edges, 10360 markings/sec, 110 secs
lola: 1246543 markings, 1585767 edges, 10291 markings/sec, 115 secs
lola: 1298385 markings, 1652761 edges, 10368 markings/sec, 120 secs
lola: 1350155 markings, 1720692 edges, 10354 markings/sec, 125 secs
lola: 1401851 markings, 1788433 edges, 10339 markings/sec, 130 secs
lola: 1452402 markings, 1855735 edges, 10110 markings/sec, 135 secs
lola: 1503892 markings, 1923099 edges, 10298 markings/sec, 140 secs
lola: 1555644 markings, 1990880 edges, 10350 markings/sec, 145 secs
lola: 1606675 markings, 2058288 edges, 10206 markings/sec, 150 secs
lola: 1658697 markings, 2125379 edges, 10404 markings/sec, 155 secs
lola: 1710045 markings, 2193094 edges, 10270 markings/sec, 160 secs
lola: 1761574 markings, 2261623 edges, 10306 markings/sec, 165 secs
lola: 1812716 markings, 2330338 edges, 10228 markings/sec, 170 secs
lola: 1864963 markings, 2398181 edges, 10449 markings/sec, 175 secs
lola: 1916440 markings, 2465914 edges, 10295 markings/sec, 180 secs
lola: 1968570 markings, 2533849 edges, 10426 markings/sec, 185 secs
lola: 2020084 markings, 2602399 edges, 10303 markings/sec, 190 secs
lola: 2071268 markings, 2669887 edges, 10237 markings/sec, 195 secs
lola: 2122237 markings, 2737884 edges, 10194 markings/sec, 200 secs
lola: 2170686 markings, 2803127 edges, 9690 markings/sec, 205 secs
lola: 2221856 markings, 2871072 edges, 10234 markings/sec, 210 secs
lola: 2274109 markings, 2939466 edges, 10451 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-S04J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494694629150

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S04J04T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J04T06.tgz
mv PolyORBLF-PT-S04J04T06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBLF-PT-S04J04T06, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440870000452"
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 ;