About the Execution of LoLA for PolyORBLF-PT-S02J06T10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4253.070 | 3539615.00 | 3546460.00 | 10052.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBLF-PT-S02J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440870000443
=====================================================================
--------------------
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-S02J06T10-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494687486778
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S02J06T10 @ 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: 2656/65536 symbol table entries, 18 collisions
lola: preprocessing...
lola: finding significant places
lola: 844 places, 1812 transitions, 786 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2543 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: MAX(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_2_5 + NotifyEventJobQueuedB_2_6 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_3_5 + NotifyEventJobQueuedB_3_6 + NotifyEventJobQueuedB_10_0 + NotifyEventJobQueuedB_10_1 + NotifyEventJobQueuedB_10_2 + NotifyEventJobQueuedB_10_3 + NotifyEventJobQueuedB_10_4 + NotifyEventJobQueuedB_10_5 + NotifyEventJobQueuedB_10_6 + NotifyEventJobQueuedB_4_0 + NotifyEventJobQueuedB_4_1 + NotifyEventJobQueuedB_4_2 + NotifyEventJobQueuedB_4_3 + NotifyEventJobQueuedB_4_4 + NotifyEventJobQueuedB_4_5 + NotifyEventJobQueuedB_4_6 + NotifyEventJobQueuedB_5_0 + NotifyEventJobQueuedB_5_1 + NotifyEventJobQueuedB_5_2 + NotifyEventJobQueuedB_5_3 + NotifyEventJobQueuedB_5_4 + NotifyEventJobQueuedB_5_5 + NotifyEventJobQueuedB_5_6 + NotifyEventJobQueuedB_6_0 + NotifyEventJobQueuedB_6_1 + NotifyEventJobQueuedB_6_2 + NotifyEventJobQueuedB_6_3 + NotifyEventJobQueuedB_6_4 + NotifyEventJobQueuedB_6_5 + NotifyEventJobQueuedB_6_6 + NotifyEventJobQueuedB_7_0 + NotifyEventJobQueuedB_7_1 + NotifyEventJobQueuedB_7_2 + NotifyEventJobQueuedB_7_3 + NotifyEventJobQueuedB_7_4 + NotifyEventJobQueuedB_7_5 + NotifyEventJobQueuedB_7_6 + NotifyEventJobQueuedB_8_0 + NotifyEventJobQueuedB_8_1 + NotifyEventJobQueuedB_8_2 + NotifyEventJobQueuedB_8_3 + NotifyEventJobQueuedB_8_4 + NotifyEventJobQueuedB_8_5 + NotifyEventJobQueuedB_8_6 + NotifyEventJobQueuedB_9_0 + NotifyEventJobQueuedB_9_1 + NotifyEventJobQueuedB_9_2 + NotifyEventJobQueuedB_9_3 + NotifyEventJobQueuedB_9_4 + NotifyEventJobQueuedB_9_5 + NotifyEventJobQueuedB_9_6 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6) : MAX(P_1119_1_1 + P_1119_1_2 + P_1119_10_1 + P_1119_10_2 + P_1119_2_1 + P_1119_2_2 + P_1119_3_1 + P_1119_3_2 + P_1119_4_1 + P_1119_4_2 + P_1119_5_1 + P_1119_5_2 + P_1119_6_1 + P_1119_6_2 + P_1119_7_1 + P_1119_7_2 + P_1119_8_1 + P_1119_8_2 + P_1119_9_1 + P_1119_9_2) : MAX(ModifiedSrc_1 + ModifiedSrc_2) : MAX(P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6) : MAX(P_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6 + P_1158_7 + P_1158_8 + P_1158_9 + P_1158_10) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_2_5 + FetchJobE_2_6 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_3_5 + FetchJobE_3_6 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_3 + FetchJobE_4_4 + FetchJobE_4_5 + FetchJobE_4_6 + FetchJobE_5_0 + FetchJobE_5_1 + FetchJobE_5_2 + FetchJobE_5_3 + FetchJobE_5_4 + FetchJobE_5_5 + FetchJobE_5_6 + FetchJobE_10_0 + FetchJobE_10_1 + FetchJobE_10_2 + FetchJobE_10_3 + FetchJobE_10_4 + FetchJobE_10_5 + FetchJobE_10_6 + FetchJobE_6_0 + FetchJobE_6_1 + FetchJobE_6_2 + FetchJobE_6_3 + FetchJobE_6_4 + FetchJobE_6_5 + FetchJobE_6_6 + FetchJobE_7_0 + FetchJobE_7_1 + FetchJobE_7_2 + FetchJobE_7_3 + FetchJobE_7_4 + FetchJobE_7_5 + FetchJobE_7_6 + FetchJobE_8_0 + FetchJobE_8_1 + FetchJobE_8_2 + FetchJobE_8_3 + FetchJobE_8_4 + FetchJobE_8_5 + FetchJobE_8_6 + FetchJobE_9_5 + FetchJobE_9_4 + FetchJobE_9_3 + FetchJobE_9_2 + FetchJobE_9_1 + FetchJobE_9_0 + FetchJobE_9_6) : MAX(MarkerWrite) : MAX(ScheduleTaskE_Work_10_0 + ScheduleTaskE_Work_10_1 + ScheduleTaskE_Work_10_2 + ScheduleTaskE_Work_10_3 + ScheduleTaskE_Work_10_4 + ScheduleTaskE_Work_10_5 + ScheduleTaskE_Work_10_6 + ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_1_5 + ScheduleTaskE_Work_1_6 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_Work_2_1 + ScheduleTaskE_Work_2_2 + ScheduleTaskE_Work_2_3 + ScheduleTaskE_Work_2_4 + ScheduleTaskE_Work_2_5 + ScheduleTaskE_Work_2_6 + ScheduleTaskE_Work_3_0 + ScheduleTaskE_Work_3_1 + ScheduleTaskE_Work_3_2 + ScheduleTaskE_Work_3_3 + ScheduleTaskE_Work_3_4 + ScheduleTaskE_Work_3_5 + ScheduleTaskE_Work_3_6 + ScheduleTaskE_Work_4_0 + ScheduleTaskE_Work_4_1 + ScheduleTaskE_Work_4_2 + ScheduleTaskE_Work_4_3 + ScheduleTaskE_Work_4_4 + ScheduleTaskE_Work_4_5 + ScheduleTaskE_Work_4_6 + ScheduleTaskE_Work_5_0 + ScheduleTaskE_Work_5_1 + ScheduleTaskE_Work_5_2 + ScheduleTaskE_Work_5_3 + ScheduleTaskE_Work_5_4 + ScheduleTaskE_Work_5_5 + ScheduleTaskE_Work_5_6 + ScheduleTaskE_Work_6_0 + ScheduleTaskE_Work_6_1 + ScheduleTaskE_Work_6_2 + ScheduleTaskE_Work_6_3 + ScheduleTaskE_Work_6_4 + ScheduleTaskE_Work_6_5 + ScheduleTaskE_Work_6_6 + ScheduleTaskE_Work_7_0 + ScheduleTaskE_Work_7_1 + ScheduleTaskE_Work_7_2 + ScheduleTaskE_Work_7_3 + ScheduleTaskE_Work_7_4 + ScheduleTaskE_Work_7_5 + ScheduleTaskE_Work_7_6 + ScheduleTaskE_Work_8_0 + ScheduleTaskE_Work_8_1 + ScheduleTaskE_Work_8_2 + ScheduleTaskE_Work_8_3 + ScheduleTaskE_Work_8_4 + ScheduleTaskE_Work_8_5 + ScheduleTaskE_Work_8_6 + ScheduleTaskE_Work_9_0 + ScheduleTaskE_Work_9_1 + ScheduleTaskE_Work_9_2 + ScheduleTaskE_Work_9_3 + ScheduleTaskE_Work_9_4 + ScheduleTaskE_Work_9_5 + ScheduleTaskE_Work_9_6) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8 + Check_Sources_E_9 + Check_Sources_E_10) : MAX(MarkerRead) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_10_1 + DisablePollingE_10_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_7_1 + DisablePollingE_7_2 + DisablePollingE_8_1 + DisablePollingE_8_2 + DisablePollingE_9_1 + DisablePollingE_9_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(ORB_Lock) : MAX(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8 + ScheduleTaskE_Idle_9 + ScheduleTaskE_Idle_10) : MAX(Abort_Check_Sources_E_10 + 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 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6 + P_2318_7 + P_2318_8 + P_2318_9 + P_2318_10) : MAX(ScheduleTaskE_Work_10_0 + ScheduleTaskE_Work_10_1 + ScheduleTaskE_Work_10_2 + ScheduleTaskE_Work_10_3 + ScheduleTaskE_Work_10_4 + ScheduleTaskE_Work_10_5 + ScheduleTaskE_Work_10_6 + ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_1_5 + ScheduleTaskE_Work_1_6 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_Work_2_1 + ScheduleTaskE_Work_2_2 + ScheduleTaskE_Work_2_3 + ScheduleTaskE_Work_2_4 + ScheduleTaskE_Work_2_5 + ScheduleTaskE_Work_2_6 + ScheduleTaskE_Work_3_0 + ScheduleTaskE_Work_3_1 + ScheduleTaskE_Work_3_2 + ScheduleTaskE_Work_3_3 + ScheduleTaskE_Work_3_4 + ScheduleTaskE_Work_3_5 + ScheduleTaskE_Work_3_6 + ScheduleTaskE_Work_4_0 + ScheduleTaskE_Work_4_1 + ScheduleTaskE_Work_4_2 + ScheduleTaskE_Work_4_3 + ScheduleTaskE_Work_4_4 + ScheduleTaskE_Work_4_5 + ScheduleTaskE_Work_4_6 + ScheduleTaskE_Work_5_0 + ScheduleTaskE_Work_5_1 + ScheduleTaskE_Work_5_2 + ScheduleTaskE_Work_5_3 + ScheduleTaskE_Work_5_4 + ScheduleTaskE_Work_5_5 + ScheduleTaskE_Work_5_6 + ScheduleTaskE_Work_6_0 + ScheduleTaskE_Work_6_1 + ScheduleTaskE_Work_6_2 + ScheduleTaskE_Work_6_3 + ScheduleTaskE_Work_6_4 + ScheduleTaskE_Work_6_5 + ScheduleTaskE_Work_6_6 + ScheduleTaskE_Work_7_0 + ScheduleTaskE_Work_7_1 + ScheduleTaskE_Work_7_2 + ScheduleTaskE_Work_7_3 + ScheduleTaskE_Work_7_4 + ScheduleTaskE_Work_7_5 + ScheduleTaskE_Work_7_6 + ScheduleTaskE_Work_8_0 + ScheduleTaskE_Work_8_1 + ScheduleTaskE_Work_8_2 + ScheduleTaskE_Work_8_3 + ScheduleTaskE_Work_8_4 + ScheduleTaskE_Work_8_5 + ScheduleTaskE_Work_8_6 + ScheduleTaskE_Work_9_0 + ScheduleTaskE_Work_9_1 + ScheduleTaskE_Work_9_2 + ScheduleTaskE_Work_9_3 + ScheduleTaskE_Work_9_4 + ScheduleTaskE_Work_9_5 + ScheduleTaskE_Work_9_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(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_2_5 + NotifyEventJobQueuedB_2_6 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_3_5 + NotifyEventJobQueuedB_3_6 + Noti... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 65886 markings, 77512 edges, 13177 markings/sec, 0 secs
lola: 131085 markings, 155813 edges, 13040 markings/sec, 5 secs
lola: 196026 markings, 234028 edges, 12988 markings/sec, 10 secs
lola: 260785 markings, 311744 edges, 12952 markings/sec, 15 secs
lola: 325502 markings, 389758 edges, 12943 markings/sec, 20 secs
lola: 390239 markings, 467588 edges, 12947 markings/sec, 25 secs
lola: 454691 markings, 545026 edges, 12890 markings/sec, 30 secs
lola: 519313 markings, 623230 edges, 12924 markings/sec, 35 secs
lola: 583802 markings, 701342 edges, 12898 markings/sec, 40 secs
lola: 648110 markings, 779662 edges, 12862 markings/sec, 45 secs
lola: 712246 markings, 857658 edges, 12827 markings/sec, 50 secs
lola: 776773 markings, 936097 edges, 12905 markings/sec, 55 secs
lola: 840808 markings, 1014708 edges, 12807 markings/sec, 60 secs
lola: 904727 markings, 1093424 edges, 12784 markings/sec, 65 secs
lola: 968841 markings, 1172160 edges, 12823 markings/sec, 70 secs
lola: 1033031 markings, 1251132 edges, 12838 markings/sec, 75 secs
lola: 1096999 markings, 1329371 edges, 12794 markings/sec, 80 secs
lola: 1160881 markings, 1407662 edges, 12776 markings/sec, 85 secs
lola: 1224653 markings, 1485939 edges, 12754 markings/sec, 90 secs
lola: 1288601 markings, 1563688 edges, 12790 markings/sec, 95 secs
lola: 1352511 markings, 1642190 edges, 12782 markings/sec, 100 secs
lola: 1416479 markings, 1721611 edges, 12794 markings/sec, 105 secs
lola: 1479978 markings, 1798553 edges, 12700 markings/sec, 110 secs
lola: 1543512 markings, 1875433 edges, 12707 markings/sec, 115 secs
lola: 1606953 markings, 1952958 edges, 12688 markings/sec, 120 secs
lola: 1670562 markings, 2030464 edges, 12722 markings/sec, 125 secs
lola: 1733947 markings, 2108028 edges, 12677 markings/sec, 130 secs
lola: 1797366 markings, 2184965 edges, 12684 markings/sec, 135 secs
lola: 1860873 markings, 2262992 edges, 12701 markings/sec, 140 secs
lola: 1924492 markings, 2340897 edges, 12724 markings/sec, 145 secs
lola: 1987971 markings, 2418416 edges, 12696 markings/sec, 150 secs
lola: 2051479 markings, 2495963 edges, 12702 markings/sec, 155 secs
lola: 2115365 markings, 2573628 edges, 12777 markings/sec, 160 secs
lola: 2178784 markings, 2651115 edges, 12684 markings/sec, 165 secs
lola: 2242277 markings, 2728946 edges, 12699 markings/sec, 170 secs
lola: 2305564 markings, 2806239 edges, 12657 markings/sec, 175 secs
lola: 2368698 markings, 2883676 edges, 12627 markings/sec, 180 secs
lola: 2431998 markings, 2961250 edges, 12660 markings/sec, 185 secs
lola: 2495343 markings, 3039432 edges, 12669 markings/sec, 190 secs
lola: 2558623 markings, 3116929 edges, 12656 markings/sec, 195 secs
lola: 2621590 markings, 3194146 edges, 12593 markings/sec, 200 secs
lola: 2684809 markings, 3271688 edges, 12644 markings/sec, 205 secs
lola: 2747955 markings, 3349983 edges, 12629 markings/sec, 210 secs
lola: 2811076 markings, 3427491 edges, 12624 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1119_1_1 + P_1119_1_2 + P_1119_10_1 + P_1119_10_2 + P_1119_2_1 + P_1119_2_2 + P_1119_3_1 + P_1119_3_2 + P_1119_4_1 + P_1119_4_2 + P_1119_5_1 + P_1119_5_2 + P_1119_6_1 + P_1119_6_2 + P_1119_7_1 + P_1119_7_2 + P_1119_8_1 + P_1119_8_2 + P_1119_9_1 + P_1119_9_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 63335 markings, 74434 edges, 12667 markings/sec, 0 secs
lola: 126296 markings, 149408 edges, 12592 markings/sec, 5 secs
lola: 188952 markings, 224558 edges, 12531 markings/sec, 10 secs
lola: 251338 markings, 299577 edges, 12477 markings/sec, 15 secs
lola: 313683 markings, 374370 edges, 12469 markings/sec, 20 secs
lola: 375746 markings, 448760 edges, 12413 markings/sec, 25 secs
lola: 438189 markings, 523594 edges, 12489 markings/sec, 30 secs
lola: 500621 markings, 598007 edges, 12486 markings/sec, 35 secs
lola: 565447 markings, 676239 edges, 12965 markings/sec, 40 secs
lola: 630253 markings, 754143 edges, 12961 markings/sec, 45 secs
lola: 695216 markings, 832861 edges, 12993 markings/sec, 50 secs
lola: 760426 markings, 912775 edges, 13042 markings/sec, 55 secs
lola: 825576 markings, 991712 edges, 13030 markings/sec, 60 secs
lola: 890454 markings, 1070558 edges, 12976 markings/sec, 65 secs
lola: 955666 markings, 1149884 edges, 13042 markings/sec, 70 secs
lola: 1020437 markings, 1228707 edges, 12954 markings/sec, 75 secs
lola: 1085286 markings, 1307870 edges, 12970 markings/sec, 80 secs
lola: 1150202 markings, 1387031 edges, 12983 markings/sec, 85 secs
lola: 1215295 markings, 1466433 edges, 13019 markings/sec, 90 secs
lola: 1280137 markings, 1544860 edges, 12968 markings/sec, 95 secs
lola: 1345129 markings, 1623750 edges, 12998 markings/sec, 100 secs
lola: 1410062 markings, 1703060 edges, 12987 markings/sec, 105 secs
lola: 1474772 markings, 1781289 edges, 12942 markings/sec, 110 secs
lola: 1539391 markings, 1859917 edges, 12924 markings/sec, 115 secs
lola: 1604107 markings, 1939150 edges, 12943 markings/sec, 120 secs
lola: 1668762 markings, 2018033 edges, 12931 markings/sec, 125 secs
lola: 1733292 markings, 2096114 edges, 12906 markings/sec, 130 secs
lola: 1797859 markings, 2174836 edges, 12913 markings/sec, 135 secs
lola: 1862567 markings, 2253489 edges, 12942 markings/sec, 140 secs
lola: 1927122 markings, 2331545 edges, 12911 markings/sec, 145 secs
lola: 1991538 markings, 2409774 edges, 12883 markings/sec, 150 secs
lola: 2056212 markings, 2489115 edges, 12935 markings/sec, 155 secs
lola: 2120715 markings, 2567471 edges, 12901 markings/sec, 160 secs
lola: 2185317 markings, 2645988 edges, 12920 markings/sec, 165 secs
lola: 2249542 markings, 2724244 edges, 12845 markings/sec, 170 secs
lola: 2313852 markings, 2803298 edges, 12862 markings/sec, 175 secs
lola: 2378374 markings, 2882454 edges, 12904 markings/sec, 180 secs
lola: 2442708 markings, 2960731 edges, 12867 markings/sec, 185 secs
lola: 2506945 markings, 3039542 edges, 12847 markings/sec, 190 secs
lola: 2571416 markings, 3118569 edges, 12894 markings/sec, 195 secs
lola: 2635622 markings, 3196538 edges, 12841 markings/sec, 200 secs
lola: 2699801 markings, 3275251 edges, 12836 markings/sec, 205 secs
lola: 2764045 markings, 3353863 edges, 12849 markings/sec, 210 secs
lola: 2828313 markings, 3432769 edges, 12854 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(ModifiedSrc_1 + ModifiedSrc_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 63590 markings, 75103 edges, 12718 markings/sec, 0 secs
lola: 126768 markings, 150912 edges, 12636 markings/sec, 5 secs
lola: 189962 markings, 226595 edges, 12639 markings/sec, 10 secs
lola: 252910 markings, 302445 edges, 12590 markings/sec, 15 secs
lola: 315649 markings, 377849 edges, 12548 markings/sec, 20 secs
lola: 377981 markings, 452844 edges, 12466 markings/sec, 25 secs
lola: 440041 markings, 528021 edges, 12412 markings/sec, 30 secs
lola: 502227 markings, 603547 edges, 12437 markings/sec, 35 secs
lola: 564146 markings, 678769 edges, 12384 markings/sec, 40 secs
lola: 625900 markings, 753905 edges, 12351 markings/sec, 45 secs
lola: 687844 markings, 829420 edges, 12389 markings/sec, 50 secs
lola: 749834 markings, 904935 edges, 12398 markings/sec, 55 secs
lola: 811747 markings, 980810 edges, 12383 markings/sec, 60 secs
lola: 873313 markings, 1055774 edges, 12313 markings/sec, 65 secs
lola: 935189 markings, 1131842 edges, 12375 markings/sec, 70 secs
lola: 997000 markings, 1207524 edges, 12362 markings/sec, 75 secs
lola: 1058555 markings, 1283220 edges, 12311 markings/sec, 80 secs
lola: 1120357 markings, 1359468 edges, 12360 markings/sec, 85 secs
lola: 1181562 markings, 1434279 edges, 12241 markings/sec, 90 secs
lola: 1242904 markings, 1509192 edges, 12268 markings/sec, 95 secs
lola: 1304252 markings, 1584795 edges, 12270 markings/sec, 100 secs
lola: 1365503 markings, 1659696 edges, 12250 markings/sec, 105 secs
lola: 1426768 markings, 1734506 edges, 12253 markings/sec, 110 secs
lola: 1488231 markings, 1809417 edges, 12293 markings/sec, 115 secs
lola: 1549516 markings, 1884786 edges, 12257 markings/sec, 120 secs
lola: 1610912 markings, 1960666 edges, 12279 markings/sec, 125 secs
lola: 1672299 markings, 2036745 edges, 12277 markings/sec, 130 secs
lola: 1733551 markings, 2112395 edges, 12250 markings/sec, 135 secs
lola: 1794849 markings, 2187745 edges, 12260 markings/sec, 140 secs
lola: 1855898 markings, 2262381 edges, 12210 markings/sec, 145 secs
lola: 1917201 markings, 2337351 edges, 12261 markings/sec, 150 secs
lola: 1979393 markings, 2413436 edges, 12438 markings/sec, 155 secs
lola: 2040801 markings, 2488607 edges, 12282 markings/sec, 160 secs
lola: 2102203 markings, 2564057 edges, 12280 markings/sec, 165 secs
lola: 2163576 markings, 2639266 edges, 12275 markings/sec, 170 secs
lola: 2224878 markings, 2715093 edges, 12260 markings/sec, 175 secs
lola: 2286192 markings, 2790006 edges, 12263 markings/sec, 180 secs
lola: 2347237 markings, 2865051 edges, 12209 markings/sec, 185 secs
lola: 2408452 markings, 2940167 edges, 12243 markings/sec, 190 secs
lola: 2469885 markings, 3015890 edges, 12287 markings/sec, 195 secs
lola: 2531524 markings, 3091193 edges, 12328 markings/sec, 200 secs
lola: 2593061 markings, 3167452 edges, 12307 markings/sec, 205 secs
lola: 2654506 markings, 3243165 edges, 12289 markings/sec, 210 secs
lola: 2715806 markings, 3318980 edges, 12260 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_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 62185 markings, 72812 edges, 12437 markings/sec, 0 secs
lola: 123882 markings, 146476 edges, 12339 markings/sec, 5 secs
lola: 185268 markings, 219590 edges, 12277 markings/sec, 10 secs
lola: 246472 markings, 292473 edges, 12241 markings/sec, 15 secs
lola: 307506 markings, 366307 edges, 12207 markings/sec, 20 secs
lola: 368501 markings, 440114 edges, 12199 markings/sec, 25 secs
lola: 429444 markings, 513376 edges, 12189 markings/sec, 30 secs
lola: 490314 markings, 586339 edges, 12174 markings/sec, 35 secs
lola: 551212 markings, 659504 edges, 12180 markings/sec, 40 secs
lola: 612040 markings, 732656 edges, 12166 markings/sec, 45 secs
lola: 672809 markings, 805689 edges, 12154 markings/sec, 50 secs
lola: 733552 markings, 879130 edges, 12149 markings/sec, 55 secs
lola: 794120 markings, 952606 edges, 12114 markings/sec, 60 secs
lola: 854448 markings, 1025484 edges, 12066 markings/sec, 65 secs
lola: 914796 markings, 1098725 edges, 12070 markings/sec, 70 secs
lola: 975096 markings, 1171765 edges, 12060 markings/sec, 75 secs
lola: 1035361 markings, 1245009 edges, 12053 markings/sec, 80 secs
lola: 1095810 markings, 1318424 edges, 12090 markings/sec, 85 secs
lola: 1156102 markings, 1392439 edges, 12058 markings/sec, 90 secs
lola: 1216043 markings, 1465831 edges, 11988 markings/sec, 95 secs
lola: 1276049 markings, 1538692 edges, 12001 markings/sec, 100 secs
lola: 1335960 markings, 1611214 edges, 11982 markings/sec, 105 secs
lola: 1395959 markings, 1683796 edges, 12000 markings/sec, 110 secs
lola: 1455945 markings, 1755945 edges, 11997 markings/sec, 115 secs
lola: 1515912 markings, 1828030 edges, 11993 markings/sec, 120 secs
lola: 1576005 markings, 1901083 edges, 12019 markings/sec, 125 secs
lola: 1636045 markings, 1973909 edges, 12008 markings/sec, 130 secs
lola: 1695988 markings, 2046422 edges, 11989 markings/sec, 135 secs
lola: 1755769 markings, 2118996 edges, 11956 markings/sec, 140 secs
lola: 1815726 markings, 2191777 edges, 11991 markings/sec, 145 secs
lola: 1875451 markings, 2264675 edges, 11945 markings/sec, 150 secs
lola: 1935368 markings, 2337554 edges, 11983 markings/sec, 155 secs
lola: 1994972 markings, 2410280 edges, 11921 markings/sec, 160 secs
lola: 2054822 markings, 2483015 edges, 11970 markings/sec, 165 secs
lola: 2114693 markings, 2555563 edges, 11974 markings/sec, 170 secs
lola: 2174366 markings, 2628268 edges, 11935 markings/sec, 175 secs
lola: 2233986 markings, 2700433 edges, 11924 markings/sec, 180 secs
lola: 2293601 markings, 2773136 edges, 11923 markings/sec, 185 secs
lola: 2353291 markings, 2846479 edges, 11938 markings/sec, 190 secs
lola: 2413135 markings, 2919278 edges, 11969 markings/sec, 195 secs
lola: 2472733 markings, 2992338 edges, 11920 markings/sec, 200 secs
lola: 2532398 markings, 3065280 edges, 11933 markings/sec, 205 secs
lola: 2592053 markings, 3138684 edges, 11931 markings/sec, 210 secs
lola: 2651641 markings, 3211610 edges, 11918 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_1158_1 + P_1158_2 + P_1158_3 + P_1158_4 + P_1158_5 + P_1158_6 + P_1158_7 + P_1158_8 + P_1158_9 + P_1158_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 58638 markings, 68271 edges, 11728 markings/sec, 0 secs
lola: 116636 markings, 137423 edges, 11600 markings/sec, 5 secs
lola: 174472 markings, 206304 edges, 11567 markings/sec, 10 secs
lola: 232119 markings, 275691 edges, 11529 markings/sec, 15 secs
lola: 291687 markings, 347437 edges, 11914 markings/sec, 20 secs
lola: 351406 markings, 419349 edges, 11944 markings/sec, 25 secs
lola: 411103 markings, 491800 edges, 11939 markings/sec, 30 secs
lola: 470830 markings, 563763 edges, 11945 markings/sec, 35 secs
lola: 530515 markings, 635895 edges, 11937 markings/sec, 40 secs
lola: 590102 markings, 707868 edges, 11917 markings/sec, 45 secs
lola: 649566 markings, 779997 edges, 11893 markings/sec, 50 secs
lola: 709135 markings, 852254 edges, 11914 markings/sec, 55 secs
lola: 768584 markings, 924780 edges, 11890 markings/sec, 60 secs
lola: 828022 markings, 997179 edges, 11888 markings/sec, 65 secs
lola: 887375 markings, 1069312 edges, 11871 markings/sec, 70 secs
lola: 946721 markings, 1141755 edges, 11869 markings/sec, 75 secs
lola: 1005961 markings, 1214143 edges, 11848 markings/sec, 80 secs
lola: 1065256 markings, 1287330 edges, 11859 markings/sec, 85 secs
lola: 1124419 markings, 1359115 edges, 11833 markings/sec, 90 secs
lola: 1183499 markings, 1431282 edges, 11816 markings/sec, 95 secs
lola: 1242556 markings, 1503254 edges, 11811 markings/sec, 100 secs
lola: 1301552 markings, 1574839 edges, 11799 markings/sec, 105 secs
lola: 1360576 markings, 1646980 edges, 11805 markings/sec, 110 secs
lola: 1419590 markings, 1718829 edges, 11803 markings/sec, 115 secs
lola: 1478656 markings, 1790728 edges, 11813 markings/sec, 120 secs
lola: 1537714 markings, 1862925 edges, 11812 markings/sec, 125 secs
lola: 1597016 markings, 1935634 edges, 11860 markings/sec, 130 secs
lola: 1656053 markings, 2007782 edges, 11807 markings/sec, 135 secs
lola: 1714797 markings, 2080420 edges, 11749 markings/sec, 140 secs
lola: 1773153 markings, 2151815 edges, 11671 markings/sec, 145 secs
lola: 1831326 markings, 2222923 edges, 11635 markings/sec, 150 secs
lola: 1889697 markings, 2294447 edges, 11674 markings/sec, 155 secs
lola: 1948059 markings, 2366287 edges, 11672 markings/sec, 160 secs
lola: 2004663 markings, 2435569 edges, 11321 markings/sec, 165 secs
lola: 2062766 markings, 2506469 edges, 11621 markings/sec, 170 secs
lola: 2122071 markings, 2579090 edges, 11861 markings/sec, 175 secs
lola: 2179880 markings, 2649846 edges, 11562 markings/sec, 180 secs
lola: 2236107 markings, 2718575 edges, 11245 markings/sec, 185 secs
lola: 2292410 markings, 2787665 edges, 11261 markings/sec, 190 secs
lola: 2350114 markings, 2858167 edges, 11541 markings/sec, 195 secs
lola: 2408641 markings, 2930002 edges, 11705 markings/sec, 200 secs
lola: 2467115 markings, 3001650 edges, 11695 markings/sec, 205 secs
lola: 2524668 markings, 3071875 edges, 11511 markings/sec, 210 secs
lola: 2581435 markings, 3140802 edges, 11353 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(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_2_5 + FetchJobE_2_6 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_3_5 + FetchJobE_3_6 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 57491 markings, 67002 edges, 11498 markings/sec, 0 secs
lola: 114281 markings, 135057 edges, 11358 markings/sec, 5 secs
lola: 170747 markings, 203018 edges, 11293 markings/sec, 10 secs
lola: 227305 markings, 271125 edges, 11312 markings/sec, 15 secs
lola: 283632 markings, 338994 edges, 11265 markings/sec, 20 secs
lola: 339872 markings, 406437 edges, 11248 markings/sec, 25 secs
lola: 396046 markings, 474184 edges, 11235 markings/sec, 30 secs
lola: 452131 markings, 541310 edges, 11217 markings/sec, 35 secs
lola: 508007 markings, 608475 edges, 11175 markings/sec, 40 secs
lola: 563900 markings, 676184 edges, 11179 markings/sec, 45 secs
lola: 619802 markings, 744076 edges, 11180 markings/sec, 50 secs
lola: 675627 markings, 811727 edges, 11165 markings/sec, 55 secs
lola: 731503 markings, 880580 edges, 11175 markings/sec, 60 secs
lola: 787211 markings, 947880 edges, 11142 markings/sec, 65 secs
lola: 842742 markings, 1014583 edges, 11106 markings/sec, 70 secs
lola: 898250 markings, 1081897 edges, 11102 markings/sec, 75 secs
lola: 953804 markings, 1149161 edges, 11111 markings/sec, 80 secs
lola: 1009397 markings, 1216395 edges, 11119 markings/sec, 85 secs
lola: 1065017 markings, 1283665 edges, 11124 markings/sec, 90 secs
lola: 1120386 markings, 1350964 edges, 11074 markings/sec, 95 secs
lola: 1175912 markings, 1417940 edges, 11105 markings/sec, 100 secs
lola: 1231409 markings, 1485189 edges, 11099 markings/sec, 105 secs
lola: 1286729 markings, 1552204 edges, 11064 markings/sec, 110 secs
lola: 1342212 markings, 1619255 edges, 11097 markings/sec, 115 secs
lola: 1397735 markings, 1686730 edges, 11105 markings/sec, 120 secs
lola: 1453247 markings, 1753357 edges, 11102 markings/sec, 125 secs
lola: 1508526 markings, 1820541 edges, 11056 markings/sec, 130 secs
lola: 1563745 markings, 1888425 edges, 11044 markings/sec, 135 secs
lola: 1619337 markings, 1956655 edges, 11118 markings/sec, 140 secs
lola: 1674440 markings, 2024231 edges, 11021 markings/sec, 145 secs
lola: 1729590 markings, 2091381 edges, 11030 markings/sec, 150 secs
lola: 1784664 markings, 2158907 edges, 11015 markings/sec, 155 secs
lola: 1839757 markings, 2226941 edges, 11019 markings/sec, 160 secs
lola: 1894934 markings, 2295073 edges, 11035 markings/sec, 165 secs
lola: 1950151 markings, 2362394 edges, 11043 markings/sec, 170 secs
lola: 2005339 markings, 2430941 edges, 11038 markings/sec, 175 secs
lola: 2060391 markings, 2498312 edges, 11010 markings/sec, 180 secs
lola: 2115462 markings, 2566664 edges, 11014 markings/sec, 185 secs
lola: 2170652 markings, 2634454 edges, 11038 markings/sec, 190 secs
lola: 2225723 markings, 2701524 edges, 11014 markings/sec, 195 secs
lola: 2280611 markings, 2768238 edges, 10978 markings/sec, 200 secs
lola: 2335332 markings, 2835148 edges, 10944 markings/sec, 205 secs
lola: 2390445 markings, 2903081 edges, 11023 markings/sec, 210 secs
lola: 2445334 markings, 2970200 edges, 10978 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 3144 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: 60580 markings, 70865 edges, 12116 markings/sec, 0 secs
lola: 120777 markings, 142790 edges, 12039 markings/sec, 5 secs
lola: 180583 markings, 213964 edges, 11961 markings/sec, 10 secs
lola: 241674 markings, 286805 edges, 12218 markings/sec, 15 secs
lola: 302964 markings, 360780 edges, 12258 markings/sec, 20 secs
lola: 364086 markings, 434678 edges, 12224 markings/sec, 25 secs
lola: 425180 markings, 508166 edges, 12219 markings/sec, 30 secs
lola: 486184 markings, 581649 edges, 12201 markings/sec, 35 secs
lola: 547454 markings, 654897 edges, 12254 markings/sec, 40 secs
lola: 606971 markings, 726491 edges, 11903 markings/sec, 45 secs
lola: 668077 markings, 800093 edges, 12221 markings/sec, 50 secs
lola: 729459 markings, 874195 edges, 12276 markings/sec, 55 secs
lola: 790556 markings, 948297 edges, 12219 markings/sec, 60 secs
lola: 851940 markings, 1022458 edges, 12277 markings/sec, 65 secs
lola: 912482 markings, 1095847 edges, 12108 markings/sec, 70 secs
lola: 973587 markings, 1169893 edges, 12221 markings/sec, 75 secs
lola: 1034690 markings, 1244208 edges, 12221 markings/sec, 80 secs
lola: 1096230 markings, 1318981 edges, 12308 markings/sec, 85 secs
lola: 1157586 markings, 1394276 edges, 12271 markings/sec, 90 secs
lola: 1218676 markings, 1469022 edges, 12218 markings/sec, 95 secs
lola: 1279817 markings, 1543348 edges, 12228 markings/sec, 100 secs
lola: 1340750 markings, 1616921 edges, 12187 markings/sec, 105 secs
lola: 1401791 markings, 1690680 edges, 12208 markings/sec, 110 secs
lola: 1462868 markings, 1764257 edges, 12215 markings/sec, 115 secs
lola: 1523910 markings, 1837599 edges, 12208 markings/sec, 120 secs
lola: 1582425 markings, 1908853 edges, 11703 markings/sec, 125 secs
lola: 1641581 markings, 1980619 edges, 11831 markings/sec, 130 secs
lola: 1700270 markings, 2051628 edges, 11738 markings/sec, 135 secs
lola: 1758785 markings, 2122645 edges, 11703 markings/sec, 140 secs
lola: 1819440 markings, 2196364 edges, 12131 markings/sec, 145 secs
lola: 1876092 markings, 2265465 edges, 11330 markings/sec, 150 secs
lola: 1937089 markings, 2339666 edges, 12199 markings/sec, 155 secs
lola: 1995529 markings, 2410967 edges, 11688 markings/sec, 160 secs
lola: 2054163 markings, 2482226 edges, 11727 markings/sec, 165 secs
lola: 2112429 markings, 2552755 edges, 11653 markings/sec, 170 secs
lola: 2166723 markings, 2618988 edges, 10859 markings/sec, 175 secs
lola: 2228067 markings, 2693139 edges, 12269 markings/sec, 180 secs
lola: 2286794 markings, 2764941 edges, 11745 markings/sec, 185 secs
lola: 2346221 markings, 2837642 edges, 11885 markings/sec, 190 secs
lola: 2405494 markings, 2909802 edges, 11855 markings/sec, 195 secs
lola: 2464144 markings, 2981987 edges, 11730 markings/sec, 200 secs
lola: 2521422 markings, 3051904 edges, 11456 markings/sec, 205 secs
lola: 2578493 markings, 3122102 edges, 11414 markings/sec, 210 secs
lola: 2639754 markings, 3197198 edges, 12252 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(ScheduleTaskE_Work_10_0 + ScheduleTaskE_Work_10_1 + ScheduleTaskE_Work_10_2 + ScheduleTaskE_Work_10_3 + ScheduleTaskE_Work_10_4 + ScheduleTaskE_Work_10_5 + ScheduleTaskE_Work_10_6 + ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_1_5 + ScheduleTaskE_Work_1_6 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 58826 markings, 68255 edges, 11765 markings/sec, 0 secs
lola: 119143 markings, 140100 edges, 12063 markings/sec, 5 secs
lola: 179324 markings, 212552 edges, 12036 markings/sec, 10 secs
lola: 239175 markings, 285250 edges, 11970 markings/sec, 15 secs
lola: 298898 markings, 357749 edges, 11945 markings/sec, 20 secs
lola: 358326 markings, 428480 edges, 11886 markings/sec, 25 secs
lola: 412887 markings, 494637 edges, 10912 markings/sec, 30 secs
lola: 470219 markings, 564280 edges, 11466 markings/sec, 35 secs
lola: 526895 markings, 633163 edges, 11335 markings/sec, 40 secs
lola: 583414 markings, 701874 edges, 11304 markings/sec, 45 secs
lola: 639802 markings, 770689 edges, 11278 markings/sec, 50 secs
lola: 696575 markings, 839526 edges, 11355 markings/sec, 55 secs
lola: 753434 markings, 908462 edges, 11372 markings/sec, 60 secs
lola: 809665 markings, 976124 edges, 11246 markings/sec, 65 secs
lola: 865808 markings, 1043105 edges, 11229 markings/sec, 70 secs
lola: 922271 markings, 1111167 edges, 11293 markings/sec, 75 secs
lola: 978634 markings, 1179061 edges, 11273 markings/sec, 80 secs
lola: 1034869 markings, 1246976 edges, 11247 markings/sec, 85 secs
lola: 1090963 markings, 1314899 edges, 11219 markings/sec, 90 secs
lola: 1147279 markings, 1382443 edges, 11263 markings/sec, 95 secs
lola: 1203186 markings, 1449844 edges, 11181 markings/sec, 100 secs
lola: 1259197 markings, 1517138 edges, 11202 markings/sec, 105 secs
lola: 1315495 markings, 1584916 edges, 11260 markings/sec, 110 secs
lola: 1371443 markings, 1653096 edges, 11190 markings/sec, 115 secs
lola: 1429494 markings, 1724398 edges, 11610 markings/sec, 120 secs
lola: 1488530 markings, 1796191 edges, 11807 markings/sec, 125 secs
lola: 1546959 markings, 1867636 edges, 11686 markings/sec, 130 secs
lola: 1605689 markings, 1940270 edges, 11746 markings/sec, 135 secs
lola: 1664262 markings, 2011994 edges, 11715 markings/sec, 140 secs
lola: 1723068 markings, 2084674 edges, 11761 markings/sec, 145 secs
lola: 1781664 markings, 2156152 edges, 11719 markings/sec, 150 secs
lola: 1840254 markings, 2227802 edges, 11718 markings/sec, 155 secs
lola: 1898805 markings, 2299223 edges, 11710 markings/sec, 160 secs
lola: 1957238 markings, 2372271 edges, 11687 markings/sec, 165 secs
lola: 2015402 markings, 2444183 edges, 11633 markings/sec, 170 secs
lola: 2073477 markings, 2514720 edges, 11615 markings/sec, 175 secs
lola: 2131530 markings, 2587749 edges, 11611 markings/sec, 180 secs
lola: 2189828 markings, 2659578 edges, 11660 markings/sec, 185 secs
lola: 2248286 markings, 2732171 edges, 11692 markings/sec, 190 secs
lola: 2306512 markings, 2802893 edges, 11645 markings/sec, 195 secs
lola: 2364933 markings, 2873704 edges, 11684 markings/sec, 200 secs
lola: 2423103 markings, 2944865 edges, 11634 markings/sec, 205 secs
lola: 2481025 markings, 3015773 edges, 11584 markings/sec, 210 secs
lola: 2539003 markings, 3087802 edges, 11596 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(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8 + Check_Sources_E_9 + Check_Sources_E_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 63971 markings, 74972 edges, 12794 markings/sec, 0 secs
lola: 127599 markings, 150496 edges, 12726 markings/sec, 5 secs
lola: 190807 markings, 226056 edges, 12642 markings/sec, 10 secs
lola: 253867 markings, 301600 edges, 12612 markings/sec, 15 secs
lola: 316736 markings, 376526 edges, 12574 markings/sec, 20 secs
lola: 379524 markings, 451280 edges, 12558 markings/sec, 25 secs
lola: 442338 markings, 526590 edges, 12563 markings/sec, 30 secs
lola: 505087 markings, 602125 edges, 12550 markings/sec, 35 secs
lola: 568187 markings, 677779 edges, 12620 markings/sec, 40 secs
lola: 631006 markings, 753587 edges, 12564 markings/sec, 45 secs
lola: 693785 markings, 829299 edges, 12556 markings/sec, 50 secs
lola: 756342 markings, 904603 edges, 12511 markings/sec, 55 secs
lola: 818825 markings, 979960 edges, 12497 markings/sec, 60 secs
lola: 881488 markings, 1056526 edges, 12533 markings/sec, 65 secs
lola: 944061 markings, 1132992 edges, 12515 markings/sec, 70 secs
lola: 1006551 markings, 1208838 edges, 12498 markings/sec, 75 secs
lola: 1069036 markings, 1284588 edges, 12497 markings/sec, 80 secs
lola: 1131515 markings, 1360729 edges, 12496 markings/sec, 85 secs
lola: 1194226 markings, 1437098 edges, 12542 markings/sec, 90 secs
lola: 1256464 markings, 1512136 edges, 12448 markings/sec, 95 secs
lola: 1318965 markings, 1587701 edges, 12500 markings/sec, 100 secs
lola: 1381400 markings, 1663546 edges, 12487 markings/sec, 105 secs
lola: 1443662 markings, 1739192 edges, 12452 markings/sec, 110 secs
lola: 1506035 markings, 1815593 edges, 12475 markings/sec, 115 secs
lola: 1568227 markings, 1890729 edges, 12438 markings/sec, 120 secs
lola: 1630808 markings, 1967425 edges, 12516 markings/sec, 125 secs
lola: 1692984 markings, 2042711 edges, 12435 markings/sec, 130 secs
lola: 1755205 markings, 2118853 edges, 12444 markings/sec, 135 secs
lola: 1817545 markings, 2194898 edges, 12468 markings/sec, 140 secs
lola: 1879688 markings, 2270016 edges, 12429 markings/sec, 145 secs
lola: 1941865 markings, 2345598 edges, 12435 markings/sec, 150 secs
lola: 2004142 markings, 2421782 edges, 12455 markings/sec, 155 secs
lola: 2066338 markings, 2497065 edges, 12439 markings/sec, 160 secs
lola: 2128485 markings, 2572970 edges, 12429 markings/sec, 165 secs
lola: 2190620 markings, 2649149 edges, 12427 markings/sec, 170 secs
lola: 2252807 markings, 2724907 edges, 12437 markings/sec, 175 secs
lola: 2314866 markings, 2800579 edges, 12412 markings/sec, 180 secs
lola: 2376849 markings, 2876265 edges, 12397 markings/sec, 185 secs
lola: 2438844 markings, 2951420 edges, 12399 markings/sec, 190 secs
lola: 2500749 markings, 3026830 edges, 12381 markings/sec, 195 secs
lola: 2562730 markings, 3102259 edges, 12396 markings/sec, 200 secs
lola: 2624758 markings, 3178184 edges, 12406 markings/sec, 205 secs
lola: 2687105 markings, 3254252 edges, 12469 markings/sec, 210 secs
lola: 2749085 markings, 3329620 edges, 12396 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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 59879 markings, 70483 edges, 11976 markings/sec, 0 secs
lola: 118794 markings, 141130 edges, 11783 markings/sec, 5 secs
lola: 177835 markings, 213360 edges, 11808 markings/sec, 10 secs
lola: 236364 markings, 284743 edges, 11706 markings/sec, 15 secs
lola: 294866 markings, 355989 edges, 11700 markings/sec, 20 secs
lola: 353133 markings, 427137 edges, 11653 markings/sec, 25 secs
lola: 411178 markings, 496734 edges, 11609 markings/sec, 30 secs
lola: 469704 markings, 567479 edges, 11705 markings/sec, 35 secs
lola: 527945 markings, 637809 edges, 11648 markings/sec, 40 secs
lola: 586139 markings, 709292 edges, 11639 markings/sec, 45 secs
lola: 644121 markings, 779777 edges, 11596 markings/sec, 50 secs
lola: 701753 markings, 850357 edges, 11526 markings/sec, 55 secs
lola: 759797 markings, 921022 edges, 11609 markings/sec, 60 secs
lola: 817336 markings, 990615 edges, 11508 markings/sec, 65 secs
lola: 875067 markings, 1060821 edges, 11546 markings/sec, 70 secs
lola: 933423 markings, 1131463 edges, 11671 markings/sec, 75 secs
lola: 991120 markings, 1201560 edges, 11539 markings/sec, 80 secs
lola: 1048821 markings, 1271889 edges, 11540 markings/sec, 85 secs
lola: 1106431 markings, 1341970 edges, 11522 markings/sec, 90 secs
lola: 1164156 markings, 1412037 edges, 11545 markings/sec, 95 secs
lola: 1222103 markings, 1482721 edges, 11589 markings/sec, 100 secs
lola: 1279751 markings, 1552610 edges, 11530 markings/sec, 105 secs
lola: 1337358 markings, 1622401 edges, 11521 markings/sec, 110 secs
lola: 1394933 markings, 1693474 edges, 11515 markings/sec, 115 secs
lola: 1452557 markings, 1763617 edges, 11525 markings/sec, 120 secs
lola: 1509901 markings, 1833218 edges, 11469 markings/sec, 125 secs
lola: 1567320 markings, 1903343 edges, 11484 markings/sec, 130 secs
lola: 1624775 markings, 1973811 edges, 11491 markings/sec, 135 secs
lola: 1682444 markings, 2044388 edges, 11534 markings/sec, 140 secs
lola: 1740003 markings, 2116102 edges, 11512 markings/sec, 145 secs
lola: 1797568 markings, 2187401 edges, 11513 markings/sec, 150 secs
lola: 1855261 markings, 2258805 edges, 11539 markings/sec, 155 secs
lola: 1912402 markings, 2329112 edges, 11428 markings/sec, 160 secs
lola: 1969928 markings, 2400057 edges, 11505 markings/sec, 165 secs
lola: 2027162 markings, 2470864 edges, 11447 markings/sec, 170 secs
lola: 2084780 markings, 2542394 edges, 11524 markings/sec, 175 secs
lola: 2142537 markings, 2614078 edges, 11551 markings/sec, 180 secs
lola: 2200500 markings, 2686044 edges, 11593 markings/sec, 185 secs
lola: 2257903 markings, 2756144 edges, 11481 markings/sec, 190 secs
lola: 2315183 markings, 2826587 edges, 11456 markings/sec, 195 secs
lola: 2372457 markings, 2897647 edges, 11455 markings/sec, 200 secs
lola: 2429764 markings, 2968150 edges, 11461 markings/sec, 205 secs
lola: 2487009 markings, 3038933 edges, 11449 markings/sec, 210 secs
lola: 2544152 markings, 3109422 edges, 11429 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(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_10_1 + DisablePollingE_10_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_7_1 + DisablePollingE_7_2 + DisablePollingE_8_1 + DisablePollingE_8_2 + DisablePollingE_9_1 + DisablePollingE_9_2 + DisablePollingE_2_2 + DisablePollingE_2_1 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 67258 markings, 79714 edges, 13452 markings/sec, 0 secs
lola: 134290 markings, 161037 edges, 13406 markings/sec, 5 secs
lola: 200895 markings, 240883 edges, 13321 markings/sec, 10 secs
lola: 267327 markings, 320890 edges, 13286 markings/sec, 15 secs
lola: 333621 markings, 400349 edges, 13259 markings/sec, 20 secs
lola: 399992 markings, 482060 edges, 13274 markings/sec, 25 secs
lola: 466252 markings, 563144 edges, 13252 markings/sec, 30 secs
lola: 532471 markings, 643604 edges, 13244 markings/sec, 35 secs
lola: 598722 markings, 724138 edges, 13250 markings/sec, 40 secs
lola: 664797 markings, 805031 edges, 13215 markings/sec, 45 secs
lola: 730823 markings, 885283 edges, 13205 markings/sec, 50 secs
lola: 797066 markings, 966164 edges, 13249 markings/sec, 55 secs
lola: 862920 markings, 1046539 edges, 13171 markings/sec, 60 secs
lola: 928896 markings, 1126569 edges, 13195 markings/sec, 65 secs
lola: 994502 markings, 1207028 edges, 13121 markings/sec, 70 secs
lola: 1060193 markings, 1287810 edges, 13138 markings/sec, 75 secs
lola: 1125821 markings, 1369149 edges, 13126 markings/sec, 80 secs
lola: 1191359 markings, 1450178 edges, 13108 markings/sec, 85 secs
lola: 1256954 markings, 1531388 edges, 13119 markings/sec, 90 secs
lola: 1322386 markings, 1611473 edges, 13086 markings/sec, 95 secs
lola: 1387738 markings, 1691885 edges, 13070 markings/sec, 100 secs
lola: 1453874 markings, 1774675 edges, 13227 markings/sec, 105 secs
lola: 1519407 markings, 1856570 edges, 13107 markings/sec, 110 secs
lola: 1584895 markings, 1936268 edges, 13098 markings/sec, 115 secs
lola: 1650207 markings, 2016441 edges, 13062 markings/sec, 120 secs
lola: 1715813 markings, 2096647 edges, 13121 markings/sec, 125 secs
lola: 1780607 markings, 2175824 edges, 12959 markings/sec, 130 secs
lola: 1845308 markings, 2254978 edges, 12940 markings/sec, 135 secs
lola: 1910721 markings, 2335680 edges, 13083 markings/sec, 140 secs
lola: 1976143 markings, 2416213 edges, 13084 markings/sec, 145 secs
lola: 2041807 markings, 2496344 edges, 13133 markings/sec, 150 secs
lola: 2107281 markings, 2576914 edges, 13095 markings/sec, 155 secs
lola: 2173014 markings, 2657020 edges, 13147 markings/sec, 160 secs
lola: 2238541 markings, 2737263 edges, 13105 markings/sec, 165 secs
lola: 2303845 markings, 2818060 edges, 13061 markings/sec, 170 secs
lola: 2369137 markings, 2898621 edges, 13058 markings/sec, 175 secs
lola: 2434577 markings, 2978753 edges, 13088 markings/sec, 180 secs
lola: 2499886 markings, 3057994 edges, 13062 markings/sec, 185 secs
lola: 2565116 markings, 3138306 edges, 13046 markings/sec, 190 secs
lola: 2630301 markings, 3218384 edges, 13037 markings/sec, 195 secs
lola: 2696226 markings, 3299057 edges, 13185 markings/sec, 200 secs
lola: 2761351 markings, 3378953 edges, 13025 markings/sec, 205 secs
lola: 2826342 markings, 3458894 edges, 12998 markings/sec, 210 secs
lola: 2891482 markings, 3538353 edges, 13028 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(ORB_Lock)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 64128 markings, 70984 edges, 12826 markings/sec, 0 secs
lola: 127516 markings, 143170 edges, 12678 markings/sec, 5 secs
lola: 190467 markings, 215045 edges, 12590 markings/sec, 10 secs
lola: 253308 markings, 288447 edges, 12568 markings/sec, 15 secs
lola: 315994 markings, 360986 edges, 12537 markings/sec, 20 secs
lola: 378551 markings, 433900 edges, 12511 markings/sec, 25 secs
lola: 440732 markings, 507042 edges, 12436 markings/sec, 30 secs
lola: 503077 markings, 579176 edges, 12469 markings/sec, 35 secs
lola: 565273 markings, 651553 edges, 12439 markings/sec, 40 secs
lola: 627666 markings, 724051 edges, 12479 markings/sec, 45 secs
lola: 689759 markings, 796638 edges, 12419 markings/sec, 50 secs
lola: 751855 markings, 869464 edges, 12419 markings/sec, 55 secs
lola: 813611 markings, 941788 edges, 12351 markings/sec, 60 secs
lola: 875179 markings, 1014363 edges, 12314 markings/sec, 65 secs
lola: 936680 markings, 1086274 edges, 12300 markings/sec, 70 secs
lola: 997991 markings, 1158369 edges, 12262 markings/sec, 75 secs
lola: 1059422 markings, 1231705 edges, 12286 markings/sec, 80 secs
lola: 1119489 markings, 1301638 edges, 12013 markings/sec, 85 secs
lola: 1182217 markings, 1373284 edges, 12546 markings/sec, 90 secs
lola: 1244325 markings, 1446806 edges, 12422 markings/sec, 95 secs
lola: 1306427 markings, 1520256 edges, 12420 markings/sec, 100 secs
lola: 1368909 markings, 1593280 edges, 12496 markings/sec, 105 secs
lola: 1431226 markings, 1666084 edges, 12463 markings/sec, 110 secs
lola: 1493334 markings, 1738752 edges, 12422 markings/sec, 115 secs
lola: 1555477 markings, 1809856 edges, 12429 markings/sec, 120 secs
lola: 1617600 markings, 1882891 edges, 12425 markings/sec, 125 secs
lola: 1679608 markings, 1954682 edges, 12402 markings/sec, 130 secs
lola: 1741457 markings, 2028167 edges, 12370 markings/sec, 135 secs
lola: 1803271 markings, 2101565 edges, 12363 markings/sec, 140 secs
lola: 1864831 markings, 2174078 edges, 12312 markings/sec, 145 secs
lola: 1926194 markings, 2246897 edges, 12273 markings/sec, 150 secs
lola: 1987616 markings, 2319482 edges, 12284 markings/sec, 155 secs
lola: 2049379 markings, 2391946 edges, 12353 markings/sec, 160 secs
lola: 2110939 markings, 2464327 edges, 12312 markings/sec, 165 secs
lola: 2172781 markings, 2536945 edges, 12368 markings/sec, 170 secs
lola: 2234415 markings, 2610038 edges, 12327 markings/sec, 175 secs
lola: 2295679 markings, 2683625 edges, 12253 markings/sec, 180 secs
lola: 2357139 markings, 2756677 edges, 12292 markings/sec, 185 secs
lola: 2418623 markings, 2828805 edges, 12297 markings/sec, 190 secs
lola: 2479983 markings, 2899850 edges, 12272 markings/sec, 195 secs
lola: 2538940 markings, 2969117 edges, 11791 markings/sec, 200 secs
lola: 2597833 markings, 3038921 edges, 11779 markings/sec, 205 secs
lola: 2657044 markings, 3107516 edges, 11842 markings/sec, 210 secs
lola: 2716179 markings, 3177594 edges, 11827 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(ScheduleTaskE_Idle_1 + ScheduleTaskE_Idle_2 + ScheduleTaskE_Idle_3 + ScheduleTaskE_Idle_4 + ScheduleTaskE_Idle_5 + ScheduleTaskE_Idle_6 + ScheduleTaskE_Idle_7 + ScheduleTaskE_Idle_8 + ScheduleTaskE_Idle_9 + ScheduleTaskE_Idle_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 65794 markings, 78452 edges, 13159 markings/sec, 0 secs
lola: 130599 markings, 160136 edges, 12961 markings/sec, 5 secs
lola: 195082 markings, 241600 edges, 12897 markings/sec, 10 secs
lola: 259161 markings, 323906 edges, 12816 markings/sec, 15 secs
lola: 323097 markings, 405226 edges, 12787 markings/sec, 20 secs
lola: 386549 markings, 487940 edges, 12690 markings/sec, 25 secs
lola: 450062 markings, 571023 edges, 12703 markings/sec, 30 secs
lola: 513318 markings, 653642 edges, 12651 markings/sec, 35 secs
lola: 576603 markings, 734724 edges, 12657 markings/sec, 40 secs
lola: 639791 markings, 818121 edges, 12638 markings/sec, 45 secs
lola: 703057 markings, 899119 edges, 12653 markings/sec, 50 secs
lola: 766059 markings, 982624 edges, 12600 markings/sec, 55 secs
lola: 829910 markings, 1067541 edges, 12770 markings/sec, 60 secs
lola: 893877 markings, 1151648 edges, 12793 markings/sec, 65 secs
lola: 957680 markings, 1235743 edges, 12761 markings/sec, 70 secs
lola: 1021319 markings, 1320410 edges, 12728 markings/sec, 75 secs
lola: 1085085 markings, 1404047 edges, 12753 markings/sec, 80 secs
lola: 1148611 markings, 1488826 edges, 12705 markings/sec, 85 secs
lola: 1212124 markings, 1574363 edges, 12703 markings/sec, 90 secs
lola: 1275629 markings, 1657783 edges, 12701 markings/sec, 95 secs
lola: 1339102 markings, 1741603 edges, 12695 markings/sec, 100 secs
lola: 1402667 markings, 1826758 edges, 12713 markings/sec, 105 secs
lola: 1466397 markings, 1911375 edges, 12746 markings/sec, 110 secs
lola: 1529902 markings, 1996085 edges, 12701 markings/sec, 115 secs
lola: 1593066 markings, 2080818 edges, 12633 markings/sec, 120 secs
lola: 1656578 markings, 2164747 edges, 12702 markings/sec, 125 secs
lola: 1719898 markings, 2250890 edges, 12664 markings/sec, 130 secs
lola: 1783089 markings, 2337133 edges, 12638 markings/sec, 135 secs
lola: 1846168 markings, 2422379 edges, 12616 markings/sec, 140 secs
lola: 1909263 markings, 2507699 edges, 12619 markings/sec, 145 secs
lola: 1972456 markings, 2591439 edges, 12639 markings/sec, 150 secs
lola: 2035681 markings, 2674147 edges, 12645 markings/sec, 155 secs
lola: 2099083 markings, 2758476 edges, 12680 markings/sec, 160 secs
lola: 2162424 markings, 2842287 edges, 12668 markings/sec, 165 secs
lola: 2225304 markings, 2928829 edges, 12576 markings/sec, 170 secs
lola: 2288287 markings, 3012971 edges, 12597 markings/sec, 175 secs
lola: 2351139 markings, 3100761 edges, 12570 markings/sec, 180 secs
lola: 2414001 markings, 3185323 edges, 12572 markings/sec, 185 secs
lola: 2477071 markings, 3271369 edges, 12614 markings/sec, 190 secs
lola: 2540063 markings, 3355682 edges, 12598 markings/sec, 195 secs
lola: 2602870 markings, 3441736 edges, 12561 markings/sec, 200 secs
lola: 2665569 markings, 3528415 edges, 12540 markings/sec, 205 secs
lola: 2728495 markings, 3613972 edges, 12585 markings/sec, 210 secs
lola: 2791362 markings, 3698247 edges, 12573 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Abort_Check_Sources_E_10 + 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 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 65829 markings, 75800 edges, 13166 markings/sec, 0 secs
lola: 128460 markings, 148504 edges, 12526 markings/sec, 5 secs
lola: 197590 markings, 228762 edges, 13826 markings/sec, 10 secs
lola: 266636 markings, 309202 edges, 13809 markings/sec, 15 secs
lola: 335602 markings, 389560 edges, 13793 markings/sec, 20 secs
lola: 404509 markings, 470310 edges, 13781 markings/sec, 25 secs
lola: 473145 markings, 550805 edges, 13727 markings/sec, 30 secs
lola: 542290 markings, 632315 edges, 13829 markings/sec, 35 secs
lola: 611126 markings, 714146 edges, 13767 markings/sec, 40 secs
lola: 679729 markings, 793827 edges, 13721 markings/sec, 45 secs
lola: 747907 markings, 874899 edges, 13636 markings/sec, 50 secs
lola: 815967 markings, 955733 edges, 13612 markings/sec, 55 secs
lola: 884245 markings, 1036581 edges, 13656 markings/sec, 60 secs
lola: 952281 markings, 1117736 edges, 13607 markings/sec, 65 secs
lola: 1020452 markings, 1198416 edges, 13634 markings/sec, 70 secs
lola: 1088416 markings, 1279109 edges, 13593 markings/sec, 75 secs
lola: 1156940 markings, 1360075 edges, 13705 markings/sec, 80 secs
lola: 1225352 markings, 1442294 edges, 13682 markings/sec, 85 secs
lola: 1293516 markings, 1522908 edges, 13633 markings/sec, 90 secs
lola: 1361883 markings, 1604724 edges, 13673 markings/sec, 95 secs
lola: 1429734 markings, 1685253 edges, 13570 markings/sec, 100 secs
lola: 1497624 markings, 1766729 edges, 13578 markings/sec, 105 secs
lola: 1565832 markings, 1848171 edges, 13642 markings/sec, 110 secs
lola: 1633910 markings, 1929400 edges, 13616 markings/sec, 115 secs
lola: 1701871 markings, 2009801 edges, 13592 markings/sec, 120 secs
lola: 1769947 markings, 2092036 edges, 13615 markings/sec, 125 secs
lola: 1837702 markings, 2173118 edges, 13551 markings/sec, 130 secs
lola: 1905089 markings, 2254300 edges, 13477 markings/sec, 135 secs
lola: 1972889 markings, 2335426 edges, 13560 markings/sec, 140 secs
lola: 2040679 markings, 2416932 edges, 13558 markings/sec, 145 secs
lola: 2108292 markings, 2497477 edges, 13523 markings/sec, 150 secs
lola: 2176109 markings, 2579083 edges, 13563 markings/sec, 155 secs
lola: 2243581 markings, 2659858 edges, 13494 markings/sec, 160 secs
lola: 2311232 markings, 2740631 edges, 13530 markings/sec, 165 secs
lola: 2378736 markings, 2820894 edges, 13501 markings/sec, 170 secs
lola: 2446550 markings, 2902212 edges, 13563 markings/sec, 175 secs
lola: 2514344 markings, 2983142 edges, 13559 markings/sec, 180 secs
lola: 2581890 markings, 3064582 edges, 13509 markings/sec, 185 secs
lola: 2649354 markings, 3145586 edges, 13493 markings/sec, 190 secs
lola: 2716711 markings, 3226514 edges, 13471 markings/sec, 195 secs
lola: 2784685 markings, 3307016 edges, 13595 markings/sec, 200 secs
lola: 2852109 markings, 3387094 edges, 13485 markings/sec, 205 secs
lola: 2919538 markings, 3467742 edges, 13486 markings/sec, 210 secs
lola: 2986637 markings, 3548530 edges, 13420 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6 + P_2318_7 + P_2318_8 + P_2318_9 + P_2318_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 56840 markings, 66542 edges, 11368 markings/sec, 0 secs
lola: 114735 markings, 135624 edges, 11579 markings/sec, 5 secs
lola: 172366 markings, 204483 edges, 11526 markings/sec, 10 secs
lola: 229767 markings, 272757 edges, 11480 markings/sec, 15 secs
lola: 288908 markings, 344213 edges, 11828 markings/sec, 20 secs
lola: 348628 markings, 416638 edges, 11944 markings/sec, 25 secs
lola: 408204 markings, 488589 edges, 11915 markings/sec, 30 secs
lola: 467682 markings, 560183 edges, 11896 markings/sec, 35 secs
lola: 527186 markings, 631713 edges, 11901 markings/sec, 40 secs
lola: 586683 markings, 703054 edges, 11899 markings/sec, 45 secs
lola: 646184 markings, 774944 edges, 11900 markings/sec, 50 secs
lola: 705633 markings, 846665 edges, 11890 markings/sec, 55 secs
lola: 764926 markings, 918244 edges, 11859 markings/sec, 60 secs
lola: 824213 markings, 990372 edges, 11857 markings/sec, 65 secs
lola: 883234 markings, 1061649 edges, 11804 markings/sec, 70 secs
lola: 942717 markings, 1134166 edges, 11897 markings/sec, 75 secs
lola: 1001893 markings, 1206004 edges, 11835 markings/sec, 80 secs
lola: 1061084 markings, 1277933 edges, 11838 markings/sec, 85 secs
lola: 1120496 markings, 1350791 edges, 11882 markings/sec, 90 secs
lola: 1179723 markings, 1423335 edges, 11845 markings/sec, 95 secs
lola: 1239170 markings, 1496006 edges, 11889 markings/sec, 100 secs
lola: 1296597 markings, 1565831 edges, 11485 markings/sec, 105 secs
lola: 1353202 markings, 1634460 edges, 11321 markings/sec, 110 secs
lola: 1409839 markings, 1702861 edges, 11327 markings/sec, 115 secs
lola: 1466492 markings, 1771256 edges, 11331 markings/sec, 120 secs
lola: 1523180 markings, 1839418 edges, 11338 markings/sec, 125 secs
lola: 1579864 markings, 1908391 edges, 11337 markings/sec, 130 secs
lola: 1636426 markings, 1977048 edges, 11312 markings/sec, 135 secs
lola: 1692969 markings, 2045655 edges, 11309 markings/sec, 140 secs
lola: 1749566 markings, 2114400 edges, 11319 markings/sec, 145 secs
lola: 1805943 markings, 2182840 edges, 11275 markings/sec, 150 secs
lola: 1862394 markings, 2251759 edges, 11290 markings/sec, 155 secs
lola: 1918913 markings, 2320803 edges, 11304 markings/sec, 160 secs
lola: 1975420 markings, 2389688 edges, 11301 markings/sec, 165 secs
lola: 2031832 markings, 2458368 edges, 11282 markings/sec, 170 secs
lola: 2088371 markings, 2527178 edges, 11308 markings/sec, 175 secs
lola: 2144813 markings, 2595644 edges, 11288 markings/sec, 180 secs
lola: 2201965 markings, 2664939 edges, 11430 markings/sec, 185 secs
lola: 2261017 markings, 2737188 edges, 11810 markings/sec, 190 secs
lola: 2319047 markings, 2808128 edges, 11606 markings/sec, 195 secs
lola: 2376864 markings, 2879164 edges, 11563 markings/sec, 200 secs
lola: 2436758 markings, 2952264 edges, 11979 markings/sec, 205 secs
lola: 2496492 markings, 3025323 edges, 11947 markings/sec, 210 secs
lola: 2555980 markings, 3098501 edges, 11898 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(ScheduleTaskE_Work_10_0 + ScheduleTaskE_Work_10_1 + ScheduleTaskE_Work_10_2 + ScheduleTaskE_Work_10_3 + ScheduleTaskE_Work_10_4 + ScheduleTaskE_Work_10_5 + ScheduleTaskE_Work_10_6 + ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_1_5 + ScheduleTaskE_Work_1_6 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3144 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: 58578 markings, 67985 edges, 11716 markings/sec, 0 secs
lola: 118506 markings, 139431 edges, 11986 markings/sec, 5 secs
lola: 178039 markings, 211013 edges, 11907 markings/sec, 10 secs
lola: 237198 markings, 282868 edges, 11832 markings/sec, 15 secs
lola: 296228 markings, 354555 edges, 11806 markings/sec, 20 secs
lola: 355028 markings, 424500 edges, 11760 markings/sec, 25 secs
lola: 414076 markings, 496005 edges, 11810 markings/sec, 30 secs
lola: 473010 markings, 567668 edges, 11787 markings/sec, 35 secs
lola: 531920 markings, 639211 edges, 11782 markings/sec, 40 secs
lola: 590558 markings, 710621 edges, 11728 markings/sec, 45 secs
lola: 649073 markings, 782393 edges, 11703 markings/sec, 50 secs
lola: 707980 markings, 853337 edges, 11781 markings/sec, 55 secs
lola: 766381 markings, 924247 edges, 11680 markings/sec, 60 secs
lola: 824757 markings, 994145 edges, 11675 markings/sec, 65 secs
lola: 883421 markings, 1064780 edges, 11733 markings/sec, 70 secs
lola: 941810 markings, 1134745 edges, 11678 markings/sec, 75 secs
lola: 1000401 markings, 1205432 edges, 11718 markings/sec, 80 secs
lola: 1058768 markings, 1275588 edges, 11673 markings/sec, 85 secs
lola: 1117037 markings, 1345946 edges, 11654 markings/sec, 90 secs
lola: 1175523 markings, 1417152 edges, 11697 markings/sec, 95 secs
lola: 1233498 markings, 1485847 edges, 11595 markings/sec, 100 secs
lola: 1291990 markings, 1556694 edges, 11698 markings/sec, 105 secs
lola: 1349982 markings, 1626803 edges, 11598 markings/sec, 110 secs
lola: 1408112 markings, 1698476 edges, 11626 markings/sec, 115 secs
lola: 1466357 markings, 1768905 edges, 11649 markings/sec, 120 secs
lola: 1524516 markings, 1840216 edges, 11632 markings/sec, 125 secs
lola: 1582566 markings, 1911520 edges, 11610 markings/sec, 130 secs
lola: 1640744 markings, 1983072 edges, 11636 markings/sec, 135 secs
lola: 1698762 markings, 2054537 edges, 11604 markings/sec, 140 secs
lola: 1756834 markings, 2125524 edges, 11614 markings/sec, 145 secs
lola: 1814925 markings, 2196868 edges, 11618 markings/sec, 150 secs
lola: 1873157 markings, 2267430 edges, 11646 markings/sec, 155 secs
lola: 1931365 markings, 2340489 edges, 11642 markings/sec, 160 secs
lola: 1989031 markings, 2411669 edges, 11533 markings/sec, 165 secs
lola: 2046748 markings, 2482306 edges, 11543 markings/sec, 170 secs
lola: 2104579 markings, 2554237 edges, 11566 markings/sec, 175 secs
lola: 2162411 markings, 2625600 edges, 11566 markings/sec, 180 secs
lola: 2220373 markings, 2697864 edges, 11592 markings/sec, 185 secs
lola: 2278116 markings, 2768933 edges, 11549 markings/sec, 190 secs
lola: 2335496 markings, 2838237 edges, 11476 markings/sec, 195 secs
lola: 2393209 markings, 2908501 edges, 11543 markings/sec, 200 secs
lola: 2450422 markings, 2978228 edges, 11443 markings/sec, 205 secs
lola: 2507493 markings, 3048922 edges, 11414 markings/sec, 210 secs
lola: 2564816 markings, 3118979 edges, 11465 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-S02J06T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494691026393
--------------------
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-S02J06T10"
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-S02J06T10.tgz
mv PolyORBLF-PT-S02J06T10 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-S02J06T10, 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-149440870000443"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;