Execution Chart

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

Trace from the execution

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

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


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S02J06T10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 63571 markings, 74684 edges, 12714 markings/sec, 0 secs
lola: 126497 markings, 150235 edges, 12585 markings/sec, 5 secs
lola: 189087 markings, 225663 edges, 12518 markings/sec, 10 secs
lola: 251460 markings, 300664 edges, 12475 markings/sec, 15 secs
lola: 313821 markings, 375766 edges, 12472 markings/sec, 20 secs
lola: 376121 markings, 450546 edges, 12460 markings/sec, 25 secs
lola: 438414 markings, 525524 edges, 12459 markings/sec, 30 secs
lola: 502969 markings, 603203 edges, 12911 markings/sec, 35 secs
lola: 567612 markings, 681714 edges, 12929 markings/sec, 40 secs
lola: 631963 markings, 759853 edges, 12870 markings/sec, 45 secs
lola: 696249 markings, 838127 edges, 12857 markings/sec, 50 secs
lola: 760700 markings, 916310 edges, 12890 markings/sec, 55 secs
lola: 824847 markings, 995150 edges, 12829 markings/sec, 60 secs
lola: 888787 markings, 1073873 edges, 12788 markings/sec, 65 secs
lola: 952891 markings, 1152647 edges, 12821 markings/sec, 70 secs
lola: 1016751 markings, 1231106 edges, 12772 markings/sec, 75 secs
lola: 1078240 markings, 1306162 edges, 12298 markings/sec, 80 secs
lola: 1139722 markings, 1381616 edges, 12296 markings/sec, 85 secs
lola: 1201037 markings, 1456840 edges, 12263 markings/sec, 90 secs
lola: 1262339 markings, 1531603 edges, 12260 markings/sec, 95 secs
lola: 1323799 markings, 1607475 edges, 12292 markings/sec, 100 secs
lola: 1383614 markings, 1679974 edges, 11963 markings/sec, 105 secs
lola: 1447618 markings, 1759544 edges, 12801 markings/sec, 110 secs
lola: 1511112 markings, 1836140 edges, 12699 markings/sec, 115 secs
lola: 1574825 markings, 1913877 edges, 12743 markings/sec, 120 secs
lola: 1638421 markings, 1991446 edges, 12719 markings/sec, 125 secs
lola: 1702011 markings, 2068807 edges, 12718 markings/sec, 130 secs
lola: 1765448 markings, 2146281 edges, 12687 markings/sec, 135 secs
lola: 1828989 markings, 2223648 edges, 12708 markings/sec, 140 secs
lola: 1892681 markings, 2302081 edges, 12738 markings/sec, 145 secs
lola: 1956363 markings, 2379644 edges, 12736 markings/sec, 150 secs
lola: 2019913 markings, 2457511 edges, 12710 markings/sec, 155 secs
lola: 2083739 markings, 2534876 edges, 12765 markings/sec, 160 secs
lola: 2147406 markings, 2612484 edges, 12733 markings/sec, 165 secs
lola: 2210916 markings, 2690387 edges, 12702 markings/sec, 170 secs
lola: 2274448 markings, 2768445 edges, 12706 markings/sec, 175 secs
lola: 2337709 markings, 2845418 edges, 12652 markings/sec, 180 secs
lola: 2401085 markings, 2923322 edges, 12675 markings/sec, 185 secs
lola: 2464642 markings, 3001674 edges, 12711 markings/sec, 190 secs
lola: 2528021 markings, 3079288 edges, 12676 markings/sec, 195 secs
lola: 2591303 markings, 3157055 edges, 12656 markings/sec, 200 secs
lola: 2654619 markings, 3234336 edges, 12663 markings/sec, 205 secs
lola: 2717764 markings, 3312637 edges, 12629 markings/sec, 210 secs
lola: 2781039 markings, 3390696 edges, 12655 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: 63827 markings, 75035 edges, 12765 markings/sec, 0 secs
lola: 127234 markings, 150546 edges, 12681 markings/sec, 5 secs
lola: 190446 markings, 226306 edges, 12642 markings/sec, 10 secs
lola: 254072 markings, 302772 edges, 12725 markings/sec, 15 secs
lola: 316751 markings, 377971 edges, 12536 markings/sec, 20 secs
lola: 379231 markings, 452918 edges, 12496 markings/sec, 25 secs
lola: 442018 markings, 528140 edges, 12557 markings/sec, 30 secs
lola: 504686 markings, 603014 edges, 12534 markings/sec, 35 secs
lola: 567249 markings, 678384 edges, 12513 markings/sec, 40 secs
lola: 629917 markings, 753724 edges, 12534 markings/sec, 45 secs
lola: 692263 markings, 829374 edges, 12469 markings/sec, 50 secs
lola: 754621 markings, 905761 edges, 12472 markings/sec, 55 secs
lola: 817037 markings, 981392 edges, 12483 markings/sec, 60 secs
lola: 879140 markings, 1056585 edges, 12421 markings/sec, 65 secs
lola: 941393 markings, 1132505 edges, 12451 markings/sec, 70 secs
lola: 1003414 markings, 1207902 edges, 12404 markings/sec, 75 secs
lola: 1065486 markings, 1283788 edges, 12414 markings/sec, 80 secs
lola: 1127577 markings, 1359699 edges, 12418 markings/sec, 85 secs
lola: 1189740 markings, 1435187 edges, 12433 markings/sec, 90 secs
lola: 1251880 markings, 1510665 edges, 12428 markings/sec, 95 secs
lola: 1314073 markings, 1586309 edges, 12439 markings/sec, 100 secs
lola: 1376221 markings, 1661897 edges, 12430 markings/sec, 105 secs
lola: 1438111 markings, 1737026 edges, 12378 markings/sec, 110 secs
lola: 1500093 markings, 1812067 edges, 12396 markings/sec, 115 secs
lola: 1561812 markings, 1886926 edges, 12344 markings/sec, 120 secs
lola: 1623734 markings, 1963196 edges, 12384 markings/sec, 125 secs
lola: 1685559 markings, 2038604 edges, 12365 markings/sec, 130 secs
lola: 1747213 markings, 2113108 edges, 12331 markings/sec, 135 secs
lola: 1808953 markings, 2188463 edges, 12348 markings/sec, 140 secs
lola: 1870743 markings, 2263356 edges, 12358 markings/sec, 145 secs
lola: 1932453 markings, 2337992 edges, 12342 markings/sec, 150 secs
lola: 1994052 markings, 2412859 edges, 12320 markings/sec, 155 secs
lola: 2055906 markings, 2488692 edges, 12371 markings/sec, 160 secs
lola: 2117540 markings, 2563632 edges, 12327 markings/sec, 165 secs
lola: 2179368 markings, 2638875 edges, 12366 markings/sec, 170 secs
lola: 2240861 markings, 2713895 edges, 12299 markings/sec, 175 secs
lola: 2302378 markings, 2789320 edges, 12303 markings/sec, 180 secs
lola: 2364048 markings, 2865073 edges, 12334 markings/sec, 185 secs
lola: 2425626 markings, 2939970 edges, 12316 markings/sec, 190 secs
lola: 2487069 markings, 3015037 edges, 12289 markings/sec, 195 secs
lola: 2548677 markings, 3090732 edges, 12322 markings/sec, 200 secs
lola: 2610208 markings, 3165899 edges, 12306 markings/sec, 205 secs
lola: 2671593 markings, 3240754 edges, 12277 markings/sec, 210 secs
lola: 2732950 markings, 3315764 edges, 12271 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: 65735 markings, 77698 edges, 13147 markings/sec, 0 secs
lola: 131108 markings, 156134 edges, 13075 markings/sec, 5 secs
lola: 196376 markings, 234333 edges, 13054 markings/sec, 10 secs
lola: 261399 markings, 312555 edges, 13005 markings/sec, 15 secs
lola: 325657 markings, 389725 edges, 12852 markings/sec, 20 secs
lola: 390080 markings, 467561 edges, 12885 markings/sec, 25 secs
lola: 454722 markings, 546185 edges, 12928 markings/sec, 30 secs
lola: 518957 markings, 623949 edges, 12847 markings/sec, 35 secs
lola: 583185 markings, 701998 edges, 12846 markings/sec, 40 secs
lola: 647540 markings, 780318 edges, 12871 markings/sec, 45 secs
lola: 712021 markings, 859126 edges, 12896 markings/sec, 50 secs
lola: 776599 markings, 937443 edges, 12916 markings/sec, 55 secs
lola: 841051 markings, 1016363 edges, 12890 markings/sec, 60 secs
lola: 905509 markings, 1095217 edges, 12892 markings/sec, 65 secs
lola: 970271 markings, 1174755 edges, 12952 markings/sec, 70 secs
lola: 1034744 markings, 1254016 edges, 12895 markings/sec, 75 secs
lola: 1099414 markings, 1333806 edges, 12934 markings/sec, 80 secs
lola: 1163424 markings, 1412108 edges, 12802 markings/sec, 85 secs
lola: 1227491 markings, 1490295 edges, 12813 markings/sec, 90 secs
lola: 1291717 markings, 1569215 edges, 12845 markings/sec, 95 secs
lola: 1355842 markings, 1647818 edges, 12825 markings/sec, 100 secs
lola: 1419859 markings, 1726140 edges, 12803 markings/sec, 105 secs
lola: 1484177 markings, 1804500 edges, 12864 markings/sec, 110 secs
lola: 1548221 markings, 1883251 edges, 12809 markings/sec, 115 secs
lola: 1612408 markings, 1962538 edges, 12837 markings/sec, 120 secs
lola: 1676522 markings, 2041926 edges, 12823 markings/sec, 125 secs
lola: 1740573 markings, 2121260 edges, 12810 markings/sec, 130 secs
lola: 1804545 markings, 2199672 edges, 12794 markings/sec, 135 secs
lola: 1868399 markings, 2277755 edges, 12771 markings/sec, 140 secs
lola: 1932385 markings, 2355963 edges, 12797 markings/sec, 145 secs
lola: 1996254 markings, 2433886 edges, 12774 markings/sec, 150 secs
lola: 2059922 markings, 2511989 edges, 12734 markings/sec, 155 secs
lola: 2123785 markings, 2590622 edges, 12773 markings/sec, 160 secs
lola: 2187685 markings, 2669314 edges, 12780 markings/sec, 165 secs
lola: 2251479 markings, 2747700 edges, 12759 markings/sec, 170 secs
lola: 2315277 markings, 2825865 edges, 12760 markings/sec, 175 secs
lola: 2378888 markings, 2903682 edges, 12722 markings/sec, 180 secs
lola: 2442712 markings, 2982314 edges, 12765 markings/sec, 185 secs
lola: 2506613 markings, 3061126 edges, 12780 markings/sec, 190 secs
lola: 2570835 markings, 3139827 edges, 12844 markings/sec, 195 secs
lola: 2634468 markings, 3218043 edges, 12727 markings/sec, 200 secs
lola: 2698567 markings, 3297579 edges, 12820 markings/sec, 205 secs
lola: 2762333 markings, 3376504 edges, 12753 markings/sec, 210 secs
lola: 2825814 markings, 3454549 edges, 12696 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: 62755 markings, 73482 edges, 12551 markings/sec, 0 secs
lola: 123716 markings, 146291 edges, 12192 markings/sec, 5 secs
lola: 184349 markings, 218466 edges, 12127 markings/sec, 10 secs
lola: 244786 markings, 290491 edges, 12087 markings/sec, 15 secs
lola: 305102 markings, 363418 edges, 12063 markings/sec, 20 secs
lola: 365326 markings, 436244 edges, 12045 markings/sec, 25 secs
lola: 425507 markings, 508556 edges, 12036 markings/sec, 30 secs
lola: 485592 markings, 580891 edges, 12017 markings/sec, 35 secs
lola: 545806 markings, 652957 edges, 12043 markings/sec, 40 secs
lola: 605881 markings, 725211 edges, 12015 markings/sec, 45 secs
lola: 665935 markings, 797388 edges, 12011 markings/sec, 50 secs
lola: 725906 markings, 869866 edges, 11994 markings/sec, 55 secs
lola: 785658 markings, 942281 edges, 11950 markings/sec, 60 secs
lola: 845559 markings, 1014737 edges, 11980 markings/sec, 65 secs
lola: 905458 markings, 1087285 edges, 11980 markings/sec, 70 secs
lola: 965402 markings, 1159919 edges, 11989 markings/sec, 75 secs
lola: 1025283 markings, 1232700 edges, 11976 markings/sec, 80 secs
lola: 1085156 markings, 1305163 edges, 11975 markings/sec, 85 secs
lola: 1145251 markings, 1378881 edges, 12019 markings/sec, 90 secs
lola: 1205030 markings, 1452255 edges, 11956 markings/sec, 95 secs
lola: 1264706 markings, 1524775 edges, 11935 markings/sec, 100 secs
lola: 1324290 markings, 1597166 edges, 11917 markings/sec, 105 secs
lola: 1383872 markings, 1669308 edges, 11916 markings/sec, 110 secs
lola: 1443564 markings, 1741109 edges, 11938 markings/sec, 115 secs
lola: 1503150 markings, 1812839 edges, 11917 markings/sec, 120 secs
lola: 1562905 markings, 1885405 edges, 11951 markings/sec, 125 secs
lola: 1622549 markings, 1957481 edges, 11929 markings/sec, 130 secs
lola: 1681889 markings, 2029877 edges, 11868 markings/sec, 135 secs
lola: 1741560 markings, 2101810 edges, 11934 markings/sec, 140 secs
lola: 1800910 markings, 2173682 edges, 11870 markings/sec, 145 secs
lola: 1860448 markings, 2246304 edges, 11908 markings/sec, 150 secs
lola: 1919897 markings, 2318818 edges, 11890 markings/sec, 155 secs
lola: 1979312 markings, 2391252 edges, 11883 markings/sec, 160 secs
lola: 2038638 markings, 2463220 edges, 11865 markings/sec, 165 secs
lola: 2098113 markings, 2535544 edges, 11895 markings/sec, 170 secs
lola: 2157470 markings, 2607786 edges, 11871 markings/sec, 175 secs
lola: 2216667 markings, 2679508 edges, 11839 markings/sec, 180 secs
lola: 2276073 markings, 2751585 edges, 11881 markings/sec, 185 secs
lola: 2335224 markings, 2824244 edges, 11830 markings/sec, 190 secs
lola: 2394757 markings, 2896909 edges, 11907 markings/sec, 195 secs
lola: 2455007 markings, 2970698 edges, 12050 markings/sec, 200 secs
lola: 2517036 markings, 3046448 edges, 12406 markings/sec, 205 secs
lola: 2579025 markings, 3122756 edges, 12398 markings/sec, 210 secs
lola: 2641003 markings, 3198700 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 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: 60830 markings, 70931 edges, 12166 markings/sec, 0 secs
lola: 119477 markings, 140830 edges, 11729 markings/sec, 5 secs
lola: 177478 markings, 209976 edges, 11600 markings/sec, 10 secs
lola: 235271 markings, 279541 edges, 11559 markings/sec, 15 secs
lola: 293009 markings, 349054 edges, 11548 markings/sec, 20 secs
lola: 350534 markings, 418302 edges, 11505 markings/sec, 25 secs
lola: 408004 markings, 488051 edges, 11494 markings/sec, 30 secs
lola: 465531 markings, 557431 edges, 11505 markings/sec, 35 secs
lola: 523064 markings, 627047 edges, 11507 markings/sec, 40 secs
lola: 580464 markings, 696056 edges, 11480 markings/sec, 45 secs
lola: 637816 markings, 765673 edges, 11470 markings/sec, 50 secs
lola: 695257 markings, 835300 edges, 11488 markings/sec, 55 secs
lola: 752650 markings, 905181 edges, 11479 markings/sec, 60 secs
lola: 810013 markings, 975233 edges, 11473 markings/sec, 65 secs
lola: 867135 markings, 1044891 edges, 11424 markings/sec, 70 secs
lola: 924441 markings, 1114793 edges, 11461 markings/sec, 75 secs
lola: 981659 markings, 1184469 edges, 11444 markings/sec, 80 secs
lola: 1038866 markings, 1254618 edges, 11441 markings/sec, 85 secs
lola: 1095887 markings, 1324681 edges, 11404 markings/sec, 90 secs
lola: 1152805 markings, 1393933 edges, 11384 markings/sec, 95 secs
lola: 1209837 markings, 1463365 edges, 11406 markings/sec, 100 secs
lola: 1266801 markings, 1532705 edges, 11393 markings/sec, 105 secs
lola: 1323575 markings, 1602008 edges, 11355 markings/sec, 110 secs
lola: 1380441 markings, 1671206 edges, 11373 markings/sec, 115 secs
lola: 1437466 markings, 1740393 edges, 11405 markings/sec, 120 secs
lola: 1494387 markings, 1810346 edges, 11384 markings/sec, 125 secs
lola: 1551492 markings, 1880141 edges, 11421 markings/sec, 130 secs
lola: 1608554 markings, 1949558 edges, 11412 markings/sec, 135 secs
lola: 1665369 markings, 2019365 edges, 11363 markings/sec, 140 secs
lola: 1722134 markings, 2089442 edges, 11353 markings/sec, 145 secs
lola: 1778792 markings, 2158644 edges, 11332 markings/sec, 150 secs
lola: 1835428 markings, 2227787 edges, 11327 markings/sec, 155 secs
lola: 1892211 markings, 2297455 edges, 11357 markings/sec, 160 secs
lola: 1949118 markings, 2367549 edges, 11381 markings/sec, 165 secs
lola: 2005830 markings, 2436976 edges, 11342 markings/sec, 170 secs
lola: 2062519 markings, 2506158 edges, 11338 markings/sec, 175 secs
lola: 2119247 markings, 2575640 edges, 11346 markings/sec, 180 secs
lola: 2176143 markings, 2645198 edges, 11379 markings/sec, 185 secs
lola: 2232614 markings, 2714295 edges, 11294 markings/sec, 190 secs
lola: 2289145 markings, 2783534 edges, 11306 markings/sec, 195 secs
lola: 2345902 markings, 2852990 edges, 11351 markings/sec, 200 secs
lola: 2402607 markings, 2922519 edges, 11341 markings/sec, 205 secs
lola: 2459258 markings, 2992154 edges, 11330 markings/sec, 210 secs
lola: 2515862 markings, 3061135 edges, 11321 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: 57498 markings, 67009 edges, 11500 markings/sec, 0 secs
lola: 114285 markings, 135061 edges, 11357 markings/sec, 5 secs
lola: 170747 markings, 203018 edges, 11292 markings/sec, 10 secs
lola: 227246 markings, 271058 edges, 11300 markings/sec, 15 secs
lola: 283574 markings, 338921 edges, 11266 markings/sec, 20 secs
lola: 339821 markings, 406378 edges, 11249 markings/sec, 25 secs
lola: 395954 markings, 474085 edges, 11227 markings/sec, 30 secs
lola: 452031 markings, 541203 edges, 11215 markings/sec, 35 secs
lola: 507906 markings, 608363 edges, 11175 markings/sec, 40 secs
lola: 563809 markings, 676087 edges, 11181 markings/sec, 45 secs
lola: 619680 markings, 743934 edges, 11174 markings/sec, 50 secs
lola: 675424 markings, 811489 edges, 11149 markings/sec, 55 secs
lola: 731303 markings, 880342 edges, 11176 markings/sec, 60 secs
lola: 787008 markings, 947600 edges, 11141 markings/sec, 65 secs
lola: 842502 markings, 1014306 edges, 11099 markings/sec, 70 secs
lola: 897995 markings, 1081588 edges, 11099 markings/sec, 75 secs
lola: 953527 markings, 1148852 edges, 11106 markings/sec, 80 secs
lola: 1009160 markings, 1216107 edges, 11127 markings/sec, 85 secs
lola: 1064751 markings, 1283362 edges, 11118 markings/sec, 90 secs
lola: 1120175 markings, 1350661 edges, 11085 markings/sec, 95 secs
lola: 1175702 markings, 1417708 edges, 11105 markings/sec, 100 secs
lola: 1231179 markings, 1484912 edges, 11095 markings/sec, 105 secs
lola: 1286506 markings, 1551939 edges, 11065 markings/sec, 110 secs
lola: 1341995 markings, 1619014 edges, 11098 markings/sec, 115 secs
lola: 1397552 markings, 1686534 edges, 11111 markings/sec, 120 secs
lola: 1453079 markings, 1753154 edges, 11105 markings/sec, 125 secs
lola: 1508377 markings, 1820382 edges, 11060 markings/sec, 130 secs
lola: 1563631 markings, 1888274 edges, 11051 markings/sec, 135 secs
lola: 1619261 markings, 1956564 edges, 11126 markings/sec, 140 secs
lola: 1674343 markings, 2024095 edges, 11016 markings/sec, 145 secs
lola: 1729440 markings, 2091197 edges, 11019 markings/sec, 150 secs
lola: 1784503 markings, 2158735 edges, 11013 markings/sec, 155 secs
lola: 1839576 markings, 2226704 edges, 11015 markings/sec, 160 secs
lola: 1894806 markings, 2294924 edges, 11046 markings/sec, 165 secs
lola: 1950096 markings, 2362332 edges, 11058 markings/sec, 170 secs
lola: 2005324 markings, 2430926 edges, 11046 markings/sec, 175 secs
lola: 2060466 markings, 2498417 edges, 11028 markings/sec, 180 secs
lola: 2115612 markings, 2566886 edges, 11029 markings/sec, 185 secs
lola: 2170859 markings, 2634689 edges, 11049 markings/sec, 190 secs
lola: 2226008 markings, 2701835 edges, 11030 markings/sec, 195 secs
lola: 2280945 markings, 2768708 edges, 10987 markings/sec, 200 secs
lola: 2335834 markings, 2835751 edges, 10978 markings/sec, 205 secs
lola: 2391876 markings, 2904906 edges, 11208 markings/sec, 210 secs
lola: 2448623 markings, 2974331 edges, 11349 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: 64128 markings, 75138 edges, 12826 markings/sec, 0 secs
lola: 127794 markings, 151177 edges, 12733 markings/sec, 5 secs
lola: 191190 markings, 226658 edges, 12679 markings/sec, 10 secs
lola: 254249 markings, 301873 edges, 12612 markings/sec, 15 secs
lola: 317286 markings, 378130 edges, 12607 markings/sec, 20 secs
lola: 380222 markings, 454183 edges, 12587 markings/sec, 25 secs
lola: 443177 markings, 530038 edges, 12591 markings/sec, 30 secs
lola: 506029 markings, 605029 edges, 12570 markings/sec, 35 secs
lola: 568801 markings, 680688 edges, 12554 markings/sec, 40 secs
lola: 631658 markings, 756355 edges, 12571 markings/sec, 45 secs
lola: 694446 markings, 831978 edges, 12558 markings/sec, 50 secs
lola: 757083 markings, 907607 edges, 12527 markings/sec, 55 secs
lola: 819660 markings, 983316 edges, 12515 markings/sec, 60 secs
lola: 882218 markings, 1058843 edges, 12512 markings/sec, 65 secs
lola: 945000 markings, 1135183 edges, 12556 markings/sec, 70 secs
lola: 1007419 markings, 1211066 edges, 12484 markings/sec, 75 secs
lola: 1070018 markings, 1286926 edges, 12520 markings/sec, 80 secs
lola: 1132709 markings, 1363737 edges, 12538 markings/sec, 85 secs
lola: 1194983 markings, 1440098 edges, 12455 markings/sec, 90 secs
lola: 1257129 markings, 1515531 edges, 12429 markings/sec, 95 secs
lola: 1319256 markings, 1591162 edges, 12425 markings/sec, 100 secs
lola: 1381308 markings, 1666281 edges, 12410 markings/sec, 105 secs
lola: 1443473 markings, 1741000 edges, 12433 markings/sec, 110 secs
lola: 1505535 markings, 1815729 edges, 12412 markings/sec, 115 secs
lola: 1567836 markings, 1891260 edges, 12460 markings/sec, 120 secs
lola: 1629941 markings, 1966546 edges, 12421 markings/sec, 125 secs
lola: 1692042 markings, 2041668 edges, 12420 markings/sec, 130 secs
lola: 1754137 markings, 2117051 edges, 12419 markings/sec, 135 secs
lola: 1816216 markings, 2192426 edges, 12416 markings/sec, 140 secs
lola: 1878205 markings, 2268200 edges, 12398 markings/sec, 145 secs
lola: 1940198 markings, 2343448 edges, 12399 markings/sec, 150 secs
lola: 2001998 markings, 2418736 edges, 12360 markings/sec, 155 secs
lola: 2063940 markings, 2494252 edges, 12388 markings/sec, 160 secs
lola: 2125914 markings, 2569166 edges, 12395 markings/sec, 165 secs
lola: 2187658 markings, 2644145 edges, 12349 markings/sec, 170 secs
lola: 2249230 markings, 2719039 edges, 12314 markings/sec, 175 secs
lola: 2310967 markings, 2794339 edges, 12347 markings/sec, 180 secs
lola: 2372922 markings, 2870462 edges, 12391 markings/sec, 185 secs
lola: 2434926 markings, 2946097 edges, 12401 markings/sec, 190 secs
lola: 2496600 markings, 3021382 edges, 12335 markings/sec, 195 secs
lola: 2558397 markings, 3097471 edges, 12359 markings/sec, 200 secs
lola: 2620212 markings, 3173241 edges, 12363 markings/sec, 205 secs
lola: 2682345 markings, 3250088 edges, 12427 markings/sec, 210 secs
lola: 2744088 markings, 3325449 edges, 12349 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: 60425 markings, 70086 edges, 12085 markings/sec, 0 secs
lola: 120030 markings, 141093 edges, 11921 markings/sec, 5 secs
lola: 179495 markings, 212741 edges, 11893 markings/sec, 10 secs
lola: 238628 markings, 284584 edges, 11827 markings/sec, 15 secs
lola: 297575 markings, 356126 edges, 11789 markings/sec, 20 secs
lola: 356302 markings, 426140 edges, 11745 markings/sec, 25 secs
lola: 415263 markings, 497444 edges, 11792 markings/sec, 30 secs
lola: 474166 markings, 569063 edges, 11781 markings/sec, 35 secs
lola: 533052 markings, 640667 edges, 11777 markings/sec, 40 secs
lola: 591638 markings, 711999 edges, 11717 markings/sec, 45 secs
lola: 650140 markings, 783730 edges, 11700 markings/sec, 50 secs
lola: 709043 markings, 854641 edges, 11781 markings/sec, 55 secs
lola: 767478 markings, 925581 edges, 11687 markings/sec, 60 secs
lola: 825835 markings, 995511 edges, 11671 markings/sec, 65 secs
lola: 884514 markings, 1066136 edges, 11736 markings/sec, 70 secs
lola: 942831 markings, 1135876 edges, 11663 markings/sec, 75 secs
lola: 1001458 markings, 1206697 edges, 11725 markings/sec, 80 secs
lola: 1059984 markings, 1277042 edges, 11705 markings/sec, 85 secs
lola: 1118287 markings, 1347326 edges, 11661 markings/sec, 90 secs
lola: 1176744 markings, 1418576 edges, 11691 markings/sec, 95 secs
lola: 1234633 markings, 1487199 edges, 11578 markings/sec, 100 secs
lola: 1293118 markings, 1558056 edges, 11697 markings/sec, 105 secs
lola: 1351080 markings, 1628145 edges, 11592 markings/sec, 110 secs
lola: 1409243 markings, 1699837 edges, 11633 markings/sec, 115 secs
lola: 1467498 markings, 1770179 edges, 11651 markings/sec, 120 secs
lola: 1525654 markings, 1841556 edges, 11631 markings/sec, 125 secs
lola: 1583782 markings, 1913068 edges, 11626 markings/sec, 130 secs
lola: 1641928 markings, 1984571 edges, 11629 markings/sec, 135 secs
lola: 1699992 markings, 2056001 edges, 11613 markings/sec, 140 secs
lola: 1758123 markings, 2127172 edges, 11626 markings/sec, 145 secs
lola: 1816271 markings, 2198462 edges, 11630 markings/sec, 150 secs
lola: 1874407 markings, 2268964 edges, 11627 markings/sec, 155 secs
lola: 1932645 markings, 2342019 edges, 11648 markings/sec, 160 secs
lola: 1990310 markings, 2413134 edges, 11533 markings/sec, 165 secs
lola: 2048005 markings, 2483869 edges, 11539 markings/sec, 170 secs
lola: 2105877 markings, 2555930 edges, 11574 markings/sec, 175 secs
lola: 2163670 markings, 2627231 edges, 11559 markings/sec, 180 secs
lola: 2221492 markings, 2699224 edges, 11564 markings/sec, 185 secs
lola: 2279501 markings, 2770585 edges, 11602 markings/sec, 190 secs
lola: 2337015 markings, 2840073 edges, 11503 markings/sec, 195 secs
lola: 2394442 markings, 2910018 edges, 11485 markings/sec, 200 secs
lola: 2451666 markings, 2979691 edges, 11445 markings/sec, 205 secs
lola: 2508782 markings, 3050445 edges, 11423 markings/sec, 210 secs
lola: 2566085 markings, 3120484 edges, 11461 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: 63486 markings, 74410 edges, 12697 markings/sec, 0 secs
lola: 127711 markings, 150657 edges, 12845 markings/sec, 5 secs
lola: 192135 markings, 227604 edges, 12885 markings/sec, 10 secs
lola: 256240 markings, 304296 edges, 12821 markings/sec, 15 secs
lola: 320093 markings, 380592 edges, 12771 markings/sec, 20 secs
lola: 384034 markings, 456730 edges, 12788 markings/sec, 25 secs
lola: 448108 markings, 533431 edges, 12815 markings/sec, 30 secs
lola: 511955 markings, 610333 edges, 12769 markings/sec, 35 secs
lola: 576172 markings, 687544 edges, 12843 markings/sec, 40 secs
lola: 636773 markings, 760599 edges, 12120 markings/sec, 45 secs
lola: 696901 markings, 832970 edges, 12026 markings/sec, 50 secs
lola: 756766 markings, 905097 edges, 11973 markings/sec, 55 secs
lola: 816709 markings, 977452 edges, 11989 markings/sec, 60 secs
lola: 877633 markings, 1051787 edges, 12185 markings/sec, 65 secs
lola: 938765 markings, 1126393 edges, 12226 markings/sec, 70 secs
lola: 999786 markings, 1200639 edges, 12204 markings/sec, 75 secs
lola: 1060876 markings, 1274827 edges, 12218 markings/sec, 80 secs
lola: 1121856 markings, 1348952 edges, 12196 markings/sec, 85 secs
lola: 1183144 markings, 1423606 edges, 12258 markings/sec, 90 secs
lola: 1243892 markings, 1496793 edges, 12150 markings/sec, 95 secs
lola: 1304961 markings, 1570756 edges, 12214 markings/sec, 100 secs
lola: 1365831 markings, 1644530 edges, 12174 markings/sec, 105 secs
lola: 1426725 markings, 1718796 edges, 12179 markings/sec, 110 secs
lola: 1487538 markings, 1793082 edges, 12163 markings/sec, 115 secs
lola: 1548360 markings, 1866654 edges, 12164 markings/sec, 120 secs
lola: 1609032 markings, 1940648 edges, 12134 markings/sec, 125 secs
lola: 1670156 markings, 2015187 edges, 12225 markings/sec, 130 secs
lola: 1730864 markings, 2088946 edges, 12142 markings/sec, 135 secs
lola: 1791456 markings, 2163010 edges, 12118 markings/sec, 140 secs
lola: 1852079 markings, 2236627 edges, 12125 markings/sec, 145 secs
lola: 1912609 markings, 2310442 edges, 12106 markings/sec, 150 secs
lola: 1973082 markings, 2383918 edges, 12095 markings/sec, 155 secs
lola: 2033604 markings, 2457262 edges, 12104 markings/sec, 160 secs
lola: 2094116 markings, 2530995 edges, 12102 markings/sec, 165 secs
lola: 2154733 markings, 2605285 edges, 12123 markings/sec, 170 secs
lola: 2215979 markings, 2680165 edges, 12249 markings/sec, 175 secs
lola: 2275632 markings, 2752912 edges, 11931 markings/sec, 180 secs
lola: 2329059 markings, 2818003 edges, 10685 markings/sec, 185 secs
lola: 2386076 markings, 2887632 edges, 11403 markings/sec, 190 secs
lola: 2445131 markings, 2959058 edges, 11811 markings/sec, 195 secs
lola: 2498283 markings, 3023828 edges, 10630 markings/sec, 200 secs
lola: 2560818 markings, 3099939 edges, 12507 markings/sec, 205 secs
lola: 2622158 markings, 3174975 edges, 12268 markings/sec, 210 secs
lola: 2685964 markings, 3252782 edges, 12761 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: 62715 markings, 74035 edges, 12543 markings/sec, 0 secs
lola: 124457 markings, 148009 edges, 12348 markings/sec, 5 secs
lola: 186294 markings, 223840 edges, 12367 markings/sec, 10 secs
lola: 247618 markings, 298613 edges, 12265 markings/sec, 15 secs
lola: 308795 markings, 372952 edges, 12235 markings/sec, 20 secs
lola: 369913 markings, 446967 edges, 12224 markings/sec, 25 secs
lola: 430913 markings, 520867 edges, 12200 markings/sec, 30 secs
lola: 492121 markings, 594301 edges, 12242 markings/sec, 35 secs
lola: 553126 markings, 668205 edges, 12201 markings/sec, 40 secs
lola: 614112 markings, 743366 edges, 12197 markings/sec, 45 secs
lola: 674828 markings, 817327 edges, 12143 markings/sec, 50 secs
lola: 735557 markings, 892116 edges, 12146 markings/sec, 55 secs
lola: 794401 markings, 963138 edges, 11769 markings/sec, 60 secs
lola: 852444 markings, 1033502 edges, 11609 markings/sec, 65 secs
lola: 910921 markings, 1104372 edges, 11695 markings/sec, 70 secs
lola: 968819 markings, 1174686 edges, 11580 markings/sec, 75 secs
lola: 1026591 markings, 1245050 edges, 11554 markings/sec, 80 secs
lola: 1084520 markings, 1315097 edges, 11586 markings/sec, 85 secs
lola: 1142385 markings, 1385561 edges, 11573 markings/sec, 90 secs
lola: 1200378 markings, 1456331 edges, 11599 markings/sec, 95 secs
lola: 1258284 markings, 1526255 edges, 11581 markings/sec, 100 secs
lola: 1315982 markings, 1596491 edges, 11540 markings/sec, 105 secs
lola: 1373843 markings, 1667023 edges, 11572 markings/sec, 110 secs
lola: 1431579 markings, 1737916 edges, 11547 markings/sec, 115 secs
lola: 1492095 markings, 1811122 edges, 12103 markings/sec, 120 secs
lola: 1552364 markings, 1885105 edges, 12054 markings/sec, 125 secs
lola: 1612707 markings, 1959038 edges, 12069 markings/sec, 130 secs
lola: 1673672 markings, 2033647 edges, 12193 markings/sec, 135 secs
lola: 1734015 markings, 2108672 edges, 12069 markings/sec, 140 secs
lola: 1794502 markings, 2183630 edges, 12097 markings/sec, 145 secs
lola: 1855273 markings, 2258823 edges, 12154 markings/sec, 150 secs
lola: 1915498 markings, 2332885 edges, 12045 markings/sec, 155 secs
lola: 1976026 markings, 2407312 edges, 12106 markings/sec, 160 secs
lola: 2036346 markings, 2482033 edges, 12064 markings/sec, 165 secs
lola: 2096989 markings, 2557670 edges, 12129 markings/sec, 170 secs
lola: 2157844 markings, 2632812 edges, 12171 markings/sec, 175 secs
lola: 2219479 markings, 2709634 edges, 12327 markings/sec, 180 secs
lola: 2280701 markings, 2784517 edges, 12244 markings/sec, 185 secs
lola: 2341556 markings, 2859170 edges, 12171 markings/sec, 190 secs
lola: 2402787 markings, 2935029 edges, 12246 markings/sec, 195 secs
lola: 2463636 markings, 3009923 edges, 12170 markings/sec, 200 secs
lola: 2524575 markings, 3085633 edges, 12188 markings/sec, 205 secs
lola: 2585624 markings, 3160691 edges, 12210 markings/sec, 210 secs
lola: 2643433 markings, 3231452 edges, 11562 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: 65731 markings, 77816 edges, 13146 markings/sec, 0 secs
lola: 133776 markings, 160413 edges, 13609 markings/sec, 5 secs
lola: 201428 markings, 241528 edges, 13530 markings/sec, 10 secs
lola: 268842 markings, 322704 edges, 13483 markings/sec, 15 secs
lola: 336113 markings, 403401 edges, 13454 markings/sec, 20 secs
lola: 403373 markings, 485987 edges, 13452 markings/sec, 25 secs
lola: 470558 markings, 568525 edges, 13437 markings/sec, 30 secs
lola: 537752 markings, 649934 edges, 13439 markings/sec, 35 secs
lola: 604951 markings, 731767 edges, 13440 markings/sec, 40 secs
lola: 672008 markings, 813560 edges, 13411 markings/sec, 45 secs
lola: 738323 markings, 894531 edges, 13263 markings/sec, 50 secs
lola: 804986 markings, 975523 edges, 13333 markings/sec, 55 secs
lola: 871151 markings, 1056364 edges, 13233 markings/sec, 60 secs
lola: 937313 markings, 1136693 edges, 13232 markings/sec, 65 secs
lola: 1003254 markings, 1217671 edges, 13188 markings/sec, 70 secs
lola: 1069299 markings, 1299311 edges, 13209 markings/sec, 75 secs
lola: 1130748 markings, 1375199 edges, 12290 markings/sec, 80 secs
lola: 1197111 markings, 1457333 edges, 13273 markings/sec, 85 secs
lola: 1263306 markings, 1539063 edges, 13239 markings/sec, 90 secs
lola: 1329414 markings, 1620082 edges, 13222 markings/sec, 95 secs
lola: 1395326 markings, 1701186 edges, 13182 markings/sec, 100 secs
lola: 1462479 markings, 1786116 edges, 13431 markings/sec, 105 secs
lola: 1528413 markings, 1867530 edges, 13187 markings/sec, 110 secs
lola: 1594518 markings, 1948278 edges, 13221 markings/sec, 115 secs
lola: 1660530 markings, 2028838 edges, 13202 markings/sec, 120 secs
lola: 1726393 markings, 2109495 edges, 13173 markings/sec, 125 secs
lola: 1792413 markings, 2190366 edges, 13204 markings/sec, 130 secs
lola: 1858511 markings, 2271429 edges, 13220 markings/sec, 135 secs
lola: 1924351 markings, 2352380 edges, 13168 markings/sec, 140 secs
lola: 1990523 markings, 2433667 edges, 13234 markings/sec, 145 secs
lola: 2056736 markings, 2514980 edges, 13243 markings/sec, 150 secs
lola: 2122891 markings, 2596051 edges, 13231 markings/sec, 155 secs
lola: 2189299 markings, 2677132 edges, 13282 markings/sec, 160 secs
lola: 2255526 markings, 2758275 edges, 13245 markings/sec, 165 secs
lola: 2321732 markings, 2840418 edges, 13241 markings/sec, 170 secs
lola: 2387950 markings, 2922123 edges, 13244 markings/sec, 175 secs
lola: 2454125 markings, 3002466 edges, 13235 markings/sec, 180 secs
lola: 2520244 markings, 3082943 edges, 13224 markings/sec, 185 secs
lola: 2586428 markings, 3164672 edges, 13237 markings/sec, 190 secs
lola: 2652364 markings, 3244595 edges, 13187 markings/sec, 195 secs
lola: 2717890 markings, 3325842 edges, 13105 markings/sec, 200 secs
lola: 2783196 markings, 3405945 edges, 13061 markings/sec, 205 secs
lola: 2848437 markings, 3485968 edges, 13048 markings/sec, 210 secs
lola: 2913693 markings, 3565645 edges, 13051 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: 64261 markings, 71157 edges, 12852 markings/sec, 0 secs
lola: 127859 markings, 143538 edges, 12720 markings/sec, 5 secs
lola: 191057 markings, 215731 edges, 12640 markings/sec, 10 secs
lola: 254116 markings, 289500 edges, 12612 markings/sec, 15 secs
lola: 317036 markings, 362214 edges, 12584 markings/sec, 20 secs
lola: 379760 markings, 435309 edges, 12545 markings/sec, 25 secs
lola: 442207 markings, 508706 edges, 12489 markings/sec, 30 secs
lola: 504770 markings, 581141 edges, 12513 markings/sec, 35 secs
lola: 567206 markings, 653877 edges, 12487 markings/sec, 40 secs
lola: 629871 markings, 726764 edges, 12533 markings/sec, 45 secs
lola: 692285 markings, 799560 edges, 12483 markings/sec, 50 secs
lola: 754573 markings, 872687 edges, 12458 markings/sec, 55 secs
lola: 816602 markings, 945412 edges, 12406 markings/sec, 60 secs
lola: 878851 markings, 1018398 edges, 12450 markings/sec, 65 secs
lola: 940429 markings, 1090524 edges, 12316 markings/sec, 70 secs
lola: 1002838 markings, 1164295 edges, 12482 markings/sec, 75 secs
lola: 1065150 markings, 1238413 edges, 12462 markings/sec, 80 secs
lola: 1127778 markings, 1310964 edges, 12526 markings/sec, 85 secs
lola: 1190466 markings, 1383247 edges, 12538 markings/sec, 90 secs
lola: 1252668 markings, 1456936 edges, 12440 markings/sec, 95 secs
lola: 1314722 markings, 1530071 edges, 12411 markings/sec, 100 secs
lola: 1377124 markings, 1602536 edges, 12480 markings/sec, 105 secs
lola: 1439349 markings, 1675725 edges, 12445 markings/sec, 110 secs
lola: 1501455 markings, 1747384 edges, 12421 markings/sec, 115 secs
lola: 1563497 markings, 1819115 edges, 12408 markings/sec, 120 secs
lola: 1625518 markings, 1892109 edges, 12404 markings/sec, 125 secs
lola: 1687459 markings, 1963982 edges, 12388 markings/sec, 130 secs
lola: 1749271 markings, 2037629 edges, 12362 markings/sec, 135 secs
lola: 1810948 markings, 2110477 edges, 12335 markings/sec, 140 secs
lola: 1872849 markings, 2183419 edges, 12380 markings/sec, 145 secs
lola: 1934694 markings, 2256779 edges, 12369 markings/sec, 150 secs
lola: 1996560 markings, 2330175 edges, 12373 markings/sec, 155 secs
lola: 2058444 markings, 2402948 edges, 12377 markings/sec, 160 secs
lola: 2120498 markings, 2475487 edges, 12411 markings/sec, 165 secs
lola: 2182386 markings, 2548262 edges, 12378 markings/sec, 170 secs
lola: 2244180 markings, 2621426 edges, 12359 markings/sec, 175 secs
lola: 2305666 markings, 2695266 edges, 12297 markings/sec, 180 secs
lola: 2367203 markings, 2768729 edges, 12307 markings/sec, 185 secs
lola: 2428823 markings, 2841037 edges, 12324 markings/sec, 190 secs
lola: 2490936 markings, 2912609 edges, 12423 markings/sec, 195 secs
lola: 2552465 markings, 2985314 edges, 12306 markings/sec, 200 secs
lola: 2614124 markings, 3057901 edges, 12332 markings/sec, 205 secs
lola: 2675931 markings, 3129576 edges, 12361 markings/sec, 210 secs
lola: 2737779 markings, 3203880 edges, 12370 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: 66305 markings, 79027 edges, 13261 markings/sec, 0 secs
lola: 131617 markings, 161287 edges, 13062 markings/sec, 5 secs
lola: 196585 markings, 243412 edges, 12994 markings/sec, 10 secs
lola: 261152 markings, 326345 edges, 12913 markings/sec, 15 secs
lola: 325549 markings, 408181 edges, 12879 markings/sec, 20 secs
lola: 389541 markings, 491469 edges, 12798 markings/sec, 25 secs
lola: 453460 markings, 575634 edges, 12784 markings/sec, 30 secs
lola: 517175 markings, 658860 edges, 12743 markings/sec, 35 secs
lola: 580869 markings, 740612 edges, 12739 markings/sec, 40 secs
lola: 644537 markings, 824443 edges, 12734 markings/sec, 45 secs
lola: 708212 markings, 905835 edges, 12735 markings/sec, 50 secs
lola: 771645 markings, 990452 edges, 12687 markings/sec, 55 secs
lola: 835232 markings, 1074824 edges, 12717 markings/sec, 60 secs
lola: 898773 markings, 1158386 edges, 12708 markings/sec, 65 secs
lola: 962169 markings, 1241521 edges, 12679 markings/sec, 70 secs
lola: 1025392 markings, 1325568 edges, 12645 markings/sec, 75 secs
lola: 1088748 markings, 1408647 edges, 12671 markings/sec, 80 secs
lola: 1151806 markings, 1493690 edges, 12612 markings/sec, 85 secs
lola: 1215033 markings, 1577722 edges, 12645 markings/sec, 90 secs
lola: 1278113 markings, 1661039 edges, 12616 markings/sec, 95 secs
lola: 1341271 markings, 1744281 edges, 12632 markings/sec, 100 secs
lola: 1404503 markings, 1829001 edges, 12646 markings/sec, 105 secs
lola: 1467804 markings, 1913165 edges, 12660 markings/sec, 110 secs
lola: 1530916 markings, 1997477 edges, 12622 markings/sec, 115 secs
lola: 1593683 markings, 2081728 edges, 12553 markings/sec, 120 secs
lola: 1656850 markings, 2165102 edges, 12633 markings/sec, 125 secs
lola: 1719766 markings, 2250729 edges, 12583 markings/sec, 130 secs
lola: 1782594 markings, 2336338 edges, 12566 markings/sec, 135 secs
lola: 1845260 markings, 2421290 edges, 12533 markings/sec, 140 secs
lola: 1907996 markings, 2505820 edges, 12547 markings/sec, 145 secs
lola: 1970792 markings, 2589372 edges, 12559 markings/sec, 150 secs
lola: 2033672 markings, 2671566 edges, 12576 markings/sec, 155 secs
lola: 2096642 markings, 2755262 edges, 12594 markings/sec, 160 secs
lola: 2159717 markings, 2838371 edges, 12615 markings/sec, 165 secs
lola: 2222177 markings, 2924583 edges, 12492 markings/sec, 170 secs
lola: 2284727 markings, 3008063 edges, 12510 markings/sec, 175 secs
lola: 2347280 markings, 3095977 edges, 12511 markings/sec, 180 secs
lola: 2409848 markings, 3179873 edges, 12514 markings/sec, 185 secs
lola: 2472502 markings, 3265267 edges, 12531 markings/sec, 190 secs
lola: 2535203 markings, 3349220 edges, 12540 markings/sec, 195 secs
lola: 2597627 markings, 3434690 edges, 12485 markings/sec, 200 secs
lola: 2659995 markings, 3520771 edges, 12474 markings/sec, 205 secs
lola: 2722567 markings, 3606984 edges, 12514 markings/sec, 210 secs
lola: 2785078 markings, 3690446 edges, 12502 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: 69471 markings, 79899 edges, 13894 markings/sec, 0 secs
lola: 138631 markings, 159997 edges, 13832 markings/sec, 5 secs
lola: 207335 markings, 240144 edges, 13741 markings/sec, 10 secs
lola: 276451 markings, 320527 edges, 13823 markings/sec, 15 secs
lola: 344978 markings, 400329 edges, 13705 markings/sec, 20 secs
lola: 413625 markings, 480751 edges, 13729 markings/sec, 25 secs
lola: 481918 markings, 561461 edges, 13659 markings/sec, 30 secs
lola: 550861 markings, 642905 edges, 13789 markings/sec, 35 secs
lola: 619398 markings, 723832 edges, 13707 markings/sec, 40 secs
lola: 687573 markings, 803229 edges, 13635 markings/sec, 45 secs
lola: 755511 markings, 884127 edges, 13588 markings/sec, 50 secs
lola: 823354 markings, 964338 edges, 13569 markings/sec, 55 secs
lola: 891277 markings, 1044715 edges, 13585 markings/sec, 60 secs
lola: 958825 markings, 1125604 edges, 13510 markings/sec, 65 secs
lola: 1026516 markings, 1205707 edges, 13538 markings/sec, 70 secs
lola: 1093989 markings, 1285775 edges, 13495 markings/sec, 75 secs
lola: 1162058 markings, 1366428 edges, 13614 markings/sec, 80 secs
lola: 1229904 markings, 1447710 edges, 13569 markings/sec, 85 secs
lola: 1297521 markings, 1527695 edges, 13523 markings/sec, 90 secs
lola: 1365288 markings, 1608693 edges, 13553 markings/sec, 95 secs
lola: 1432597 markings, 1688567 edges, 13462 markings/sec, 100 secs
lola: 1499945 markings, 1769546 edges, 13470 markings/sec, 105 secs
lola: 1567497 markings, 1850191 edges, 13510 markings/sec, 110 secs
lola: 1635041 markings, 1930692 edges, 13509 markings/sec, 115 secs
lola: 1702394 markings, 2010389 edges, 13471 markings/sec, 120 secs
lola: 1769875 markings, 2091963 edges, 13496 markings/sec, 125 secs
lola: 1837037 markings, 2172332 edges, 13432 markings/sec, 130 secs
lola: 1903849 markings, 2252822 edges, 13362 markings/sec, 135 secs
lola: 1971010 markings, 2333057 edges, 13432 markings/sec, 140 secs
lola: 2038164 markings, 2413772 edges, 13431 markings/sec, 145 secs
lola: 2105150 markings, 2493695 edges, 13397 markings/sec, 150 secs
lola: 2172350 markings, 2574795 edges, 13440 markings/sec, 155 secs
lola: 2239305 markings, 2654745 edges, 13391 markings/sec, 160 secs
lola: 2306342 markings, 2734692 edges, 13407 markings/sec, 165 secs
lola: 2373177 markings, 2814107 edges, 13367 markings/sec, 170 secs
lola: 2440604 markings, 2895153 edges, 13485 markings/sec, 175 secs
lola: 2507292 markings, 2974516 edges, 13338 markings/sec, 180 secs
lola: 2573505 markings, 3054244 edges, 13243 markings/sec, 185 secs
lola: 2640104 markings, 3134466 edges, 13320 markings/sec, 190 secs
lola: 2704902 markings, 3212126 edges, 12960 markings/sec, 195 secs
lola: 2772490 markings, 3292425 edges, 13518 markings/sec, 200 secs
lola: 2839735 markings, 3372063 edges, 13449 markings/sec, 205 secs
lola: 2907056 markings, 3452849 edges, 13464 markings/sec, 210 secs
lola: 2974131 markings, 3533428 edges, 13415 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: 58046 markings, 67921 edges, 11609 markings/sec, 0 secs
lola: 119189 markings, 141096 edges, 12229 markings/sec, 5 secs
lola: 179307 markings, 212792 edges, 12024 markings/sec, 10 secs
lola: 239702 markings, 284827 edges, 12079 markings/sec, 15 secs
lola: 298083 markings, 355430 edges, 11676 markings/sec, 20 secs
lola: 358671 markings, 428866 edges, 12118 markings/sec, 25 secs
lola: 419535 markings, 502157 edges, 12173 markings/sec, 30 secs
lola: 480285 markings, 575513 edges, 12150 markings/sec, 35 secs
lola: 541185 markings, 648508 edges, 12180 markings/sec, 40 secs
lola: 601951 markings, 721487 edges, 12153 markings/sec, 45 secs
lola: 662623 markings, 794665 edges, 12134 markings/sec, 50 secs
lola: 723352 markings, 868236 edges, 12146 markings/sec, 55 secs
lola: 783809 markings, 941376 edges, 12091 markings/sec, 60 secs
lola: 844327 markings, 1014773 edges, 12104 markings/sec, 65 secs
lola: 904824 markings, 1088184 edges, 12099 markings/sec, 70 secs
lola: 965432 markings, 1161736 edges, 12122 markings/sec, 75 secs
lola: 1025841 markings, 1235267 edges, 12082 markings/sec, 80 secs
lola: 1086316 markings, 1308489 edges, 12095 markings/sec, 85 secs
lola: 1146972 markings, 1382986 edges, 12131 markings/sec, 90 secs
lola: 1207359 markings, 1457222 edges, 12077 markings/sec, 95 secs
lola: 1267811 markings, 1530893 edges, 12090 markings/sec, 100 secs
lola: 1328027 markings, 1604104 edges, 12043 markings/sec, 105 secs
lola: 1388212 markings, 1677028 edges, 12037 markings/sec, 110 secs
lola: 1448298 markings, 1749305 edges, 12017 markings/sec, 115 secs
lola: 1508482 markings, 1821876 edges, 12037 markings/sec, 120 secs
lola: 1568791 markings, 1895110 edges, 12062 markings/sec, 125 secs
lola: 1628959 markings, 1968097 edges, 12034 markings/sec, 130 secs
lola: 1688999 markings, 2040887 edges, 12008 markings/sec, 135 secs
lola: 1749229 markings, 2113955 edges, 12046 markings/sec, 140 secs
lola: 1809169 markings, 2186762 edges, 11988 markings/sec, 145 secs
lola: 1869183 markings, 2259983 edges, 12003 markings/sec, 150 secs
lola: 1929311 markings, 2333476 edges, 12026 markings/sec, 155 secs
lola: 1989239 markings, 2406641 edges, 11986 markings/sec, 160 secs
lola: 2049223 markings, 2479454 edges, 11997 markings/sec, 165 secs
lola: 2109166 markings, 2552397 edges, 11989 markings/sec, 170 secs
lola: 2169113 markings, 2625485 edges, 11989 markings/sec, 175 secs
lola: 2229047 markings, 2698047 edges, 11987 markings/sec, 180 secs
lola: 2288996 markings, 2771389 edges, 11990 markings/sec, 185 secs
lola: 2348865 markings, 2844710 edges, 11974 markings/sec, 190 secs
lola: 2408909 markings, 2917864 edges, 12009 markings/sec, 195 secs
lola: 2468747 markings, 2991550 edges, 11968 markings/sec, 200 secs
lola: 2518286 markings, 3051971 edges, 9908 markings/sec, 205 secs
lola: 2577009 markings, 3124387 edges, 11745 markings/sec, 210 secs
lola: 2636535 markings, 3197373 edges, 11905 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: 58058 markings, 67364 edges, 11612 markings/sec, 0 secs
lola: 118104 markings, 138934 edges, 12009 markings/sec, 5 secs
lola: 175802 markings, 208299 edges, 11540 markings/sec, 10 secs
lola: 232912 markings, 277522 edges, 11422 markings/sec, 15 secs
lola: 289923 markings, 346776 edges, 11402 markings/sec, 20 secs
lola: 346724 markings, 414246 edges, 11360 markings/sec, 25 secs
lola: 403584 markings, 483303 edges, 11372 markings/sec, 30 secs
lola: 463021 markings, 555771 edges, 11887 markings/sec, 35 secs
lola: 522582 markings, 627834 edges, 11912 markings/sec, 40 secs
lola: 581875 markings, 700111 edges, 11859 markings/sec, 45 secs
lola: 640938 markings, 772152 edges, 11813 markings/sec, 50 secs
lola: 700368 markings, 844130 edges, 11886 markings/sec, 55 secs
lola: 759318 markings, 915574 edges, 11790 markings/sec, 60 secs
lola: 818297 markings, 986334 edges, 11796 markings/sec, 65 secs
lola: 877397 markings, 1057008 edges, 11820 markings/sec, 70 secs
lola: 936504 markings, 1128455 edges, 11821 markings/sec, 75 secs
lola: 995658 markings, 1199940 edges, 11831 markings/sec, 80 secs
lola: 1054746 markings, 1270788 edges, 11818 markings/sec, 85 secs
lola: 1113485 markings, 1341712 edges, 11748 markings/sec, 90 secs
lola: 1172603 markings, 1413548 edges, 11824 markings/sec, 95 secs
lola: 1231021 markings, 1482792 edges, 11684 markings/sec, 100 secs
lola: 1290068 markings, 1554442 edges, 11809 markings/sec, 105 secs
lola: 1348638 markings, 1625193 edges, 11714 markings/sec, 110 secs
lola: 1407306 markings, 1697517 edges, 11734 markings/sec, 115 secs
lola: 1466069 markings, 1768564 edges, 11753 markings/sec, 120 secs
lola: 1524731 markings, 1840449 edges, 11732 markings/sec, 125 secs
lola: 1583322 markings, 1912498 edges, 11718 markings/sec, 130 secs
lola: 1642018 markings, 1984675 edges, 11739 markings/sec, 135 secs
lola: 1700604 markings, 2056750 edges, 11717 markings/sec, 140 secs
lola: 1759199 markings, 2128590 edges, 11719 markings/sec, 145 secs
lola: 1817843 markings, 2200434 edges, 11729 markings/sec, 150 secs
lola: 1876587 markings, 2271505 edges, 11749 markings/sec, 155 secs
lola: 1935365 markings, 2345437 edges, 11756 markings/sec, 160 secs
lola: 1993610 markings, 2417195 edges, 11649 markings/sec, 165 secs
lola: 2051793 markings, 2488477 edges, 11637 markings/sec, 170 secs
lola: 2110069 markings, 2561209 edges, 11655 markings/sec, 175 secs
lola: 2168429 markings, 2633138 edges, 11672 markings/sec, 180 secs
lola: 2226877 markings, 2705979 edges, 11690 markings/sec, 185 secs
lola: 2285361 markings, 2777628 edges, 11697 markings/sec, 190 secs
lola: 2343687 markings, 2848172 edges, 11665 markings/sec, 195 secs
lola: 2402264 markings, 2919531 edges, 11715 markings/sec, 200 secs
lola: 2460404 markings, 2990216 edges, 11628 markings/sec, 205 secs
lola: 2518006 markings, 3062033 edges, 11520 markings/sec, 210 secs
lola: 2576096 markings, 3132818 edges, 11618 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 1496454416372

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

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

Sequence of Actions to be Executed by the VM

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

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