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_ARMCacheCoherence-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074100155
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496333698608


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


checking for too many tokens
===========================================================================================
S_ARMCacheCoherence-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_ARMCacheCoherence-PT-none @ 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: 33763/65536 symbol table entries, 18925 collisions
lola: preprocessing...
lola: finding significant places
lola: 87 places, 33676 transitions, 75 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1209 transition conflict sets
lola: TASK
lola: reading formula from ARMCacheCoherence-PT-none-UpperBounds.task
lola: MAX(p5) : MAX(p52) : MAX(p72) : MAX(p41) : MAX(p63) : MAX(p12) : MAX(p49) : MAX(p23) : MAX(p86) : MAX(p48) : MAX(p44) : MAX(p47) : MAX(p64) : MAX(p46) : MAX(p35) : MAX(p28)
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(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 40 markings, 55 edges, 8 markings/sec, 0 secs
lola: 85 markings, 226 edges, 9 markings/sec, 5 secs
lola: 135 markings, 736 edges, 10 markings/sec, 10 secs
lola: 196 markings, 1464 edges, 12 markings/sec, 15 secs
lola: 249 markings, 2017 edges, 11 markings/sec, 20 secs
lola: 299 markings, 2633 edges, 10 markings/sec, 25 secs
lola: 353 markings, 3294 edges, 11 markings/sec, 30 secs
lola: 410 markings, 3972 edges, 11 markings/sec, 35 secs
lola: 459 markings, 4524 edges, 10 markings/sec, 40 secs
lola: 507 markings, 5058 edges, 10 markings/sec, 45 secs
lola: 562 markings, 5663 edges, 11 markings/sec, 50 secs
lola: 618 markings, 6153 edges, 11 markings/sec, 55 secs
lola: 674 markings, 6699 edges, 11 markings/sec, 60 secs
lola: 739 markings, 7097 edges, 13 markings/sec, 65 secs
lola: 786 markings, 7807 edges, 9 markings/sec, 70 secs
lola: 847 markings, 8238 edges, 12 markings/sec, 75 secs
lola: 898 markings, 8618 edges, 10 markings/sec, 80 secs
lola: 952 markings, 9059 edges, 11 markings/sec, 85 secs
lola: 1014 markings, 9415 edges, 12 markings/sec, 90 secs
lola: 1069 markings, 10170 edges, 11 markings/sec, 95 secs
lola: 1127 markings, 10726 edges, 12 markings/sec, 100 secs
lola: 1186 markings, 11139 edges, 12 markings/sec, 105 secs
lola: 1255 markings, 11677 edges, 14 markings/sec, 110 secs
lola: 1304 markings, 12146 edges, 10 markings/sec, 115 secs
lola: 1356 markings, 12745 edges, 10 markings/sec, 120 secs
lola: 1414 markings, 13328 edges, 12 markings/sec, 125 secs
lola: 1468 markings, 13602 edges, 11 markings/sec, 130 secs
lola: 1519 markings, 14126 edges, 10 markings/sec, 135 secs
lola: 1578 markings, 14827 edges, 12 markings/sec, 140 secs
lola: 1629 markings, 15471 edges, 10 markings/sec, 145 secs
lola: 1748 markings, 15811 edges, 24 markings/sec, 150 secs
lola: 1798 markings, 15926 edges, 10 markings/sec, 155 secs
lola: 1848 markings, 16338 edges, 10 markings/sec, 160 secs
lola: 1900 markings, 16836 edges, 10 markings/sec, 165 secs
lola: 1954 markings, 17386 edges, 11 markings/sec, 170 secs
lola: 2003 markings, 18015 edges, 10 markings/sec, 175 secs
lola: 2064 markings, 18789 edges, 12 markings/sec, 180 secs
lola: 2117 markings, 19864 edges, 11 markings/sec, 185 secs
lola: 2173 markings, 20441 edges, 11 markings/sec, 190 secs
lola: 2221 markings, 20731 edges, 10 markings/sec, 195 secs
lola: 2280 markings, 21185 edges, 12 markings/sec, 200 secs
lola: 2332 markings, 21722 edges, 10 markings/sec, 205 secs
lola: 2386 markings, 22267 edges, 11 markings/sec, 210 secs
lola: 2439 markings, 22867 edges, 11 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(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 46 markings, 399 edges, 9 markings/sec, 0 secs
lola: 96 markings, 926 edges, 10 markings/sec, 5 secs
lola: 150 markings, 1800 edges, 11 markings/sec, 10 secs
lola: 203 markings, 2622 edges, 11 markings/sec, 15 secs
lola: 262 markings, 3552 edges, 12 markings/sec, 20 secs
lola: 313 markings, 4241 edges, 10 markings/sec, 25 secs
lola: 361 markings, 4796 edges, 10 markings/sec, 30 secs
lola: 411 markings, 5512 edges, 10 markings/sec, 35 secs
lola: 454 markings, 6161 edges, 9 markings/sec, 40 secs
lola: 502 markings, 7030 edges, 10 markings/sec, 45 secs
lola: 558 markings, 7829 edges, 11 markings/sec, 50 secs
lola: 614 markings, 8574 edges, 11 markings/sec, 55 secs
lola: 664 markings, 9171 edges, 10 markings/sec, 60 secs
lola: 707 markings, 9674 edges, 9 markings/sec, 65 secs
lola: 759 markings, 10371 edges, 10 markings/sec, 70 secs
lola: 822 markings, 10884 edges, 13 markings/sec, 75 secs
lola: 883 markings, 11767 edges, 12 markings/sec, 80 secs
lola: 940 markings, 12266 edges, 11 markings/sec, 85 secs
lola: 995 markings, 12980 edges, 11 markings/sec, 90 secs
lola: 1050 markings, 14163 edges, 11 markings/sec, 95 secs
lola: 1103 markings, 14621 edges, 11 markings/sec, 100 secs
lola: 1168 markings, 15857 edges, 13 markings/sec, 105 secs
lola: 1230 markings, 17656 edges, 12 markings/sec, 110 secs
lola: 1307 markings, 20062 edges, 15 markings/sec, 115 secs
lola: 1356 markings, 20802 edges, 10 markings/sec, 120 secs
lola: 1402 markings, 21515 edges, 9 markings/sec, 125 secs
lola: 1447 markings, 22466 edges, 9 markings/sec, 130 secs
lola: 1498 markings, 23239 edges, 10 markings/sec, 135 secs
lola: 1560 markings, 23815 edges, 12 markings/sec, 140 secs
lola: 1611 markings, 24676 edges, 10 markings/sec, 145 secs
lola: 1660 markings, 25325 edges, 10 markings/sec, 150 secs
lola: 1723 markings, 25987 edges, 13 markings/sec, 155 secs
lola: 1777 markings, 26760 edges, 11 markings/sec, 160 secs
lola: 1834 markings, 27472 edges, 11 markings/sec, 165 secs
lola: 1894 markings, 28563 edges, 12 markings/sec, 170 secs
lola: 1947 markings, 29344 edges, 11 markings/sec, 175 secs
lola: 1996 markings, 30291 edges, 10 markings/sec, 180 secs
lola: 2056 markings, 31221 edges, 12 markings/sec, 185 secs
lola: 2111 markings, 32225 edges, 11 markings/sec, 190 secs
lola: 2167 markings, 33070 edges, 11 markings/sec, 195 secs
lola: 2230 markings, 34150 edges, 13 markings/sec, 200 secs
lola: 2295 markings, 35143 edges, 13 markings/sec, 205 secs
lola: 2361 markings, 36425 edges, 13 markings/sec, 210 secs
lola: 2402 markings, 37115 edges, 8 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(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 52 markings, 128 edges, 10 markings/sec, 0 secs
lola: 115 markings, 263 edges, 13 markings/sec, 5 secs
lola: 214 markings, 496 edges, 20 markings/sec, 10 secs
lola: 295 markings, 711 edges, 16 markings/sec, 15 secs
lola: 361 markings, 837 edges, 13 markings/sec, 20 secs
lola: 441 markings, 1018 edges, 16 markings/sec, 25 secs
lola: 509 markings, 1204 edges, 14 markings/sec, 30 secs
lola: 590 markings, 1411 edges, 16 markings/sec, 35 secs
lola: 667 markings, 1603 edges, 15 markings/sec, 40 secs
lola: 772 markings, 1828 edges, 21 markings/sec, 45 secs
lola: 830 markings, 1925 edges, 12 markings/sec, 50 secs
lola: 894 markings, 2071 edges, 13 markings/sec, 55 secs
lola: 988 markings, 2279 edges, 19 markings/sec, 60 secs
lola: 1075 markings, 2482 edges, 17 markings/sec, 65 secs
lola: 1159 markings, 2713 edges, 17 markings/sec, 70 secs
lola: 1223 markings, 2950 edges, 13 markings/sec, 75 secs
lola: 1300 markings, 3167 edges, 15 markings/sec, 80 secs
lola: 1407 markings, 3432 edges, 21 markings/sec, 85 secs
lola: 1461 markings, 3662 edges, 11 markings/sec, 90 secs
lola: 1556 markings, 3894 edges, 19 markings/sec, 95 secs
lola: 1647 markings, 4121 edges, 18 markings/sec, 100 secs
lola: 1714 markings, 4272 edges, 13 markings/sec, 105 secs
lola: 1790 markings, 4438 edges, 15 markings/sec, 110 secs
lola: 1874 markings, 4681 edges, 17 markings/sec, 115 secs
lola: 1986 markings, 4924 edges, 22 markings/sec, 120 secs
lola: 2054 markings, 5127 edges, 14 markings/sec, 125 secs
lola: 2140 markings, 5335 edges, 17 markings/sec, 130 secs
lola: 2235 markings, 5663 edges, 19 markings/sec, 135 secs
lola: 2333 markings, 5875 edges, 20 markings/sec, 140 secs
lola: 2397 markings, 6009 edges, 13 markings/sec, 145 secs
lola: 2475 markings, 6199 edges, 16 markings/sec, 150 secs
lola: 2565 markings, 6387 edges, 18 markings/sec, 155 secs
lola: 2622 markings, 6505 edges, 11 markings/sec, 160 secs
lola: 2680 markings, 6635 edges, 12 markings/sec, 165 secs
lola: 2743 markings, 6839 edges, 13 markings/sec, 170 secs
lola: 2847 markings, 7119 edges, 21 markings/sec, 175 secs
lola: 2935 markings, 7340 edges, 18 markings/sec, 180 secs
lola: 3013 markings, 7628 edges, 16 markings/sec, 185 secs
lola: 3080 markings, 7824 edges, 13 markings/sec, 190 secs
lola: 3190 markings, 8061 edges, 22 markings/sec, 195 secs
lola: 3302 markings, 8349 edges, 22 markings/sec, 200 secs
lola: 3401 markings, 8555 edges, 20 markings/sec, 205 secs
lola: 3503 markings, 8793 edges, 20 markings/sec, 210 secs
lola: 3651 markings, 9135 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 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 53 markings, 213 edges, 11 markings/sec, 0 secs
lola: 100 markings, 351 edges, 9 markings/sec, 5 secs
lola: 162 markings, 696 edges, 12 markings/sec, 10 secs
lola: 231 markings, 1402 edges, 14 markings/sec, 15 secs
lola: 317 markings, 1925 edges, 17 markings/sec, 20 secs
lola: 380 markings, 2639 edges, 13 markings/sec, 25 secs
lola: 464 markings, 3711 edges, 17 markings/sec, 30 secs
lola: 536 markings, 4226 edges, 14 markings/sec, 35 secs
lola: 614 markings, 4934 edges, 16 markings/sec, 40 secs
lola: 705 markings, 5741 edges, 18 markings/sec, 45 secs
lola: 769 markings, 7288 edges, 13 markings/sec, 50 secs
lola: 836 markings, 7652 edges, 13 markings/sec, 55 secs
lola: 892 markings, 8512 edges, 11 markings/sec, 60 secs
lola: 964 markings, 8991 edges, 14 markings/sec, 65 secs
lola: 1043 markings, 9884 edges, 16 markings/sec, 70 secs
lola: 1099 markings, 11297 edges, 11 markings/sec, 75 secs
lola: 1172 markings, 12051 edges, 15 markings/sec, 80 secs
lola: 1238 markings, 13184 edges, 13 markings/sec, 85 secs
lola: 1300 markings, 13543 edges, 12 markings/sec, 90 secs
lola: 1368 markings, 14085 edges, 14 markings/sec, 95 secs
lola: 1429 markings, 14631 edges, 12 markings/sec, 100 secs
lola: 1477 markings, 15459 edges, 10 markings/sec, 105 secs
lola: 1522 markings, 16568 edges, 9 markings/sec, 110 secs
lola: 1591 markings, 17133 edges, 14 markings/sec, 115 secs
lola: 1644 markings, 18123 edges, 11 markings/sec, 120 secs
lola: 1704 markings, 18429 edges, 12 markings/sec, 125 secs
lola: 1775 markings, 18955 edges, 14 markings/sec, 130 secs
lola: 1823 markings, 19963 edges, 10 markings/sec, 135 secs
lola: 1903 markings, 21042 edges, 16 markings/sec, 140 secs
lola: 1985 markings, 22384 edges, 16 markings/sec, 145 secs
lola: 2038 markings, 23415 edges, 11 markings/sec, 150 secs
lola: 2105 markings, 24138 edges, 13 markings/sec, 155 secs
lola: 2182 markings, 25245 edges, 15 markings/sec, 160 secs
lola: 2252 markings, 25787 edges, 14 markings/sec, 165 secs
lola: 2329 markings, 26460 edges, 15 markings/sec, 170 secs
lola: 2405 markings, 27106 edges, 15 markings/sec, 175 secs
lola: 2470 markings, 27821 edges, 13 markings/sec, 180 secs
lola: 2535 markings, 28963 edges, 13 markings/sec, 185 secs
lola: 2612 markings, 30240 edges, 15 markings/sec, 190 secs
lola: 2708 markings, 31371 edges, 19 markings/sec, 195 secs
lola: 2780 markings, 33107 edges, 14 markings/sec, 200 secs
lola: 2863 markings, 33382 edges, 17 markings/sec, 205 secs
lola: 2935 markings, 34674 edges, 14 markings/sec, 210 secs
lola: 2996 markings, 35931 edges, 12 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(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 53 markings, 121 edges, 11 markings/sec, 0 secs
lola: 123 markings, 241 edges, 14 markings/sec, 5 secs
lola: 192 markings, 395 edges, 14 markings/sec, 10 secs
lola: 259 markings, 534 edges, 13 markings/sec, 15 secs
lola: 322 markings, 701 edges, 13 markings/sec, 20 secs
lola: 385 markings, 813 edges, 13 markings/sec, 25 secs
lola: 457 markings, 985 edges, 14 markings/sec, 30 secs
lola: 557 markings, 1236 edges, 20 markings/sec, 35 secs
lola: 656 markings, 1453 edges, 20 markings/sec, 40 secs
lola: 763 markings, 1714 edges, 21 markings/sec, 45 secs
lola: 861 markings, 2045 edges, 20 markings/sec, 50 secs
lola: 943 markings, 2807 edges, 16 markings/sec, 55 secs
lola: 1020 markings, 3136 edges, 15 markings/sec, 60 secs
lola: 1092 markings, 4274 edges, 14 markings/sec, 65 secs
lola: 1180 markings, 4563 edges, 18 markings/sec, 70 secs
lola: 1279 markings, 4801 edges, 20 markings/sec, 75 secs
lola: 1355 markings, 5063 edges, 15 markings/sec, 80 secs
lola: 1430 markings, 5253 edges, 15 markings/sec, 85 secs
lola: 1493 markings, 5407 edges, 13 markings/sec, 90 secs
lola: 1580 markings, 5589 edges, 17 markings/sec, 95 secs
lola: 1647 markings, 5927 edges, 13 markings/sec, 100 secs
lola: 1723 markings, 6266 edges, 15 markings/sec, 105 secs
lola: 1802 markings, 6506 edges, 16 markings/sec, 110 secs
lola: 1872 markings, 6675 edges, 14 markings/sec, 115 secs
lola: 1939 markings, 6852 edges, 13 markings/sec, 120 secs
lola: 2050 markings, 7129 edges, 22 markings/sec, 125 secs
lola: 2120 markings, 7499 edges, 14 markings/sec, 130 secs
lola: 2207 markings, 7872 edges, 17 markings/sec, 135 secs
lola: 2299 markings, 8275 edges, 18 markings/sec, 140 secs
lola: 2390 markings, 8576 edges, 18 markings/sec, 145 secs
lola: 2478 markings, 8907 edges, 18 markings/sec, 150 secs
lola: 2557 markings, 9249 edges, 16 markings/sec, 155 secs
lola: 2647 markings, 9541 edges, 18 markings/sec, 160 secs
lola: 2726 markings, 9746 edges, 16 markings/sec, 165 secs
lola: 2824 markings, 9957 edges, 20 markings/sec, 170 secs
lola: 2909 markings, 10138 edges, 17 markings/sec, 175 secs
lola: 2988 markings, 10288 edges, 16 markings/sec, 180 secs
lola: 3084 markings, 10534 edges, 19 markings/sec, 185 secs
lola: 3151 markings, 10775 edges, 13 markings/sec, 190 secs
lola: 3229 markings, 10959 edges, 16 markings/sec, 195 secs
lola: 3291 markings, 11126 edges, 12 markings/sec, 200 secs
lola: 3362 markings, 11423 edges, 14 markings/sec, 205 secs
lola: 3445 markings, 11588 edges, 17 markings/sec, 210 secs
lola: 3510 markings, 11729 edges, 13 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(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 59 markings, 69 edges, 12 markings/sec, 0 secs
lola: 121 markings, 192 edges, 12 markings/sec, 5 secs
lola: 186 markings, 844 edges, 13 markings/sec, 10 secs
lola: 256 markings, 1647 edges, 14 markings/sec, 15 secs
lola: 320 markings, 2766 edges, 13 markings/sec, 20 secs
lola: 383 markings, 3338 edges, 13 markings/sec, 25 secs
lola: 442 markings, 3745 edges, 12 markings/sec, 30 secs
lola: 495 markings, 4682 edges, 11 markings/sec, 35 secs
lola: 561 markings, 5779 edges, 13 markings/sec, 40 secs
lola: 625 markings, 6322 edges, 13 markings/sec, 45 secs
lola: 691 markings, 7016 edges, 13 markings/sec, 50 secs
lola: 756 markings, 7775 edges, 13 markings/sec, 55 secs
lola: 822 markings, 8251 edges, 13 markings/sec, 60 secs
lola: 883 markings, 8387 edges, 12 markings/sec, 65 secs
lola: 952 markings, 9326 edges, 14 markings/sec, 70 secs
lola: 1019 markings, 10036 edges, 13 markings/sec, 75 secs
lola: 1082 markings, 10797 edges, 13 markings/sec, 80 secs
lola: 1151 markings, 11286 edges, 14 markings/sec, 85 secs
lola: 1214 markings, 12403 edges, 13 markings/sec, 90 secs
lola: 1280 markings, 13487 edges, 13 markings/sec, 95 secs
lola: 1353 markings, 15242 edges, 15 markings/sec, 100 secs
lola: 1418 markings, 16765 edges, 13 markings/sec, 105 secs
lola: 1487 markings, 17654 edges, 14 markings/sec, 110 secs
lola: 1554 markings, 18557 edges, 13 markings/sec, 115 secs
lola: 1623 markings, 19333 edges, 14 markings/sec, 120 secs
lola: 1686 markings, 20261 edges, 13 markings/sec, 125 secs
lola: 1750 markings, 21169 edges, 13 markings/sec, 130 secs
lola: 1808 markings, 21454 edges, 12 markings/sec, 135 secs
lola: 1869 markings, 22060 edges, 12 markings/sec, 140 secs
lola: 1924 markings, 22624 edges, 11 markings/sec, 145 secs
lola: 1977 markings, 24344 edges, 11 markings/sec, 150 secs
lola: 2044 markings, 25323 edges, 13 markings/sec, 155 secs
lola: 2108 markings, 26034 edges, 13 markings/sec, 160 secs
lola: 2172 markings, 26606 edges, 13 markings/sec, 165 secs
lola: 2241 markings, 27334 edges, 14 markings/sec, 170 secs
lola: 2311 markings, 28084 edges, 14 markings/sec, 175 secs
lola: 2380 markings, 28716 edges, 14 markings/sec, 180 secs
lola: 2440 markings, 29116 edges, 12 markings/sec, 185 secs
lola: 2504 markings, 30146 edges, 13 markings/sec, 190 secs
lola: 2568 markings, 30685 edges, 13 markings/sec, 195 secs
lola: 2627 markings, 30854 edges, 12 markings/sec, 200 secs
lola: 2694 markings, 30981 edges, 13 markings/sec, 205 secs
lola: 2767 markings, 31379 edges, 15 markings/sec, 210 secs
lola: 2842 markings, 31902 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 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 73 markings, 170 edges, 15 markings/sec, 0 secs
lola: 186 markings, 415 edges, 23 markings/sec, 5 secs
lola: 300 markings, 1138 edges, 23 markings/sec, 10 secs
lola: 377 markings, 1938 edges, 15 markings/sec, 15 secs
lola: 516 markings, 2306 edges, 28 markings/sec, 20 secs
lola: 607 markings, 2901 edges, 18 markings/sec, 25 secs
lola: 723 markings, 3647 edges, 23 markings/sec, 30 secs
lola: 829 markings, 4164 edges, 21 markings/sec, 35 secs
lola: 901 markings, 4966 edges, 14 markings/sec, 40 secs
lola: 971 markings, 5420 edges, 14 markings/sec, 45 secs
lola: 1033 markings, 6635 edges, 12 markings/sec, 50 secs
lola: 1119 markings, 7439 edges, 17 markings/sec, 55 secs
lola: 1189 markings, 8333 edges, 14 markings/sec, 60 secs
lola: 1287 markings, 8774 edges, 20 markings/sec, 65 secs
lola: 1417 markings, 9192 edges, 26 markings/sec, 70 secs
lola: 1498 markings, 10287 edges, 16 markings/sec, 75 secs
lola: 1566 markings, 11012 edges, 14 markings/sec, 80 secs
lola: 1645 markings, 11936 edges, 16 markings/sec, 85 secs
lola: 1712 markings, 12840 edges, 13 markings/sec, 90 secs
lola: 1776 markings, 14574 edges, 13 markings/sec, 95 secs
lola: 1850 markings, 15319 edges, 15 markings/sec, 100 secs
lola: 1928 markings, 16446 edges, 16 markings/sec, 105 secs
lola: 1982 markings, 17959 edges, 11 markings/sec, 110 secs
lola: 2070 markings, 19132 edges, 18 markings/sec, 115 secs
lola: 2177 markings, 19610 edges, 21 markings/sec, 120 secs
lola: 2250 markings, 20910 edges, 15 markings/sec, 125 secs
lola: 2328 markings, 21896 edges, 16 markings/sec, 130 secs
lola: 2391 markings, 23052 edges, 13 markings/sec, 135 secs
lola: 2475 markings, 25234 edges, 17 markings/sec, 140 secs
lola: 2556 markings, 26579 edges, 16 markings/sec, 145 secs
lola: 2616 markings, 27820 edges, 12 markings/sec, 150 secs
lola: 2696 markings, 28388 edges, 16 markings/sec, 155 secs
lola: 2781 markings, 29304 edges, 17 markings/sec, 160 secs
lola: 2875 markings, 31281 edges, 19 markings/sec, 165 secs
lola: 2954 markings, 32006 edges, 16 markings/sec, 170 secs
lola: 3021 markings, 32848 edges, 13 markings/sec, 175 secs
lola: 3094 markings, 33961 edges, 15 markings/sec, 180 secs
lola: 3168 markings, 34875 edges, 15 markings/sec, 185 secs
lola: 3256 markings, 35911 edges, 18 markings/sec, 190 secs
lola: 3386 markings, 36330 edges, 26 markings/sec, 195 secs
lola: 3456 markings, 37061 edges, 14 markings/sec, 200 secs
lola: 3535 markings, 38138 edges, 16 markings/sec, 205 secs
lola: 3618 markings, 38873 edges, 17 markings/sec, 210 secs
lola: 3684 markings, 39914 edges, 13 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(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 49 markings, 134 edges, 10 markings/sec, 0 secs
lola: 110 markings, 613 edges, 12 markings/sec, 5 secs
lola: 164 markings, 1175 edges, 11 markings/sec, 10 secs
lola: 229 markings, 2176 edges, 13 markings/sec, 15 secs
lola: 279 markings, 2616 edges, 10 markings/sec, 20 secs
lola: 342 markings, 3442 edges, 13 markings/sec, 25 secs
lola: 415 markings, 5102 edges, 15 markings/sec, 30 secs
lola: 468 markings, 5898 edges, 11 markings/sec, 35 secs
lola: 538 markings, 6825 edges, 14 markings/sec, 40 secs
lola: 606 markings, 7923 edges, 14 markings/sec, 45 secs
lola: 672 markings, 9917 edges, 13 markings/sec, 50 secs
lola: 727 markings, 10827 edges, 11 markings/sec, 55 secs
lola: 791 markings, 13082 edges, 13 markings/sec, 60 secs
lola: 858 markings, 14608 edges, 13 markings/sec, 65 secs
lola: 921 markings, 15807 edges, 13 markings/sec, 70 secs
lola: 983 markings, 17149 edges, 12 markings/sec, 75 secs
lola: 1049 markings, 18457 edges, 13 markings/sec, 80 secs
lola: 1130 markings, 19778 edges, 16 markings/sec, 85 secs
lola: 1213 markings, 21182 edges, 17 markings/sec, 90 secs
lola: 1267 markings, 21814 edges, 11 markings/sec, 95 secs
lola: 1329 markings, 22718 edges, 12 markings/sec, 100 secs
lola: 1395 markings, 24124 edges, 13 markings/sec, 105 secs
lola: 1460 markings, 25778 edges, 13 markings/sec, 110 secs
lola: 1513 markings, 26425 edges, 11 markings/sec, 115 secs
lola: 1573 markings, 26860 edges, 12 markings/sec, 120 secs
lola: 1633 markings, 27514 edges, 12 markings/sec, 125 secs
lola: 1700 markings, 28738 edges, 13 markings/sec, 130 secs
lola: 1775 markings, 29751 edges, 15 markings/sec, 135 secs
lola: 1840 markings, 30480 edges, 13 markings/sec, 140 secs
lola: 1905 markings, 31417 edges, 13 markings/sec, 145 secs
lola: 1965 markings, 32146 edges, 12 markings/sec, 150 secs
lola: 2027 markings, 32974 edges, 12 markings/sec, 155 secs
lola: 2083 markings, 33886 edges, 11 markings/sec, 160 secs
lola: 2147 markings, 35280 edges, 13 markings/sec, 165 secs
lola: 2222 markings, 37316 edges, 15 markings/sec, 170 secs
lola: 2280 markings, 38527 edges, 12 markings/sec, 175 secs
lola: 2356 markings, 40903 edges, 15 markings/sec, 180 secs
lola: 2417 markings, 43208 edges, 12 markings/sec, 185 secs
lola: 2479 markings, 43487 edges, 12 markings/sec, 190 secs
lola: 2547 markings, 44485 edges, 14 markings/sec, 195 secs
lola: 2618 markings, 45811 edges, 14 markings/sec, 200 secs
lola: 2675 markings, 47011 edges, 11 markings/sec, 205 secs
lola: 2731 markings, 47700 edges, 11 markings/sec, 210 secs
lola: 2786 markings, 48657 edges, 11 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(p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 98 markings, 487 edges, 20 markings/sec, 0 secs
lola: 169 markings, 1802 edges, 14 markings/sec, 5 secs
lola: 249 markings, 2931 edges, 16 markings/sec, 10 secs
lola: 340 markings, 3730 edges, 18 markings/sec, 15 secs
lola: 414 markings, 5074 edges, 15 markings/sec, 20 secs
lola: 491 markings, 6013 edges, 15 markings/sec, 25 secs
lola: 587 markings, 6602 edges, 19 markings/sec, 30 secs
lola: 667 markings, 7399 edges, 16 markings/sec, 35 secs
lola: 745 markings, 8208 edges, 16 markings/sec, 40 secs
lola: 815 markings, 9112 edges, 14 markings/sec, 45 secs
lola: 890 markings, 9863 edges, 15 markings/sec, 50 secs
lola: 980 markings, 10334 edges, 18 markings/sec, 55 secs
lola: 1048 markings, 10964 edges, 14 markings/sec, 60 secs
lola: 1127 markings, 11710 edges, 16 markings/sec, 65 secs
lola: 1195 markings, 12269 edges, 14 markings/sec, 70 secs
lola: 1260 markings, 12766 edges, 13 markings/sec, 75 secs
lola: 1324 markings, 13332 edges, 13 markings/sec, 80 secs
lola: 1379 markings, 14173 edges, 11 markings/sec, 85 secs
lola: 1439 markings, 14804 edges, 12 markings/sec, 90 secs
lola: 1498 markings, 15441 edges, 12 markings/sec, 95 secs
lola: 1554 markings, 16483 edges, 11 markings/sec, 100 secs
lola: 1620 markings, 17531 edges, 13 markings/sec, 105 secs
lola: 1689 markings, 18155 edges, 14 markings/sec, 110 secs
lola: 1768 markings, 18552 edges, 16 markings/sec, 115 secs
lola: 1862 markings, 19542 edges, 19 markings/sec, 120 secs
lola: 1930 markings, 20670 edges, 14 markings/sec, 125 secs
lola: 2001 markings, 21783 edges, 14 markings/sec, 130 secs
lola: 2080 markings, 22597 edges, 16 markings/sec, 135 secs
lola: 2170 markings, 23538 edges, 18 markings/sec, 140 secs
lola: 2256 markings, 24803 edges, 17 markings/sec, 145 secs
lola: 2344 markings, 25485 edges, 18 markings/sec, 150 secs
lola: 2427 markings, 26366 edges, 17 markings/sec, 155 secs
lola: 2523 markings, 26966 edges, 19 markings/sec, 160 secs
lola: 2600 markings, 27500 edges, 15 markings/sec, 165 secs
lola: 2671 markings, 28129 edges, 14 markings/sec, 170 secs
lola: 2755 markings, 28744 edges, 17 markings/sec, 175 secs
lola: 2836 markings, 30041 edges, 16 markings/sec, 180 secs
lola: 2920 markings, 30988 edges, 17 markings/sec, 185 secs
lola: 3003 markings, 32043 edges, 17 markings/sec, 190 secs
lola: 3076 markings, 32929 edges, 15 markings/sec, 195 secs
lola: 3165 markings, 33463 edges, 18 markings/sec, 200 secs
lola: 3246 markings, 34271 edges, 16 markings/sec, 205 secs
lola: 3360 markings, 35151 edges, 23 markings/sec, 210 secs
lola: 3443 markings, 35937 edges, 17 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 58 markings, 137 edges, 12 markings/sec, 0 secs
lola: 131 markings, 301 edges, 15 markings/sec, 5 secs
lola: 225 markings, 739 edges, 19 markings/sec, 10 secs
lola: 321 markings, 949 edges, 19 markings/sec, 15 secs
lola: 412 markings, 1179 edges, 18 markings/sec, 20 secs
lola: 486 markings, 1977 edges, 15 markings/sec, 25 secs
lola: 572 markings, 2855 edges, 17 markings/sec, 30 secs
lola: 634 markings, 3195 edges, 12 markings/sec, 35 secs
lola: 719 markings, 4386 edges, 17 markings/sec, 40 secs
lola: 820 markings, 4890 edges, 20 markings/sec, 45 secs
lola: 890 markings, 5707 edges, 14 markings/sec, 50 secs
lola: 957 markings, 5993 edges, 13 markings/sec, 55 secs
lola: 1058 markings, 6232 edges, 20 markings/sec, 60 secs
lola: 1151 markings, 6583 edges, 19 markings/sec, 65 secs
lola: 1246 markings, 6962 edges, 19 markings/sec, 70 secs
lola: 1329 markings, 8138 edges, 17 markings/sec, 75 secs
lola: 1407 markings, 8508 edges, 16 markings/sec, 80 secs
lola: 1468 markings, 8927 edges, 12 markings/sec, 85 secs
lola: 1550 markings, 9488 edges, 16 markings/sec, 90 secs
lola: 1635 markings, 9740 edges, 17 markings/sec, 95 secs
lola: 1726 markings, 10137 edges, 18 markings/sec, 100 secs
lola: 1809 markings, 10357 edges, 17 markings/sec, 105 secs
lola: 1885 markings, 10660 edges, 15 markings/sec, 110 secs
lola: 1968 markings, 11133 edges, 17 markings/sec, 115 secs
lola: 2030 markings, 11562 edges, 12 markings/sec, 120 secs
lola: 2103 markings, 11930 edges, 15 markings/sec, 125 secs
lola: 2203 markings, 12332 edges, 20 markings/sec, 130 secs
lola: 2292 markings, 13090 edges, 18 markings/sec, 135 secs
lola: 2373 markings, 13594 edges, 16 markings/sec, 140 secs
lola: 2477 markings, 14088 edges, 21 markings/sec, 145 secs
lola: 2552 markings, 14439 edges, 15 markings/sec, 150 secs
lola: 2636 markings, 15971 edges, 17 markings/sec, 155 secs
lola: 2707 markings, 17158 edges, 14 markings/sec, 160 secs
lola: 2789 markings, 17404 edges, 16 markings/sec, 165 secs
lola: 2882 markings, 17807 edges, 19 markings/sec, 170 secs
lola: 2967 markings, 18035 edges, 17 markings/sec, 175 secs
lola: 3055 markings, 18347 edges, 18 markings/sec, 180 secs
lola: 3156 markings, 18599 edges, 20 markings/sec, 185 secs
lola: 3248 markings, 18806 edges, 18 markings/sec, 190 secs
lola: 3331 markings, 19584 edges, 17 markings/sec, 195 secs
lola: 3408 markings, 20119 edges, 15 markings/sec, 200 secs
lola: 3480 markings, 20716 edges, 14 markings/sec, 205 secs
lola: 3551 markings, 21095 edges, 14 markings/sec, 210 secs
lola: 3641 markings, 22327 edges, 18 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(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 57 markings, 159 edges, 11 markings/sec, 0 secs
lola: 117 markings, 515 edges, 12 markings/sec, 5 secs
lola: 180 markings, 802 edges, 13 markings/sec, 10 secs
lola: 242 markings, 1340 edges, 12 markings/sec, 15 secs
lola: 304 markings, 1989 edges, 12 markings/sec, 20 secs
lola: 365 markings, 2494 edges, 12 markings/sec, 25 secs
lola: 425 markings, 2785 edges, 12 markings/sec, 30 secs
lola: 489 markings, 3411 edges, 13 markings/sec, 35 secs
lola: 545 markings, 3935 edges, 11 markings/sec, 40 secs
lola: 605 markings, 4864 edges, 12 markings/sec, 45 secs
lola: 676 markings, 5813 edges, 14 markings/sec, 50 secs
lola: 729 markings, 6089 edges, 11 markings/sec, 55 secs
lola: 791 markings, 6496 edges, 12 markings/sec, 60 secs
lola: 852 markings, 6993 edges, 12 markings/sec, 65 secs
lola: 913 markings, 7720 edges, 12 markings/sec, 70 secs
lola: 978 markings, 8616 edges, 13 markings/sec, 75 secs
lola: 1034 markings, 9226 edges, 11 markings/sec, 80 secs
lola: 1094 markings, 9852 edges, 12 markings/sec, 85 secs
lola: 1161 markings, 11671 edges, 13 markings/sec, 90 secs
lola: 1240 markings, 13922 edges, 16 markings/sec, 95 secs
lola: 1307 markings, 14812 edges, 13 markings/sec, 100 secs
lola: 1385 markings, 15797 edges, 16 markings/sec, 105 secs
lola: 1460 markings, 17246 edges, 15 markings/sec, 110 secs
lola: 1524 markings, 18279 edges, 13 markings/sec, 115 secs
lola: 1580 markings, 18864 edges, 11 markings/sec, 120 secs
lola: 1646 markings, 19932 edges, 13 markings/sec, 125 secs
lola: 1717 markings, 21101 edges, 14 markings/sec, 130 secs
lola: 1771 markings, 21585 edges, 11 markings/sec, 135 secs
lola: 1827 markings, 21814 edges, 11 markings/sec, 140 secs
lola: 1915 markings, 23335 edges, 18 markings/sec, 145 secs
lola: 1989 markings, 23497 edges, 15 markings/sec, 150 secs
lola: 2053 markings, 23669 edges, 13 markings/sec, 155 secs
lola: 2122 markings, 24082 edges, 14 markings/sec, 160 secs
lola: 2193 markings, 25226 edges, 14 markings/sec, 165 secs
lola: 2253 markings, 25840 edges, 12 markings/sec, 170 secs
lola: 2317 markings, 26473 edges, 13 markings/sec, 175 secs
lola: 2391 markings, 27440 edges, 15 markings/sec, 180 secs
lola: 2453 markings, 28255 edges, 12 markings/sec, 185 secs
lola: 2508 markings, 28587 edges, 11 markings/sec, 190 secs
lola: 2571 markings, 29424 edges, 13 markings/sec, 195 secs
lola: 2636 markings, 29796 edges, 13 markings/sec, 200 secs
lola: 2702 markings, 30325 edges, 13 markings/sec, 205 secs
lola: 2766 markings, 30725 edges, 13 markings/sec, 210 secs
lola: 2836 markings, 31563 edges, 14 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(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 64 markings, 120 edges, 13 markings/sec, 0 secs
lola: 133 markings, 288 edges, 14 markings/sec, 5 secs
lola: 201 markings, 546 edges, 14 markings/sec, 10 secs
lola: 280 markings, 926 edges, 16 markings/sec, 15 secs
lola: 348 markings, 1306 edges, 14 markings/sec, 20 secs
lola: 421 markings, 1506 edges, 15 markings/sec, 25 secs
lola: 498 markings, 1855 edges, 15 markings/sec, 30 secs
lola: 564 markings, 2036 edges, 13 markings/sec, 35 secs
lola: 646 markings, 2224 edges, 16 markings/sec, 40 secs
lola: 722 markings, 2566 edges, 15 markings/sec, 45 secs
lola: 805 markings, 2725 edges, 17 markings/sec, 50 secs
lola: 887 markings, 3286 edges, 16 markings/sec, 55 secs
lola: 967 markings, 3492 edges, 16 markings/sec, 60 secs
lola: 1042 markings, 3700 edges, 15 markings/sec, 65 secs
lola: 1116 markings, 3994 edges, 15 markings/sec, 70 secs
lola: 1198 markings, 4315 edges, 16 markings/sec, 75 secs
lola: 1270 markings, 5340 edges, 14 markings/sec, 80 secs
lola: 1345 markings, 5838 edges, 15 markings/sec, 85 secs
lola: 1434 markings, 6132 edges, 18 markings/sec, 90 secs
lola: 1519 markings, 6469 edges, 17 markings/sec, 95 secs
lola: 1594 markings, 6798 edges, 15 markings/sec, 100 secs
lola: 1676 markings, 6987 edges, 16 markings/sec, 105 secs
lola: 1750 markings, 7306 edges, 15 markings/sec, 110 secs
lola: 1838 markings, 7623 edges, 18 markings/sec, 115 secs
lola: 1920 markings, 8005 edges, 16 markings/sec, 120 secs
lola: 1994 markings, 8188 edges, 15 markings/sec, 125 secs
lola: 2075 markings, 8492 edges, 16 markings/sec, 130 secs
lola: 2158 markings, 9161 edges, 17 markings/sec, 135 secs
lola: 2243 markings, 9542 edges, 17 markings/sec, 140 secs
lola: 2325 markings, 9882 edges, 16 markings/sec, 145 secs
lola: 2418 markings, 10476 edges, 19 markings/sec, 150 secs
lola: 2503 markings, 11223 edges, 17 markings/sec, 155 secs
lola: 2568 markings, 11585 edges, 13 markings/sec, 160 secs
lola: 2646 markings, 11896 edges, 16 markings/sec, 165 secs
lola: 2745 markings, 12210 edges, 20 markings/sec, 170 secs
lola: 2831 markings, 12705 edges, 17 markings/sec, 175 secs
lola: 2911 markings, 14496 edges, 16 markings/sec, 180 secs
lola: 2992 markings, 15702 edges, 16 markings/sec, 185 secs
lola: 3080 markings, 16124 edges, 18 markings/sec, 190 secs
lola: 3169 markings, 16613 edges, 18 markings/sec, 195 secs
lola: 3238 markings, 17976 edges, 14 markings/sec, 200 secs
lola: 3320 markings, 19224 edges, 16 markings/sec, 205 secs
lola: 3392 markings, 20156 edges, 14 markings/sec, 210 secs
lola: 3479 markings, 20577 edges, 17 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(p64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 92 markings, 117 edges, 18 markings/sec, 0 secs
lola: 190 markings, 251 edges, 20 markings/sec, 5 secs
lola: 277 markings, 532 edges, 17 markings/sec, 10 secs
lola: 387 markings, 878 edges, 22 markings/sec, 15 secs
lola: 475 markings, 1245 edges, 18 markings/sec, 20 secs
lola: 578 markings, 1970 edges, 21 markings/sec, 25 secs
lola: 661 markings, 2696 edges, 17 markings/sec, 30 secs
lola: 746 markings, 3070 edges, 17 markings/sec, 35 secs
lola: 851 markings, 3430 edges, 21 markings/sec, 40 secs
lola: 956 markings, 3579 edges, 21 markings/sec, 45 secs
lola: 1044 markings, 3873 edges, 18 markings/sec, 50 secs
lola: 1152 markings, 4353 edges, 22 markings/sec, 55 secs
lola: 1266 markings, 4587 edges, 23 markings/sec, 60 secs
lola: 1344 markings, 5427 edges, 16 markings/sec, 65 secs
lola: 1437 markings, 5729 edges, 19 markings/sec, 70 secs
lola: 1578 markings, 5978 edges, 28 markings/sec, 75 secs
lola: 1698 markings, 6395 edges, 24 markings/sec, 80 secs
lola: 1803 markings, 7246 edges, 21 markings/sec, 85 secs
lola: 1868 markings, 8050 edges, 13 markings/sec, 90 secs
lola: 1951 markings, 9409 edges, 17 markings/sec, 95 secs
lola: 2088 markings, 9815 edges, 27 markings/sec, 100 secs
lola: 2190 markings, 9986 edges, 20 markings/sec, 105 secs
lola: 2314 markings, 10259 edges, 25 markings/sec, 110 secs
lola: 2433 markings, 10457 edges, 24 markings/sec, 115 secs
lola: 2546 markings, 10640 edges, 23 markings/sec, 120 secs
lola: 2635 markings, 10823 edges, 18 markings/sec, 125 secs
lola: 2722 markings, 11261 edges, 17 markings/sec, 130 secs
lola: 2815 markings, 11467 edges, 19 markings/sec, 135 secs
lola: 2893 markings, 12043 edges, 16 markings/sec, 140 secs
lola: 2980 markings, 12225 edges, 17 markings/sec, 145 secs
lola: 3093 markings, 12656 edges, 23 markings/sec, 150 secs
lola: 3165 markings, 13620 edges, 14 markings/sec, 155 secs
lola: 3267 markings, 13847 edges, 20 markings/sec, 160 secs
lola: 3378 markings, 14175 edges, 22 markings/sec, 165 secs
lola: 3434 markings, 15520 edges, 11 markings/sec, 170 secs
lola: 3502 markings, 16638 edges, 14 markings/sec, 175 secs
lola: 3565 markings, 16890 edges, 13 markings/sec, 180 secs
lola: 3644 markings, 17135 edges, 16 markings/sec, 185 secs
lola: 3714 markings, 17559 edges, 14 markings/sec, 190 secs
lola: 3826 markings, 18128 edges, 22 markings/sec, 195 secs
lola: 3969 markings, 18393 edges, 29 markings/sec, 200 secs
lola: 4067 markings, 18553 edges, 20 markings/sec, 205 secs
lola: 4166 markings, 18693 edges, 20 markings/sec, 210 secs
lola: 4240 markings, 18969 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 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 56 markings, 142 edges, 11 markings/sec, 0 secs
lola: 129 markings, 407 edges, 15 markings/sec, 5 secs
lola: 209 markings, 623 edges, 16 markings/sec, 10 secs
lola: 279 markings, 831 edges, 14 markings/sec, 15 secs
lola: 353 markings, 1075 edges, 15 markings/sec, 20 secs
lola: 433 markings, 1531 edges, 16 markings/sec, 25 secs
lola: 505 markings, 1849 edges, 14 markings/sec, 30 secs
lola: 585 markings, 2238 edges, 16 markings/sec, 35 secs
lola: 649 markings, 2715 edges, 13 markings/sec, 40 secs
lola: 723 markings, 3552 edges, 15 markings/sec, 45 secs
lola: 780 markings, 4201 edges, 11 markings/sec, 50 secs
lola: 854 markings, 4845 edges, 15 markings/sec, 55 secs
lola: 907 markings, 5391 edges, 11 markings/sec, 60 secs
lola: 978 markings, 6238 edges, 14 markings/sec, 65 secs
lola: 1054 markings, 6997 edges, 15 markings/sec, 70 secs
lola: 1123 markings, 8004 edges, 14 markings/sec, 75 secs
lola: 1187 markings, 8702 edges, 13 markings/sec, 80 secs
lola: 1258 markings, 10912 edges, 14 markings/sec, 85 secs
lola: 1339 markings, 13158 edges, 16 markings/sec, 90 secs
lola: 1446 markings, 13898 edges, 21 markings/sec, 95 secs
lola: 1525 markings, 14209 edges, 16 markings/sec, 100 secs
lola: 1597 markings, 14619 edges, 14 markings/sec, 105 secs
lola: 1673 markings, 14861 edges, 15 markings/sec, 110 secs
lola: 1742 markings, 15088 edges, 14 markings/sec, 115 secs
lola: 1810 markings, 15264 edges, 14 markings/sec, 120 secs
lola: 1883 markings, 15593 edges, 15 markings/sec, 125 secs
lola: 1949 markings, 15919 edges, 13 markings/sec, 130 secs
lola: 2024 markings, 16130 edges, 15 markings/sec, 135 secs
lola: 2086 markings, 16295 edges, 12 markings/sec, 140 secs
lola: 2158 markings, 16470 edges, 14 markings/sec, 145 secs
lola: 2237 markings, 16848 edges, 16 markings/sec, 150 secs
lola: 2312 markings, 17197 edges, 15 markings/sec, 155 secs
lola: 2394 markings, 17498 edges, 16 markings/sec, 160 secs
lola: 2476 markings, 18486 edges, 16 markings/sec, 165 secs
lola: 2555 markings, 19143 edges, 16 markings/sec, 170 secs
lola: 2620 markings, 19831 edges, 13 markings/sec, 175 secs
lola: 2689 markings, 20894 edges, 14 markings/sec, 180 secs
lola: 2757 markings, 21859 edges, 14 markings/sec, 185 secs
lola: 2822 markings, 22082 edges, 13 markings/sec, 190 secs
lola: 2907 markings, 22991 edges, 17 markings/sec, 195 secs
lola: 2977 markings, 23550 edges, 14 markings/sec, 200 secs
lola: 3035 markings, 24246 edges, 12 markings/sec, 205 secs
lola: 3094 markings, 24914 edges, 12 markings/sec, 210 secs
lola: 3158 markings, 25630 edges, 13 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(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 43 markings, 60 edges, 9 markings/sec, 0 secs
lola: 87 markings, 145 edges, 9 markings/sec, 5 secs
lola: 139 markings, 259 edges, 10 markings/sec, 10 secs
lola: 191 markings, 467 edges, 10 markings/sec, 15 secs
lola: 253 markings, 676 edges, 12 markings/sec, 20 secs
lola: 311 markings, 845 edges, 12 markings/sec, 25 secs
lola: 365 markings, 1022 edges, 11 markings/sec, 30 secs
lola: 421 markings, 1198 edges, 11 markings/sec, 35 secs
lola: 475 markings, 1360 edges, 11 markings/sec, 40 secs
lola: 529 markings, 1508 edges, 11 markings/sec, 45 secs
lola: 586 markings, 1679 edges, 11 markings/sec, 50 secs
lola: 637 markings, 1859 edges, 10 markings/sec, 55 secs
lola: 691 markings, 2007 edges, 11 markings/sec, 60 secs
lola: 748 markings, 2193 edges, 11 markings/sec, 65 secs
lola: 806 markings, 2384 edges, 12 markings/sec, 70 secs
lola: 868 markings, 2573 edges, 12 markings/sec, 75 secs
lola: 929 markings, 2752 edges, 12 markings/sec, 80 secs
lola: 983 markings, 2900 edges, 11 markings/sec, 85 secs
lola: 1033 markings, 3051 edges, 10 markings/sec, 90 secs
lola: 1092 markings, 3225 edges, 12 markings/sec, 95 secs
lola: 1153 markings, 3383 edges, 12 markings/sec, 100 secs
lola: 1225 markings, 3572 edges, 14 markings/sec, 105 secs
lola: 1289 markings, 3856 edges, 13 markings/sec, 110 secs
lola: 1356 markings, 4076 edges, 13 markings/sec, 115 secs
lola: 1409 markings, 4243 edges, 11 markings/sec, 120 secs
lola: 1470 markings, 4576 edges, 12 markings/sec, 125 secs
lola: 1534 markings, 4822 edges, 13 markings/sec, 130 secs
lola: 1591 markings, 5024 edges, 11 markings/sec, 135 secs
lola: 1642 markings, 5154 edges, 10 markings/sec, 140 secs
lola: 1701 markings, 5349 edges, 12 markings/sec, 145 secs
lola: 1757 markings, 5602 edges, 11 markings/sec, 150 secs
lola: 1815 markings, 5997 edges, 12 markings/sec, 155 secs
lola: 1878 markings, 6197 edges, 13 markings/sec, 160 secs
lola: 1932 markings, 6348 edges, 11 markings/sec, 165 secs
lola: 1986 markings, 6555 edges, 11 markings/sec, 170 secs
lola: 2039 markings, 6711 edges, 11 markings/sec, 175 secs
lola: 2099 markings, 7008 edges, 12 markings/sec, 180 secs
lola: 2159 markings, 7310 edges, 12 markings/sec, 185 secs
lola: 2224 markings, 7700 edges, 13 markings/sec, 190 secs
lola: 2285 markings, 7881 edges, 12 markings/sec, 195 secs
lola: 2341 markings, 8085 edges, 11 markings/sec, 200 secs
lola: 2398 markings, 8277 edges, 11 markings/sec, 205 secs
lola: 2445 markings, 8798 edges, 9 markings/sec, 210 secs
lola: 2504 markings, 8948 edges, 12 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(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 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: 76 markings, 109 edges, 15 markings/sec, 0 secs
lola: 142 markings, 252 edges, 13 markings/sec, 5 secs
lola: 223 markings, 505 edges, 16 markings/sec, 10 secs
lola: 287 markings, 662 edges, 13 markings/sec, 15 secs
lola: 361 markings, 1120 edges, 15 markings/sec, 20 secs
lola: 445 markings, 1579 edges, 17 markings/sec, 25 secs
lola: 538 markings, 1826 edges, 19 markings/sec, 30 secs
lola: 608 markings, 2027 edges, 14 markings/sec, 35 secs
lola: 676 markings, 2208 edges, 14 markings/sec, 40 secs
lola: 774 markings, 2913 edges, 20 markings/sec, 45 secs
lola: 857 markings, 3128 edges, 17 markings/sec, 50 secs
lola: 923 markings, 3284 edges, 13 markings/sec, 55 secs
lola: 997 markings, 3444 edges, 15 markings/sec, 60 secs
lola: 1068 markings, 3640 edges, 14 markings/sec, 65 secs
lola: 1145 markings, 3778 edges, 15 markings/sec, 70 secs
lola: 1209 markings, 3996 edges, 13 markings/sec, 75 secs
lola: 1296 markings, 4591 edges, 17 markings/sec, 80 secs
lola: 1390 markings, 5137 edges, 19 markings/sec, 85 secs
lola: 1479 markings, 5706 edges, 18 markings/sec, 90 secs
lola: 1570 markings, 5885 edges, 18 markings/sec, 95 secs
lola: 1661 markings, 6134 edges, 18 markings/sec, 100 secs
lola: 1756 markings, 6472 edges, 19 markings/sec, 105 secs
lola: 1837 markings, 6649 edges, 16 markings/sec, 110 secs
lola: 1929 markings, 7257 edges, 18 markings/sec, 115 secs
lola: 2017 markings, 7546 edges, 18 markings/sec, 120 secs
lola: 2082 markings, 8526 edges, 13 markings/sec, 125 secs
lola: 2162 markings, 9179 edges, 16 markings/sec, 130 secs
lola: 2234 markings, 9518 edges, 14 markings/sec, 135 secs
lola: 2326 markings, 9954 edges, 18 markings/sec, 140 secs
lola: 2416 markings, 10162 edges, 18 markings/sec, 145 secs
lola: 2496 markings, 10400 edges, 16 markings/sec, 150 secs
lola: 2562 markings, 10554 edges, 13 markings/sec, 155 secs
lola: 2633 markings, 10924 edges, 14 markings/sec, 160 secs
lola: 2714 markings, 11581 edges, 16 markings/sec, 165 secs
lola: 2775 markings, 11894 edges, 12 markings/sec, 170 secs
lola: 2861 markings, 12137 edges, 17 markings/sec, 175 secs
lola: 2939 markings, 12983 edges, 16 markings/sec, 180 secs
lola: 3036 markings, 13385 edges, 19 markings/sec, 185 secs
lola: 3122 markings, 13742 edges, 17 markings/sec, 190 secs
lola: 3174 markings, 14308 edges, 10 markings/sec, 195 secs
lola: 3261 markings, 14458 edges, 17 markings/sec, 200 secs
lola: 3346 markings, 14912 edges, 17 markings/sec, 205 secs
lola: 3454 markings, 15240 edges, 22 markings/sec, 210 secs
lola: 3549 markings, 15469 edges, 19 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 ARMCacheCoherence-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ARMCacheCoherence-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496337238282

--------------------
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_ARMCacheCoherence-PT-none"
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_ARMCacheCoherence-PT-none.tgz
mv S_ARMCacheCoherence-PT-none 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_ARMCacheCoherence-PT-none, 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 r088-csrt-149441074100155"
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 ;