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

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


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


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S05J20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 135467 markings, 262650 edges, 27093 markings/sec, 0 secs
lola: 267772 markings, 517185 edges, 26461 markings/sec, 5 secs
lola: 400106 markings, 770243 edges, 26467 markings/sec, 10 secs
lola: 546508 markings, 1021306 edges, 29280 markings/sec, 15 secs
lola: 692235 markings, 1272424 edges, 29145 markings/sec, 20 secs
lola: 835973 markings, 1520835 edges, 28748 markings/sec, 25 secs
lola: 979716 markings, 1768920 edges, 28749 markings/sec, 30 secs
lola: 1124488 markings, 2019033 edges, 28954 markings/sec, 35 secs
lola: 1267955 markings, 2268132 edges, 28693 markings/sec, 40 secs
lola: 1410961 markings, 2516924 edges, 28601 markings/sec, 45 secs
lola: 1554337 markings, 2765464 edges, 28675 markings/sec, 50 secs
lola: 1690946 markings, 3004967 edges, 27322 markings/sec, 55 secs
lola: 1824318 markings, 3239232 edges, 26674 markings/sec, 60 secs
lola: 1962571 markings, 3484206 edges, 27651 markings/sec, 65 secs
lola: 2099736 markings, 3729569 edges, 27433 markings/sec, 70 secs
lola: 2234326 markings, 3977283 edges, 26918 markings/sec, 75 secs
lola: 2380525 markings, 4222940 edges, 29240 markings/sec, 80 secs
lola: 2531354 markings, 4437538 edges, 30166 markings/sec, 85 secs
lola: 2681713 markings, 4654111 edges, 30072 markings/sec, 90 secs
lola: 2829186 markings, 4882681 edges, 29495 markings/sec, 95 secs
lola: 2990930 markings, 5120217 edges, 32349 markings/sec, 100 secs
lola: 3162344 markings, 5345080 edges, 34283 markings/sec, 105 secs
lola: 3322293 markings, 5559789 edges, 31990 markings/sec, 110 secs
lola: 3488808 markings, 5777297 edges, 33303 markings/sec, 115 secs
lola: 3645703 markings, 5988069 edges, 31379 markings/sec, 120 secs
lola: 3805178 markings, 6203142 edges, 31895 markings/sec, 125 secs
lola: 3974509 markings, 6435351 edges, 33866 markings/sec, 130 secs
lola: 4141052 markings, 6666390 edges, 33309 markings/sec, 135 secs
lola: 4302455 markings, 6896624 edges, 32281 markings/sec, 140 secs
lola: 4460632 markings, 7153260 edges, 31635 markings/sec, 145 secs
lola: 4582865 markings, 7365298 edges, 24447 markings/sec, 150 secs
lola: 4700656 markings, 7574478 edges, 23558 markings/sec, 155 secs
lola: 4816985 markings, 7783395 edges, 23266 markings/sec, 160 secs
lola: 4936975 markings, 8002477 edges, 23998 markings/sec, 165 secs
lola: 5054764 markings, 8225850 edges, 23558 markings/sec, 170 secs
lola: 5178468 markings, 8473238 edges, 24741 markings/sec, 175 secs
lola: 5331962 markings, 8688175 edges, 30699 markings/sec, 180 secs
lola: 5482928 markings, 8903944 edges, 30193 markings/sec, 185 secs
lola: 5633021 markings, 9129167 edges, 30019 markings/sec, 190 secs
lola: 5789452 markings, 9373856 edges, 31286 markings/sec, 195 secs
lola: 5958600 markings, 9599000 edges, 33830 markings/sec, 200 secs
lola: 6131160 markings, 9824088 edges, 34512 markings/sec, 205 secs
lola: 6298043 markings, 10047881 edges, 33377 markings/sec, 210 secs
lola: 6465615 markings, 10271624 edges, 33514 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: 157798 markings, 219538 edges, 31560 markings/sec, 0 secs
lola: 311869 markings, 439916 edges, 30814 markings/sec, 5 secs
lola: 465238 markings, 667882 edges, 30674 markings/sec, 10 secs
lola: 623986 markings, 918039 edges, 31750 markings/sec, 15 secs
lola: 798243 markings, 1148873 edges, 34851 markings/sec, 20 secs
lola: 971242 markings, 1378140 edges, 34600 markings/sec, 25 secs
lola: 1142641 markings, 1606782 edges, 34280 markings/sec, 30 secs
lola: 1314212 markings, 1835772 edges, 34314 markings/sec, 35 secs
lola: 1492485 markings, 2072999 edges, 35655 markings/sec, 40 secs
lola: 1674210 markings, 2322594 edges, 36345 markings/sec, 45 secs
lola: 1855238 markings, 2571986 edges, 36206 markings/sec, 50 secs
lola: 2030469 markings, 2825153 edges, 35046 markings/sec, 55 secs
lola: 2192595 markings, 3097103 edges, 32425 markings/sec, 60 secs
lola: 2320390 markings, 3322188 edges, 25559 markings/sec, 65 secs
lola: 2447435 markings, 3545418 edges, 25409 markings/sec, 70 secs
lola: 2569674 markings, 3768401 edges, 24448 markings/sec, 75 secs
lola: 2697291 markings, 4004578 edges, 25523 markings/sec, 80 secs
lola: 2822132 markings, 4250981 edges, 24968 markings/sec, 85 secs
lola: 2978412 markings, 4498782 edges, 31256 markings/sec, 90 secs
lola: 3137607 markings, 4726994 edges, 31839 markings/sec, 95 secs
lola: 3296566 markings, 4961512 edges, 31792 markings/sec, 100 secs
lola: 3458548 markings, 5220614 edges, 32396 markings/sec, 105 secs
lola: 3644967 markings, 5465336 edges, 37284 markings/sec, 110 secs
lola: 3828512 markings, 5707825 edges, 36709 markings/sec, 115 secs
lola: 4009538 markings, 5949646 edges, 36205 markings/sec, 120 secs
lola: 4190722 markings, 6190048 edges, 36237 markings/sec, 125 secs
lola: 4367394 markings, 6430171 edges, 35334 markings/sec, 130 secs
lola: 4553667 markings, 6682952 edges, 37255 markings/sec, 135 secs
lola: 4735083 markings, 6935886 edges, 36283 markings/sec, 140 secs
lola: 4914777 markings, 7196851 edges, 35939 markings/sec, 145 secs
lola: 5068042 markings, 7461894 edges, 30653 markings/sec, 150 secs
lola: 5196027 markings, 7688038 edges, 25597 markings/sec, 155 secs
lola: 5323430 markings, 7913918 edges, 25481 markings/sec, 160 secs
lola: 5449686 markings, 8143298 edges, 25251 markings/sec, 165 secs
lola: 5576524 markings, 8381023 edges, 25368 markings/sec, 170 secs
lola: 5702647 markings, 8645193 edges, 25225 markings/sec, 175 secs
lola: 5867910 markings, 8876230 edges, 33053 markings/sec, 180 secs
lola: 6029101 markings, 9107246 edges, 32238 markings/sec, 185 secs
lola: 6189691 markings, 9348904 edges, 32118 markings/sec, 190 secs
lola: 6357886 markings, 9608911 edges, 33639 markings/sec, 195 secs
lola: 6546232 markings, 9853414 edges, 37669 markings/sec, 200 secs
lola: 6725427 markings, 10092996 edges, 35839 markings/sec, 205 secs
lola: 6907098 markings, 10334766 edges, 36334 markings/sec, 210 secs
lola: 7086433 markings, 10573615 edges, 35867 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: 149809 markings, 281263 edges, 29962 markings/sec, 0 secs
lola: 290775 markings, 559364 edges, 28193 markings/sec, 5 secs
lola: 431654 markings, 834974 edges, 28176 markings/sec, 10 secs
lola: 581565 markings, 1108140 edges, 29982 markings/sec, 15 secs
lola: 731936 markings, 1382111 edges, 30074 markings/sec, 20 secs
lola: 875496 markings, 1644510 edges, 28712 markings/sec, 25 secs
lola: 1025099 markings, 1917180 edges, 29921 markings/sec, 30 secs
lola: 1169025 markings, 2181007 edges, 28785 markings/sec, 35 secs
lola: 1317783 markings, 2452860 edges, 29752 markings/sec, 40 secs
lola: 1463702 markings, 2720369 edges, 29184 markings/sec, 45 secs
lola: 1608608 markings, 2986815 edges, 28981 markings/sec, 50 secs
lola: 1753930 markings, 3254004 edges, 29064 markings/sec, 55 secs
lola: 1900609 markings, 3524464 edges, 29336 markings/sec, 60 secs
lola: 2046876 markings, 3795224 edges, 29253 markings/sec, 65 secs
lola: 2190997 markings, 4062936 edges, 28824 markings/sec, 70 secs
lola: 2337642 markings, 4336127 edges, 29329 markings/sec, 75 secs
lola: 2482962 markings, 4609443 edges, 29064 markings/sec, 80 secs
lola: 2626582 markings, 4884025 edges, 28724 markings/sec, 85 secs
lola: 2773214 markings, 5157202 edges, 29326 markings/sec, 90 secs
lola: 2925837 markings, 5372035 edges, 30525 markings/sec, 95 secs
lola: 3075383 markings, 5587903 edges, 29909 markings/sec, 100 secs
lola: 3226306 markings, 5814903 edges, 30185 markings/sec, 105 secs
lola: 3383271 markings, 6059706 edges, 31393 markings/sec, 110 secs
lola: 3555395 markings, 6285306 edges, 34425 markings/sec, 115 secs
lola: 3729864 markings, 6512214 edges, 34894 markings/sec, 120 secs
lola: 3896040 markings, 6735830 edges, 33235 markings/sec, 125 secs
lola: 4062538 markings, 6958833 edges, 33300 markings/sec, 130 secs
lola: 4230718 markings, 7182606 edges, 33636 markings/sec, 135 secs
lola: 4402997 markings, 7418671 edges, 34456 markings/sec, 140 secs
lola: 4571718 markings, 7653224 edges, 33744 markings/sec, 145 secs
lola: 4738668 markings, 7890730 edges, 33390 markings/sec, 150 secs
lola: 4899107 markings, 8152738 edges, 32088 markings/sec, 155 secs
lola: 5019362 markings, 8364240 edges, 24051 markings/sec, 160 secs
lola: 5137098 markings, 8573945 edges, 23547 markings/sec, 165 secs
lola: 5254678 markings, 8782535 edges, 23516 markings/sec, 170 secs
lola: 5371737 markings, 8997844 edges, 23412 markings/sec, 175 secs
lola: 5495893 markings, 9232614 edges, 24831 markings/sec, 180 secs
lola: 5631263 markings, 9489092 edges, 27074 markings/sec, 185 secs
lola: 5788436 markings, 9712662 edges, 31435 markings/sec, 190 secs
lola: 5946949 markings, 9939767 edges, 31703 markings/sec, 195 secs
lola: 6103158 markings, 10179593 edges, 31242 markings/sec, 200 secs
lola: 6275413 markings, 10433101 edges, 34451 markings/sec, 205 secs
lola: 6452913 markings, 10668257 edges, 35500 markings/sec, 210 secs
lola: 6632125 markings, 10904195 edges, 35842 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: 145610 markings, 254006 edges, 29122 markings/sec, 0 secs
lola: 291285 markings, 504724 edges, 29135 markings/sec, 5 secs
lola: 437112 markings, 752134 edges, 29165 markings/sec, 10 secs
lola: 584282 markings, 991399 edges, 29434 markings/sec, 15 secs
lola: 730268 markings, 1229372 edges, 29197 markings/sec, 20 secs
lola: 875484 markings, 1466301 edges, 29043 markings/sec, 25 secs
lola: 1022024 markings, 1706083 edges, 29308 markings/sec, 30 secs
lola: 1166782 markings, 1943430 edges, 28952 markings/sec, 35 secs
lola: 1311341 markings, 2181281 edges, 28912 markings/sec, 40 secs
lola: 1455525 markings, 2420931 edges, 28837 markings/sec, 45 secs
lola: 1600330 markings, 2661845 edges, 28961 markings/sec, 50 secs
lola: 1744352 markings, 2905139 edges, 28804 markings/sec, 55 secs
lola: 1886855 markings, 3150130 edges, 28501 markings/sec, 60 secs
lola: 2031262 markings, 3411101 edges, 28881 markings/sec, 65 secs
lola: 2186000 markings, 3628816 edges, 30948 markings/sec, 70 secs
lola: 2337705 markings, 3847643 edges, 30341 markings/sec, 75 secs
lola: 2490556 markings, 4076083 edges, 30570 markings/sec, 80 secs
lola: 2650846 markings, 4325761 edges, 32058 markings/sec, 85 secs
lola: 2822702 markings, 4554617 edges, 34371 markings/sec, 90 secs
lola: 2999158 markings, 4784421 edges, 35291 markings/sec, 95 secs
lola: 3168634 markings, 5011789 edges, 33895 markings/sec, 100 secs
lola: 3338607 markings, 5238782 edges, 33995 markings/sec, 105 secs
lola: 3509669 markings, 5466658 edges, 34212 markings/sec, 110 secs
lola: 3684478 markings, 5706239 edges, 34962 markings/sec, 115 secs
lola: 3855526 markings, 5944047 edges, 34210 markings/sec, 120 secs
lola: 4025217 markings, 6186092 edges, 33938 markings/sec, 125 secs
lola: 4187364 markings, 6450489 edges, 32429 markings/sec, 130 secs
lola: 4307860 markings, 6665474 edges, 24099 markings/sec, 135 secs
lola: 4428562 markings, 6878008 edges, 24140 markings/sec, 140 secs
lola: 4546861 markings, 7090862 edges, 23660 markings/sec, 145 secs
lola: 4667911 markings, 7313092 edges, 24210 markings/sec, 150 secs
lola: 4788461 markings, 7542944 edges, 24110 markings/sec, 155 secs
lola: 4918614 markings, 7786601 edges, 26031 markings/sec, 160 secs
lola: 5071157 markings, 8001252 edges, 30509 markings/sec, 165 secs
lola: 5222050 markings, 8218873 edges, 30179 markings/sec, 170 secs
lola: 5372308 markings, 8447402 edges, 30052 markings/sec, 175 secs
lola: 5532768 markings, 8691255 edges, 32092 markings/sec, 180 secs
lola: 5708307 markings, 8919720 edges, 35108 markings/sec, 185 secs
lola: 5877099 markings, 9144978 edges, 33758 markings/sec, 190 secs
lola: 6050308 markings, 9372151 edges, 34642 markings/sec, 195 secs
lola: 6216946 markings, 9595188 edges, 33328 markings/sec, 200 secs
lola: 6379604 markings, 9817661 edges, 32532 markings/sec, 205 secs
lola: 6553124 markings, 10053243 edges, 34704 markings/sec, 210 secs
lola: 6723437 markings, 10289563 edges, 34063 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: 143512 markings, 249638 edges, 28702 markings/sec, 0 secs
lola: 286894 markings, 496576 edges, 28676 markings/sec, 5 secs
lola: 430133 markings, 740268 edges, 28648 markings/sec, 10 secs
lola: 574814 markings, 975983 edges, 28936 markings/sec, 15 secs
lola: 720549 markings, 1212129 edges, 29147 markings/sec, 20 secs
lola: 863334 markings, 1445209 edges, 28557 markings/sec, 25 secs
lola: 1005199 markings, 1678384 edges, 28373 markings/sec, 30 secs
lola: 1148990 markings, 1913610 edges, 28758 markings/sec, 35 secs
lola: 1288905 markings, 2145471 edges, 27983 markings/sec, 40 secs
lola: 1432012 markings, 2381972 edges, 28621 markings/sec, 45 secs
lola: 1574271 markings, 2619180 edges, 28452 markings/sec, 50 secs
lola: 1717402 markings, 2859188 edges, 28626 markings/sec, 55 secs
lola: 1858284 markings, 3100377 edges, 28176 markings/sec, 60 secs
lola: 2001329 markings, 3358706 edges, 28609 markings/sec, 65 secs
lola: 2162223 markings, 3594714 edges, 32179 markings/sec, 70 secs
lola: 2319731 markings, 3821433 edges, 31502 markings/sec, 75 secs
lola: 2478560 markings, 4056322 edges, 31766 markings/sec, 80 secs
lola: 2644372 markings, 4315645 edges, 33162 markings/sec, 85 secs
lola: 2822055 markings, 4553568 edges, 35537 markings/sec, 90 secs
lola: 3005244 markings, 4791477 edges, 36638 markings/sec, 95 secs
lola: 3179199 markings, 5024691 edges, 34791 markings/sec, 100 secs
lola: 3351827 markings, 5254940 edges, 34526 markings/sec, 105 secs
lola: 3522083 markings, 5484543 edges, 34051 markings/sec, 110 secs
lola: 3704059 markings, 5732984 edges, 36395 markings/sec, 115 secs
lola: 3881226 markings, 5979972 edges, 35433 markings/sec, 120 secs
lola: 4056101 markings, 6231699 edges, 34975 markings/sec, 125 secs
lola: 4214226 markings, 6499129 edges, 31625 markings/sec, 130 secs
lola: 4340873 markings, 6722802 edges, 25329 markings/sec, 135 secs
lola: 4466589 markings, 6945585 edges, 25143 markings/sec, 140 secs
lola: 4587791 markings, 7165086 edges, 24240 markings/sec, 145 secs
lola: 4712654 markings, 7396657 edges, 24973 markings/sec, 150 secs
lola: 4836537 markings, 7641412 edges, 24777 markings/sec, 155 secs
lola: 4991789 markings, 7887328 edges, 31050 markings/sec, 160 secs
lola: 5149432 markings, 8112803 edges, 31529 markings/sec, 165 secs
lola: 5307607 markings, 8345692 edges, 31635 markings/sec, 170 secs
lola: 5465742 markings, 8601938 edges, 31627 markings/sec, 175 secs
lola: 5651311 markings, 8843420 edges, 37114 markings/sec, 180 secs
lola: 5827546 markings, 9079597 edges, 35247 markings/sec, 185 secs
lola: 6006037 markings, 9316544 edges, 35698 markings/sec, 190 secs
lola: 6182192 markings, 9551544 edges, 35231 markings/sec, 195 secs
lola: 6359117 markings, 9786824 edges, 35385 markings/sec, 200 secs
lola: 6538769 markings, 10034270 edges, 35930 markings/sec, 205 secs
lola: 6718193 markings, 10281253 edges, 35885 markings/sec, 210 secs
lola: 6891578 markings, 10531176 edges, 34677 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: 158758 markings, 221184 edges, 31752 markings/sec, 0 secs
lola: 314721 markings, 443550 edges, 31193 markings/sec, 5 secs
lola: 468605 markings, 673675 edges, 30777 markings/sec, 10 secs
lola: 631632 markings, 928078 edges, 32605 markings/sec, 15 secs
lola: 805063 markings, 1159548 edges, 34686 markings/sec, 20 secs
lola: 982602 markings, 1391629 edges, 35508 markings/sec, 25 secs
lola: 1154357 markings, 1621676 edges, 34351 markings/sec, 30 secs
lola: 1326035 markings, 1850946 edges, 34336 markings/sec, 35 secs
lola: 1498762 markings, 2080873 edges, 34545 markings/sec, 40 secs
lola: 1673115 markings, 2320675 edges, 34871 markings/sec, 45 secs
lola: 1845724 markings, 2560235 edges, 34522 markings/sec, 50 secs
lola: 2015960 markings, 2803637 edges, 34047 markings/sec, 55 secs
lola: 2179216 markings, 3070004 edges, 32651 markings/sec, 60 secs
lola: 2301902 markings, 3287693 edges, 24537 markings/sec, 65 secs
lola: 2424763 markings, 3504413 edges, 24572 markings/sec, 70 secs
lola: 2543885 markings, 3720456 edges, 23824 markings/sec, 75 secs
lola: 2666574 markings, 3944911 edges, 24538 markings/sec, 80 secs
lola: 2787913 markings, 4179948 edges, 24268 markings/sec, 85 secs
lola: 2927828 markings, 4427630 edges, 27983 markings/sec, 90 secs
lola: 3081604 markings, 4646268 edges, 30755 markings/sec, 95 secs
lola: 3235517 markings, 4869840 edges, 30783 markings/sec, 100 secs
lola: 3388412 markings, 5107111 edges, 30579 markings/sec, 105 secs
lola: 3561421 markings, 5354601 edges, 34602 markings/sec, 110 secs
lola: 3732586 markings, 5583474 edges, 34233 markings/sec, 115 secs
lola: 3909606 markings, 5813965 edges, 35404 markings/sec, 120 secs
lola: 4080422 markings, 6042606 edges, 34163 markings/sec, 125 secs
lola: 4250676 markings, 6269953 edges, 34051 markings/sec, 130 secs
lola: 4421019 markings, 6502125 edges, 34069 markings/sec, 135 secs
lola: 4592225 markings, 6736370 edges, 34241 markings/sec, 140 secs
lola: 4758464 markings, 6968529 edges, 33248 markings/sec, 145 secs
lola: 4921187 markings, 7207866 edges, 32545 markings/sec, 150 secs
lola: 5063188 markings, 7451281 edges, 28400 markings/sec, 155 secs
lola: 5179077 markings, 7657938 edges, 23178 markings/sec, 160 secs
lola: 5296018 markings, 7864619 edges, 23388 markings/sec, 165 secs
lola: 5410456 markings, 8070915 edges, 22888 markings/sec, 170 secs
lola: 5527724 markings, 8288069 edges, 23454 markings/sec, 175 secs
lola: 5643778 markings, 8513495 edges, 23211 markings/sec, 180 secs
lola: 5778814 markings, 8750728 edges, 27007 markings/sec, 185 secs
lola: 5926915 markings, 8961316 edges, 29620 markings/sec, 190 secs
lola: 6075339 markings, 9175240 edges, 29685 markings/sec, 195 secs
lola: 6222156 markings, 9401289 edges, 29363 markings/sec, 200 secs
lola: 6382272 markings, 9639041 edges, 32023 markings/sec, 205 secs
lola: 6552792 markings, 9861461 edges, 34104 markings/sec, 210 secs
lola: 6715460 markings, 10080419 edges, 32534 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: 157227 markings, 290935 edges, 31445 markings/sec, 0 secs
lola: 305300 markings, 578439 edges, 29615 markings/sec, 5 secs
lola: 452522 markings, 863182 edges, 29444 markings/sec, 10 secs
lola: 606539 markings, 1139500 edges, 30803 markings/sec, 15 secs
lola: 763361 markings, 1420780 edges, 31364 markings/sec, 20 secs
lola: 916747 markings, 1696318 edges, 30677 markings/sec, 25 secs
lola: 1073437 markings, 1977278 edges, 31338 markings/sec, 30 secs
lola: 1226868 markings, 2254007 edges, 30686 markings/sec, 35 secs
lola: 1379911 markings, 2530238 edges, 30609 markings/sec, 40 secs
lola: 1533361 markings, 2807254 edges, 30690 markings/sec, 45 secs
lola: 1685152 markings, 3082139 edges, 30358 markings/sec, 50 secs
lola: 1839682 markings, 3363077 edges, 30906 markings/sec, 55 secs
lola: 1993439 markings, 3643366 edges, 30751 markings/sec, 60 secs
lola: 2145899 markings, 3922908 edges, 30492 markings/sec, 65 secs
lola: 2298414 markings, 4204182 edges, 30503 markings/sec, 70 secs
lola: 2449798 markings, 4487848 edges, 30277 markings/sec, 75 secs
lola: 2602127 markings, 4783050 edges, 30466 markings/sec, 80 secs
lola: 2761454 markings, 5006560 edges, 31865 markings/sec, 85 secs
lola: 2917182 markings, 5230710 edges, 31146 markings/sec, 90 secs
lola: 3074118 markings, 5465572 edges, 31387 markings/sec, 95 secs
lola: 3237198 markings, 5720050 edges, 32616 markings/sec, 100 secs
lola: 3416743 markings, 5956185 edges, 35909 markings/sec, 105 secs
lola: 3596960 markings, 6192524 edges, 36043 markings/sec, 110 secs
lola: 3775415 markings, 6428029 edges, 35691 markings/sec, 115 secs
lola: 3948477 markings, 6660799 edges, 34612 markings/sec, 120 secs
lola: 4121031 markings, 6894472 edges, 34511 markings/sec, 125 secs
lola: 4299205 markings, 7138644 edges, 35635 markings/sec, 130 secs
lola: 4476228 markings, 7384578 edges, 35405 markings/sec, 135 secs
lola: 4649846 markings, 7637404 edges, 34724 markings/sec, 140 secs
lola: 4802168 markings, 7896249 edges, 30464 markings/sec, 145 secs
lola: 4926159 markings, 8115608 edges, 24798 markings/sec, 150 secs
lola: 5047592 markings, 8334586 edges, 24287 markings/sec, 155 secs
lola: 5170577 markings, 8554677 edges, 24597 markings/sec, 160 secs
lola: 5295520 markings, 8786973 edges, 24989 markings/sec, 165 secs
lola: 5416641 markings, 9029195 edges, 24224 markings/sec, 170 secs
lola: 5569807 markings, 9269376 edges, 30633 markings/sec, 175 secs
lola: 5725778 markings, 9492310 edges, 31194 markings/sec, 180 secs
lola: 5882027 markings, 9721742 edges, 31250 markings/sec, 185 secs
lola: 6036286 markings, 9974236 edges, 30852 markings/sec, 190 secs
lola: 6215203 markings, 10206278 edges, 35783 markings/sec, 195 secs
lola: 6380215 markings, 10426478 edges, 33002 markings/sec, 200 secs
lola: 6545703 markings, 10645053 edges, 33098 markings/sec, 205 secs
lola: 6708028 markings, 10862818 edges, 32465 markings/sec, 210 secs
lola: 6870553 markings, 11080791 edges, 32505 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: 153861 markings, 319957 edges, 30772 markings/sec, 0 secs
lola: 317161 markings, 623425 edges, 32660 markings/sec, 5 secs
lola: 479216 markings, 923481 edges, 32411 markings/sec, 10 secs
lola: 648100 markings, 1223930 edges, 33777 markings/sec, 15 secs
lola: 816658 markings, 1515800 edges, 33712 markings/sec, 20 secs
lola: 989495 markings, 1814491 edges, 34567 markings/sec, 25 secs
lola: 1156798 markings, 2105797 edges, 33461 markings/sec, 30 secs
lola: 1325683 markings, 2398624 edges, 33777 markings/sec, 35 secs
lola: 1494412 markings, 2692049 edges, 33746 markings/sec, 40 secs
lola: 1662778 markings, 2985817 edges, 33673 markings/sec, 45 secs
lola: 1831999 markings, 3280566 edges, 33844 markings/sec, 50 secs
lola: 1999140 markings, 3574465 edges, 33428 markings/sec, 55 secs
lola: 2168878 markings, 3872559 edges, 33948 markings/sec, 60 secs
lola: 2336418 markings, 4168549 edges, 33508 markings/sec, 65 secs
lola: 2504178 markings, 4466617 edges, 33552 markings/sec, 70 secs
lola: 2670178 markings, 4766899 edges, 33200 markings/sec, 75 secs
lola: 2834726 markings, 5070389 edges, 32910 markings/sec, 80 secs
lola: 2993144 markings, 5293904 edges, 31684 markings/sec, 85 secs
lola: 3149752 markings, 5518753 edges, 31322 markings/sec, 90 secs
lola: 3307174 markings, 5755228 edges, 31484 markings/sec, 95 secs
lola: 3471915 markings, 6008803 edges, 32948 markings/sec, 100 secs
lola: 3654997 markings, 6246894 edges, 36616 markings/sec, 105 secs
lola: 3829846 markings, 6480880 edges, 34970 markings/sec, 110 secs
lola: 4008931 markings, 6717737 edges, 35817 markings/sec, 115 secs
lola: 4181453 markings, 6949612 edges, 34504 markings/sec, 120 secs
lola: 4358463 markings, 7187078 edges, 35402 markings/sec, 125 secs
lola: 4535652 markings, 7429696 edges, 35438 markings/sec, 130 secs
lola: 4712648 markings, 7676589 edges, 35399 markings/sec, 135 secs
lola: 4887246 markings, 7932579 edges, 34920 markings/sec, 140 secs
lola: 5032733 markings, 8187954 edges, 29097 markings/sec, 145 secs
lola: 5155339 markings, 8402387 edges, 24521 markings/sec, 150 secs
lola: 5274191 markings, 8614722 edges, 23770 markings/sec, 155 secs
lola: 5393342 markings, 8830145 edges, 23830 markings/sec, 160 secs
lola: 5515971 markings, 9056908 edges, 24526 markings/sec, 165 secs
lola: 5634294 markings, 9293148 edges, 23665 markings/sec, 170 secs
lola: 5784595 markings, 9530279 edges, 30060 markings/sec, 175 secs
lola: 5936111 markings, 9746373 edges, 30303 markings/sec, 180 secs
lola: 6091837 markings, 9975740 edges, 31145 markings/sec, 185 secs
lola: 6243333 markings, 10226834 edges, 30299 markings/sec, 190 secs
lola: 6426625 markings, 10465049 edges, 36658 markings/sec, 195 secs
lola: 6603443 markings, 10700816 edges, 35364 markings/sec, 200 secs
lola: 6783188 markings, 10935734 edges, 35949 markings/sec, 205 secs
lola: 6957048 markings, 11167892 edges, 34772 markings/sec, 210 secs
lola: 7125785 markings, 11397845 edges, 33747 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: 164560 markings, 229604 edges, 32912 markings/sec, 0 secs
lola: 326325 markings, 461502 edges, 32353 markings/sec, 5 secs
lola: 487652 markings, 703370 edges, 32265 markings/sec, 10 secs
lola: 656363 markings, 964851 edges, 33742 markings/sec, 15 secs
lola: 845131 markings, 1209881 edges, 37754 markings/sec, 20 secs
lola: 1024838 markings, 1449980 edges, 35941 markings/sec, 25 secs
lola: 1206833 markings, 1692052 edges, 36399 markings/sec, 30 secs
lola: 1385977 markings, 1930905 edges, 35829 markings/sec, 35 secs
lola: 1565927 markings, 2174966 edges, 35990 markings/sec, 40 secs
lola: 1746204 markings, 2421427 edges, 36055 markings/sec, 45 secs
lola: 1927865 markings, 2675099 edges, 36332 markings/sec, 50 secs
lola: 2105377 markings, 2939234 edges, 35502 markings/sec, 55 secs
lola: 2248958 markings, 3192664 edges, 28716 markings/sec, 60 secs
lola: 2374608 markings, 3417325 edges, 25130 markings/sec, 65 secs
lola: 2500254 markings, 3640995 edges, 25129 markings/sec, 70 secs
lola: 2626053 markings, 3871709 edges, 25160 markings/sec, 75 secs
lola: 2752326 markings, 4108831 edges, 25255 markings/sec, 80 secs
lola: 2885668 markings, 4369617 edges, 26668 markings/sec, 85 secs
lola: 3048742 markings, 4598264 edges, 32615 markings/sec, 90 secs
lola: 3206358 markings, 4826707 edges, 31523 markings/sec, 95 secs
lola: 3365178 markings, 5068724 edges, 31764 markings/sec, 100 secs
lola: 3539607 markings, 5326643 edges, 34886 markings/sec, 105 secs
lola: 3721573 markings, 5567869 edges, 36393 markings/sec, 110 secs
lola: 3904376 markings, 5807420 edges, 36561 markings/sec, 115 secs
lola: 4083732 markings, 6046618 edges, 35871 markings/sec, 120 secs
lola: 4259864 markings, 6283745 edges, 35226 markings/sec, 125 secs
lola: 4440186 markings, 6527758 edges, 36064 markings/sec, 130 secs
lola: 4619064 markings, 6773077 edges, 35776 markings/sec, 135 secs
lola: 4797151 markings, 7024206 edges, 35617 markings/sec, 140 secs
lola: 4972041 markings, 7288498 edges, 34978 markings/sec, 145 secs
lola: 5107076 markings, 7532202 edges, 27007 markings/sec, 150 secs
lola: 5222122 markings, 7733802 edges, 23009 markings/sec, 155 secs
lola: 5332526 markings, 7932462 edges, 22081 markings/sec, 160 secs
lola: 5444488 markings, 8134206 edges, 22392 markings/sec, 165 secs
lola: 5564094 markings, 8357680 edges, 23921 markings/sec, 170 secs
lola: 5687287 markings, 8607414 edges, 24639 markings/sec, 175 secs
lola: 5846779 markings, 8845774 edges, 31898 markings/sec, 180 secs
lola: 6004725 markings, 9072992 edges, 31589 markings/sec, 185 secs
lola: 6162963 markings, 9307175 edges, 31648 markings/sec, 190 secs
lola: 6326250 markings, 9563160 edges, 32657 markings/sec, 195 secs
lola: 6502188 markings, 9797858 edges, 35188 markings/sec, 200 secs
lola: 6681179 markings, 10032097 edges, 35798 markings/sec, 205 secs
lola: 6854668 markings, 10264631 edges, 34698 markings/sec, 210 secs
lola: 7028557 markings, 10496622 edges, 34778 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: 156944 markings, 286577 edges, 31389 markings/sec, 0 secs
lola: 308272 markings, 575945 edges, 30266 markings/sec, 5 secs
lola: 457881 markings, 861112 edges, 29922 markings/sec, 10 secs
lola: 613048 markings, 1135475 edges, 31033 markings/sec, 15 secs
lola: 769792 markings, 1410236 edges, 31349 markings/sec, 20 secs
lola: 928265 markings, 1689534 edges, 31695 markings/sec, 25 secs
lola: 1082114 markings, 1961618 edges, 30770 markings/sec, 30 secs
lola: 1238548 markings, 2238291 edges, 31287 markings/sec, 35 secs
lola: 1394457 markings, 2514213 edges, 31182 markings/sec, 40 secs
lola: 1545600 markings, 2783618 edges, 30229 markings/sec, 45 secs
lola: 1702110 markings, 3061707 edges, 31302 markings/sec, 50 secs
lola: 1856846 markings, 3338992 edges, 30947 markings/sec, 55 secs
lola: 2011329 markings, 3616842 edges, 30897 markings/sec, 60 secs
lola: 2163820 markings, 3893877 edges, 30498 markings/sec, 65 secs
lola: 2317140 markings, 4176383 edges, 30664 markings/sec, 70 secs
lola: 2470911 markings, 4465282 edges, 30754 markings/sec, 75 secs
lola: 2628597 markings, 4688065 edges, 31537 markings/sec, 80 secs
lola: 2784804 markings, 4911473 edges, 31241 markings/sec, 85 secs
lola: 2940891 markings, 5146933 edges, 31217 markings/sec, 90 secs
lola: 3104617 markings, 5399515 edges, 32745 markings/sec, 95 secs
lola: 3286151 markings, 5635850 edges, 36307 markings/sec, 100 secs
lola: 3461761 markings, 5870536 edges, 35122 markings/sec, 105 secs
lola: 3640393 markings, 6105380 edges, 35726 markings/sec, 110 secs
lola: 3812285 markings, 6336802 edges, 34378 markings/sec, 115 secs
lola: 3987916 markings, 6571759 edges, 35126 markings/sec, 120 secs
lola: 4162958 markings, 6813252 edges, 35008 markings/sec, 125 secs
lola: 4339376 markings, 7059303 edges, 35284 markings/sec, 130 secs
lola: 4514543 markings, 7313925 edges, 35033 markings/sec, 135 secs
lola: 4663250 markings, 7570554 edges, 29741 markings/sec, 140 secs
lola: 4788059 markings, 7789642 edges, 24962 markings/sec, 145 secs
lola: 4908524 markings, 8006867 edges, 24093 markings/sec, 150 secs
lola: 5030721 markings, 8227775 edges, 24439 markings/sec, 155 secs
lola: 5155712 markings, 8459669 edges, 24998 markings/sec, 160 secs
lola: 5276931 markings, 8702517 edges, 24244 markings/sec, 165 secs
lola: 5429770 markings, 8940440 edges, 30568 markings/sec, 170 secs
lola: 5586479 markings, 9162822 edges, 31342 markings/sec, 175 secs
lola: 5741531 markings, 9391970 edges, 31010 markings/sec, 180 secs
lola: 5898099 markings, 9644879 edges, 31314 markings/sec, 185 secs
lola: 6080659 markings, 9881889 edges, 36512 markings/sec, 190 secs
lola: 6253787 markings, 10114243 edges, 34626 markings/sec, 195 secs
lola: 6428591 markings, 10344779 edges, 34961 markings/sec, 200 secs
lola: 6602327 markings, 10576800 edges, 34747 markings/sec, 205 secs
lola: 6772107 markings, 10806379 edges, 33956 markings/sec, 210 secs
lola: 6952678 markings, 11050310 edges, 36114 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: 175558 markings, 243725 edges, 35112 markings/sec, 0 secs
lola: 344350 markings, 487585 edges, 33758 markings/sec, 5 secs
lola: 514433 markings, 745767 edges, 34017 markings/sec, 10 secs
lola: 706535 markings, 1026150 edges, 38420 markings/sec, 15 secs
lola: 902413 markings, 1287165 edges, 39176 markings/sec, 20 secs
lola: 1100291 markings, 1549451 edges, 39576 markings/sec, 25 secs
lola: 1299749 markings, 1813407 edges, 39892 markings/sec, 30 secs
lola: 1488660 markings, 2068366 edges, 37782 markings/sec, 35 secs
lola: 1685340 markings, 2337894 edges, 39336 markings/sec, 40 secs
lola: 1881665 markings, 2609164 edges, 39265 markings/sec, 45 secs
lola: 2073107 markings, 2889143 edges, 38288 markings/sec, 50 secs
lola: 2229763 markings, 3162580 edges, 31331 markings/sec, 55 secs
lola: 2362935 markings, 3395556 edges, 26634 markings/sec, 60 secs
lola: 2493325 markings, 3628265 edges, 26078 markings/sec, 65 secs
lola: 2623782 markings, 3867618 edges, 26091 markings/sec, 70 secs
lola: 2753537 markings, 4111766 edges, 25951 markings/sec, 75 secs
lola: 2896000 markings, 4382599 edges, 28493 markings/sec, 80 secs
lola: 3066247 markings, 4623134 edges, 34049 markings/sec, 85 secs
lola: 3234548 markings, 4868327 edges, 33660 markings/sec, 90 secs
lola: 3401946 markings, 5131275 edges, 33480 markings/sec, 95 secs
lola: 3590913 markings, 5396384 edges, 37793 markings/sec, 100 secs
lola: 3781544 markings, 5645047 edges, 38126 markings/sec, 105 secs
lola: 3966165 markings, 5889541 edges, 36924 markings/sec, 110 secs
lola: 4150040 markings, 6135175 edges, 36775 markings/sec, 115 secs
lola: 4325219 markings, 6372915 edges, 35036 markings/sec, 120 secs
lola: 4514554 markings, 6628531 edges, 37867 markings/sec, 125 secs
lola: 4694904 markings, 6880341 edges, 36070 markings/sec, 130 secs
lola: 4875746 markings, 7138582 edges, 36168 markings/sec, 135 secs
lola: 5039017 markings, 7412773 edges, 32654 markings/sec, 140 secs
lola: 5163974 markings, 7630830 edges, 24991 markings/sec, 145 secs
lola: 5285391 markings, 7848140 edges, 24283 markings/sec, 150 secs
lola: 5406513 markings, 8064620 edges, 24224 markings/sec, 155 secs
lola: 5530336 markings, 8293075 edges, 24765 markings/sec, 160 secs
lola: 5652123 markings, 8530503 edges, 24357 markings/sec, 165 secs
lola: 5801090 markings, 8781455 edges, 29793 markings/sec, 170 secs
lola: 5962069 markings, 9010395 edges, 32196 markings/sec, 175 secs
lola: 6121632 markings, 9244463 edges, 31913 markings/sec, 180 secs
lola: 6276901 markings, 9502868 edges, 31054 markings/sec, 185 secs
lola: 6468488 markings, 9751176 edges, 38317 markings/sec, 190 secs
lola: 6650403 markings, 9994315 edges, 36383 markings/sec, 195 secs
lola: 6836892 markings, 10240857 edges, 37298 markings/sec, 200 secs
lola: 7017186 markings, 10481980 edges, 36059 markings/sec, 205 secs
lola: 7198677 markings, 10723307 edges, 36298 markings/sec, 210 secs
lola: 7379911 markings, 10972862 edges, 36247 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: 163240 markings, 227896 edges, 32648 markings/sec, 0 secs
lola: 323794 markings, 458055 edges, 32111 markings/sec, 5 secs
lola: 484481 markings, 697805 edges, 32137 markings/sec, 10 secs
lola: 651303 markings, 958496 edges, 33364 markings/sec, 15 secs
lola: 837219 markings, 1200488 edges, 37183 markings/sec, 20 secs
lola: 1017599 markings, 1440795 edges, 36076 markings/sec, 25 secs
lola: 1199770 markings, 1681595 edges, 36434 markings/sec, 30 secs
lola: 1375763 markings, 1917806 edges, 35199 markings/sec, 35 secs
lola: 1554945 markings, 2160319 edges, 35836 markings/sec, 40 secs
lola: 1736824 markings, 2406468 edges, 36376 markings/sec, 45 secs
lola: 1914711 markings, 2657081 edges, 35577 markings/sec, 50 secs
lola: 2092137 markings, 2918729 edges, 35485 markings/sec, 55 secs
lola: 2237805 markings, 3174718 edges, 29134 markings/sec, 60 secs
lola: 2364786 markings, 3398371 edges, 25396 markings/sec, 65 secs
lola: 2488761 markings, 3621288 edges, 24795 markings/sec, 70 secs
lola: 2615253 markings, 3850170 edges, 25298 markings/sec, 75 secs
lola: 2740034 markings, 4084724 edges, 24956 markings/sec, 80 secs
lola: 2870722 markings, 4347854 edges, 26138 markings/sec, 85 secs
lola: 3030649 markings, 4573641 edges, 31985 markings/sec, 90 secs
lola: 3189275 markings, 4802109 edges, 31725 markings/sec, 95 secs
lola: 3348765 markings, 5041877 edges, 31898 markings/sec, 100 secs
lola: 3516739 markings, 5298804 edges, 33595 markings/sec, 105 secs
lola: 3703142 markings, 5540768 edges, 37281 markings/sec, 110 secs
lola: 3879689 markings, 5777322 edges, 35309 markings/sec, 115 secs
lola: 4059449 markings, 6016554 edges, 35952 markings/sec, 120 secs
lola: 4236512 markings, 6252623 edges, 35413 markings/sec, 125 secs
lola: 4414461 markings, 6494000 edges, 35590 markings/sec, 130 secs
lola: 4593134 markings, 6737796 edges, 35735 markings/sec, 135 secs
lola: 4771357 markings, 6988143 edges, 35645 markings/sec, 140 secs
lola: 4947484 markings, 7247949 edges, 35225 markings/sec, 145 secs
lola: 5090922 markings, 7500817 edges, 28688 markings/sec, 150 secs
lola: 5216772 markings, 7722989 edges, 25170 markings/sec, 155 secs
lola: 5339998 markings, 7944569 edges, 24645 markings/sec, 160 secs
lola: 5465873 markings, 8172633 edges, 25175 markings/sec, 165 secs
lola: 5589883 markings, 8405979 edges, 24802 markings/sec, 170 secs
lola: 5719519 markings, 8667392 edges, 25927 markings/sec, 175 secs
lola: 5879033 markings, 8892463 edges, 31903 markings/sec, 180 secs
lola: 6037095 markings, 9119518 edges, 31612 markings/sec, 185 secs
lola: 6195429 markings, 9358048 edges, 31667 markings/sec, 190 secs
lola: 6362226 markings, 9614267 edges, 33359 markings/sec, 195 secs
lola: 6547588 markings, 9855064 edges, 37072 markings/sec, 200 secs
lola: 6723745 markings, 10090895 edges, 35231 markings/sec, 205 secs
lola: 6903233 markings, 10329668 edges, 35898 markings/sec, 210 secs
lola: 7078451 markings, 10563834 edges, 35044 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: 163562 markings, 228293 edges, 32712 markings/sec, 0 secs
lola: 324179 markings, 458514 edges, 32123 markings/sec, 5 secs
lola: 485023 markings, 698784 edges, 32169 markings/sec, 10 secs
lola: 652364 markings, 959703 edges, 33468 markings/sec, 15 secs
lola: 838820 markings, 1202385 edges, 37291 markings/sec, 20 secs
lola: 1019120 markings, 1442607 edges, 36060 markings/sec, 25 secs
lola: 1201453 markings, 1684313 edges, 36467 markings/sec, 30 secs
lola: 1378315 markings, 1921082 edges, 35372 markings/sec, 35 secs
lola: 1557625 markings, 2163766 edges, 35862 markings/sec, 40 secs
lola: 1739878 markings, 2411316 edges, 36451 markings/sec, 45 secs
lola: 1918068 markings, 2662320 edges, 35638 markings/sec, 50 secs
lola: 2096719 markings, 2924996 edges, 35730 markings/sec, 55 secs
lola: 2241430 markings, 3180188 edges, 28942 markings/sec, 60 secs
lola: 2368558 markings, 3404390 edges, 25426 markings/sec, 65 secs
lola: 2492692 markings, 3627291 edges, 24827 markings/sec, 70 secs
lola: 2619262 markings, 3857503 edges, 25314 markings/sec, 75 secs
lola: 2743708 markings, 4092269 edges, 24889 markings/sec, 80 secs
lola: 2874780 markings, 4354484 edges, 26214 markings/sec, 85 secs
lola: 3035833 markings, 4581098 edges, 32211 markings/sec, 90 secs
lola: 3196063 markings, 4810872 edges, 32046 markings/sec, 95 secs
lola: 3355147 markings, 5051751 edges, 31817 markings/sec, 100 secs
lola: 3525530 markings, 5309958 edges, 34077 markings/sec, 105 secs
lola: 3711676 markings, 5552814 edges, 37229 markings/sec, 110 secs
lola: 3890206 markings, 5790431 edges, 35706 markings/sec, 115 secs
lola: 4069710 markings, 6029856 edges, 35901 markings/sec, 120 secs
lola: 4248560 markings, 6267268 edges, 35770 markings/sec, 125 secs
lola: 4427238 markings, 6509667 edges, 35736 markings/sec, 130 secs
lola: 4604107 markings, 6753960 edges, 35374 markings/sec, 135 secs
lola: 4783849 markings, 7005558 edges, 35948 markings/sec, 140 secs
lola: 4959430 markings, 7267469 edges, 35116 markings/sec, 145 secs
lola: 5100020 markings, 7516969 edges, 28118 markings/sec, 150 secs
lola: 5224728 markings, 7739817 edges, 24942 markings/sec, 155 secs
lola: 5349544 markings, 7961489 edges, 24963 markings/sec, 160 secs
lola: 5474443 markings, 8190402 edges, 24980 markings/sec, 165 secs
lola: 5599306 markings, 8424585 edges, 24973 markings/sec, 170 secs
lola: 5730187 markings, 8683704 edges, 26176 markings/sec, 175 secs
lola: 5892527 markings, 8910829 edges, 32468 markings/sec, 180 secs
lola: 6050958 markings, 9139504 edges, 31686 markings/sec, 185 secs
lola: 6208550 markings, 9379481 edges, 31518 markings/sec, 190 secs
lola: 6380192 markings, 9636522 edges, 34328 markings/sec, 195 secs
lola: 6563981 markings, 9877643 edges, 36758 markings/sec, 200 secs
lola: 6742826 markings, 10114599 edges, 35769 markings/sec, 205 secs
lola: 6921405 markings, 10352904 edges, 35716 markings/sec, 210 secs
lola: 7099501 markings, 10589611 edges, 35619 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: 164635 markings, 229716 edges, 32927 markings/sec, 0 secs
lola: 326316 markings, 461493 edges, 32336 markings/sec, 5 secs
lola: 487643 markings, 703359 edges, 32265 markings/sec, 10 secs
lola: 656140 markings, 964412 edges, 33699 markings/sec, 15 secs
lola: 844825 markings, 1209515 edges, 37737 markings/sec, 20 secs
lola: 1024737 markings, 1449858 edges, 35982 markings/sec, 25 secs
lola: 1206833 markings, 1692052 edges, 36419 markings/sec, 30 secs
lola: 1386316 markings, 1931287 edges, 35897 markings/sec, 35 secs
lola: 1566530 markings, 2175669 edges, 36043 markings/sec, 40 secs
lola: 1746981 markings, 2422915 edges, 36090 markings/sec, 45 secs
lola: 1929438 markings, 2677151 edges, 36491 markings/sec, 50 secs
lola: 2106748 markings, 2941649 edges, 35462 markings/sec, 55 secs
lola: 2250186 markings, 3195283 edges, 28688 markings/sec, 60 secs
lola: 2376037 markings, 3420821 edges, 25170 markings/sec, 65 secs
lola: 2501747 markings, 3644309 edges, 25142 markings/sec, 70 secs
lola: 2628241 markings, 3875475 edges, 25299 markings/sec, 75 secs
lola: 2754096 markings, 4113290 edges, 25171 markings/sec, 80 secs
lola: 2889302 markings, 4374089 edges, 27041 markings/sec, 85 secs
lola: 3051407 markings, 4602586 edges, 32421 markings/sec, 90 secs
lola: 3211118 markings, 4833008 edges, 31942 markings/sec, 95 secs
lola: 3370123 markings, 5076773 edges, 31801 markings/sec, 100 secs
lola: 3546963 markings, 5335441 edges, 35368 markings/sec, 105 secs
lola: 3727264 markings, 5576679 edges, 36060 markings/sec, 110 secs
lola: 3912475 markings, 5818193 edges, 37042 markings/sec, 115 secs
lola: 4092801 markings, 6058077 edges, 36065 markings/sec, 120 secs
lola: 4266397 markings, 6294188 edges, 34719 markings/sec, 125 secs
lola: 4447652 markings, 6539369 edges, 36251 markings/sec, 130 secs
lola: 4626872 markings, 6785717 edges, 35844 markings/sec, 135 secs
lola: 4806857 markings, 7039285 edges, 35997 markings/sec, 140 secs
lola: 4983212 markings, 7307247 edges, 35271 markings/sec, 145 secs
lola: 5116019 markings, 7547087 edges, 26561 markings/sec, 150 secs
lola: 5243252 markings, 7770225 edges, 25447 markings/sec, 155 secs
lola: 5367287 markings, 7992875 edges, 24807 markings/sec, 160 secs
lola: 5492558 markings, 8223921 edges, 25054 markings/sec, 165 secs
lola: 5620225 markings, 8465705 edges, 25533 markings/sec, 170 secs
lola: 5754798 markings, 8718895 edges, 26915 markings/sec, 175 secs
lola: 5915488 markings, 8943341 edges, 32138 markings/sec, 180 secs
lola: 6071694 markings, 9170681 edges, 31241 markings/sec, 185 secs
lola: 6228822 markings, 9412247 edges, 31426 markings/sec, 190 secs
lola: 6403753 markings, 9664937 edges, 34986 markings/sec, 195 secs
lola: 6578750 markings, 9899577 edges, 34999 markings/sec, 200 secs
lola: 6760292 markings, 10136097 edges, 36308 markings/sec, 205 secs
lola: 6937780 markings, 10372728 edges, 35498 markings/sec, 210 secs
lola: 7113991 markings, 10611965 edges, 35242 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: 53458 markings, 128718 edges, 10692 markings/sec, 0 secs
lola: 110757 markings, 263060 edges, 11460 markings/sec, 5 secs
lola: 174933 markings, 403641 edges, 12835 markings/sec, 10 secs
lola: 244358 markings, 545544 edges, 13885 markings/sec, 15 secs
lola: 305213 markings, 679042 edges, 12171 markings/sec, 20 secs
lola: 377495 markings, 821535 edges, 14456 markings/sec, 25 secs
lola: 437733 markings, 953121 edges, 12048 markings/sec, 30 secs
lola: 509452 markings, 1091809 edges, 14344 markings/sec, 35 secs
lola: 582059 markings, 1237685 edges, 14521 markings/sec, 40 secs
lola: 654598 markings, 1383507 edges, 14508 markings/sec, 45 secs
lola: 727224 markings, 1525933 edges, 14525 markings/sec, 50 secs
lola: 799359 markings, 1668565 edges, 14427 markings/sec, 55 secs
lola: 872644 markings, 1810380 edges, 14657 markings/sec, 60 secs
lola: 946372 markings, 1951539 edges, 14746 markings/sec, 65 secs
lola: 1017695 markings, 2093027 edges, 14265 markings/sec, 70 secs
lola: 1090269 markings, 2237711 edges, 14515 markings/sec, 75 secs
lola: 1163632 markings, 2383228 edges, 14673 markings/sec, 80 secs
lola: 1236714 markings, 2528188 edges, 14616 markings/sec, 85 secs
lola: 1308575 markings, 2673037 edges, 14372 markings/sec, 90 secs
lola: 1377821 markings, 2816511 edges, 13849 markings/sec, 95 secs
lola: 1449018 markings, 2958607 edges, 14239 markings/sec, 100 secs
lola: 1520633 markings, 3103387 edges, 14323 markings/sec, 105 secs
lola: 1592697 markings, 3245084 edges, 14413 markings/sec, 110 secs
lola: 1663529 markings, 3393041 edges, 14166 markings/sec, 115 secs
lola: 1737207 markings, 3540427 edges, 14736 markings/sec, 120 secs
lola: 1807312 markings, 3689085 edges, 14021 markings/sec, 125 secs
lola: 1877962 markings, 3834155 edges, 14130 markings/sec, 130 secs
lola: 1950435 markings, 3985403 edges, 14495 markings/sec, 135 secs
lola: 2021804 markings, 4136604 edges, 14274 markings/sec, 140 secs
lola: 2092465 markings, 4287920 edges, 14132 markings/sec, 145 secs
lola: 2163780 markings, 4443374 edges, 14263 markings/sec, 150 secs
lola: 2234556 markings, 4602868 edges, 14155 markings/sec, 155 secs
lola: 2304432 markings, 4771771 edges, 13975 markings/sec, 160 secs
lola: 2388305 markings, 4989418 edges, 16775 markings/sec, 165 secs
lola: 2481846 markings, 5202876 edges, 18708 markings/sec, 170 secs
lola: 2572391 markings, 5419491 edges, 18109 markings/sec, 175 secs
lola: 2666604 markings, 5639611 edges, 18843 markings/sec, 180 secs
lola: 2759672 markings, 5859214 edges, 18614 markings/sec, 185 secs
lola: 2851127 markings, 6078261 edges, 18291 markings/sec, 190 secs
lola: 2944176 markings, 6301970 edges, 18610 markings/sec, 195 secs
lola: 3037563 markings, 6524737 edges, 18677 markings/sec, 200 secs
lola: 3128460 markings, 6749798 edges, 18179 markings/sec, 205 secs
lola: 3221172 markings, 6982732 edges, 18542 markings/sec, 210 secs
lola: 3312178 markings, 7216876 edges, 18201 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: 163815 markings, 228605 edges, 32763 markings/sec, 0 secs
lola: 325064 markings, 459625 edges, 32250 markings/sec, 5 secs
lola: 485815 markings, 700346 edges, 32150 markings/sec, 10 secs
lola: 653579 markings, 961106 edges, 33553 markings/sec, 15 secs
lola: 841810 markings, 1205928 edges, 37646 markings/sec, 20 secs
lola: 1023687 markings, 1448556 edges, 36375 markings/sec, 25 secs
lola: 1207325 markings, 1692802 edges, 36728 markings/sec, 30 secs
lola: 1388548 markings, 1933969 edges, 36245 markings/sec, 35 secs
lola: 1570378 markings, 2180261 edges, 36366 markings/sec, 40 secs
lola: 1751566 markings, 2429032 edges, 36238 markings/sec, 45 secs
lola: 1934725 markings, 2685478 edges, 36632 markings/sec, 50 secs
lola: 2113721 markings, 2952840 edges, 35799 markings/sec, 55 secs
lola: 2254764 markings, 3205384 edges, 28209 markings/sec, 60 secs
lola: 2382073 markings, 3431474 edges, 25462 markings/sec, 65 secs
lola: 2508302 markings, 3657299 edges, 25246 markings/sec, 70 secs
lola: 2637155 markings, 3891426 edges, 25771 markings/sec, 75 secs
lola: 2763906 markings, 4132304 edges, 25350 markings/sec, 80 secs
lola: 2902663 markings, 4393273 edges, 27751 markings/sec, 85 secs
lola: 3065633 markings, 4622355 edges, 32594 markings/sec, 90 secs
lola: 3226332 markings, 4855341 edges, 32140 markings/sec, 95 secs
lola: 3385702 markings, 5102640 edges, 31874 markings/sec, 100 secs
lola: 3566286 markings, 5361898 edges, 36117 markings/sec, 105 secs
lola: 3748952 markings, 5604111 edges, 36533 markings/sec, 110 secs
lola: 3930754 markings, 5845640 edges, 36360 markings/sec, 115 secs
lola: 4112094 markings, 6087185 edges, 36268 markings/sec, 120 secs
lola: 4292500 markings, 6326998 edges, 36081 markings/sec, 125 secs
lola: 4477445 markings, 6577657 edges, 36989 markings/sec, 130 secs
lola: 4655728 markings, 6825155 edges, 35657 markings/sec, 135 secs
lola: 4835880 markings, 7080394 edges, 36030 markings/sec, 140 secs
lola: 5008879 markings, 7359582 edges, 34600 markings/sec, 145 secs
lola: 5138047 markings, 7586845 edges, 25834 markings/sec, 150 secs
lola: 5265656 markings, 7811212 edges, 25522 markings/sec, 155 secs
lola: 5391153 markings, 8036470 edges, 25099 markings/sec, 160 secs
lola: 5517731 markings, 8269705 edges, 25316 markings/sec, 165 secs
lola: 5643839 markings, 8513809 edges, 25222 markings/sec, 170 secs
lola: 5791095 markings, 8768294 edges, 29451 markings/sec, 175 secs
lola: 5953313 markings, 8998136 edges, 32444 markings/sec, 180 secs
lola: 6113775 markings, 9232914 edges, 32092 markings/sec, 185 secs
lola: 6269940 markings, 9491046 edges, 31233 markings/sec, 190 secs
lola: 6456323 markings, 9736716 edges, 37277 markings/sec, 195 secs
lola: 6640233 markings, 9979610 edges, 36782 markings/sec, 200 secs
lola: 6824632 markings, 10222099 edges, 36880 markings/sec, 205 secs
lola: 7003401 markings, 10461637 edges, 35754 markings/sec, 210 secs
lola: 7178838 markings, 10698777 edges, 35087 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 1496316541927

--------------------
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_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/S_PolyORBNT-PT-S05J20.tgz
mv S_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 S_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 r138-smll-149479231500092"
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 ;