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 PolyORBNT-PT-S05J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926100092
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494702394706


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S05J20 @ 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: 1559/65536 symbol table entries, 146 collisions
lola: preprocessing...
lola: finding significant places
lola: 349 places, 1210 transitions, 287 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 668 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J20-UpperBounds.task
lola: MAX(Schedule_Task_B_1) : MAX(mo2) : MAX(place_518_1) : MAX(place_787_1) : MAX(Check_Sources_B_1) : MAX(mo1) : MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(Check_Sources_E_1) : MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Work_B_1_18 + Perform_Work_B_1_19 + Perform_Work_B_1_20) : MAX(Try_Check_Sources_E_1) : MAX(place_523_1) : MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_20 + AvailableJobId_19 + AvailableJobId_18 + AvailableJobId_17 + AvailableJobId_16) : MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Work_B_1_18 + Perform_Work_B_1_19 + Perform_Work_B_1_20) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
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(Schedule_Task_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 124645 markings, 244342 edges, 24929 markings/sec, 0 secs
lola: 246407 markings, 481364 edges, 24352 markings/sec, 5 secs
lola: 371601 markings, 716276 edges, 25039 markings/sec, 10 secs
lola: 505826 markings, 951624 edges, 26845 markings/sec, 15 secs
lola: 640051 markings, 1182690 edges, 26845 markings/sec, 20 secs
lola: 775219 markings, 1415613 edges, 27034 markings/sec, 25 secs
lola: 907936 markings, 1644903 edges, 26543 markings/sec, 30 secs
lola: 1044177 markings, 1879345 edges, 27248 markings/sec, 35 secs
lola: 1177839 markings, 2110853 edges, 26732 markings/sec, 40 secs
lola: 1311434 markings, 2342675 edges, 26719 markings/sec, 45 secs
lola: 1444508 markings, 2574397 edges, 26615 markings/sec, 50 secs
lola: 1575949 markings, 2804715 edges, 26288 markings/sec, 55 secs
lola: 1711692 markings, 3041933 edges, 27149 markings/sec, 60 secs
lola: 1843781 markings, 3274389 edges, 26418 markings/sec, 65 secs
lola: 1977980 markings, 3512237 edges, 26840 markings/sec, 70 secs
lola: 2111107 markings, 3751032 edges, 26625 markings/sec, 75 secs
lola: 2242449 markings, 3992266 edges, 26268 markings/sec, 80 secs
lola: 2384829 markings, 4230094 edges, 28476 markings/sec, 85 secs
lola: 2535336 markings, 4442771 edges, 30101 markings/sec, 90 secs
lola: 2684802 markings, 4659176 edges, 29893 markings/sec, 95 secs
lola: 2832676 markings, 4888127 edges, 29575 markings/sec, 100 secs
lola: 2998178 markings, 5128876 edges, 33100 markings/sec, 105 secs
lola: 3175853 markings, 5365653 edges, 35535 markings/sec, 110 secs
lola: 3355097 markings, 5600249 edges, 35849 markings/sec, 115 secs
lola: 3529829 markings, 5833911 edges, 34946 markings/sec, 120 secs
lola: 3704950 markings, 6067299 edges, 35024 markings/sec, 125 secs
lola: 3879813 markings, 6304745 edges, 34973 markings/sec, 130 secs
lola: 4053826 markings, 6544904 edges, 34803 markings/sec, 135 secs
lola: 4232054 markings, 6793541 edges, 35646 markings/sec, 140 secs
lola: 4404436 markings, 7050374 edges, 34476 markings/sec, 145 secs
lola: 4545257 markings, 7298632 edges, 28164 markings/sec, 150 secs
lola: 4669376 markings, 7518117 edges, 24824 markings/sec, 155 secs
lola: 4790584 markings, 7736642 edges, 24242 markings/sec, 160 secs
lola: 4914891 markings, 7962121 edges, 24861 markings/sec, 165 secs
lola: 5037394 markings, 8192823 edges, 24501 markings/sec, 170 secs
lola: 5162790 markings, 8449866 edges, 25079 markings/sec, 175 secs
lola: 5321480 markings, 8672561 edges, 31738 markings/sec, 180 secs
lola: 5476658 markings, 8895905 edges, 31036 markings/sec, 185 secs
lola: 5633649 markings, 9130077 edges, 31398 markings/sec, 190 secs
lola: 5796137 markings, 9384033 edges, 32498 markings/sec, 195 secs
lola: 5974612 markings, 9619304 edges, 35695 markings/sec, 200 secs
lola: 6154744 markings, 9854860 edges, 36026 markings/sec, 205 secs
lola: 6330030 markings, 10087237 edges, 35057 markings/sec, 210 secs
lola: 6503205 markings, 10318553 edges, 34635 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(mo2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 162433 markings, 226926 edges, 32487 markings/sec, 0 secs
lola: 322069 markings, 455275 edges, 31927 markings/sec, 5 secs
lola: 482665 markings, 694631 edges, 32119 markings/sec, 10 secs
lola: 649621 markings, 955684 edges, 33391 markings/sec, 15 secs
lola: 835435 markings, 1198336 edges, 37163 markings/sec, 20 secs
lola: 1016674 markings, 1439723 edges, 36248 markings/sec, 25 secs
lola: 1199455 markings, 1681092 edges, 36556 markings/sec, 30 secs
lola: 1376201 markings, 1918367 edges, 35349 markings/sec, 35 secs
lola: 1556061 markings, 2161654 edges, 35972 markings/sec, 40 secs
lola: 1738670 markings, 2409469 edges, 36522 markings/sec, 45 secs
lola: 1916518 markings, 2660046 edges, 35570 markings/sec, 50 secs
lola: 2095681 markings, 2923528 edges, 35833 markings/sec, 55 secs
lola: 2241494 markings, 3180281 edges, 29163 markings/sec, 60 secs
lola: 2369601 markings, 3406198 edges, 25621 markings/sec, 65 secs
lola: 2494897 markings, 3630703 edges, 25059 markings/sec, 70 secs
lola: 2621511 markings, 3862554 edges, 25323 markings/sec, 75 secs
lola: 2746702 markings, 4098926 edges, 25038 markings/sec, 80 secs
lola: 2879141 markings, 4361410 edges, 26488 markings/sec, 85 secs
lola: 3041941 markings, 4588937 edges, 32560 markings/sec, 90 secs
lola: 3201573 markings, 4818997 edges, 31926 markings/sec, 95 secs
lola: 3360097 markings, 5060300 edges, 31705 markings/sec, 100 secs
lola: 3533216 markings, 5319085 edges, 34624 markings/sec, 105 secs
lola: 3717565 markings, 5561689 edges, 36870 markings/sec, 110 secs
lola: 3899107 markings, 5801034 edges, 36308 markings/sec, 115 secs
lola: 4079210 markings, 6041149 edges, 36021 markings/sec, 120 secs
lola: 4257326 markings, 6279862 edges, 35623 markings/sec, 125 secs
lola: 4437868 markings, 6524194 edges, 36108 markings/sec, 130 secs
lola: 4616557 markings, 6769296 edges, 35738 markings/sec, 135 secs
lola: 4795538 markings, 7022172 edges, 35796 markings/sec, 140 secs
lola: 4971212 markings, 7286995 edges, 35135 markings/sec, 145 secs
lola: 5107567 markings, 7532981 edges, 27271 markings/sec, 150 secs
lola: 5233711 markings, 7755638 edges, 25229 markings/sec, 155 secs
lola: 5358206 markings, 7978848 edges, 24899 markings/sec, 160 secs
lola: 5485505 markings, 8209807 edges, 25460 markings/sec, 165 secs
lola: 5610827 markings, 8447290 edges, 25064 markings/sec, 170 secs
lola: 5747534 markings, 8706407 edges, 27341 markings/sec, 175 secs
lola: 5906346 markings, 8931658 edges, 31762 markings/sec, 180 secs
lola: 6066045 markings, 9161650 edges, 31940 markings/sec, 185 secs
lola: 6223849 markings, 9403970 edges, 31561 markings/sec, 190 secs
lola: 6400198 markings, 9660500 edges, 35270 markings/sec, 195 secs
lola: 6578510 markings, 9899269 edges, 35662 markings/sec, 200 secs
lola: 6762672 markings, 10139840 edges, 36832 markings/sec, 205 secs
lola: 6941951 markings, 10378186 edges, 35856 markings/sec, 210 secs
lola: 7115002 markings, 10613611 edges, 34610 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(place_518_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 148563 markings, 278996 edges, 29713 markings/sec, 0 secs
lola: 292244 markings, 561937 edges, 28736 markings/sec, 5 secs
lola: 435225 markings, 841439 edges, 28596 markings/sec, 10 secs
lola: 586824 markings, 1117605 edges, 30320 markings/sec, 15 secs
lola: 735922 markings, 1389101 edges, 29820 markings/sec, 20 secs
lola: 876874 markings, 1647100 edges, 28190 markings/sec, 25 secs
lola: 1020061 markings, 1908062 edges, 28637 markings/sec, 30 secs
lola: 1156887 markings, 2158559 edges, 27365 markings/sec, 35 secs
lola: 1299051 markings, 2418480 edges, 28433 markings/sec, 40 secs
lola: 1436018 markings, 2670508 edges, 27393 markings/sec, 45 secs
lola: 1577175 markings, 2929155 edges, 28231 markings/sec, 50 secs
lola: 1716690 markings, 3185724 edges, 27903 markings/sec, 55 secs
lola: 1856068 markings, 3442458 edges, 27876 markings/sec, 60 secs
lola: 2001370 markings, 3710644 edges, 29060 markings/sec, 65 secs
lola: 2141122 markings, 3970428 edges, 27950 markings/sec, 70 secs
lola: 2284479 markings, 4236670 edges, 28671 markings/sec, 75 secs
lola: 2423551 markings, 4497436 edges, 27814 markings/sec, 80 secs
lola: 2562794 markings, 4760606 edges, 27849 markings/sec, 85 secs
lola: 2701428 markings, 5031631 edges, 27727 markings/sec, 90 secs
lola: 2849970 markings, 5265478 edges, 29708 markings/sec, 95 secs
lola: 2999726 markings, 5478033 edges, 29951 markings/sec, 100 secs
lola: 3147215 markings, 5694011 edges, 29498 markings/sec, 105 secs
lola: 3291979 markings, 5925570 edges, 28953 markings/sec, 110 secs
lola: 3459467 markings, 6159093 edges, 33498 markings/sec, 115 secs
lola: 3627896 markings, 6381146 edges, 33686 markings/sec, 120 secs
lola: 3798000 markings, 6603582 edges, 34021 markings/sec, 125 secs
lola: 3961867 markings, 6822775 edges, 32773 markings/sec, 130 secs
lola: 4125480 markings, 7041844 edges, 32723 markings/sec, 135 secs
lola: 4289476 markings, 7265290 edges, 32799 markings/sec, 140 secs
lola: 4456975 markings, 7493613 edges, 33500 markings/sec, 145 secs
lola: 4623655 markings, 7726670 edges, 33336 markings/sec, 150 secs
lola: 4788761 markings, 7965544 edges, 33021 markings/sec, 155 secs
lola: 4933814 markings, 8213521 edges, 29011 markings/sec, 160 secs
lola: 5050976 markings, 8420574 edges, 23432 markings/sec, 165 secs
lola: 5166640 markings, 8626177 edges, 23133 markings/sec, 170 secs
lola: 5280851 markings, 8831879 edges, 22842 markings/sec, 175 secs
lola: 5398762 markings, 9046351 edges, 23582 markings/sec, 180 secs
lola: 5515074 markings, 9271259 edges, 23262 markings/sec, 185 secs
lola: 5644014 markings, 9508329 edges, 25788 markings/sec, 190 secs
lola: 5793008 markings, 9718500 edges, 29799 markings/sec, 195 secs
lola: 5940287 markings, 9931033 edges, 29456 markings/sec, 200 secs
lola: 6087753 markings, 10154263 edges, 29493 markings/sec, 205 secs
lola: 6242419 markings, 10392821 edges, 30933 markings/sec, 210 secs
lola: 6412418 markings, 10615421 edges, 34000 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(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 139055 markings, 241121 edges, 27811 markings/sec, 0 secs
lola: 283936 markings, 491632 edges, 28976 markings/sec, 5 secs
lola: 433479 markings, 746009 edges, 29909 markings/sec, 10 secs
lola: 584554 markings, 991823 edges, 30215 markings/sec, 15 secs
lola: 734671 markings, 1236431 edges, 30023 markings/sec, 20 secs
lola: 883987 markings, 1480278 edges, 29863 markings/sec, 25 secs
lola: 1035430 markings, 1727206 edges, 30289 markings/sec, 30 secs
lola: 1182283 markings, 1969553 edges, 29371 markings/sec, 35 secs
lola: 1330017 markings, 2213302 edges, 29547 markings/sec, 40 secs
lola: 1480937 markings, 2463009 edges, 30184 markings/sec, 45 secs
lola: 1628492 markings, 2709515 edges, 29511 markings/sec, 50 secs
lola: 1776566 markings, 2959905 edges, 29615 markings/sec, 55 secs
lola: 1922734 markings, 3213831 edges, 29234 markings/sec, 60 secs
lola: 2073133 markings, 3471470 edges, 30080 markings/sec, 65 secs
lola: 2234809 markings, 3697710 edges, 32335 markings/sec, 70 secs
lola: 2391881 markings, 3925898 edges, 31414 markings/sec, 75 secs
lola: 2548315 markings, 4168456 edges, 31287 markings/sec, 80 secs
lola: 2726101 markings, 4424062 edges, 35557 markings/sec, 85 secs
lola: 2904101 markings, 4661397 edges, 35600 markings/sec, 90 secs
lola: 3085864 markings, 4900740 edges, 36353 markings/sec, 95 secs
lola: 3264375 markings, 5138133 edges, 35702 markings/sec, 100 secs
lola: 3437809 markings, 5372295 edges, 34687 markings/sec, 105 secs
lola: 3618393 markings, 5616764 edges, 36117 markings/sec, 110 secs
lola: 3795758 markings, 5860773 edges, 35473 markings/sec, 115 secs
lola: 3974231 markings, 6112497 edges, 35695 markings/sec, 120 secs
lola: 4149121 markings, 6378772 edges, 34978 markings/sec, 125 secs
lola: 4280290 markings, 6615877 edges, 26234 markings/sec, 130 secs
lola: 4406311 markings, 6837128 edges, 25204 markings/sec, 135 secs
lola: 4529383 markings, 7058216 edges, 24614 markings/sec, 140 secs
lola: 4654224 markings, 7287888 edges, 24968 markings/sec, 145 secs
lola: 4778977 markings, 7524587 edges, 24951 markings/sec, 150 secs
lola: 4914706 markings, 7779908 edges, 27146 markings/sec, 155 secs
lola: 5072481 markings, 8003015 edges, 31555 markings/sec, 160 secs
lola: 5230503 markings, 8230727 edges, 31604 markings/sec, 165 secs
lola: 5386283 markings, 8469977 edges, 31156 markings/sec, 170 secs
lola: 5559945 markings, 8723923 edges, 34732 markings/sec, 175 secs
lola: 5738383 markings, 8962277 edges, 35688 markings/sec, 180 secs
lola: 5920107 markings, 9199263 edges, 36345 markings/sec, 185 secs
lola: 6096920 markings, 9435357 edges, 35363 markings/sec, 190 secs
lola: 6271910 markings, 9670539 edges, 34998 markings/sec, 195 secs
lola: 6450547 markings, 9912005 edges, 35727 markings/sec, 200 secs
lola: 6626154 markings, 10153459 edges, 35121 markings/sec, 205 secs
lola: 6802797 markings, 10403014 edges, 35329 markings/sec, 210 secs
lola: 6976832 markings, 10662860 edges, 34807 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(Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 141117 markings, 244607 edges, 28223 markings/sec, 0 secs
lola: 287403 markings, 497502 edges, 29257 markings/sec, 5 secs
lola: 434302 markings, 747096 edges, 29380 markings/sec, 10 secs
lola: 582822 markings, 988749 edges, 29704 markings/sec, 15 secs
lola: 730270 markings, 1229072 edges, 29490 markings/sec, 20 secs
lola: 877037 markings, 1468505 edges, 29353 markings/sec, 25 secs
lola: 1025250 markings, 1710857 edges, 29643 markings/sec, 30 secs
lola: 1170233 markings, 1949711 edges, 28997 markings/sec, 35 secs
lola: 1317698 markings, 2191492 edges, 29493 markings/sec, 40 secs
lola: 1462695 markings, 2432985 edges, 28999 markings/sec, 45 secs
lola: 1608094 markings, 2675338 edges, 29080 markings/sec, 50 secs
lola: 1753856 markings, 2921800 edges, 29152 markings/sec, 55 secs
lola: 1898116 markings, 3170126 edges, 28852 markings/sec, 60 secs
lola: 2043832 markings, 3430567 edges, 29143 markings/sec, 65 secs
lola: 2201839 markings, 3652190 edges, 31601 markings/sec, 70 secs
lola: 2357444 markings, 3875883 edges, 31121 markings/sec, 75 secs
lola: 2513432 markings, 4111026 edges, 31198 markings/sec, 80 secs
lola: 2677496 markings, 4362995 edges, 32813 markings/sec, 85 secs
lola: 2859357 markings, 4599594 edges, 36372 markings/sec, 90 secs
lola: 3033672 markings, 4832738 edges, 34863 markings/sec, 95 secs
lola: 3212724 markings, 5069466 edges, 35810 markings/sec, 100 secs
lola: 3384717 markings, 5300672 edges, 34399 markings/sec, 105 secs
lola: 3561197 markings, 5537221 edges, 35296 markings/sec, 110 secs
lola: 3736841 markings, 5778528 edges, 35129 markings/sec, 115 secs
lola: 3912936 markings, 6024260 edges, 35219 markings/sec, 120 secs
lola: 4087394 markings, 6278943 edges, 34892 markings/sec, 125 secs
lola: 4234339 markings, 6534756 edges, 29389 markings/sec, 130 secs
lola: 4358159 markings, 6751556 edges, 24764 markings/sec, 135 secs
lola: 4473240 markings, 6958646 edges, 23016 markings/sec, 140 secs
lola: 4589326 markings, 7167467 edges, 23217 markings/sec, 145 secs
lola: 4707068 markings, 7384563 edges, 23548 markings/sec, 150 secs
lola: 4820306 markings, 7607245 edges, 22648 markings/sec, 155 secs
lola: 4956781 markings, 7838668 edges, 27295 markings/sec, 160 secs
lola: 5106977 markings, 8051203 edges, 30039 markings/sec, 165 secs
lola: 5253713 markings, 8264860 edges, 29347 markings/sec, 170 secs
lola: 5337148 markings, 8391073 edges, 16687 markings/sec, 175 secs
lola: 5417614 markings, 8523797 edges, 16093 markings/sec, 180 secs
lola: 5516775 markings, 8670651 edges, 19832 markings/sec, 185 secs
lola: 5621717 markings, 8806709 edges, 20988 markings/sec, 190 secs
lola: 5726992 markings, 8944293 edges, 21055 markings/sec, 195 secs
lola: 5826637 markings, 9078074 edges, 19929 markings/sec, 200 secs
lola: 5932438 markings, 9216643 edges, 21160 markings/sec, 205 secs
lola: 6035032 markings, 9352673 edges, 20519 markings/sec, 210 secs
lola: 6134976 markings, 9488175 edges, 19989 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 157898 markings, 219709 edges, 31580 markings/sec, 0 secs
lola: 312476 markings, 440697 edges, 30916 markings/sec, 5 secs
lola: 466869 markings, 670814 edges, 30879 markings/sec, 10 secs
lola: 629356 markings, 924810 edges, 32497 markings/sec, 15 secs
lola: 803741 markings, 1157406 edges, 34877 markings/sec, 20 secs
lola: 981238 markings, 1389996 edges, 35499 markings/sec, 25 secs
lola: 1153728 markings, 1620861 edges, 34498 markings/sec, 30 secs
lola: 1325912 markings, 1850773 edges, 34437 markings/sec, 35 secs
lola: 1499344 markings, 2081648 edges, 34686 markings/sec, 40 secs
lola: 1673710 markings, 2321692 edges, 34873 markings/sec, 45 secs
lola: 1847094 markings, 2561869 edges, 34677 markings/sec, 50 secs
lola: 2017602 markings, 2806159 edges, 34102 markings/sec, 55 secs
lola: 2180633 markings, 3073026 edges, 32606 markings/sec, 60 secs
lola: 2304293 markings, 3291334 edges, 24732 markings/sec, 65 secs
lola: 2426982 markings, 3509365 edges, 24538 markings/sec, 70 secs
lola: 2546670 markings, 3726975 edges, 23938 markings/sec, 75 secs
lola: 2669664 markings, 3952064 edges, 24599 markings/sec, 80 secs
lola: 2792185 markings, 4187538 edges, 24504 markings/sec, 85 secs
lola: 2932002 markings, 4434559 edges, 27963 markings/sec, 90 secs
lola: 3087957 markings, 4654195 edges, 31191 markings/sec, 95 secs
lola: 3241409 markings, 4877618 edges, 30690 markings/sec, 100 secs
lola: 3393379 markings, 5115632 edges, 30394 markings/sec, 105 secs
lola: 3566249 markings, 5361847 edges, 34574 markings/sec, 110 secs
lola: 3738926 markings, 5591338 edges, 34535 markings/sec, 115 secs
lola: 3915443 markings, 5822592 edges, 35303 markings/sec, 120 secs
lola: 4087839 markings, 6051665 edges, 34479 markings/sec, 125 secs
lola: 4257076 markings, 6279449 edges, 33847 markings/sec, 130 secs
lola: 4429540 markings, 6512488 edges, 34493 markings/sec, 135 secs
lola: 4598798 markings, 6746650 edges, 33852 markings/sec, 140 secs
lola: 4771331 markings, 6988110 edges, 34507 markings/sec, 145 secs
lola: 4941001 markings, 7238365 edges, 33934 markings/sec, 150 secs
lola: 5081175 markings, 7486164 edges, 28035 markings/sec, 155 secs
lola: 5203462 markings, 7702142 edges, 24457 markings/sec, 160 secs
lola: 5325662 markings, 7918776 edges, 24440 markings/sec, 165 secs
lola: 5446598 markings, 8137554 edges, 24187 markings/sec, 170 secs
lola: 5568859 markings, 8365996 edges, 24452 markings/sec, 175 secs
lola: 5688358 markings, 8609799 edges, 23900 markings/sec, 180 secs
lola: 5841861 markings, 8839662 edges, 30701 markings/sec, 185 secs
lola: 5996704 markings, 9059909 edges, 30969 markings/sec, 190 secs
lola: 6148920 markings, 9285955 edges, 30443 markings/sec, 195 secs
lola: 6303932 markings, 9536189 edges, 31002 markings/sec, 200 secs
lola: 6482601 markings, 9768404 edges, 35734 markings/sec, 205 secs
lola: 6652651 markings, 9997051 edges, 34010 markings/sec, 210 secs
lola: 6828516 markings, 10227888 edges, 35173 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(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 156479 markings, 289589 edges, 31296 markings/sec, 0 secs
lola: 304228 markings, 576543 edges, 29550 markings/sec, 5 secs
lola: 451330 markings, 861110 edges, 29420 markings/sec, 10 secs
lola: 605138 markings, 1136991 edges, 30762 markings/sec, 15 secs
lola: 761510 markings, 1417528 edges, 31274 markings/sec, 20 secs
lola: 914571 markings, 1692420 edges, 30612 markings/sec, 25 secs
lola: 1070857 markings, 1972670 edges, 31257 markings/sec, 30 secs
lola: 1223869 markings, 2248731 edges, 30602 markings/sec, 35 secs
lola: 1376500 markings, 2524227 edges, 30526 markings/sec, 40 secs
lola: 1529545 markings, 2800509 edges, 30609 markings/sec, 45 secs
lola: 1682584 markings, 3077578 edges, 30608 markings/sec, 50 secs
lola: 1834961 markings, 3354691 edges, 30475 markings/sec, 55 secs
lola: 1988467 markings, 3634514 edges, 30701 markings/sec, 60 secs
lola: 2141095 markings, 3913770 edges, 30526 markings/sec, 65 secs
lola: 2292687 markings, 4193988 edges, 30318 markings/sec, 70 secs
lola: 2444716 markings, 4477651 edges, 30406 markings/sec, 75 secs
lola: 2594844 markings, 4773894 edges, 30026 markings/sec, 80 secs
lola: 2754969 markings, 4998504 edges, 32025 markings/sec, 85 secs
lola: 2912204 markings, 5224312 edges, 31447 markings/sec, 90 secs
lola: 3069870 markings, 5459064 edges, 31533 markings/sec, 95 secs
lola: 3234076 markings, 5715192 edges, 32841 markings/sec, 100 secs
lola: 3413526 markings, 5951974 edges, 35890 markings/sec, 105 secs
lola: 3595150 markings, 6189773 edges, 36325 markings/sec, 110 secs
lola: 3773954 markings, 6426139 edges, 35761 markings/sec, 115 secs
lola: 3948046 markings, 6660190 edges, 34818 markings/sec, 120 secs
lola: 4121373 markings, 6894933 edges, 34665 markings/sec, 125 secs
lola: 4300096 markings, 7140457 edges, 35745 markings/sec, 130 secs
lola: 4477847 markings, 7387226 edges, 35550 markings/sec, 135 secs
lola: 4653324 markings, 7641812 edges, 35095 markings/sec, 140 secs
lola: 4804798 markings, 7901490 edges, 30295 markings/sec, 145 secs
lola: 4929909 markings, 8121599 edges, 25022 markings/sec, 150 secs
lola: 5051211 markings, 8341137 edges, 24260 markings/sec, 155 secs
lola: 5174539 markings, 8563592 edges, 24666 markings/sec, 160 secs
lola: 5300222 markings, 8797308 edges, 25137 markings/sec, 165 secs
lola: 5422080 markings, 9041710 edges, 24372 markings/sec, 170 secs
lola: 5576401 markings, 9279665 edges, 30864 markings/sec, 175 secs
lola: 5734688 markings, 9504278 edges, 31657 markings/sec, 180 secs
lola: 5890273 markings, 9734696 edges, 31117 markings/sec, 185 secs
lola: 6049183 markings, 9989456 edges, 31782 markings/sec, 190 secs
lola: 6230942 markings, 10227604 edges, 36352 markings/sec, 195 secs
lola: 6406901 markings, 10462246 edges, 35192 markings/sec, 200 secs
lola: 6583285 markings, 10696881 edges, 35277 markings/sec, 205 secs
lola: 6758339 markings, 10930425 edges, 35011 markings/sec, 210 secs
lola: 6933875 markings, 11164003 edges, 35107 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(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 149613 markings, 311483 edges, 29923 markings/sec, 0 secs
lola: 307813 markings, 604842 edges, 31640 markings/sec, 5 secs
lola: 461676 markings, 888746 edges, 30773 markings/sec, 10 secs
lola: 617322 markings, 1170653 edges, 31129 markings/sec, 15 secs
lola: 779812 markings, 1451206 edges, 32498 markings/sec, 20 secs
lola: 933159 markings, 1717397 edges, 30669 markings/sec, 25 secs
lola: 1093548 markings, 1994792 edges, 32078 markings/sec, 30 secs
lola: 1246891 markings, 2261850 edges, 30669 markings/sec, 35 secs
lola: 1402977 markings, 2533096 edges, 31217 markings/sec, 40 secs
lola: 1560296 markings, 2806274 edges, 31464 markings/sec, 45 secs
lola: 1715377 markings, 3076672 edges, 31016 markings/sec, 50 secs
lola: 1868729 markings, 3345451 edges, 30670 markings/sec, 55 secs
lola: 2027887 markings, 3623572 edges, 31832 markings/sec, 60 secs
lola: 2183609 markings, 3897741 edges, 31144 markings/sec, 65 secs
lola: 2337883 markings, 4171095 edges, 30855 markings/sec, 70 secs
lola: 2492419 markings, 4445962 edges, 30907 markings/sec, 75 secs
lola: 2646820 markings, 4724188 edges, 30880 markings/sec, 80 secs
lola: 2800352 markings, 5013045 edges, 30706 markings/sec, 85 secs
lola: 2949225 markings, 5231182 edges, 29775 markings/sec, 90 secs
lola: 3097437 markings, 5442880 edges, 29642 markings/sec, 95 secs
lola: 3244446 markings, 5658729 edges, 29402 markings/sec, 100 secs
lola: 3385761 markings, 5896093 edges, 28263 markings/sec, 105 secs
lola: 3555594 markings, 6118372 edges, 33967 markings/sec, 110 secs
lola: 3725182 markings, 6339511 edges, 33918 markings/sec, 115 secs
lola: 3888053 markings, 6558519 edges, 32574 markings/sec, 120 secs
lola: 4055053 markings, 6777683 edges, 33400 markings/sec, 125 secs
lola: 4216214 markings, 6994205 edges, 32232 markings/sec, 130 secs
lola: 4378894 markings, 7215640 edges, 32536 markings/sec, 135 secs
lola: 4545134 markings, 7441469 edges, 33248 markings/sec, 140 secs
lola: 4708799 markings, 7671844 edges, 32733 markings/sec, 145 secs
lola: 4872897 markings, 7910312 edges, 32820 markings/sec, 150 secs
lola: 5014882 markings, 8154049 edges, 28397 markings/sec, 155 secs
lola: 5130229 markings, 8359470 edges, 23069 markings/sec, 160 secs
lola: 5244667 markings, 8562619 edges, 22888 markings/sec, 165 secs
lola: 5358005 markings, 8766736 edges, 22668 markings/sec, 170 secs
lola: 5475115 markings, 8979916 edges, 23422 markings/sec, 175 secs
lola: 5590321 markings, 9202498 edges, 23041 markings/sec, 180 secs
lola: 5717447 markings, 9437994 edges, 25425 markings/sec, 185 secs
lola: 5865439 markings, 9646654 edges, 29598 markings/sec, 190 secs
lola: 6011832 markings, 9856998 edges, 29279 markings/sec, 195 secs
lola: 6157643 markings, 10077542 edges, 29162 markings/sec, 200 secs
lola: 6313155 markings, 10318866 edges, 31102 markings/sec, 205 secs
lola: 6471564 markings, 10527005 edges, 31682 markings/sec, 210 secs
lola: 6625926 markings, 10730086 edges, 30872 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(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Wo... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 140852 markings, 196186 edges, 28170 markings/sec, 0 secs
lola: 280303 markings, 393384 edges, 27890 markings/sec, 5 secs
lola: 432346 markings, 617375 edges, 30409 markings/sec, 10 secs
lola: 585571 markings, 871272 edges, 30645 markings/sec, 15 secs
lola: 771980 markings, 1113157 edges, 37282 markings/sec, 20 secs
lola: 944733 markings, 1343884 edges, 34551 markings/sec, 25 secs
lola: 1118397 markings, 1571151 edges, 34733 markings/sec, 30 secs
lola: 1286629 markings, 1796500 edges, 33646 markings/sec, 35 secs
lola: 1454488 markings, 2021846 edges, 33572 markings/sec, 40 secs
lola: 1626939 markings, 2255348 edges, 34490 markings/sec, 45 secs
lola: 1794498 markings, 2487290 edges, 33512 markings/sec, 50 secs
lola: 1963308 markings, 2727212 edges, 33762 markings/sec, 55 secs
lola: 2130265 markings, 2980355 edges, 33391 markings/sec, 60 secs
lola: 2257494 markings, 3211376 edges, 25446 markings/sec, 65 secs
lola: 2377557 markings, 3423643 edges, 24013 markings/sec, 70 secs
lola: 2497198 markings, 3634472 edges, 23928 markings/sec, 75 secs
lola: 2616334 markings, 3851901 edges, 23827 markings/sec, 80 secs
lola: 2734366 markings, 4075012 edges, 23606 markings/sec, 85 secs
lola: 2853188 markings, 4324732 edges, 23764 markings/sec, 90 secs
lola: 3007016 markings, 4539787 edges, 30766 markings/sec, 95 secs
lola: 3157061 markings, 4754778 edges, 30009 markings/sec, 100 secs
lola: 3307000 markings, 4977182 edges, 29988 markings/sec, 105 secs
lola: 3460553 markings, 5222979 edges, 30711 markings/sec, 110 secs
lola: 3635787 markings, 5451422 edges, 35047 markings/sec, 115 secs
lola: 3802521 markings, 5675795 edges, 33347 markings/sec, 120 secs
lola: 3976144 markings, 5902931 edges, 34725 markings/sec, 125 secs
lola: 4143721 markings, 6126322 edges, 33515 markings/sec, 130 secs
lola: 4308327 markings, 6349066 edges, 32921 markings/sec, 135 secs
lola: 4480511 markings, 6582279 edges, 34437 markings/sec, 140 secs
lola: 4648000 markings, 6812944 edges, 33498 markings/sec, 145 secs
lola: 4815177 markings, 7050626 edges, 33435 markings/sec, 150 secs
lola: 4980041 markings, 7301755 edges, 32973 markings/sec, 155 secs
lola: 5106217 markings, 7530825 edges, 25235 markings/sec, 160 secs
lola: 5225254 markings, 7741431 edges, 23807 markings/sec, 165 secs
lola: 5343796 markings, 7950451 edges, 23708 markings/sec, 170 secs
lola: 5461857 markings, 8166304 edges, 23612 markings/sec, 175 secs
lola: 5580334 markings, 8388014 edges, 23695 markings/sec, 180 secs
lola: 5696663 markings, 8632660 edges, 23266 markings/sec, 185 secs
lola: 5850513 markings, 8850634 edges, 30770 markings/sec, 190 secs
lola: 5999981 markings, 9065133 edges, 29894 markings/sec, 195 secs
lola: 6148575 markings, 9285513 edges, 29719 markings/sec, 200 secs
lola: 6298493 markings, 9529759 edges, 29984 markings/sec, 205 secs
lola: 6472992 markings, 9756577 edges, 34900 markings/sec, 210 secs
lola: 6641618 markings, 9981818 edges, 33725 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(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 148358 markings, 271123 edges, 29672 markings/sec, 0 secs
lola: 288221 markings, 541023 edges, 27973 markings/sec, 5 secs
lola: 427460 markings, 808488 edges, 27848 markings/sec, 10 secs
lola: 574908 markings, 1067445 edges, 29490 markings/sec, 15 secs
lola: 724259 markings, 1330679 edges, 29870 markings/sec, 20 secs
lola: 874837 markings, 1596141 edges, 30116 markings/sec, 25 secs
lola: 1029487 markings, 1868379 edges, 30930 markings/sec, 30 secs
lola: 1182788 markings, 2139217 edges, 30660 markings/sec, 35 secs
lola: 1333415 markings, 2406268 edges, 30125 markings/sec, 40 secs
lola: 1481777 markings, 2670044 edges, 29672 markings/sec, 45 secs
lola: 1630759 markings, 2934927 edges, 29796 markings/sec, 50 secs
lola: 1785494 markings, 3211544 edges, 30947 markings/sec, 55 secs
lola: 1938624 markings, 3485460 edges, 30626 markings/sec, 60 secs
lola: 2091989 markings, 3762843 edges, 30673 markings/sec, 65 secs
lola: 2243296 markings, 4039608 edges, 30261 markings/sec, 70 secs
lola: 2393700 markings, 4321590 edges, 30081 markings/sec, 75 secs
lola: 2550054 markings, 4575361 edges, 31271 markings/sec, 80 secs
lola: 2706661 markings, 4797205 edges, 31321 markings/sec, 85 secs
lola: 2860157 markings, 5023067 edges, 30699 markings/sec, 90 secs
lola: 3009877 markings, 5264616 edges, 29944 markings/sec, 95 secs
lola: 3183044 markings, 5502435 edges, 34633 markings/sec, 100 secs
lola: 3360044 markings, 5732898 edges, 35400 markings/sec, 105 secs
lola: 3533930 markings, 5965661 edges, 34777 markings/sec, 110 secs
lola: 3705846 markings, 6194908 edges, 34383 markings/sec, 115 secs
lola: 3878176 markings, 6425422 edges, 34466 markings/sec, 120 secs
lola: 4056793 markings, 6667393 edges, 35723 markings/sec, 125 secs
lola: 4231586 markings, 6908392 edges, 34959 markings/sec, 130 secs
lola: 4407304 markings, 7156164 edges, 35144 markings/sec, 135 secs
lola: 4577975 markings, 7416019 edges, 34134 markings/sec, 140 secs
lola: 4706215 markings, 7647984 edges, 25648 markings/sec, 145 secs
lola: 4829712 markings, 7866381 edges, 24699 markings/sec, 150 secs
lola: 4951529 markings, 8084453 edges, 24363 markings/sec, 155 secs
lola: 5075025 markings, 8308789 edges, 24699 markings/sec, 160 secs
lola: 5197431 markings, 8539237 edges, 24481 markings/sec, 165 secs
lola: 5324952 markings, 8793108 edges, 25504 markings/sec, 170 secs
lola: 5482118 markings, 9013718 edges, 31433 markings/sec, 175 secs
lola: 5636736 markings, 9235819 edges, 30924 markings/sec, 180 secs
lola: 5791808 markings, 9469326 edges, 31014 markings/sec, 185 secs
lola: 5953712 markings, 9719532 edges, 32381 markings/sec, 190 secs
lola: 6133451 markings, 9953753 edges, 35948 markings/sec, 195 secs
lola: 6307737 markings, 10185098 edges, 34857 markings/sec, 200 secs
lola: 6484496 markings, 10417866 edges, 35352 markings/sec, 205 secs
lola: 6654903 markings, 10646629 edges, 34081 markings/sec, 210 secs
lola: 6825065 markings, 10877026 edges, 34032 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(place_523_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 175608 markings, 243806 edges, 35122 markings/sec, 0 secs
lola: 344765 markings, 488108 edges, 33831 markings/sec, 5 secs
lola: 514920 markings, 746784 edges, 34031 markings/sec, 10 secs
lola: 707623 markings, 1027570 edges, 38541 markings/sec, 15 secs
lola: 903983 markings, 1289037 edges, 39272 markings/sec, 20 secs
lola: 1101954 markings, 1551420 edges, 39594 markings/sec, 25 secs
lola: 1300780 markings, 1814936 edges, 39765 markings/sec, 30 secs
lola: 1490586 markings, 2070713 edges, 37961 markings/sec, 35 secs
lola: 1687232 markings, 2340139 edges, 39329 markings/sec, 40 secs
lola: 1883384 markings, 2611646 edges, 39230 markings/sec, 45 secs
lola: 2074808 markings, 2891327 edges, 38285 markings/sec, 50 secs
lola: 2230921 markings, 3164449 edges, 31223 markings/sec, 55 secs
lola: 2364187 markings, 3397464 edges, 26653 markings/sec, 60 secs
lola: 2494312 markings, 3629821 edges, 26025 markings/sec, 65 secs
lola: 2625053 markings, 3869827 edges, 26148 markings/sec, 70 secs
lola: 2755520 markings, 4115872 edges, 26093 markings/sec, 75 secs
lola: 2899440 markings, 4388011 edges, 28784 markings/sec, 80 secs
lola: 3071364 markings, 4630372 edges, 34385 markings/sec, 85 secs
lola: 3240481 markings, 4876424 edges, 33823 markings/sec, 90 secs
lola: 3407673 markings, 5142007 edges, 33438 markings/sec, 95 secs
lola: 3605758 markings, 5415029 edges, 39617 markings/sec, 100 secs
lola: 3802876 markings, 5676217 edges, 39424 markings/sec, 105 secs
lola: 4001523 markings, 5939208 edges, 39729 markings/sec, 110 secs
lola: 4189009 markings, 6188012 edges, 37497 markings/sec, 115 secs
lola: 4364957 markings, 6427138 edges, 35190 markings/sec, 120 secs
lola: 4551898 markings, 6680243 edges, 37388 markings/sec, 125 secs
lola: 4732898 markings, 6932498 edges, 36200 markings/sec, 130 secs
lola: 4911412 markings, 7192346 edges, 35703 markings/sec, 135 secs
lola: 5064298 markings, 7453816 edges, 30577 markings/sec, 140 secs
lola: 5186990 markings, 7670055 edges, 24538 markings/sec, 145 secs
lola: 5307536 markings, 7887689 edges, 24109 markings/sec, 150 secs
lola: 5428995 markings, 8105152 edges, 24292 markings/sec, 155 secs
lola: 5551918 markings, 8334404 edges, 24585 markings/sec, 160 secs
lola: 5672699 markings, 8573679 edges, 24156 markings/sec, 165 secs
lola: 5827864 markings, 8819393 edges, 31033 markings/sec, 170 secs
lola: 5986922 markings, 9047279 edges, 31812 markings/sec, 175 secs
lola: 6146531 markings, 9282623 edges, 31922 markings/sec, 180 secs
lola: 6310025 markings, 9543419 edges, 32699 markings/sec, 185 secs
lola: 6496131 markings, 9788483 edges, 37221 markings/sec, 190 secs
lola: 6680683 markings, 10031516 edges, 36910 markings/sec, 195 secs
lola: 6864583 markings, 10276670 edges, 36780 markings/sec, 200 secs
lola: 7046689 markings, 10518460 edges, 36421 markings/sec, 205 secs
lola: 7222191 markings, 10757962 edges, 35100 markings/sec, 210 secs
lola: 7406575 markings, 11008957 edges, 36877 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(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_20 + AvailableJobId_19 + AvailableJobId_18 + AvailableJobId_17 + Availa... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 163839 markings, 228639 edges, 32768 markings/sec, 0 secs
lola: 324990 markings, 459516 edges, 32230 markings/sec, 5 secs
lola: 485895 markings, 700553 edges, 32181 markings/sec, 10 secs
lola: 653604 markings, 961141 edges, 33542 markings/sec, 15 secs
lola: 840371 markings, 1204212 edges, 37353 markings/sec, 20 secs
lola: 1019902 markings, 1443596 edges, 35906 markings/sec, 25 secs
lola: 1201996 markings, 1685242 edges, 36419 markings/sec, 30 secs
lola: 1378697 markings, 1921589 edges, 35340 markings/sec, 35 secs
lola: 1558052 markings, 2164442 edges, 35871 markings/sec, 40 secs
lola: 1740131 markings, 2411684 edges, 36416 markings/sec, 45 secs
lola: 1918612 markings, 2663002 edges, 35696 markings/sec, 50 secs
lola: 2097278 markings, 2926107 edges, 35733 markings/sec, 55 secs
lola: 2242082 markings, 3181181 edges, 28961 markings/sec, 60 secs
lola: 2369278 markings, 3405616 edges, 25439 markings/sec, 65 secs
lola: 2493573 markings, 3628630 edges, 24859 markings/sec, 70 secs
lola: 2620021 markings, 3859172 edges, 25290 markings/sec, 75 secs
lola: 2743847 markings, 4092602 edges, 24765 markings/sec, 80 secs
lola: 2873101 markings, 4351690 edges, 25851 markings/sec, 85 secs
lola: 3029705 markings, 4572031 edges, 31321 markings/sec, 90 secs
lola: 3187479 markings, 4798550 edges, 31555 markings/sec, 95 secs
lola: 3345232 markings, 5036572 edges, 31551 markings/sec, 100 secs
lola: 3513058 markings, 5294153 edges, 33565 markings/sec, 105 secs
lola: 3699878 markings, 5536719 edges, 37364 markings/sec, 110 secs
lola: 3877150 markings, 5774034 edges, 35454 markings/sec, 115 secs
lola: 4057043 markings, 6013574 edges, 35979 markings/sec, 120 secs
lola: 4234342 markings, 6250079 edges, 35460 markings/sec, 125 secs
lola: 4412956 markings, 6491860 edges, 35723 markings/sec, 130 secs
lola: 4592655 markings, 6737050 edges, 35940 markings/sec, 135 secs
lola: 4771371 markings, 6988158 edges, 35743 markings/sec, 140 secs
lola: 4948005 markings, 7248861 edges, 35327 markings/sec, 145 secs
lola: 5091839 markings, 7502214 edges, 28767 markings/sec, 150 secs
lola: 5217968 markings, 7724963 edges, 25226 markings/sec, 155 secs
lola: 5341466 markings, 7946793 edges, 24700 markings/sec, 160 secs
lola: 5467760 markings, 8176251 edges, 25259 markings/sec, 165 secs
lola: 5591838 markings, 8410112 edges, 24816 markings/sec, 170 secs
lola: 5722101 markings, 8671537 edges, 26053 markings/sec, 175 secs
lola: 5882425 markings, 8898038 edges, 32065 markings/sec, 180 secs
lola: 6041587 markings, 9126393 edges, 31832 markings/sec, 185 secs
lola: 6200493 markings, 9366515 edges, 31781 markings/sec, 190 secs
lola: 6369534 markings, 9624005 edges, 33808 markings/sec, 195 secs
lola: 6555892 markings, 9865451 edges, 37272 markings/sec, 200 secs
lola: 6731639 markings, 10101339 edges, 35149 markings/sec, 205 secs
lola: 6910800 markings, 10339396 edges, 35832 markings/sec, 210 secs
lola: 7088022 markings, 10575533 edges, 35444 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(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Wo... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 156219 markings, 216905 edges, 31244 markings/sec, 0 secs
lola: 305497 markings, 431758 edges, 29856 markings/sec, 5 secs
lola: 458543 markings, 658303 edges, 30609 markings/sec, 10 secs
lola: 621724 markings, 915301 edges, 32636 markings/sec, 15 secs
lola: 800449 markings, 1152270 edges, 35745 markings/sec, 20 secs
lola: 979747 markings, 1388218 edges, 35860 markings/sec, 25 secs
lola: 1154899 markings, 1622388 edges, 35030 markings/sec, 30 secs
lola: 1329781 markings, 1855944 edges, 34976 markings/sec, 35 secs
lola: 1504817 markings, 2090014 edges, 35007 markings/sec, 40 secs
lola: 1681817 markings, 2332958 edges, 35400 markings/sec, 45 secs
lola: 1859789 markings, 2578843 edges, 35594 markings/sec, 50 secs
lola: 2031773 markings, 2826951 edges, 34397 markings/sec, 55 secs
lola: 2191081 markings, 3094624 edges, 31862 markings/sec, 60 secs
lola: 2316938 markings, 3315452 edges, 25171 markings/sec, 65 secs
lola: 2440226 markings, 3534250 edges, 24658 markings/sec, 70 secs
lola: 2562697 markings, 3753559 edges, 24494 markings/sec, 75 secs
lola: 2686282 markings, 3983739 edges, 24717 markings/sec, 80 secs
lola: 2810014 markings, 4224420 edges, 24746 markings/sec, 85 secs
lola: 2957026 markings, 4469649 edges, 29402 markings/sec, 90 secs
lola: 3114814 markings, 4693438 edges, 31558 markings/sec, 95 secs
lola: 3271468 markings, 4922570 edges, 31331 markings/sec, 100 secs
lola: 3422300 markings, 5175994 edges, 30166 markings/sec, 105 secs
lola: 3603175 markings, 5411956 edges, 36175 markings/sec, 110 secs
lola: 3783454 markings, 5647865 edges, 36056 markings/sec, 115 secs
lola: 3958298 markings, 5880047 edges, 34969 markings/sec, 120 secs
lola: 4132419 markings, 6112558 edges, 34824 markings/sec, 125 secs
lola: 4305221 markings, 6344319 edges, 34560 markings/sec, 130 secs
lola: 4482586 markings, 6585486 edges, 35473 markings/sec, 135 secs
lola: 4655757 markings, 6825212 edges, 34634 markings/sec, 140 secs
lola: 4829744 markings, 7072137 edges, 34797 markings/sec, 145 secs
lola: 5000490 markings, 7341506 edges, 34149 markings/sec, 150 secs
lola: 5127391 markings, 7564519 edges, 25380 markings/sec, 155 secs
lola: 5249711 markings, 7782974 edges, 24464 markings/sec, 160 secs
lola: 5371008 markings, 8000424 edges, 24259 markings/sec, 165 secs
lola: 5493720 markings, 8225677 edges, 24542 markings/sec, 170 secs
lola: 5616917 markings, 8459246 edges, 24639 markings/sec, 175 secs
lola: 5750623 markings, 8711415 edges, 26741 markings/sec, 180 secs
lola: 5906961 markings, 8932424 edges, 31268 markings/sec, 185 secs
lola: 6063720 markings, 9157685 edges, 31352 markings/sec, 190 secs
lola: 6217816 markings, 9394132 edges, 30819 markings/sec, 195 secs
lola: 6387158 markings, 9644813 edges, 33868 markings/sec, 200 secs
lola: 6565148 markings, 9879427 edges, 35598 markings/sec, 205 secs
lola: 6739175 markings, 10110295 edges, 34805 markings/sec, 210 secs
lola: 6912925 markings, 10342140 edges, 34750 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(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 160649 markings, 224853 edges, 32130 markings/sec, 0 secs
lola: 320478 markings, 452427 edges, 31966 markings/sec, 5 secs
lola: 478176 markings, 688452 edges, 31540 markings/sec, 10 secs
lola: 644167 markings, 947000 edges, 33198 markings/sec, 15 secs
lola: 824560 markings, 1185221 edges, 36079 markings/sec, 20 secs
lola: 1006608 markings, 1423656 edges, 36410 markings/sec, 25 secs
lola: 1186474 markings, 1661261 edges, 35973 markings/sec, 30 secs
lola: 1360516 markings, 1895620 edges, 34808 markings/sec, 35 secs
lola: 1535335 markings, 2131564 edges, 34964 markings/sec, 40 secs
lola: 1712987 markings, 2376036 edges, 35530 markings/sec, 45 secs
lola: 1891008 markings, 2624039 edges, 35604 markings/sec, 50 secs
lola: 2067889 markings, 2880596 edges, 35376 markings/sec, 55 secs
lola: 2218302 markings, 3140463 edges, 30083 markings/sec, 60 secs
lola: 2344205 markings, 3361917 edges, 25181 markings/sec, 65 secs
lola: 2467314 markings, 3582075 edges, 24622 markings/sec, 70 secs
lola: 2589801 markings, 3805294 edges, 24497 markings/sec, 75 secs
lola: 2715721 markings, 4038770 edges, 25184 markings/sec, 80 secs
lola: 2838378 markings, 4287693 edges, 24531 markings/sec, 85 secs
lola: 2996226 markings, 4523940 edges, 31570 markings/sec, 90 secs
lola: 3153367 markings, 4749377 edges, 31428 markings/sec, 95 secs
lola: 3310286 markings, 4982031 edges, 31384 markings/sec, 100 secs
lola: 3473927 markings, 5239086 edges, 32728 markings/sec, 105 secs
lola: 3651989 markings, 5476091 edges, 35612 markings/sec, 110 secs
lola: 3832353 markings, 5712416 edges, 36073 markings/sec, 115 secs
lola: 4007587 markings, 5947315 edges, 35047 markings/sec, 120 secs
lola: 4183236 markings, 6181114 edges, 35130 markings/sec, 125 secs
lola: 4356948 markings, 6414687 edges, 34742 markings/sec, 130 secs
lola: 4535498 markings, 6659123 edges, 35710 markings/sec, 135 secs
lola: 4712680 markings, 6905102 edges, 35436 markings/sec, 140 secs
lola: 4888078 markings, 7156787 edges, 35080 markings/sec, 145 secs
lola: 5042466 markings, 7418477 edges, 30878 markings/sec, 150 secs
lola: 5165836 markings, 7635051 edges, 24674 markings/sec, 155 secs
lola: 5286139 markings, 7849469 edges, 24061 markings/sec, 160 secs
lola: 5405953 markings, 8063751 edges, 23963 markings/sec, 165 secs
lola: 5528485 markings, 8289337 edges, 24506 markings/sec, 170 secs
lola: 5649278 markings, 8524553 edges, 24159 markings/sec, 175 secs
lola: 5792283 markings, 8769752 edges, 28601 markings/sec, 180 secs
lola: 5950869 markings, 8995114 edges, 31717 markings/sec, 185 secs
lola: 6109070 markings, 9225903 edges, 31640 markings/sec, 190 secs
lola: 6262332 markings, 9472906 edges, 30652 markings/sec, 195 secs
lola: 6441238 markings, 9717929 edges, 35781 markings/sec, 200 secs
lola: 6624644 markings, 9956211 edges, 36681 markings/sec, 205 secs
lola: 6799279 markings, 10190365 edges, 34927 markings/sec, 210 secs
lola: 6975383 markings, 10425289 edges, 35221 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 52511 markings, 126524 edges, 10502 markings/sec, 0 secs
lola: 108736 markings, 258587 edges, 11245 markings/sec, 5 secs
lola: 171034 markings, 396932 edges, 12460 markings/sec, 10 secs
lola: 240384 markings, 536956 edges, 13870 markings/sec, 15 secs
lola: 300364 markings, 667703 edges, 11996 markings/sec, 20 secs
lola: 372190 markings, 807097 edges, 14365 markings/sec, 25 secs
lola: 431121 markings, 938578 edges, 11786 markings/sec, 30 secs
lola: 499665 markings, 1073976 edges, 13709 markings/sec, 35 secs
lola: 571033 markings, 1218381 edges, 14274 markings/sec, 40 secs
lola: 642460 markings, 1360285 edges, 14285 markings/sec, 45 secs
lola: 714314 markings, 1501172 edges, 14371 markings/sec, 50 secs
lola: 788389 markings, 1641580 edges, 14815 markings/sec, 55 secs
lola: 860650 markings, 1782693 edges, 14452 markings/sec, 60 secs
lola: 932107 markings, 1925114 edges, 14291 markings/sec, 65 secs
lola: 1003273 markings, 2067283 edges, 14233 markings/sec, 70 secs
lola: 1075346 markings, 2211174 edges, 14415 markings/sec, 75 secs
lola: 1148479 markings, 2356066 edges, 14627 markings/sec, 80 secs
lola: 1221321 markings, 2500531 edges, 14568 markings/sec, 85 secs
lola: 1293500 markings, 2643765 edges, 14436 markings/sec, 90 secs
lola: 1365206 markings, 2785734 edges, 14341 markings/sec, 95 secs
lola: 1436089 markings, 2929006 edges, 14177 markings/sec, 100 secs
lola: 1505525 markings, 3072674 edges, 13887 markings/sec, 105 secs
lola: 1576831 markings, 3216693 edges, 14261 markings/sec, 110 secs
lola: 1649701 markings, 3360845 edges, 14574 markings/sec, 115 secs
lola: 1720731 markings, 3510938 edges, 14206 markings/sec, 120 secs
lola: 1792060 markings, 3656059 edges, 14266 markings/sec, 125 secs
lola: 1863354 markings, 3800763 edges, 14259 markings/sec, 130 secs
lola: 1934960 markings, 3950671 edges, 14321 markings/sec, 135 secs
lola: 2006399 markings, 4101476 edges, 14288 markings/sec, 140 secs
lola: 2075668 markings, 4252298 edges, 13854 markings/sec, 145 secs
lola: 2147152 markings, 4407133 edges, 14297 markings/sec, 150 secs
lola: 2217038 markings, 4563959 edges, 13977 markings/sec, 155 secs
lola: 2286925 markings, 4728717 edges, 13977 markings/sec, 160 secs
lola: 2367778 markings, 4936796 edges, 16171 markings/sec, 165 secs
lola: 2456198 markings, 5149912 edges, 17684 markings/sec, 170 secs
lola: 2550909 markings, 5364396 edges, 18942 markings/sec, 175 secs
lola: 2642260 markings, 5579682 edges, 18270 markings/sec, 180 secs
lola: 2732654 markings, 5796309 edges, 18079 markings/sec, 185 secs
lola: 2822728 markings, 6009706 edges, 18015 markings/sec, 190 secs
lola: 2915764 markings, 6230760 edges, 18607 markings/sec, 195 secs
lola: 3005615 markings, 6449399 edges, 17970 markings/sec, 200 secs
lola: 3095734 markings, 6669451 edges, 18024 markings/sec, 205 secs
lola: 3186780 markings, 6895314 edges, 18209 markings/sec, 210 secs
lola: 3276398 markings, 7125267 edges, 17924 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(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1148 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: 161678 markings, 226047 edges, 32336 markings/sec, 0 secs
lola: 321465 markings, 454153 edges, 31957 markings/sec, 5 secs
lola: 480332 markings, 691487 edges, 31773 markings/sec, 10 secs
lola: 645792 markings, 949516 edges, 33092 markings/sec, 15 secs
lola: 826546 markings, 1187844 edges, 36151 markings/sec, 20 secs
lola: 1007716 markings, 1425378 edges, 36234 markings/sec, 25 secs
lola: 1187802 markings, 1663261 edges, 36017 markings/sec, 30 secs
lola: 1361048 markings, 1896412 edges, 34649 markings/sec, 35 secs
lola: 1535799 markings, 2132126 edges, 34950 markings/sec, 40 secs
lola: 1713162 markings, 2376337 edges, 35473 markings/sec, 45 secs
lola: 1891065 markings, 2624111 edges, 35581 markings/sec, 50 secs
lola: 2068076 markings, 2880917 edges, 35402 markings/sec, 55 secs
lola: 2218054 markings, 3139908 edges, 29996 markings/sec, 60 secs
lola: 2343273 markings, 3359873 edges, 25044 markings/sec, 65 secs
lola: 2464652 markings, 3578033 edges, 24276 markings/sec, 70 secs
lola: 2587107 markings, 3800456 edges, 24491 markings/sec, 75 secs
lola: 2712695 markings, 4033488 edges, 25118 markings/sec, 80 secs
lola: 2835400 markings, 4280591 edges, 24541 markings/sec, 85 secs
lola: 2992062 markings, 4518788 edges, 31332 markings/sec, 90 secs
lola: 3151150 markings, 4745513 edges, 31818 markings/sec, 95 secs
lola: 3307376 markings, 4977991 edges, 31245 markings/sec, 100 secs
lola: 3470233 markings, 5234592 edges, 32571 markings/sec, 105 secs
lola: 3648957 markings, 5471384 edges, 35745 markings/sec, 110 secs
lola: 3827625 markings, 5706822 edges, 35734 markings/sec, 115 secs
lola: 4002563 markings, 5940534 edges, 34988 markings/sec, 120 secs
lola: 4177188 markings, 6173953 edges, 34925 markings/sec, 125 secs
lola: 4352325 markings, 6407639 edges, 35027 markings/sec, 130 secs
lola: 4529033 markings, 6650530 edges, 35342 markings/sec, 135 secs
lola: 4707225 markings, 6896305 edges, 35638 markings/sec, 140 secs
lola: 4878954 markings, 7144158 edges, 34346 markings/sec, 145 secs
lola: 5038722 markings, 7412304 edges, 31954 markings/sec, 150 secs
lola: 5164226 markings, 7631385 edges, 25101 markings/sec, 155 secs
lola: 5286175 markings, 7849535 edges, 24390 markings/sec, 160 secs
lola: 5408123 markings, 8067155 edges, 24390 markings/sec, 165 secs
lola: 5532136 markings, 8297233 edges, 24803 markings/sec, 170 secs
lola: 5655224 markings, 8536870 edges, 24618 markings/sec, 175 secs
lola: 5802829 markings, 8784209 edges, 29521 markings/sec, 180 secs
lola: 5961401 markings, 9009271 edges, 31714 markings/sec, 185 secs
lola: 6118371 markings, 9238914 edges, 31394 markings/sec, 190 secs
lola: 6269960 markings, 9491182 edges, 30318 markings/sec, 195 secs
lola: 6450842 markings, 9730280 edges, 36176 markings/sec, 200 secs
lola: 6631561 markings, 9966425 edges, 36144 markings/sec, 205 secs
lola: 6806306 markings, 10198731 edges, 34949 markings/sec, 210 secs
lola: 6981143 markings, 10432129 edges, 34967 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S05J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494705934840

--------------------
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="PolyORBNT-PT-S05J20"
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/PolyORBNT-PT-S05J20.tgz
mv PolyORBNT-PT-S05J20 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 PolyORBNT-PT-S05J20, 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 r058-smll-149440926100092"
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 ;