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 GlobalResAllocation-PT-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264400497
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494717602810


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ GlobalResAllocation-PT-05 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 56180/65536 symbol table entries, 36519 collisions
lola: preprocessing...
lola: finding significant places
lola: 75 places, 56105 transitions, 55 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2220 transition conflict sets
lola: TASK
lola: reading formula from GlobalResAllocation-COL-05-UpperBounds.task
lola: MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5) : MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10) : MAX(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5) : MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1) : MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_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(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 111 markings, 175 edges, 22 markings/sec, 0 secs
lola: 295 markings, 519 edges, 37 markings/sec, 5 secs
lola: 497 markings, 916 edges, 40 markings/sec, 10 secs
lola: 695 markings, 1344 edges, 40 markings/sec, 15 secs
lola: 908 markings, 1800 edges, 43 markings/sec, 20 secs
lola: 1129 markings, 2323 edges, 44 markings/sec, 25 secs
lola: 1362 markings, 2903 edges, 47 markings/sec, 30 secs
lola: 1578 markings, 3387 edges, 43 markings/sec, 35 secs
lola: 1834 markings, 4025 edges, 51 markings/sec, 40 secs
lola: 2058 markings, 4539 edges, 45 markings/sec, 45 secs
lola: 2337 markings, 5252 edges, 56 markings/sec, 50 secs
lola: 2565 markings, 5813 edges, 46 markings/sec, 55 secs
lola: 2831 markings, 6461 edges, 53 markings/sec, 60 secs
lola: 3065 markings, 7060 edges, 47 markings/sec, 65 secs
lola: 3300 markings, 7678 edges, 47 markings/sec, 70 secs
lola: 3510 markings, 8149 edges, 42 markings/sec, 75 secs
lola: 3786 markings, 8854 edges, 55 markings/sec, 80 secs
lola: 4057 markings, 9548 edges, 54 markings/sec, 85 secs
lola: 4326 markings, 10353 edges, 54 markings/sec, 90 secs
lola: 4591 markings, 11042 edges, 53 markings/sec, 95 secs
lola: 4842 markings, 11703 edges, 50 markings/sec, 100 secs
lola: 5116 markings, 12492 edges, 55 markings/sec, 105 secs
lola: 5392 markings, 13231 edges, 55 markings/sec, 110 secs
lola: 5665 markings, 13924 edges, 55 markings/sec, 115 secs
lola: 5867 markings, 14343 edges, 40 markings/sec, 120 secs
lola: 6115 markings, 14998 edges, 50 markings/sec, 125 secs
lola: 6358 markings, 15605 edges, 49 markings/sec, 130 secs
lola: 6650 markings, 16404 edges, 58 markings/sec, 135 secs
lola: 6904 markings, 17092 edges, 51 markings/sec, 140 secs
lola: 7170 markings, 17719 edges, 53 markings/sec, 145 secs
lola: 7478 markings, 18631 edges, 62 markings/sec, 150 secs
lola: 7758 markings, 19357 edges, 56 markings/sec, 155 secs
lola: 8024 markings, 19984 edges, 53 markings/sec, 160 secs
lola: 8300 markings, 20708 edges, 55 markings/sec, 165 secs
lola: 8607 markings, 21569 edges, 61 markings/sec, 170 secs
lola: 8854 markings, 22267 edges, 49 markings/sec, 175 secs
lola: 9149 markings, 23154 edges, 59 markings/sec, 180 secs
lola: 9429 markings, 23928 edges, 56 markings/sec, 185 secs
lola: 9713 markings, 24673 edges, 57 markings/sec, 190 secs
lola: 10019 markings, 25510 edges, 61 markings/sec, 195 secs
lola: 10330 markings, 26442 edges, 62 markings/sec, 200 secs
lola: 10601 markings, 27137 edges, 54 markings/sec, 205 secs
lola: 10869 markings, 27941 edges, 54 markings/sec, 210 secs
lola: 11200 markings, 28905 edges, 66 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(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 111 markings, 175 edges, 22 markings/sec, 0 secs
lola: 282 markings, 494 edges, 34 markings/sec, 5 secs
lola: 464 markings, 852 edges, 36 markings/sec, 10 secs
lola: 674 markings, 1304 edges, 42 markings/sec, 15 secs
lola: 868 markings, 1706 edges, 39 markings/sec, 20 secs
lola: 1082 markings, 2195 edges, 43 markings/sec, 25 secs
lola: 1323 markings, 2818 edges, 48 markings/sec, 30 secs
lola: 1544 markings, 3307 edges, 44 markings/sec, 35 secs
lola: 1776 markings, 3862 edges, 46 markings/sec, 40 secs
lola: 2011 markings, 4438 edges, 47 markings/sec, 45 secs
lola: 2250 markings, 5035 edges, 48 markings/sec, 50 secs
lola: 2488 markings, 5598 edges, 48 markings/sec, 55 secs
lola: 2727 markings, 6204 edges, 48 markings/sec, 60 secs
lola: 2976 markings, 6832 edges, 50 markings/sec, 65 secs
lola: 3212 markings, 7439 edges, 47 markings/sec, 70 secs
lola: 3450 markings, 7994 edges, 48 markings/sec, 75 secs
lola: 3730 markings, 8723 edges, 56 markings/sec, 80 secs
lola: 3988 markings, 9389 edges, 52 markings/sec, 85 secs
lola: 4272 markings, 10177 edges, 57 markings/sec, 90 secs
lola: 4572 markings, 10997 edges, 60 markings/sec, 95 secs
lola: 4860 markings, 11759 edges, 58 markings/sec, 100 secs
lola: 5158 markings, 12616 edges, 60 markings/sec, 105 secs
lola: 5454 markings, 13400 edges, 59 markings/sec, 110 secs
lola: 5699 markings, 13990 edges, 49 markings/sec, 115 secs
lola: 5904 markings, 14418 edges, 41 markings/sec, 120 secs
lola: 6172 markings, 15141 edges, 54 markings/sec, 125 secs
lola: 6436 markings, 15833 edges, 53 markings/sec, 130 secs
lola: 6722 markings, 16599 edges, 57 markings/sec, 135 secs
lola: 6966 markings, 17235 edges, 49 markings/sec, 140 secs
lola: 7239 markings, 17947 edges, 55 markings/sec, 145 secs
lola: 7499 markings, 18674 edges, 52 markings/sec, 150 secs
lola: 7748 markings, 19323 edges, 50 markings/sec, 155 secs
lola: 7987 markings, 19887 edges, 48 markings/sec, 160 secs
lola: 8266 markings, 20600 edges, 56 markings/sec, 165 secs
lola: 8558 markings, 21441 edges, 58 markings/sec, 170 secs
lola: 8805 markings, 22141 edges, 49 markings/sec, 175 secs
lola: 9054 markings, 22888 edges, 50 markings/sec, 180 secs
lola: 9359 markings, 23750 edges, 61 markings/sec, 185 secs
lola: 9654 markings, 24529 edges, 59 markings/sec, 190 secs
lola: 9919 markings, 25242 edges, 53 markings/sec, 195 secs
lola: 10243 markings, 26180 edges, 65 markings/sec, 200 secs
lola: 10530 markings, 26952 edges, 57 markings/sec, 205 secs
lola: 10826 markings, 27860 edges, 59 markings/sec, 210 secs
lola: 11121 markings, 28645 edges, 59 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(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 111 markings, 175 edges, 22 markings/sec, 0 secs
lola: 276 markings, 486 edges, 33 markings/sec, 5 secs
lola: 464 markings, 852 edges, 38 markings/sec, 10 secs
lola: 667 markings, 1288 edges, 41 markings/sec, 15 secs
lola: 846 markings, 1665 edges, 36 markings/sec, 20 secs
lola: 1051 markings, 2125 edges, 41 markings/sec, 25 secs
lola: 1283 markings, 2727 edges, 46 markings/sec, 30 secs
lola: 1485 markings, 3186 edges, 40 markings/sec, 35 secs
lola: 1698 markings, 3694 edges, 43 markings/sec, 40 secs
lola: 1902 markings, 4159 edges, 41 markings/sec, 45 secs
lola: 2132 markings, 4733 edges, 46 markings/sec, 50 secs
lola: 2367 markings, 5314 edges, 47 markings/sec, 55 secs
lola: 2596 markings, 5915 edges, 46 markings/sec, 60 secs
lola: 2866 markings, 6541 edges, 54 markings/sec, 65 secs
lola: 3118 markings, 7223 edges, 50 markings/sec, 70 secs
lola: 3329 markings, 7737 edges, 42 markings/sec, 75 secs
lola: 3551 markings, 8237 edges, 44 markings/sec, 80 secs
lola: 3827 markings, 8955 edges, 55 markings/sec, 85 secs
lola: 4091 markings, 9654 edges, 53 markings/sec, 90 secs
lola: 4360 markings, 10445 edges, 54 markings/sec, 95 secs
lola: 4619 markings, 11124 edges, 52 markings/sec, 100 secs
lola: 4870 markings, 11779 edges, 50 markings/sec, 105 secs
lola: 5113 markings, 12482 edges, 49 markings/sec, 110 secs
lola: 5393 markings, 13232 edges, 56 markings/sec, 115 secs
lola: 5641 markings, 13878 edges, 50 markings/sec, 120 secs
lola: 5836 markings, 14287 edges, 39 markings/sec, 125 secs
lola: 6090 markings, 14926 edges, 51 markings/sec, 130 secs
lola: 6343 markings, 15565 edges, 51 markings/sec, 135 secs
lola: 6650 markings, 16404 edges, 61 markings/sec, 140 secs
lola: 6901 markings, 17086 edges, 50 markings/sec, 145 secs
lola: 7208 markings, 17855 edges, 61 markings/sec, 150 secs
lola: 7502 markings, 18680 edges, 59 markings/sec, 155 secs
lola: 7775 markings, 19397 edges, 55 markings/sec, 160 secs
lola: 8030 markings, 19999 edges, 51 markings/sec, 165 secs
lola: 8341 markings, 20846 edges, 62 markings/sec, 170 secs
lola: 8616 markings, 21595 edges, 55 markings/sec, 175 secs
lola: 8841 markings, 22228 edges, 45 markings/sec, 180 secs
lola: 9110 markings, 23055 edges, 54 markings/sec, 185 secs
lola: 9379 markings, 23797 edges, 54 markings/sec, 190 secs
lola: 9662 markings, 24543 edges, 57 markings/sec, 195 secs
lola: 9929 markings, 25270 edges, 53 markings/sec, 200 secs
lola: 10232 markings, 26148 edges, 61 markings/sec, 205 secs
lola: 10503 markings, 26896 edges, 54 markings/sec, 210 secs
lola: 10744 markings, 27581 edges, 48 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(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 13 markings, 12 edges, 3 markings/sec, 0 secs
lola: 91 markings, 157 edges, 16 markings/sec, 5 secs
lola: 203 markings, 397 edges, 22 markings/sec, 10 secs
lola: 318 markings, 666 edges, 23 markings/sec, 15 secs
lola: 430 markings, 895 edges, 22 markings/sec, 20 secs
lola: 559 markings, 1197 edges, 26 markings/sec, 25 secs
lola: 670 markings, 1449 edges, 22 markings/sec, 30 secs
lola: 796 markings, 1756 edges, 25 markings/sec, 35 secs
lola: 932 markings, 2077 edges, 27 markings/sec, 40 secs
lola: 1080 markings, 2460 edges, 30 markings/sec, 45 secs
lola: 1215 markings, 2765 edges, 27 markings/sec, 50 secs
lola: 1365 markings, 3155 edges, 30 markings/sec, 55 secs
lola: 1503 markings, 3489 edges, 28 markings/sec, 60 secs
lola: 1653 markings, 3852 edges, 30 markings/sec, 65 secs
lola: 1791 markings, 4179 edges, 28 markings/sec, 70 secs
lola: 1932 markings, 4521 edges, 28 markings/sec, 75 secs
lola: 2104 markings, 4945 edges, 34 markings/sec, 80 secs
lola: 2269 markings, 5425 edges, 33 markings/sec, 85 secs
lola: 2432 markings, 5964 edges, 33 markings/sec, 90 secs
lola: 2590 markings, 6383 edges, 32 markings/sec, 95 secs
lola: 2759 markings, 6928 edges, 34 markings/sec, 100 secs
lola: 2921 markings, 7365 edges, 32 markings/sec, 105 secs
lola: 3085 markings, 7762 edges, 33 markings/sec, 110 secs
lola: 3257 markings, 8256 edges, 34 markings/sec, 115 secs
lola: 3406 markings, 8725 edges, 30 markings/sec, 120 secs
lola: 3573 markings, 9216 edges, 33 markings/sec, 125 secs
lola: 3755 markings, 9744 edges, 36 markings/sec, 130 secs
lola: 3904 markings, 10130 edges, 30 markings/sec, 135 secs
lola: 4081 markings, 10648 edges, 35 markings/sec, 140 secs
lola: 4262 markings, 11157 edges, 36 markings/sec, 145 secs
lola: 4425 markings, 11600 edges, 33 markings/sec, 150 secs
lola: 4598 markings, 12143 edges, 35 markings/sec, 155 secs
lola: 4725 markings, 12425 edges, 25 markings/sec, 160 secs
lola: 4916 markings, 12987 edges, 38 markings/sec, 165 secs
lola: 5105 markings, 13531 edges, 38 markings/sec, 170 secs
lola: 5252 markings, 13920 edges, 29 markings/sec, 175 secs
lola: 5408 markings, 14345 edges, 31 markings/sec, 180 secs
lola: 5583 markings, 14824 edges, 35 markings/sec, 185 secs
lola: 5767 markings, 15363 edges, 37 markings/sec, 190 secs
lola: 5951 markings, 15875 edges, 37 markings/sec, 195 secs
lola: 6119 markings, 16289 edges, 34 markings/sec, 200 secs
lola: 6305 markings, 16797 edges, 37 markings/sec, 205 secs
lola: 6457 markings, 17232 edges, 30 markings/sec, 210 secs
lola: 6606 markings, 17638 edges, 30 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(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 13 markings, 17 edges, 3 markings/sec, 0 secs
lola: 53 markings, 88 edges, 8 markings/sec, 5 secs
lola: 93 markings, 147 edges, 8 markings/sec, 10 secs
lola: 123 markings, 197 edges, 6 markings/sec, 15 secs
lola: 132 markings, 214 edges, 2 markings/sec, 20 secs
lola: 188 markings, 312 edges, 11 markings/sec, 25 secs
lola: 224 markings, 372 edges, 7 markings/sec, 30 secs
lola: 267 markings, 444 edges, 9 markings/sec, 35 secs
lola: 307 markings, 503 edges, 8 markings/sec, 40 secs
lola: 382 markings, 621 edges, 15 markings/sec, 45 secs
lola: 576 markings, 934 edges, 39 markings/sec, 50 secs
lola: 747 markings, 1254 edges, 34 markings/sec, 55 secs
lola: 771 markings, 1292 edges, 5 markings/sec, 60 secs
lola: 864 markings, 1446 edges, 19 markings/sec, 65 secs
lola: 981 markings, 1635 edges, 23 markings/sec, 70 secs
lola: 1094 markings, 1843 edges, 23 markings/sec, 75 secs
lola: 1171 markings, 1990 edges, 15 markings/sec, 80 secs
lola: 1224 markings, 2078 edges, 11 markings/sec, 85 secs
lola: 1267 markings, 2150 edges, 9 markings/sec, 90 secs
lola: 1311 markings, 2235 edges, 9 markings/sec, 95 secs
lola: 1325 markings, 2265 edges, 3 markings/sec, 100 secs
lola: 1344 markings, 2313 edges, 4 markings/sec, 105 secs
lola: 1407 markings, 2420 edges, 13 markings/sec, 110 secs
lola: 1470 markings, 2520 edges, 13 markings/sec, 115 secs
lola: 1506 markings, 2578 edges, 7 markings/sec, 120 secs
lola: 1539 markings, 2634 edges, 7 markings/sec, 125 secs
lola: 1672 markings, 2879 edges, 27 markings/sec, 130 secs
lola: 1766 markings, 3065 edges, 19 markings/sec, 135 secs
lola: 1812 markings, 3140 edges, 9 markings/sec, 140 secs
lola: 1898 markings, 3281 edges, 17 markings/sec, 145 secs
lola: 2007 markings, 3476 edges, 22 markings/sec, 150 secs
lola: 2098 markings, 3618 edges, 18 markings/sec, 155 secs
lola: 2198 markings, 3779 edges, 20 markings/sec, 160 secs
lola: 2338 markings, 4031 edges, 28 markings/sec, 165 secs
lola: 2453 markings, 4211 edges, 23 markings/sec, 170 secs
lola: 2478 markings, 4250 edges, 5 markings/sec, 175 secs
lola: 2633 markings, 4529 edges, 31 markings/sec, 180 secs
lola: 2810 markings, 4861 edges, 35 markings/sec, 185 secs
lola: 2934 markings, 5058 edges, 25 markings/sec, 190 secs
lola: 3060 markings, 5284 edges, 25 markings/sec, 195 secs
lola: 3203 markings, 5530 edges, 29 markings/sec, 200 secs
lola: 3307 markings, 5704 edges, 21 markings/sec, 205 secs
lola: 3343 markings, 5786 edges, 7 markings/sec, 210 secs
lola: 3359 markings, 5821 edges, 3 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(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 10 markings, 9 edges, 2 markings/sec, 0 secs
lola: 79 markings, 130 edges, 14 markings/sec, 5 secs
lola: 178 markings, 337 edges, 20 markings/sec, 10 secs
lola: 285 markings, 585 edges, 21 markings/sec, 15 secs
lola: 404 markings, 847 edges, 24 markings/sec, 20 secs
lola: 510 markings, 1088 edges, 21 markings/sec, 25 secs
lola: 622 markings, 1337 edges, 22 markings/sec, 30 secs
lola: 740 markings, 1611 edges, 24 markings/sec, 35 secs
lola: 864 markings, 1909 edges, 25 markings/sec, 40 secs
lola: 997 markings, 2248 edges, 27 markings/sec, 45 secs
lola: 1141 markings, 2605 edges, 29 markings/sec, 50 secs
lola: 1264 markings, 2899 edges, 25 markings/sec, 55 secs
lola: 1384 markings, 3197 edges, 24 markings/sec, 60 secs
lola: 1515 markings, 3523 edges, 26 markings/sec, 65 secs
lola: 1647 markings, 3840 edges, 26 markings/sec, 70 secs
lola: 1775 markings, 4136 edges, 26 markings/sec, 75 secs
lola: 1899 markings, 4440 edges, 25 markings/sec, 80 secs
lola: 2033 markings, 4750 edges, 27 markings/sec, 85 secs
lola: 2187 markings, 5170 edges, 31 markings/sec, 90 secs
lola: 2342 markings, 5689 edges, 31 markings/sec, 95 secs
lola: 2477 markings, 6081 edges, 27 markings/sec, 100 secs
lola: 2603 markings, 6415 edges, 25 markings/sec, 105 secs
lola: 2737 markings, 6857 edges, 27 markings/sec, 110 secs
lola: 2895 markings, 7290 edges, 32 markings/sec, 115 secs
lola: 3036 markings, 7645 edges, 28 markings/sec, 120 secs
lola: 3197 markings, 8071 edges, 32 markings/sec, 125 secs
lola: 3356 markings, 8580 edges, 32 markings/sec, 130 secs
lola: 3511 markings, 9019 edges, 31 markings/sec, 135 secs
lola: 3676 markings, 9493 edges, 33 markings/sec, 140 secs
lola: 3822 markings, 9910 edges, 29 markings/sec, 145 secs
lola: 3982 markings, 10349 edges, 32 markings/sec, 150 secs
lola: 4158 markings, 10853 edges, 35 markings/sec, 155 secs
lola: 4290 markings, 11231 edges, 26 markings/sec, 160 secs
lola: 4445 markings, 11666 edges, 31 markings/sec, 165 secs
lola: 4611 markings, 12171 edges, 33 markings/sec, 170 secs
lola: 4746 markings, 12476 edges, 27 markings/sec, 175 secs
lola: 4909 markings, 12956 edges, 33 markings/sec, 180 secs
lola: 5072 markings, 13436 edges, 33 markings/sec, 185 secs
lola: 5247 markings, 13910 edges, 35 markings/sec, 190 secs
lola: 5427 markings, 14395 edges, 36 markings/sec, 195 secs
lola: 5596 markings, 14858 edges, 34 markings/sec, 200 secs
lola: 5776 markings, 15389 edges, 36 markings/sec, 205 secs
lola: 5949 markings, 15870 edges, 35 markings/sec, 210 secs
lola: 6114 markings, 16275 edges, 33 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(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 19 edges, 3 markings/sec, 0 secs
lola: 54 markings, 89 edges, 8 markings/sec, 5 secs
lola: 98 markings, 155 edges, 9 markings/sec, 10 secs
lola: 126 markings, 201 edges, 6 markings/sec, 15 secs
lola: 149 markings, 245 edges, 5 markings/sec, 20 secs
lola: 206 markings, 338 edges, 11 markings/sec, 25 secs
lola: 238 markings, 392 edges, 6 markings/sec, 30 secs
lola: 287 markings, 474 edges, 10 markings/sec, 35 secs
lola: 322 markings, 526 edges, 7 markings/sec, 40 secs
lola: 420 markings, 680 edges, 20 markings/sec, 45 secs
lola: 626 markings, 1047 edges, 41 markings/sec, 50 secs
lola: 753 markings, 1262 edges, 25 markings/sec, 55 secs
lola: 817 markings, 1369 edges, 13 markings/sec, 60 secs
lola: 946 markings, 1576 edges, 26 markings/sec, 65 secs
lola: 1036 markings, 1740 edges, 18 markings/sec, 70 secs
lola: 1136 markings, 1909 edges, 20 markings/sec, 75 secs
lola: 1185 markings, 2013 edges, 10 markings/sec, 80 secs
lola: 1251 markings, 2126 edges, 13 markings/sec, 85 secs
lola: 1285 markings, 2183 edges, 7 markings/sec, 90 secs
lola: 1314 markings, 2241 edges, 6 markings/sec, 95 secs
lola: 1330 markings, 2277 edges, 3 markings/sec, 100 secs
lola: 1391 markings, 2390 edges, 12 markings/sec, 105 secs
lola: 1433 markings, 2460 edges, 8 markings/sec, 110 secs
lola: 1489 markings, 2553 edges, 11 markings/sec, 115 secs
lola: 1518 markings, 2597 edges, 6 markings/sec, 120 secs
lola: 1606 markings, 2750 edges, 18 markings/sec, 125 secs
lola: 1727 markings, 2984 edges, 24 markings/sec, 130 secs
lola: 1771 markings, 3072 edges, 9 markings/sec, 135 secs
lola: 1843 markings, 3191 edges, 14 markings/sec, 140 secs
lola: 1900 markings, 3286 edges, 11 markings/sec, 145 secs
lola: 2018 markings, 3494 edges, 24 markings/sec, 150 secs
lola: 2103 markings, 3626 edges, 17 markings/sec, 155 secs
lola: 2200 markings, 3781 edges, 19 markings/sec, 160 secs
lola: 2345 markings, 4040 edges, 29 markings/sec, 165 secs
lola: 2453 markings, 4211 edges, 22 markings/sec, 170 secs
lola: 2479 markings, 4252 edges, 5 markings/sec, 175 secs
lola: 2604 markings, 4476 edges, 25 markings/sec, 180 secs
lola: 2788 markings, 4828 edges, 37 markings/sec, 185 secs
lola: 2868 markings, 4962 edges, 16 markings/sec, 190 secs
lola: 3006 markings, 5189 edges, 28 markings/sec, 195 secs
lola: 3139 markings, 5433 edges, 27 markings/sec, 200 secs
lola: 3268 markings, 5636 edges, 26 markings/sec, 205 secs
lola: 3328 markings, 5755 edges, 12 markings/sec, 210 secs
lola: 3346 markings, 5790 edges, 4 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(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 11 markings, 14 edges, 2 markings/sec, 0 secs
lola: 33 markings, 48 edges, 4 markings/sec, 5 secs
lola: 85 markings, 137 edges, 10 markings/sec, 10 secs
lola: 112 markings, 180 edges, 5 markings/sec, 15 secs
lola: 129 markings, 206 edges, 3 markings/sec, 20 secs
lola: 179 markings, 298 edges, 10 markings/sec, 25 secs
lola: 221 markings, 364 edges, 8 markings/sec, 30 secs
lola: 265 markings, 436 edges, 9 markings/sec, 35 secs
lola: 311 markings, 509 edges, 9 markings/sec, 40 secs
lola: 399 markings, 645 edges, 18 markings/sec, 45 secs
lola: 606 markings, 1005 edges, 41 markings/sec, 50 secs
lola: 753 markings, 1262 edges, 29 markings/sec, 55 secs
lola: 832 markings, 1391 edges, 16 markings/sec, 60 secs
lola: 956 markings, 1591 edges, 25 markings/sec, 65 secs
lola: 1061 markings, 1789 edges, 21 markings/sec, 70 secs
lola: 1160 markings, 1964 edges, 20 markings/sec, 75 secs
lola: 1218 markings, 2067 edges, 12 markings/sec, 80 secs
lola: 1262 markings, 2142 edges, 9 markings/sec, 85 secs
lola: 1308 markings, 2230 edges, 9 markings/sec, 90 secs
lola: 1326 markings, 2267 edges, 4 markings/sec, 95 secs
lola: 1362 markings, 2339 edges, 7 markings/sec, 100 secs
lola: 1431 markings, 2457 edges, 14 markings/sec, 105 secs
lola: 1491 markings, 2555 edges, 12 markings/sec, 110 secs
lola: 1523 markings, 2606 edges, 6 markings/sec, 115 secs
lola: 1642 markings, 2821 edges, 24 markings/sec, 120 secs
lola: 1761 markings, 3059 edges, 24 markings/sec, 125 secs
lola: 1795 markings, 3111 edges, 7 markings/sec, 130 secs
lola: 1898 markings, 3281 edges, 21 markings/sec, 135 secs
lola: 2026 markings, 3505 edges, 26 markings/sec, 140 secs
lola: 2113 markings, 3638 edges, 17 markings/sec, 145 secs
lola: 2244 markings, 3854 edges, 26 markings/sec, 150 secs
lola: 2421 markings, 4162 edges, 35 markings/sec, 155 secs
lola: 2473 markings, 4239 edges, 10 markings/sec, 160 secs
lola: 2575 markings, 4423 edges, 20 markings/sec, 165 secs
lola: 2781 markings, 4819 edges, 41 markings/sec, 170 secs
lola: 2905 markings, 5018 edges, 25 markings/sec, 175 secs
lola: 3036 markings, 5242 edges, 26 markings/sec, 180 secs
lola: 3202 markings, 5529 edges, 33 markings/sec, 185 secs
lola: 3308 markings, 5705 edges, 21 markings/sec, 190 secs
lola: 3345 markings, 5789 edges, 7 markings/sec, 195 secs
lola: 3363 markings, 5834 edges, 4 markings/sec, 200 secs
lola: 3438 markings, 5971 edges, 15 markings/sec, 205 secs
lola: 3660 markings, 6360 edges, 44 markings/sec, 210 secs
lola: 3781 markings, 6547 edges, 24 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(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 641 markings, 865 edges, 128 markings/sec, 0 secs
lola: 1426 markings, 1923 edges, 157 markings/sec, 5 secs
lola: 2380 markings, 3236 edges, 191 markings/sec, 10 secs
lola: 3253 markings, 4429 edges, 175 markings/sec, 15 secs
lola: 4100 markings, 5574 edges, 169 markings/sec, 20 secs
lola: 4960 markings, 6750 edges, 172 markings/sec, 25 secs
lola: 5719 markings, 7789 edges, 152 markings/sec, 30 secs
lola: 6592 markings, 8957 edges, 175 markings/sec, 35 secs
lola: 7416 markings, 10087 edges, 165 markings/sec, 40 secs
lola: 8267 markings, 11222 edges, 170 markings/sec, 45 secs
lola: 9203 markings, 12506 edges, 187 markings/sec, 50 secs
lola: 9968 markings, 13560 edges, 153 markings/sec, 55 secs
lola: 10814 markings, 14700 edges, 169 markings/sec, 60 secs
lola: 11621 markings, 15808 edges, 161 markings/sec, 65 secs
lola: 12484 markings, 16992 edges, 173 markings/sec, 70 secs
lola: 13329 markings, 18131 edges, 169 markings/sec, 75 secs
lola: 14102 markings, 19169 edges, 155 markings/sec, 80 secs
lola: 14958 markings, 20320 edges, 171 markings/sec, 85 secs
lola: 15730 markings, 21403 edges, 154 markings/sec, 90 secs
lola: 16497 markings, 22482 edges, 153 markings/sec, 95 secs
lola: 17285 markings, 23535 edges, 158 markings/sec, 100 secs
lola: 17980 markings, 24472 edges, 139 markings/sec, 105 secs
lola: 18737 markings, 25488 edges, 151 markings/sec, 110 secs
lola: 19607 markings, 26686 edges, 174 markings/sec, 115 secs
lola: 20408 markings, 27758 edges, 160 markings/sec, 120 secs
lola: 21198 markings, 28808 edges, 158 markings/sec, 125 secs
lola: 22097 markings, 30017 edges, 180 markings/sec, 130 secs
lola: 22773 markings, 30914 edges, 135 markings/sec, 135 secs
lola: 23522 markings, 31926 edges, 150 markings/sec, 140 secs
lola: 24396 markings, 33085 edges, 175 markings/sec, 145 secs
lola: 25186 markings, 34161 edges, 158 markings/sec, 150 secs
lola: 26051 markings, 35331 edges, 173 markings/sec, 155 secs
lola: 26908 markings, 36489 edges, 171 markings/sec, 160 secs
lola: 27799 markings, 37703 edges, 178 markings/sec, 165 secs
lola: 28671 markings, 38910 edges, 174 markings/sec, 170 secs
lola: 29432 markings, 39967 edges, 152 markings/sec, 175 secs
lola: 30170 markings, 40959 edges, 148 markings/sec, 180 secs
lola: 30965 markings, 42060 edges, 159 markings/sec, 185 secs
lola: 31834 markings, 43243 edges, 174 markings/sec, 190 secs
lola: 32696 markings, 44424 edges, 172 markings/sec, 195 secs
lola: 33629 markings, 45705 edges, 187 markings/sec, 200 secs
lola: 34428 markings, 46817 edges, 160 markings/sec, 205 secs
lola: 35326 markings, 48022 edges, 180 markings/sec, 210 secs
lola: 36093 markings, 49066 edges, 153 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(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 590 markings, 796 edges, 118 markings/sec, 0 secs
lola: 1283 markings, 1720 edges, 139 markings/sec, 5 secs
lola: 2157 markings, 2936 edges, 175 markings/sec, 10 secs
lola: 2971 markings, 4041 edges, 163 markings/sec, 15 secs
lola: 3818 markings, 5196 edges, 169 markings/sec, 20 secs
lola: 4671 markings, 6352 edges, 171 markings/sec, 25 secs
lola: 5430 markings, 7391 edges, 152 markings/sec, 30 secs
lola: 6202 markings, 8431 edges, 154 markings/sec, 35 secs
lola: 6982 markings, 9473 edges, 156 markings/sec, 40 secs
lola: 7812 markings, 10611 edges, 166 markings/sec, 45 secs
lola: 8710 markings, 11833 edges, 180 markings/sec, 50 secs
lola: 9516 markings, 12935 edges, 161 markings/sec, 55 secs
lola: 10207 markings, 13882 edges, 138 markings/sec, 60 secs
lola: 11074 markings, 15052 edges, 173 markings/sec, 65 secs
lola: 11859 markings, 16131 edges, 157 markings/sec, 70 secs
lola: 12703 markings, 17281 edges, 169 markings/sec, 75 secs
lola: 13503 markings, 18368 edges, 160 markings/sec, 80 secs
lola: 14322 markings, 19450 edges, 164 markings/sec, 85 secs
lola: 15160 markings, 20594 edges, 168 markings/sec, 90 secs
lola: 15968 markings, 21730 edges, 162 markings/sec, 95 secs
lola: 16817 markings, 22910 edges, 170 markings/sec, 100 secs
lola: 17553 markings, 23890 edges, 147 markings/sec, 105 secs
lola: 18238 markings, 24820 edges, 137 markings/sec, 110 secs
lola: 19095 markings, 25970 edges, 171 markings/sec, 115 secs
lola: 19892 markings, 27071 edges, 159 markings/sec, 120 secs
lola: 20635 markings, 28058 edges, 149 markings/sec, 125 secs
lola: 21383 markings, 29054 edges, 150 markings/sec, 130 secs
lola: 22205 markings, 30161 edges, 164 markings/sec, 135 secs
lola: 22899 markings, 31099 edges, 139 markings/sec, 140 secs
lola: 23667 markings, 32111 edges, 154 markings/sec, 145 secs
lola: 24533 markings, 33273 edges, 173 markings/sec, 150 secs
lola: 25291 markings, 34301 edges, 152 markings/sec, 155 secs
lola: 26103 markings, 35399 edges, 162 markings/sec, 160 secs
lola: 26973 markings, 36581 edges, 174 markings/sec, 165 secs
lola: 27831 markings, 37747 edges, 172 markings/sec, 170 secs
lola: 28707 markings, 38958 edges, 175 markings/sec, 175 secs
lola: 29431 markings, 39964 edges, 145 markings/sec, 180 secs
lola: 30172 markings, 40962 edges, 148 markings/sec, 185 secs
lola: 31060 markings, 42201 edges, 178 markings/sec, 190 secs
lola: 31932 markings, 43370 edges, 174 markings/sec, 195 secs
lola: 32861 markings, 44657 edges, 186 markings/sec, 200 secs
lola: 33768 markings, 45882 edges, 181 markings/sec, 205 secs
lola: 34630 markings, 47082 edges, 172 markings/sec, 210 secs
lola: 35496 markings, 48250 edges, 173 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(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 20 markings, 19 edges, 4 markings/sec, 0 secs
lola: 116 markings, 213 edges, 19 markings/sec, 5 secs
lola: 238 markings, 470 edges, 24 markings/sec, 10 secs
lola: 386 markings, 810 edges, 30 markings/sec, 15 secs
lola: 513 markings, 1096 edges, 25 markings/sec, 20 secs
lola: 653 markings, 1416 edges, 28 markings/sec, 25 secs
lola: 787 markings, 1731 edges, 27 markings/sec, 30 secs
lola: 936 markings, 2088 edges, 30 markings/sec, 35 secs
lola: 1099 markings, 2497 edges, 33 markings/sec, 40 secs
lola: 1256 markings, 2868 edges, 31 markings/sec, 45 secs
lola: 1405 markings, 3250 edges, 30 markings/sec, 50 secs
lola: 1550 markings, 3596 edges, 29 markings/sec, 55 secs
lola: 1714 markings, 3991 edges, 33 markings/sec, 60 secs
lola: 1860 markings, 4346 edges, 29 markings/sec, 65 secs
lola: 2016 markings, 4713 edges, 31 markings/sec, 70 secs
lola: 2187 markings, 5170 edges, 34 markings/sec, 75 secs
lola: 2368 markings, 5767 edges, 36 markings/sec, 80 secs
lola: 2529 markings, 6214 edges, 32 markings/sec, 85 secs
lola: 2691 markings, 6677 edges, 32 markings/sec, 90 secs
lola: 2890 markings, 7279 edges, 40 markings/sec, 95 secs
lola: 3057 markings, 7695 edges, 33 markings/sec, 100 secs
lola: 3244 markings, 8215 edges, 37 markings/sec, 105 secs
lola: 3434 markings, 8804 edges, 38 markings/sec, 110 secs
lola: 3628 markings, 9366 edges, 39 markings/sec, 115 secs
lola: 3806 markings, 9871 edges, 36 markings/sec, 120 secs
lola: 3982 markings, 10349 edges, 35 markings/sec, 125 secs
lola: 4179 markings, 10909 edges, 39 markings/sec, 130 secs
lola: 4355 markings, 11401 edges, 35 markings/sec, 135 secs
lola: 4554 markings, 12000 edges, 40 markings/sec, 140 secs
lola: 4708 markings, 12387 edges, 31 markings/sec, 145 secs
lola: 4916 markings, 12987 edges, 42 markings/sec, 150 secs
lola: 5112 markings, 13547 edges, 39 markings/sec, 155 secs
lola: 5288 markings, 14013 edges, 35 markings/sec, 160 secs
lola: 5480 markings, 14542 edges, 38 markings/sec, 165 secs
lola: 5670 markings, 15068 edges, 38 markings/sec, 170 secs
lola: 5869 markings, 15656 edges, 40 markings/sec, 175 secs
lola: 6069 markings, 16166 edges, 40 markings/sec, 180 secs
lola: 6265 markings, 16677 edges, 39 markings/sec, 185 secs
lola: 6444 markings, 17201 edges, 36 markings/sec, 190 secs
lola: 6621 markings, 17676 edges, 35 markings/sec, 195 secs
lola: 6829 markings, 18254 edges, 42 markings/sec, 200 secs
lola: 7037 markings, 18812 edges, 42 markings/sec, 205 secs
lola: 7238 markings, 19358 edges, 40 markings/sec, 210 secs
lola: 7449 markings, 19972 edges, 42 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(Resources_1 + Resources_2 + Resources_3 + Resources_4 + Resources_5 + Resources_6 + Resources_7 + Resources_8 + Resources_9 + Resources_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 20 markings, 19 edges, 4 markings/sec, 0 secs
lola: 124 markings, 226 edges, 21 markings/sec, 5 secs
lola: 251 markings, 502 edges, 25 markings/sec, 10 secs
lola: 399 markings, 835 edges, 30 markings/sec, 15 secs
lola: 536 markings, 1150 edges, 27 markings/sec, 20 secs
lola: 674 markings, 1459 edges, 28 markings/sec, 25 secs
lola: 817 markings, 1801 edges, 29 markings/sec, 30 secs
lola: 966 markings, 2161 edges, 30 markings/sec, 35 secs
lola: 1146 markings, 2621 edges, 36 markings/sec, 40 secs
lola: 1296 markings, 3000 edges, 30 markings/sec, 45 secs
lola: 1448 markings, 3360 edges, 30 markings/sec, 50 secs
lola: 1605 markings, 3734 edges, 31 markings/sec, 55 secs
lola: 1773 markings, 4132 edges, 34 markings/sec, 60 secs
lola: 1937 markings, 4532 edges, 33 markings/sec, 65 secs
lola: 2114 markings, 4971 edges, 35 markings/sec, 70 secs
lola: 2297 markings, 5527 edges, 37 markings/sec, 75 secs
lola: 2468 markings, 6058 edges, 34 markings/sec, 80 secs
lola: 2625 markings, 6477 edges, 31 markings/sec, 85 secs
lola: 2823 markings, 7118 edges, 40 markings/sec, 90 secs
lola: 3013 markings, 7588 edges, 38 markings/sec, 95 secs
lola: 3201 markings, 8082 edges, 38 markings/sec, 100 secs
lola: 3395 markings, 8686 edges, 39 markings/sec, 105 secs
lola: 3595 markings, 9283 edges, 40 markings/sec, 110 secs
lola: 3789 markings, 9833 edges, 39 markings/sec, 115 secs
lola: 3961 markings, 10272 edges, 34 markings/sec, 120 secs
lola: 4178 markings, 10908 edges, 43 markings/sec, 125 secs
lola: 4372 markings, 11450 edges, 39 markings/sec, 130 secs
lola: 4583 markings, 12087 edges, 42 markings/sec, 135 secs
lola: 4754 markings, 12504 edges, 34 markings/sec, 140 secs
lola: 4988 markings, 13199 edges, 47 markings/sec, 145 secs
lola: 5173 markings, 13707 edges, 37 markings/sec, 150 secs
lola: 5378 markings, 14257 edges, 41 markings/sec, 155 secs
lola: 5582 markings, 14821 edges, 41 markings/sec, 160 secs
lola: 5796 markings, 15444 edges, 43 markings/sec, 165 secs
lola: 5996 markings, 15987 edges, 40 markings/sec, 170 secs
lola: 6199 markings, 16496 edges, 41 markings/sec, 175 secs
lola: 6378 markings, 17002 edges, 36 markings/sec, 180 secs
lola: 6557 markings, 17506 edges, 36 markings/sec, 185 secs
lola: 6755 markings, 18066 edges, 40 markings/sec, 190 secs
lola: 6969 markings, 18643 edges, 43 markings/sec, 195 secs
lola: 7173 markings, 19191 edges, 41 markings/sec, 200 secs
lola: 7380 markings, 19778 edges, 41 markings/sec, 205 secs
lola: 7611 markings, 20458 edges, 46 markings/sec, 210 secs
lola: 7830 markings, 21278 edges, 44 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(pr_in_1 + pr_in_2 + pr_in_3 + pr_in_4 + pr_in_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 675 markings, 907 edges, 135 markings/sec, 0 secs
lola: 1508 markings, 2045 edges, 167 markings/sec, 5 secs
lola: 2458 markings, 3345 edges, 190 markings/sec, 10 secs
lola: 3384 markings, 4613 edges, 185 markings/sec, 15 secs
lola: 4251 markings, 5782 edges, 173 markings/sec, 20 secs
lola: 5141 markings, 6992 edges, 178 markings/sec, 25 secs
lola: 5930 markings, 8063 edges, 158 markings/sec, 30 secs
lola: 6849 markings, 9297 edges, 184 markings/sec, 35 secs
lola: 7732 markings, 10507 edges, 177 markings/sec, 40 secs
lola: 8681 markings, 11786 edges, 190 markings/sec, 45 secs
lola: 9545 markings, 12972 edges, 173 markings/sec, 50 secs
lola: 10351 markings, 14083 edges, 161 markings/sec, 55 secs
lola: 11245 markings, 15288 edges, 179 markings/sec, 60 secs
lola: 12138 markings, 16538 edges, 179 markings/sec, 65 secs
lola: 13020 markings, 17730 edges, 176 markings/sec, 70 secs
lola: 13847 markings, 18830 edges, 165 markings/sec, 75 secs
lola: 14721 markings, 20004 edges, 175 markings/sec, 80 secs
lola: 15533 markings, 21127 edges, 162 markings/sec, 85 secs
lola: 16392 markings, 22332 edges, 172 markings/sec, 90 secs
lola: 17268 markings, 23514 edges, 175 markings/sec, 95 secs
lola: 18031 markings, 24540 edges, 153 markings/sec, 100 secs
lola: 18882 markings, 25685 edges, 170 markings/sec, 105 secs
lola: 19766 markings, 26901 edges, 177 markings/sec, 110 secs
lola: 20609 markings, 28025 edges, 169 markings/sec, 115 secs
lola: 21465 markings, 29160 edges, 171 markings/sec, 120 secs
lola: 22341 markings, 30341 edges, 175 markings/sec, 125 secs
lola: 23083 markings, 31338 edges, 148 markings/sec, 130 secs
lola: 23963 markings, 32514 edges, 176 markings/sec, 135 secs
lola: 24860 markings, 33716 edges, 179 markings/sec, 140 secs
lola: 25736 markings, 34903 edges, 175 markings/sec, 145 secs
lola: 26652 markings, 36135 edges, 183 markings/sec, 150 secs
lola: 27615 markings, 37453 edges, 193 markings/sec, 155 secs
lola: 28558 markings, 38761 edges, 189 markings/sec, 160 secs
lola: 29365 markings, 39876 edges, 161 markings/sec, 165 secs
lola: 30168 markings, 40956 edges, 161 markings/sec, 170 secs
lola: 31076 markings, 42222 edges, 182 markings/sec, 175 secs
lola: 31971 markings, 43421 edges, 179 markings/sec, 180 secs
lola: 32928 markings, 44748 edges, 191 markings/sec, 185 secs
lola: 33877 markings, 46039 edges, 190 markings/sec, 190 secs
lola: 34789 markings, 47304 edges, 182 markings/sec, 195 secs
lola: 35729 markings, 48568 edges, 188 markings/sec, 200 secs
lola: 36553 markings, 49709 edges, 165 markings/sec, 205 secs
lola: 37481 markings, 50943 edges, 186 markings/sec, 210 secs
lola: 38303 markings, 52091 edges, 164 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(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 19 edges, 3 markings/sec, 0 secs
lola: 64 markings, 104 edges, 10 markings/sec, 5 secs
lola: 106 markings, 168 edges, 8 markings/sec, 10 secs
lola: 128 markings, 204 edges, 4 markings/sec, 15 secs
lola: 184 markings, 305 edges, 11 markings/sec, 20 secs
lola: 223 markings, 367 edges, 8 markings/sec, 25 secs
lola: 273 markings, 451 edges, 10 markings/sec, 30 secs
lola: 321 markings, 525 edges, 10 markings/sec, 35 secs
lola: 452 markings, 735 edges, 26 markings/sec, 40 secs
lola: 703 markings, 1171 edges, 50 markings/sec, 45 secs
lola: 771 markings, 1292 edges, 14 markings/sec, 50 secs
lola: 884 markings, 1480 edges, 23 markings/sec, 55 secs
lola: 1032 markings, 1731 edges, 30 markings/sec, 60 secs
lola: 1137 markings, 1911 edges, 21 markings/sec, 65 secs
lola: 1198 markings, 2032 edges, 12 markings/sec, 70 secs
lola: 1261 markings, 2141 edges, 13 markings/sec, 75 secs
lola: 1308 markings, 2230 edges, 9 markings/sec, 80 secs
lola: 1328 markings, 2273 edges, 4 markings/sec, 85 secs
lola: 1375 markings, 2361 edges, 9 markings/sec, 90 secs
lola: 1448 markings, 2486 edges, 15 markings/sec, 95 secs
lola: 1494 markings, 2559 edges, 9 markings/sec, 100 secs
lola: 1535 markings, 2627 edges, 8 markings/sec, 105 secs
lola: 1699 markings, 2928 edges, 33 markings/sec, 110 secs
lola: 1776 markings, 3080 edges, 15 markings/sec, 115 secs
lola: 1869 markings, 3230 edges, 19 markings/sec, 120 secs
lola: 1961 markings, 3398 edges, 18 markings/sec, 125 secs
lola: 2090 markings, 3608 edges, 26 markings/sec, 130 secs
lola: 2221 markings, 3813 edges, 26 markings/sec, 135 secs
lola: 2407 markings, 4142 edges, 37 markings/sec, 140 secs
lola: 2470 markings, 4234 edges, 13 markings/sec, 145 secs
lola: 2593 markings, 4457 edges, 25 markings/sec, 150 secs
lola: 2810 markings, 4861 edges, 43 markings/sec, 155 secs
lola: 2955 markings, 5093 edges, 29 markings/sec, 160 secs
lola: 3087 markings, 5349 edges, 26 markings/sec, 165 secs
lola: 3269 markings, 5637 edges, 36 markings/sec, 170 secs
lola: 3337 markings, 5775 edges, 14 markings/sec, 175 secs
lola: 3356 markings, 5813 edges, 4 markings/sec, 180 secs
lola: 3388 markings, 5882 edges, 6 markings/sec, 185 secs
lola: 3592 markings, 6235 edges, 41 markings/sec, 190 secs
lola: 3706 markings, 6431 edges, 23 markings/sec, 195 secs
lola: 3896 markings, 6730 edges, 38 markings/sec, 200 secs
lola: 4107 markings, 7042 edges, 42 markings/sec, 205 secs
lola: 4339 markings, 7422 edges, 46 markings/sec, 210 secs
lola: 4412 markings, 7535 edges, 15 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pr_released_4 + pr_released_5 + pr_released_3 + pr_released_2 + pr_released_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 130 markings, 206 edges, 26 markings/sec, 0 secs
lola: 345 markings, 620 edges, 43 markings/sec, 5 secs
lola: 575 markings, 1066 edges, 46 markings/sec, 10 secs
lola: 815 markings, 1604 edges, 48 markings/sec, 15 secs
lola: 1056 markings, 2136 edges, 48 markings/sec, 20 secs
lola: 1319 markings, 2809 edges, 53 markings/sec, 25 secs
lola: 1575 markings, 3379 edges, 51 markings/sec, 30 secs
lola: 1877 markings, 4112 edges, 60 markings/sec, 35 secs
lola: 2171 markings, 4827 edges, 59 markings/sec, 40 secs
lola: 2468 markings, 5558 edges, 59 markings/sec, 45 secs
lola: 2788 markings, 6356 edges, 64 markings/sec, 50 secs
lola: 3121 markings, 7232 edges, 67 markings/sec, 55 secs
lola: 3386 markings, 7844 edges, 53 markings/sec, 60 secs
lola: 3710 markings, 8670 edges, 65 markings/sec, 65 secs
lola: 4010 markings, 9440 edges, 60 markings/sec, 70 secs
lola: 4352 markings, 10420 edges, 68 markings/sec, 75 secs
lola: 4695 markings, 11310 edges, 69 markings/sec, 80 secs
lola: 5018 markings, 12198 edges, 65 markings/sec, 85 secs
lola: 5355 markings, 13141 edges, 67 markings/sec, 90 secs
lola: 5669 markings, 13931 edges, 63 markings/sec, 95 secs
lola: 5928 markings, 14462 edges, 52 markings/sec, 100 secs
lola: 6273 markings, 15394 edges, 69 markings/sec, 105 secs
lola: 6620 markings, 16333 edges, 69 markings/sec, 110 secs
lola: 6926 markings, 17140 edges, 61 markings/sec, 115 secs
lola: 7277 markings, 18048 edges, 70 markings/sec, 120 secs
lola: 7614 markings, 19010 edges, 67 markings/sec, 125 secs
lola: 7923 markings, 19753 edges, 62 markings/sec, 130 secs
lola: 8273 markings, 20626 edges, 70 markings/sec, 135 secs
lola: 8633 markings, 21644 edges, 72 markings/sec, 140 secs
lola: 8924 markings, 22455 edges, 58 markings/sec, 145 secs
lola: 9278 markings, 23502 edges, 71 markings/sec, 150 secs
lola: 9621 markings, 24458 edges, 69 markings/sec, 155 secs
lola: 9931 markings, 25274 edges, 62 markings/sec, 160 secs
lola: 10297 markings, 26350 edges, 73 markings/sec, 165 secs
lola: 10628 markings, 27223 edges, 66 markings/sec, 170 secs
lola: 10986 markings, 28273 edges, 72 markings/sec, 175 secs
lola: 11366 markings, 29403 edges, 76 markings/sec, 180 secs
lola: 11703 markings, 30335 edges, 67 markings/sec, 185 secs
lola: 12071 markings, 31313 edges, 74 markings/sec, 190 secs
lola: 12421 markings, 32211 edges, 70 markings/sec, 195 secs
lola: 12755 markings, 33206 edges, 67 markings/sec, 200 secs
lola: 13137 markings, 34190 edges, 76 markings/sec, 205 secs
lola: 13506 markings, 35295 edges, 74 markings/sec, 210 secs
lola: 13838 markings, 36194 edges, 66 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Processes_1 + Processes_2 + Processes_3 + Processes_4 + Processes_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 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: 14 markings, 19 edges, 3 markings/sec, 0 secs
lola: 56 markings, 91 edges, 8 markings/sec, 5 secs
lola: 105 markings, 167 edges, 10 markings/sec, 10 secs
lola: 128 markings, 204 edges, 5 markings/sec, 15 secs
lola: 178 markings, 297 edges, 10 markings/sec, 20 secs
lola: 222 markings, 365 edges, 9 markings/sec, 25 secs
lola: 270 markings, 447 edges, 10 markings/sec, 30 secs
lola: 320 markings, 523 edges, 10 markings/sec, 35 secs
lola: 435 markings, 704 edges, 23 markings/sec, 40 secs
lola: 696 markings, 1158 edges, 52 markings/sec, 45 secs
lola: 770 markings, 1291 edges, 15 markings/sec, 50 secs
lola: 880 markings, 1474 edges, 22 markings/sec, 55 secs
lola: 1021 markings, 1713 edges, 28 markings/sec, 60 secs
lola: 1135 markings, 1908 edges, 23 markings/sec, 65 secs
lola: 1188 markings, 2016 edges, 11 markings/sec, 70 secs
lola: 1260 markings, 2140 edges, 14 markings/sec, 75 secs
lola: 1308 markings, 2230 edges, 10 markings/sec, 80 secs
lola: 1327 markings, 2270 edges, 4 markings/sec, 85 secs
lola: 1368 markings, 2348 edges, 8 markings/sec, 90 secs
lola: 1444 markings, 2478 edges, 15 markings/sec, 95 secs
lola: 1493 markings, 2557 edges, 10 markings/sec, 100 secs
lola: 1534 markings, 2626 edges, 8 markings/sec, 105 secs
lola: 1694 markings, 2919 edges, 32 markings/sec, 110 secs
lola: 1775 markings, 3079 edges, 16 markings/sec, 115 secs
lola: 1863 markings, 3219 edges, 18 markings/sec, 120 secs
lola: 1955 markings, 3388 edges, 18 markings/sec, 125 secs
lola: 2087 markings, 3600 edges, 26 markings/sec, 130 secs
lola: 2206 markings, 3790 edges, 24 markings/sec, 135 secs
lola: 2384 markings, 4108 edges, 36 markings/sec, 140 secs
lola: 2460 markings, 4219 edges, 15 markings/sec, 145 secs
lola: 2530 markings, 4342 edges, 14 markings/sec, 150 secs
lola: 2772 markings, 4805 edges, 48 markings/sec, 155 secs
lola: 2911 markings, 5027 edges, 28 markings/sec, 160 secs
lola: 3050 markings, 5266 edges, 28 markings/sec, 165 secs
lola: 3217 markings, 5554 edges, 33 markings/sec, 170 secs
lola: 3321 markings, 5736 edges, 21 markings/sec, 175 secs
lola: 3348 markings, 5795 edges, 5 markings/sec, 180 secs
lola: 3374 markings, 5858 edges, 5 markings/sec, 185 secs
lola: 3563 markings, 6173 edges, 38 markings/sec, 190 secs
lola: 3704 markings, 6424 edges, 28 markings/sec, 195 secs
lola: 3896 markings, 6730 edges, 38 markings/sec, 200 secs
lola: 4112 markings, 7053 edges, 43 markings/sec, 205 secs
lola: 4360 markings, 7457 edges, 50 markings/sec, 210 secs
lola: 4418 markings, 7544 edges, 12 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA GlobalResAllocation-COL-05-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GlobalResAllocation-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494721142302

--------------------
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="GlobalResAllocation-PT-05"
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/GlobalResAllocation-PT-05.tgz
mv GlobalResAllocation-PT-05 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 GlobalResAllocation-PT-05, 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 r028-blw3-149440264400497"
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 ;