About the Execution of LoLA for CloudDeployment-PT-6b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
9058.460 | 3570115.00 | 3617806.00 | 9810.80 | 1 ? ? 1 1 1 1 ? 1 ? 1 1 1 1 1 1 | normal |
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)
.................
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 4.8M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-6b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400254
=====================================================================
--------------------
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 CloudDeployment-PT-6b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526622840461
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-6b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-6b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-6b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: Size of bit vector: 1888
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2833 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6b-UpperBounds.task
lola: MAX(p1420) : MAX(p1843) : MAX(p1356) : MAX(p1342) : MAX(p618) : MAX(p1433) : MAX(p1275) : MAX(p241) : MAX(p518) : MAX(p1090) : MAX(p1341) : MAX(p1728) : MAX(p1379) : MAX(p315) : MAX(p1265) : MAX(p101)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1420)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 151 markings, 150 edges
lola: ========================================
FORMULA CloudDeployment-PT-6b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1843)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 61838 markings, 72495 edges, 12368 markings/sec, 0 secs
lola: 149571 markings, 179299 edges, 17547 markings/sec, 5 secs
lola: 236240 markings, 281707 edges, 17334 markings/sec, 10 secs
lola: 317224 markings, 388735 edges, 16197 markings/sec, 15 secs
lola: 398974 markings, 491538 edges, 16350 markings/sec, 20 secs
lola: 482574 markings, 594816 edges, 16720 markings/sec, 25 secs
lola: 567860 markings, 699234 edges, 17057 markings/sec, 30 secs
lola: 652653 markings, 803153 edges, 16959 markings/sec, 35 secs
lola: 737389 markings, 906955 edges, 16947 markings/sec, 40 secs
lola: 822085 markings, 1010868 edges, 16939 markings/sec, 45 secs
lola: 908031 markings, 1116075 edges, 17189 markings/sec, 50 secs
lola: 984986 markings, 1210359 edges, 15391 markings/sec, 55 secs
lola: 1044835 markings, 1301636 edges, 11970 markings/sec, 60 secs
lola: 1099468 markings, 1401095 edges, 10927 markings/sec, 65 secs
lola: 1148909 markings, 1499746 edges, 9888 markings/sec, 70 secs
lola: 1196600 markings, 1597518 edges, 9538 markings/sec, 75 secs
lola: 1260609 markings, 1702020 edges, 12802 markings/sec, 80 secs
lola: 1333142 markings, 1795821 edges, 14507 markings/sec, 85 secs
lola: 1417299 markings, 1895906 edges, 16831 markings/sec, 90 secs
lola: 1506762 markings, 1997568 edges, 17893 markings/sec, 95 secs
lola: 1589989 markings, 2092788 edges, 16645 markings/sec, 100 secs
lola: 1683296 markings, 2199139 edges, 18661 markings/sec, 105 secs
lola: 1764988 markings, 2293500 edges, 16338 markings/sec, 110 secs
lola: 1856776 markings, 2398014 edges, 18358 markings/sec, 115 secs
lola: 1947800 markings, 2501946 edges, 18205 markings/sec, 120 secs
lola: 2039986 markings, 2606936 edges, 18437 markings/sec, 125 secs
lola: 2132107 markings, 2711758 edges, 18424 markings/sec, 130 secs
lola: 2224263 markings, 2816567 edges, 18431 markings/sec, 135 secs
lola: 2316681 markings, 2921998 edges, 18484 markings/sec, 140 secs
lola: 2408713 markings, 3026934 edges, 18406 markings/sec, 145 secs
lola: 2500926 markings, 3132190 edges, 18443 markings/sec, 150 secs
lola: 2592272 markings, 3236840 edges, 18269 markings/sec, 155 secs
lola: 2683027 markings, 3341301 edges, 18151 markings/sec, 160 secs
lola: 2774758 markings, 3446441 edges, 18346 markings/sec, 165 secs
lola: 2866385 markings, 3551308 edges, 18325 markings/sec, 170 secs
lola: 2957160 markings, 3656331 edges, 18155 markings/sec, 175 secs
lola: 3048151 markings, 3761809 edges, 18198 markings/sec, 180 secs
lola: 3138462 markings, 3867658 edges, 18062 markings/sec, 185 secs
lola: 3228783 markings, 3973178 edges, 18064 markings/sec, 190 secs
lola: 3317787 markings, 4078604 edges, 17801 markings/sec, 195 secs
lola: 3381923 markings, 4189701 edges, 12827 markings/sec, 200 secs
lola: 3465047 markings, 4291589 edges, 16625 markings/sec, 205 secs
lola: 3547765 markings, 4393257 edges, 16544 markings/sec, 210 secs
lola: 3630350 markings, 4494657 edges, 16517 markings/sec, 215 secs
lola: 3712920 markings, 4595978 edges, 16514 markings/sec, 220 secs
lola: 3798214 markings, 4696307 edges, 17059 markings/sec, 225 secs
lola: 3882935 markings, 4796107 edges, 16944 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1008724 KB
lola: time consumption: 245 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1356)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1356)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 60137 markings, 76200 edges, 12027 markings/sec, 0 secs
lola: 118450 markings, 160296 edges, 11663 markings/sec, 5 secs
lola: 172920 markings, 254664 edges, 10894 markings/sec, 10 secs
lola: 225020 markings, 357375 edges, 10420 markings/sec, 15 secs
lola: 272928 markings, 462959 edges, 9582 markings/sec, 20 secs
lola: 329410 markings, 544045 edges, 11296 markings/sec, 25 secs
lola: 383103 markings, 636512 edges, 10739 markings/sec, 30 secs
lola: 435221 markings, 738263 edges, 10424 markings/sec, 35 secs
lola: 482787 markings, 843995 edges, 9513 markings/sec, 40 secs
lola: 538798 markings, 925802 edges, 11202 markings/sec, 45 secs
lola: 589077 markings, 1027801 edges, 10056 markings/sec, 50 secs
lola: 642851 markings, 1125780 edges, 10755 markings/sec, 55 secs
lola: 692809 markings, 1225965 edges, 9992 markings/sec, 60 secs
lola: 747106 markings, 1317546 edges, 10859 markings/sec, 65 secs
lola: 797079 markings, 1422951 edges, 9995 markings/sec, 70 secs
lola: 851603 markings, 1513399 edges, 10905 markings/sec, 75 secs
lola: 899721 markings, 1621865 edges, 9624 markings/sec, 80 secs
lola: 950740 markings, 1724276 edges, 10204 markings/sec, 85 secs
lola: 1004229 markings, 1818085 edges, 10698 markings/sec, 90 secs
lola: 1054168 markings, 1924801 edges, 9988 markings/sec, 95 secs
lola: 1109602 markings, 2011756 edges, 11087 markings/sec, 100 secs
lola: 1155092 markings, 2128669 edges, 9098 markings/sec, 105 secs
lola: 1210367 markings, 2218527 edges, 11055 markings/sec, 110 secs
lola: 1263518 markings, 2319526 edges, 10630 markings/sec, 115 secs
lola: 1318390 markings, 2409048 edges, 10974 markings/sec, 120 secs
lola: 1375993 markings, 2486666 edges, 11521 markings/sec, 125 secs
lola: 1430613 markings, 2583194 edges, 10924 markings/sec, 130 secs
lola: 1487712 markings, 2664971 edges, 11420 markings/sec, 135 secs
lola: 1544788 markings, 2744574 edges, 11415 markings/sec, 140 secs
lola: 1597499 markings, 2844066 edges, 10542 markings/sec, 145 secs
lola: 1650877 markings, 2942768 edges, 10676 markings/sec, 150 secs
lola: 1701063 markings, 3050917 edges, 10037 markings/sec, 155 secs
lola: 1755856 markings, 3139653 edges, 10959 markings/sec, 160 secs
lola: 1812641 markings, 3220333 edges, 11357 markings/sec, 165 secs
lola: 1869396 markings, 3302181 edges, 11351 markings/sec, 170 secs
lola: 1922447 markings, 3391985 edges, 10610 markings/sec, 175 secs
lola: 1977031 markings, 3480656 edges, 10917 markings/sec, 180 secs
lola: 2032111 markings, 3567734 edges, 11016 markings/sec, 185 secs
lola: 2086918 markings, 3655579 edges, 10961 markings/sec, 190 secs
lola: 2140798 markings, 3753229 edges, 10776 markings/sec, 195 secs
lola: 2195781 markings, 3841404 edges, 10997 markings/sec, 200 secs
lola: 2250748 markings, 3924983 edges, 10993 markings/sec, 205 secs
lola: 2305157 markings, 4015151 edges, 10882 markings/sec, 210 secs
lola: 2361881 markings, 4097903 edges, 11345 markings/sec, 215 secs
lola: 2414014 markings, 4199893 edges, 10427 markings/sec, 220 secs
lola: 2465045 markings, 4301455 edges, 10206 markings/sec, 225 secs
lola: 2515376 markings, 4402663 edges, 10066 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 487080 KB
lola: time consumption: 483 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1342)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 225 markings, 224 edges
FORMULA CloudDeployment-PT-6b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p618)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p618)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 19 markings, 18 edges
lola: ========================================
FORMULA CloudDeployment-PT-6b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1433)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 48 markings, 47 edges
FORMULA CloudDeployment-PT-6b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1275)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1275)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
FORMULA CloudDeployment-PT-6b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 342 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 70578 markings, 76915 edges, 14116 markings/sec, 0 secs
lola: 193623 markings, 208692 edges, 24609 markings/sec, 5 secs
lola: 306196 markings, 335877 edges, 22515 markings/sec, 10 secs
lola: 406991 markings, 446833 edges, 20159 markings/sec, 15 secs
lola: 522323 markings, 575918 edges, 23066 markings/sec, 20 secs
lola: 638048 markings, 704916 edges, 23145 markings/sec, 25 secs
lola: 746742 markings, 828870 edges, 21739 markings/sec, 30 secs
lola: 857321 markings, 954365 edges, 22116 markings/sec, 35 secs
lola: 976546 markings, 1084708 edges, 23845 markings/sec, 40 secs
lola: 1092075 markings, 1212863 edges, 23106 markings/sec, 45 secs
lola: 1203108 markings, 1338815 edges, 22207 markings/sec, 50 secs
lola: 1313934 markings, 1464621 edges, 22165 markings/sec, 55 secs
lola: 1433799 markings, 1595262 edges, 23973 markings/sec, 60 secs
lola: 1548543 markings, 1722888 edges, 22949 markings/sec, 65 secs
lola: 1659305 markings, 1848662 edges, 22152 markings/sec, 70 secs
lola: 1770543 markings, 1974873 edges, 22248 markings/sec, 75 secs
lola: 1892617 markings, 2106471 edges, 24415 markings/sec, 80 secs
lola: 1995079 markings, 2220887 edges, 20492 markings/sec, 85 secs
lola: 2083788 markings, 2331509 edges, 17742 markings/sec, 90 secs
lola: 2161430 markings, 2448055 edges, 15528 markings/sec, 95 secs
lola: 2245170 markings, 2552126 edges, 16748 markings/sec, 100 secs
lola: 2318419 markings, 2663600 edges, 14650 markings/sec, 105 secs
lola: 2387928 markings, 2776723 edges, 13902 markings/sec, 110 secs
lola: 2457638 markings, 2887137 edges, 13942 markings/sec, 115 secs
lola: 2560857 markings, 3004605 edges, 20644 markings/sec, 120 secs
lola: 2661864 markings, 3118731 edges, 20201 markings/sec, 125 secs
lola: 2763744 markings, 3235432 edges, 20376 markings/sec, 130 secs
lola: 2880225 markings, 3361571 edges, 23296 markings/sec, 135 secs
lola: 3003394 markings, 3493079 edges, 24634 markings/sec, 140 secs
lola: 3126445 markings, 3625073 edges, 24610 markings/sec, 145 secs
lola: 3248708 markings, 3755800 edges, 24453 markings/sec, 150 secs
lola: 3372710 markings, 3888272 edges, 24800 markings/sec, 155 secs
lola: 3494665 markings, 4019378 edges, 24391 markings/sec, 160 secs
lola: 3614380 markings, 4148270 edges, 23943 markings/sec, 165 secs
lola: 3736703 markings, 4279153 edges, 24465 markings/sec, 170 secs
lola: 3857940 markings, 4409172 edges, 24247 markings/sec, 175 secs
lola: 3980859 markings, 4540479 edges, 24584 markings/sec, 180 secs
lola: 4103366 markings, 4671556 edges, 24501 markings/sec, 185 secs
lola: 4226217 markings, 4802899 edges, 24570 markings/sec, 190 secs
lola: 4349116 markings, 4934177 edges, 24580 markings/sec, 195 secs
lola: 4472307 markings, 5065878 edges, 24638 markings/sec, 200 secs
lola: 4594552 markings, 5196783 edges, 24449 markings/sec, 205 secs
lola: 4717771 markings, 5328470 edges, 24644 markings/sec, 210 secs
lola: 4840767 markings, 5460157 edges, 24599 markings/sec, 215 secs
lola: 4964258 markings, 5592207 edges, 24698 markings/sec, 220 secs
lola: 5086704 markings, 5723684 edges, 24489 markings/sec, 225 secs
lola: 5209446 markings, 5855253 edges, 24548 markings/sec, 230 secs
lola: 5331759 markings, 5986699 edges, 24463 markings/sec, 235 secs
lola: 5453224 markings, 6117387 edges, 24293 markings/sec, 240 secs
lola: 5575224 markings, 6248245 edges, 24400 markings/sec, 245 secs
lola: 5697950 markings, 6379690 edges, 24545 markings/sec, 250 secs
lola: 5820107 markings, 6511428 edges, 24431 markings/sec, 255 secs
lola: 5941334 markings, 6641935 edges, 24245 markings/sec, 260 secs
lola: 6063300 markings, 6773546 edges, 24393 markings/sec, 265 secs
lola: 6184246 markings, 6905239 edges, 24189 markings/sec, 270 secs
lola: 6306110 markings, 7036880 edges, 24373 markings/sec, 275 secs
lola: 6428204 markings, 7168324 edges, 24419 markings/sec, 280 secs
lola: 6549084 markings, 7299471 edges, 24176 markings/sec, 285 secs
lola: 6669216 markings, 7431029 edges, 24026 markings/sec, 290 secs
lola: 6751757 markings, 7556895 edges, 16508 markings/sec, 295 secs
lola: 6870694 markings, 7685710 edges, 23787 markings/sec, 300 secs
lola: 6979807 markings, 7809383 edges, 21823 markings/sec, 305 secs
lola: 7088630 markings, 7933147 edges, 21765 markings/sec, 310 secs
lola: 7204171 markings, 8060652 edges, 23108 markings/sec, 315 secs
lola: 7319344 markings, 8187350 edges, 23035 markings/sec, 320 secs
lola: 7428067 markings, 8310802 edges, 21745 markings/sec, 325 secs
lola: 7539430 markings, 8433294 edges, 22273 markings/sec, 330 secs
lola: 7659636 markings, 8562729 edges, 24041 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1172384 KB
lola: time consumption: 829 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 342 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p518)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p518)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 61 markings, 60 edges
FORMULA CloudDeployment-PT-6b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1090)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 58466 markings, 68301 edges, 11693 markings/sec, 0 secs
lola: 135232 markings, 162326 edges, 15353 markings/sec, 5 secs
lola: 212585 markings, 253636 edges, 15471 markings/sec, 10 secs
lola: 287979 markings, 350114 edges, 15079 markings/sec, 15 secs
lola: 363797 markings, 444531 edges, 15164 markings/sec, 20 secs
lola: 439758 markings, 538352 edges, 15192 markings/sec, 25 secs
lola: 515897 markings, 632343 edges, 15228 markings/sec, 30 secs
lola: 591648 markings, 725900 edges, 15150 markings/sec, 35 secs
lola: 668001 markings, 820198 edges, 15271 markings/sec, 40 secs
lola: 744254 markings, 914285 edges, 15251 markings/sec, 45 secs
lola: 820194 markings, 1008192 edges, 15188 markings/sec, 50 secs
lola: 896791 markings, 1102716 edges, 15319 markings/sec, 55 secs
lola: 972748 markings, 1193233 edges, 15191 markings/sec, 60 secs
lola: 1032300 markings, 1277825 edges, 11910 markings/sec, 65 secs
lola: 1081639 markings, 1369729 edges, 9868 markings/sec, 70 secs
lola: 1130329 markings, 1459676 edges, 9738 markings/sec, 75 secs
lola: 1175864 markings, 1544955 edges, 9107 markings/sec, 80 secs
lola: 1220194 markings, 1632608 edges, 8866 markings/sec, 85 secs
lola: 1281295 markings, 1725172 edges, 12220 markings/sec, 90 secs
lola: 1346993 markings, 1809974 edges, 13140 markings/sec, 95 secs
lola: 1418707 markings, 1897045 edges, 14343 markings/sec, 100 secs
lola: 1501497 markings, 1991142 edges, 16558 markings/sec, 105 secs
lola: 1583877 markings, 2085445 edges, 16476 markings/sec, 110 secs
lola: 1667100 markings, 2179984 edges, 16645 markings/sec, 115 secs
lola: 1750996 markings, 2276196 edges, 16779 markings/sec, 120 secs
lola: 1831860 markings, 2369242 edges, 16173 markings/sec, 125 secs
lola: 1914458 markings, 2463365 edges, 16520 markings/sec, 130 secs
lola: 1997649 markings, 2558244 edges, 16638 markings/sec, 135 secs
lola: 2081208 markings, 2653457 edges, 16712 markings/sec, 140 secs
lola: 2165039 markings, 2748803 edges, 16766 markings/sec, 145 secs
lola: 2248824 markings, 2844087 edges, 16757 markings/sec, 150 secs
lola: 2331956 markings, 2938959 edges, 16626 markings/sec, 155 secs
lola: 2416208 markings, 3034993 edges, 16850 markings/sec, 160 secs
lola: 2500929 markings, 3131762 edges, 16944 markings/sec, 165 secs
lola: 2584719 markings, 3227558 edges, 16758 markings/sec, 170 secs
lola: 2668420 markings, 3323810 edges, 16740 markings/sec, 175 secs
lola: 2751333 markings, 3419324 edges, 16583 markings/sec, 180 secs
lola: 2835728 markings, 3515494 edges, 16879 markings/sec, 185 secs
lola: 2919333 markings, 3612019 edges, 16721 markings/sec, 190 secs
lola: 3001961 markings, 3707299 edges, 16526 markings/sec, 195 secs
lola: 3084467 markings, 3803761 edges, 16501 markings/sec, 200 secs
lola: 3167352 markings, 3900196 edges, 16577 markings/sec, 205 secs
lola: 3249750 markings, 3996634 edges, 16480 markings/sec, 210 secs
lola: 3332339 markings, 4093151 edges, 16518 markings/sec, 215 secs
lola: 3389538 markings, 4197938 edges, 11440 markings/sec, 220 secs
lola: 3465494 markings, 4291613 edges, 15191 markings/sec, 225 secs
lola: 3541134 markings, 4385203 edges, 15128 markings/sec, 230 secs
lola: 3616761 markings, 4478651 edges, 15125 markings/sec, 235 secs
lola: 3692217 markings, 4571851 edges, 15091 markings/sec, 240 secs
lola: 3769148 markings, 4662923 edges, 15386 markings/sec, 245 secs
lola: 3847361 markings, 4754494 edges, 15643 markings/sec, 250 secs
lola: 3919006 markings, 4858195 edges, 14329 markings/sec, 255 secs
lola: 3992856 markings, 4952973 edges, 14770 markings/sec, 260 secs
lola: 4067697 markings, 5045399 edges, 14968 markings/sec, 265 secs
lola: 4142767 markings, 5137904 edges, 15014 markings/sec, 270 secs
lola: 4219350 markings, 5228855 edges, 15317 markings/sec, 275 secs
lola: 4296903 markings, 5323491 edges, 15511 markings/sec, 280 secs
lola: 4374824 markings, 5415966 edges, 15584 markings/sec, 285 secs
lola: 4451371 markings, 5513171 edges, 15309 markings/sec, 290 secs
lola: 4527837 markings, 5608614 edges, 15293 markings/sec, 295 secs
lola: 4604632 markings, 5703384 edges, 15359 markings/sec, 300 secs
lola: 4681426 markings, 5798192 edges, 15359 markings/sec, 305 secs
lola: 4758130 markings, 5892947 edges, 15341 markings/sec, 310 secs
lola: 4834700 markings, 5987603 edges, 15314 markings/sec, 315 secs
lola: 4911214 markings, 6082040 edges, 15303 markings/sec, 320 secs
lola: 4988132 markings, 6176909 edges, 15384 markings/sec, 325 secs
lola: 5065356 markings, 6272271 edges, 15445 markings/sec, 330 secs
lola: 5143934 markings, 6365284 edges, 15716 markings/sec, 335 secs
lola: 5205365 markings, 6449653 edges, 12286 markings/sec, 340 secs
lola: 5256181 markings, 6541448 edges, 10163 markings/sec, 345 secs
lola: 5309280 markings, 6626971 edges, 10620 markings/sec, 350 secs
lola: 5354269 markings, 6715038 edges, 8998 markings/sec, 355 secs
lola: 5398301 markings, 6802698 edges, 8806 markings/sec, 360 secs
lola: 5450362 markings, 6894964 edges, 10412 markings/sec, 365 secs
lola: 5515978 markings, 6976426 edges, 13123 markings/sec, 370 secs
lola: 5584332 markings, 7063178 edges, 13671 markings/sec, 375 secs
lola: 5667681 markings, 7158065 edges, 16670 markings/sec, 380 secs
lola: 5747328 markings, 7249238 edges, 15929 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1474168 KB
lola: time consumption: 1222 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1341)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1341)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 226 markings, 225 edges
FORMULA CloudDeployment-PT-6b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1728)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1728)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 51 markings, 50 edges
FORMULA CloudDeployment-PT-6b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1379)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 221 markings, 220 edges
lola: ========================================
FORMULA CloudDeployment-PT-6b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p315)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 20 markings, 19 edges
lola: ========================================
FORMULA CloudDeployment-PT-6b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1265)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 32 markings, 31 edges
lola: ========================================
FORMULA CloudDeployment-PT-6b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p101)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 35 markings, 34 edges
lola: ========================================
FORMULA CloudDeployment-PT-6b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1843)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 64189 markings, 75164 edges, 12838 markings/sec, 0 secs
lola: 146171 markings, 175362 edges, 16396 markings/sec, 5 secs
lola: 233379 markings, 277759 edges, 17442 markings/sec, 10 secs
lola: 312265 markings, 380128 edges, 15777 markings/sec, 15 secs
lola: 394350 markings, 483950 edges, 16417 markings/sec, 20 secs
lola: 476468 markings, 587308 edges, 16424 markings/sec, 25 secs
lola: 555319 markings, 684720 edges, 15770 markings/sec, 30 secs
lola: 639744 markings, 788452 edges, 16885 markings/sec, 35 secs
lola: 725162 markings, 892977 edges, 17084 markings/sec, 40 secs
lola: 804005 markings, 990192 edges, 15769 markings/sec, 45 secs
lola: 884166 markings, 1088772 edges, 16032 markings/sec, 50 secs
lola: 967455 markings, 1188481 edges, 16658 markings/sec, 55 secs
lola: 1031825 markings, 1281289 edges, 12874 markings/sec, 60 secs
lola: 1087197 markings, 1381883 edges, 11074 markings/sec, 65 secs
lola: 1133706 markings, 1474772 edges, 9302 markings/sec, 70 secs
lola: 1182047 markings, 1570522 edges, 9668 markings/sec, 75 secs
lola: 1237795 markings, 1673460 edges, 11150 markings/sec, 80 secs
lola: 1307300 markings, 1760546 edges, 13901 markings/sec, 85 secs
lola: 1381757 markings, 1855298 edges, 14891 markings/sec, 90 secs
lola: 1469269 markings, 1954907 edges, 17502 markings/sec, 95 secs
lola: 1564183 markings, 2063449 edges, 18983 markings/sec, 100 secs
lola: 1653799 markings, 2165249 edges, 17923 markings/sec, 105 secs
lola: 1744908 markings, 2270404 edges, 18222 markings/sec, 110 secs
lola: 1831997 markings, 2369771 edges, 17418 markings/sec, 115 secs
lola: 1925747 markings, 2476881 edges, 18750 markings/sec, 120 secs
lola: 2018318 markings, 2582306 edges, 18514 markings/sec, 125 secs
lola: 2111086 markings, 2687865 edges, 18554 markings/sec, 130 secs
lola: 2204644 markings, 2794200 edges, 18712 markings/sec, 135 secs
lola: 2292378 markings, 2894307 edges, 17547 markings/sec, 140 secs
lola: 2387322 markings, 3002475 edges, 18989 markings/sec, 145 secs
lola: 2482384 markings, 3111068 edges, 19012 markings/sec, 150 secs
lola: 2575250 markings, 3217210 edges, 18573 markings/sec, 155 secs
lola: 2662473 markings, 3317579 edges, 17445 markings/sec, 160 secs
lola: 2754259 markings, 3423062 edges, 18357 markings/sec, 165 secs
lola: 2847067 markings, 3529079 edges, 18562 markings/sec, 170 secs
lola: 2932769 markings, 3628359 edges, 17140 markings/sec, 175 secs
lola: 3024355 markings, 3734136 edges, 18317 markings/sec, 180 secs
lola: 3115786 markings, 3841452 edges, 18286 markings/sec, 185 secs
lola: 3202149 markings, 3941011 edges, 17273 markings/sec, 190 secs
lola: 3293022 markings, 4046830 edges, 18175 markings/sec, 195 secs
lola: 3354410 markings, 4155465 edges, 12278 markings/sec, 200 secs
lola: 3435700 markings, 4257523 edges, 16258 markings/sec, 205 secs
lola: 3514780 markings, 4355505 edges, 15816 markings/sec, 210 secs
lola: 3598810 markings, 4458631 edges, 16806 markings/sec, 215 secs
lola: 3682403 markings, 4561102 edges, 16719 markings/sec, 220 secs
lola: 3762801 markings, 4656072 edges, 16080 markings/sec, 225 secs
lola: 3851732 markings, 4759806 edges, 17786 markings/sec, 230 secs
lola: 3932048 markings, 4874427 edges, 16063 markings/sec, 235 secs
lola: 4015989 markings, 4980099 edges, 16788 markings/sec, 240 secs
lola: 4100673 markings, 5083959 edges, 16937 markings/sec, 245 secs
lola: 4185303 markings, 5187758 edges, 16926 markings/sec, 250 secs
lola: 4270507 markings, 5291101 edges, 17041 markings/sec, 255 secs
lola: 4355376 markings, 5394289 edges, 16974 markings/sec, 260 secs
lola: 4441800 markings, 5503263 edges, 17285 markings/sec, 265 secs
lola: 4528675 markings, 5610339 edges, 17375 markings/sec, 270 secs
lola: 4615763 markings, 5716897 edges, 17418 markings/sec, 275 secs
lola: 4702885 markings, 5823454 edges, 17424 markings/sec, 280 secs
lola: 4790095 markings, 5930149 edges, 17442 markings/sec, 285 secs
lola: 4876193 markings, 6036152 edges, 17220 markings/sec, 290 secs
lola: 4959547 markings, 6141469 edges, 16671 markings/sec, 295 secs
lola: 5043100 markings, 6246964 edges, 16711 markings/sec, 300 secs
lola: 5130707 markings, 6350944 edges, 17521 markings/sec, 305 secs
lola: 5198623 markings, 6445600 edges, 13583 markings/sec, 310 secs
lola: 5253600 markings, 6547289 edges, 10995 markings/sec, 315 secs
lola: 5306409 markings, 6647940 edges, 10562 markings/sec, 320 secs
lola: 5355962 markings, 6745164 edges, 9911 markings/sec, 325 secs
lola: 5410238 markings, 6846901 edges, 10855 markings/sec, 330 secs
lola: 5486920 markings, 6941741 edges, 15336 markings/sec, 335 secs
lola: 5562237 markings, 7038286 edges, 15063 markings/sec, 340 secs
lola: 5656356 markings, 7145561 edges, 18824 markings/sec, 345 secs
lola: 5751050 markings, 7253852 edges, 18939 markings/sec, 350 secs
lola: 5846253 markings, 7362043 edges, 19041 markings/sec, 355 secs
lola: 5938224 markings, 7468434 edges, 18394 markings/sec, 360 secs
lola: 6032678 markings, 7575963 edges, 18891 markings/sec, 365 secs
lola: 6126273 markings, 7682808 edges, 18719 markings/sec, 370 secs
lola: 6220778 markings, 7790447 edges, 18901 markings/sec, 375 secs
lola: 6315465 markings, 7898184 edges, 18937 markings/sec, 380 secs
lola: 6410461 markings, 8006214 edges, 18999 markings/sec, 385 secs
lola: 6504930 markings, 8113995 edges, 18894 markings/sec, 390 secs
lola: 6599744 markings, 8222083 edges, 18963 markings/sec, 395 secs
lola: 6694425 markings, 8330266 edges, 18936 markings/sec, 400 secs
lola: 6788653 markings, 8438175 edges, 18846 markings/sec, 405 secs
lola: 6881942 markings, 8545654 edges, 18658 markings/sec, 410 secs
lola: 6975893 markings, 8653095 edges, 18790 markings/sec, 415 secs
lola: 7069959 markings, 8761493 edges, 18813 markings/sec, 420 secs
lola: 7163357 markings, 8869141 edges, 18680 markings/sec, 425 secs
lola: 7256465 markings, 8978836 edges, 18622 markings/sec, 430 secs
lola: 7346655 markings, 9082547 edges, 18038 markings/sec, 435 secs
lola: 7435139 markings, 9185852 edges, 17697 markings/sec, 440 secs
lola: 7515495 markings, 9291155 edges, 16071 markings/sec, 445 secs
lola: 7585003 markings, 9398707 edges, 13902 markings/sec, 450 secs
lola: 7663063 markings, 9494766 edges, 15612 markings/sec, 455 secs
lola: 7746612 markings, 9597398 edges, 16710 markings/sec, 460 secs
lola: 7829819 markings, 9699602 edges, 16641 markings/sec, 465 secs
lola: 7912215 markings, 9801576 edges, 16479 markings/sec, 470 secs
lola: 7995465 markings, 9900174 edges, 16650 markings/sec, 475 secs
lola: 8074907 markings, 10011294 edges, 15888 markings/sec, 480 secs
lola: 8156071 markings, 10117034 edges, 16233 markings/sec, 485 secs
lola: 8239920 markings, 10219961 edges, 16770 markings/sec, 490 secs
lola: 8323979 markings, 10322972 edges, 16812 markings/sec, 495 secs
lola: 8410869 markings, 10425009 edges, 17378 markings/sec, 500 secs
lola: 8495902 markings, 10526773 edges, 17007 markings/sec, 505 secs
lola: 8579770 markings, 10628724 edges, 16774 markings/sec, 510 secs
lola: 8661000 markings, 10728931 edges, 16246 markings/sec, 515 secs
lola: 8730490 markings, 10826496 edges, 13898 markings/sec, 520 secs
lola: 8804789 markings, 10927633 edges, 14860 markings/sec, 525 secs
lola: 8867752 markings, 11022030 edges, 12593 markings/sec, 530 secs
lola: 8921094 markings, 11120733 edges, 10668 markings/sec, 535 secs
lola: 8971294 markings, 11217621 edges, 10040 markings/sec, 540 secs
lola: 9042234 markings, 11314826 edges, 14188 markings/sec, 545 secs
lola: 9117800 markings, 11413155 edges, 15113 markings/sec, 550 secs
lola: 9209467 markings, 11517519 edges, 18333 markings/sec, 555 secs
lola: 9301857 markings, 11622811 edges, 18478 markings/sec, 560 secs
lola: 9393982 markings, 11728050 edges, 18425 markings/sec, 565 secs
lola: 9486254 markings, 11833913 edges, 18454 markings/sec, 570 secs
lola: 9579924 markings, 11941167 edges, 18734 markings/sec, 575 secs
lola: 9673977 markings, 12048651 edges, 18811 markings/sec, 580 secs
lola: 9767442 markings, 12155213 edges, 18693 markings/sec, 585 secs
lola: 9859877 markings, 12260427 edges, 18487 markings/sec, 590 secs
lola: 9952145 markings, 12365966 edges, 18454 markings/sec, 595 secs
lola: 10043495 markings, 12472097 edges, 18270 markings/sec, 600 secs
lola: 10134436 markings, 12576637 edges, 18188 markings/sec, 605 secs
lola: 10224639 markings, 12681099 edges, 18041 markings/sec, 610 secs
lola: 10293324 markings, 12788110 edges, 13737 markings/sec, 615 secs
lola: 10377001 markings, 12888308 edges, 16735 markings/sec, 620 secs
lola: 10462402 markings, 12990031 edges, 17080 markings/sec, 625 secs
lola: 10539749 markings, 13087197 edges, 15469 markings/sec, 630 secs
lola: 10613191 markings, 13186697 edges, 14688 markings/sec, 635 secs
lola: 10687762 markings, 13286219 edges, 14914 markings/sec, 640 secs
lola: 10749205 markings, 13378603 edges, 12289 markings/sec, 645 secs
lola: 10803188 markings, 13475450 edges, 10797 markings/sec, 650 secs
lola: 10853477 markings, 13570431 edges, 10058 markings/sec, 655 secs
lola: 10915594 markings, 13666575 edges, 12423 markings/sec, 660 secs
lola: 10989659 markings, 13762990 edges, 14813 markings/sec, 665 secs
lola: 11083424 markings, 13869894 edges, 18753 markings/sec, 670 secs
lola: 11178228 markings, 13977859 edges, 18961 markings/sec, 675 secs
lola: 11272743 markings, 14085927 edges, 18903 markings/sec, 680 secs
lola: 11366840 markings, 14193880 edges, 18819 markings/sec, 685 secs
lola: 11455473 markings, 14295380 edges, 17727 markings/sec, 690 secs
lola: 11549245 markings, 14402511 edges, 18754 markings/sec, 695 secs
lola: 11642453 markings, 14508841 edges, 18642 markings/sec, 700 secs
lola: 11735655 markings, 14614936 edges, 18640 markings/sec, 705 secs
lola: 11828692 markings, 14721368 edges, 18607 markings/sec, 710 secs
lola: 11921240 markings, 14828420 edges, 18510 markings/sec, 715 secs
lola: 12012775 markings, 14934020 edges, 18307 markings/sec, 720 secs
lola: 12103414 markings, 15039217 edges, 18128 markings/sec, 725 secs
lola: 12175250 markings, 15147300 edges, 14367 markings/sec, 730 secs
lola: 12263149 markings, 15250096 edges, 17580 markings/sec, 735 secs
lola: 12351181 markings, 15353008 edges, 17606 markings/sec, 740 secs
lola: 12436926 markings, 15454480 edges, 17149 markings/sec, 745 secs
lola: 12520182 markings, 15553753 edges, 16651 markings/sec, 750 secs
lola: 12608196 markings, 15657167 edges, 17603 markings/sec, 755 secs
lola: 12682946 markings, 15755866 edges, 14950 markings/sec, 760 secs
lola: 12761719 markings, 15852802 edges, 15755 markings/sec, 765 secs
lola: 12828945 markings, 15947417 edges, 13445 markings/sec, 770 secs
lola: 12897537 markings, 16051910 edges, 13718 markings/sec, 775 secs
lola: 12969883 markings, 16153879 edges, 14469 markings/sec, 780 secs
lola: 13036124 markings, 16250393 edges, 13248 markings/sec, 785 secs
lola: 13100739 markings, 16354085 edges, 12923 markings/sec, 790 secs
lola: 13185400 markings, 16457321 edges, 16932 markings/sec, 795 secs
lola: 13267950 markings, 16555259 edges, 16510 markings/sec, 800 secs
lola: 13324599 markings, 16651034 edges, 11330 markings/sec, 805 secs
lola: 13373992 markings, 16740430 edges, 9879 markings/sec, 810 secs
lola: 13442949 markings, 16825912 edges, 13791 markings/sec, 815 secs
lola: 13535055 markings, 16931111 edges, 18421 markings/sec, 820 secs
lola: 13628499 markings, 17037604 edges, 18689 markings/sec, 825 secs
lola: 13720938 markings, 17143244 edges, 18488 markings/sec, 830 secs
lola: 13814031 markings, 17249278 edges, 18619 markings/sec, 835 secs
lola: 13901263 markings, 17348523 edges, 17446 markings/sec, 840 secs
lola: 13994545 markings, 17455305 edges, 18656 markings/sec, 845 secs
lola: 14087457 markings, 17561651 edges, 18582 markings/sec, 850 secs
lola: 14179162 markings, 17667765 edges, 18341 markings/sec, 855 secs
lola: 14267332 markings, 17770441 edges, 17634 markings/sec, 860 secs
lola: 14343357 markings, 17878313 edges, 15205 markings/sec, 865 secs
lola: 14427158 markings, 17981062 edges, 16760 markings/sec, 870 secs
lola: 14511911 markings, 18084719 edges, 16951 markings/sec, 875 secs
lola: 14578037 markings, 18180911 edges, 13225 markings/sec, 880 secs
lola: 14631382 markings, 18280469 edges, 10669 markings/sec, 885 secs
lola: 14706588 markings, 18371451 edges, 15041 markings/sec, 890 secs
lola: 14798473 markings, 18476402 edges, 18377 markings/sec, 895 secs
lola: 14891207 markings, 18581919 edges, 18547 markings/sec, 900 secs
lola: 14984177 markings, 18687881 edges, 18594 markings/sec, 905 secs
lola: 15076631 markings, 18793819 edges, 18491 markings/sec, 910 secs
lola: 15169135 markings, 18900021 edges, 18501 markings/sec, 915 secs
lola: 15260297 markings, 19006508 edges, 18232 markings/sec, 920 secs
lola: 15337524 markings, 19112573 edges, 15445 markings/sec, 925 secs
lola: 15421499 markings, 19215652 edges, 16795 markings/sec, 930 secs
lola: 15506183 markings, 19317270 edges, 16937 markings/sec, 935 secs
lola: 15591569 markings, 19418657 edges, 17077 markings/sec, 940 secs
lola: 15677514 markings, 19520325 edges, 17189 markings/sec, 945 secs
lola: 15761903 markings, 19623598 edges, 16878 markings/sec, 950 secs
lola: 15826155 markings, 19717342 edges, 12850 markings/sec, 955 secs
lola: 15878214 markings, 19810056 edges, 10412 markings/sec, 960 secs
lola: 15946904 markings, 19907535 edges, 13738 markings/sec, 965 secs
lola: 16037096 markings, 20011856 edges, 18038 markings/sec, 970 secs
lola: 16130123 markings, 20118071 edges, 18605 markings/sec, 975 secs
lola: 16222643 markings, 20224119 edges, 18504 markings/sec, 980 secs
lola: 16316647 markings, 20331119 edges, 18801 markings/sec, 985 secs
lola: 16410627 markings, 20438068 edges, 18796 markings/sec, 990 secs
lola: 16504381 markings, 20545214 edges, 18751 markings/sec, 995 secs
lola: 16597191 markings, 20651436 edges, 18562 markings/sec, 1000 secs
lola: 16689895 markings, 20758650 edges, 18541 markings/sec, 1005 secs
lola: 16782145 markings, 20866190 edges, 18450 markings/sec, 1010 secs
lola: 16858042 markings, 20973846 edges, 15179 markings/sec, 1015 secs
lola: 16943031 markings, 21077965 edges, 16998 markings/sec, 1020 secs
lola: 17022713 markings, 21175838 edges, 15936 markings/sec, 1025 secs
lola: 17091035 markings, 21271531 edges, 13664 markings/sec, 1030 secs
lola: 17137165 markings, 21363130 edges, 9226 markings/sec, 1035 secs
lola: 17215504 markings, 21460449 edges, 15668 markings/sec, 1040 secs
lola: 17307588 markings, 21565706 edges, 18417 markings/sec, 1045 secs
lola: 17401004 markings, 21671980 edges, 18683 markings/sec, 1050 secs
lola: 17494164 markings, 21778118 edges, 18632 markings/sec, 1055 secs
lola: 17587156 markings, 21884470 edges, 18598 markings/sec, 1060 secs
lola: 17679576 markings, 21990691 edges, 18484 markings/sec, 1065 secs
lola: 17771128 markings, 22097436 edges, 18310 markings/sec, 1070 secs
lola: 17848987 markings, 22204437 edges, 15572 markings/sec, 1075 secs
lola: 17933613 markings, 22308284 edges, 16925 markings/sec, 1080 secs
lola: 18018065 markings, 22409679 edges, 16890 markings/sec, 1085 secs
lola: 18103517 markings, 22511139 edges, 17090 markings/sec, 1090 secs
lola: 18189383 markings, 22612681 edges, 17173 markings/sec, 1095 secs
lola: 18270694 markings, 22709681 edges, 16262 markings/sec, 1100 secs
lola: 18334236 markings, 22796515 edges, 12708 markings/sec, 1105 secs
lola: 18397090 markings, 22885281 edges, 12571 markings/sec, 1110 secs
lola: 18455057 markings, 22984962 edges, 11593 markings/sec, 1115 secs
lola: 18514280 markings, 23085344 edges, 11845 markings/sec, 1120 secs
lola: 18570822 markings, 23185236 edges, 11308 markings/sec, 1125 secs
lola: 18657877 markings, 23286392 edges, 17411 markings/sec, 1130 secs
lola: 18727923 markings, 23380753 edges, 14009 markings/sec, 1135 secs
lola: 18785208 markings, 23474794 edges, 11457 markings/sec, 1140 secs
lola: 18859607 markings, 23575268 edges, 14880 markings/sec, 1145 secs
lola: 18953386 markings, 23682146 edges, 18756 markings/sec, 1150 secs
lola: 19047042 markings, 23789020 edges, 18731 markings/sec, 1155 secs
lola: 19141187 markings, 23896499 edges, 18829 markings/sec, 1160 secs
lola: 19235458 markings, 24004719 edges, 18854 markings/sec, 1165 secs
lola: 19314666 markings, 24114599 edges, 15842 markings/sec, 1170 secs
lola: 19389429 markings, 24204608 edges, 14953 markings/sec, 1175 secs
lola: 19463388 markings, 24298260 edges, 14792 markings/sec, 1180 secs
lola: 19538803 markings, 24392185 edges, 15083 markings/sec, 1185 secs
lola: 19608093 markings, 24490116 edges, 13858 markings/sec, 1190 secs
lola: 19683976 markings, 24589201 edges, 15177 markings/sec, 1195 secs
lola: 19754703 markings, 24693567 edges, 14145 markings/sec, 1200 secs
lola: 19823904 markings, 24794956 edges, 13840 markings/sec, 1205 secs
lola: 19885263 markings, 24901895 edges, 12272 markings/sec, 1210 secs
lola: 19967681 markings, 25000848 edges, 16484 markings/sec, 1215 secs
lola: 20032130 markings, 25086865 edges, 12890 markings/sec, 1220 secs
lola: 20096745 markings, 25173050 edges, 12923 markings/sec, 1225 secs
lola: 20158044 markings, 25265528 edges, 12260 markings/sec, 1230 secs
lola: 20216538 markings, 25366499 edges, 11699 markings/sec, 1235 secs
lola: 20267855 markings, 25475267 edges, 10263 markings/sec, 1240 secs
lola: 20349430 markings, 25574906 edges, 16315 markings/sec, 1245 secs
lola: 20425595 markings, 25675817 edges, 15233 markings/sec, 1250 secs
lola: 20499965 markings, 25777883 edges, 14874 markings/sec, 1255 secs
lola: 20593750 markings, 25885053 edges, 18757 markings/sec, 1260 secs
lola: 20681640 markings, 25991643 edges, 17578 markings/sec, 1265 secs
lola: 20762748 markings, 26093267 edges, 16222 markings/sec, 1270 secs
lola: 20836851 markings, 26183079 edges, 14821 markings/sec, 1275 secs
lola: 20917996 markings, 26279584 edges, 16229 markings/sec, 1280 secs
lola: 21002037 markings, 26379161 edges, 16808 markings/sec, 1285 secs
lola: 21077343 markings, 26471604 edges, 15061 markings/sec, 1290 secs
lola: 21143416 markings, 26572297 edges, 13215 markings/sec, 1295 secs
lola: 21227156 markings, 26671399 edges, 16748 markings/sec, 1300 secs
lola: 21319065 markings, 26776656 edges, 18382 markings/sec, 1305 secs
lola: 21400059 markings, 26879243 edges, 16199 markings/sec, 1310 secs
lola: 21479231 markings, 26976138 edges, 15834 markings/sec, 1315 secs
lola: 21547735 markings, 27077259 edges, 13701 markings/sec, 1320 secs
lola: 21639795 markings, 27184709 edges, 18412 markings/sec, 1325 secs
lola: 21734606 markings, 27293400 edges, 18962 markings/sec, 1330 secs
lola: 21815338 markings, 27398836 edges, 16146 markings/sec, 1335 secs
lola: 21897337 markings, 27499442 edges, 16400 markings/sec, 1340 secs
lola: 21956098 markings, 27591779 edges, 11752 markings/sec, 1345 secs
lola: 22048733 markings, 27697644 edges, 18527 markings/sec, 1350 secs
lola: 22139564 markings, 27803637 edges, 18166 markings/sec, 1355 secs
lola: 22214392 markings, 27898647 edges, 14966 markings/sec, 1360 secs
lola: 22275452 markings, 27979795 edges, 12212 markings/sec, 1365 secs
lola: 22338822 markings, 28064653 edges, 12674 markings/sec, 1370 secs
lola: 22397847 markings, 28155038 edges, 11805 markings/sec, 1375 secs
lola: 22451586 markings, 28248649 edges, 10748 markings/sec, 1380 secs
lola: 22499991 markings, 28357127 edges, 9681 markings/sec, 1385 secs
lola: 22568015 markings, 28441069 edges, 13605 markings/sec, 1390 secs
lola: 22633934 markings, 28523686 edges, 13184 markings/sec, 1395 secs
lola: 22704799 markings, 28612188 edges, 14173 markings/sec, 1400 secs
lola: 22773074 markings, 28699268 edges, 13655 markings/sec, 1405 secs
lola: 22853849 markings, 28794501 edges, 16155 markings/sec, 1410 secs
lola: 22923797 markings, 28887875 edges, 13990 markings/sec, 1415 secs
lola: 22979612 markings, 28979366 edges, 11163 markings/sec, 1420 secs
lola: 23054982 markings, 29079257 edges, 15074 markings/sec, 1425 secs
lola: 23148032 markings, 29185414 edges, 18610 markings/sec, 1430 secs
lola: 23240974 markings, 29291560 edges, 18588 markings/sec, 1435 secs
lola: 23333735 markings, 29397513 edges, 18552 markings/sec, 1440 secs
lola: 23426443 markings, 29503977 edges, 18542 markings/sec, 1445 secs
lola: 23504299 markings, 29614021 edges, 15571 markings/sec, 1450 secs
lola: 23574881 markings, 29703642 edges, 14116 markings/sec, 1455 secs
lola: 23644607 markings, 29791408 edges, 13945 markings/sec, 1460 secs
lola: 23715604 markings, 29882412 edges, 14199 markings/sec, 1465 secs
lola: 23781954 markings, 29971984 edges, 13270 markings/sec, 1470 secs
lola: 23846629 markings, 30063175 edges, 12935 markings/sec, 1475 secs
lola: 23914406 markings, 30154673 edges, 13555 markings/sec, 1480 secs
lola: 23978977 markings, 30244205 edges, 12914 markings/sec, 1485 secs
lola: 24048799 markings, 30339901 edges, 13964 markings/sec, 1490 secs
lola: 24118365 markings, 30434888 edges, 13913 markings/sec, 1495 secs
lola: 24190365 markings, 30525591 edges, 14400 markings/sec, 1500 secs
lola: 24262372 markings, 30621054 edges, 14401 markings/sec, 1505 secs
lola: 24334378 markings, 30713800 edges, 14401 markings/sec, 1510 secs
lola: 24410315 markings, 30806839 edges, 15187 markings/sec, 1515 secs
lola: 24492882 markings, 30905597 edges, 16513 markings/sec, 1520 secs
lola: 24572889 markings, 31002917 edges, 16001 markings/sec, 1525 secs
lola: 24653136 markings, 31102271 edges, 16049 markings/sec, 1530 secs
lola: 24723034 markings, 31191428 edges, 13980 markings/sec, 1535 secs
lola: 24800517 markings, 31286695 edges, 15497 markings/sec, 1540 secs
lola: 24877399 markings, 31383524 edges, 15376 markings/sec, 1545 secs
lola: 24947290 markings, 31477746 edges, 13978 markings/sec, 1550 secs
lola: 25020256 markings, 31569194 edges, 14593 markings/sec, 1555 secs
lola: 25093166 markings, 31659308 edges, 14582 markings/sec, 1560 secs
lola: 25164824 markings, 31749034 edges, 14332 markings/sec, 1565 secs
lola: 25233900 markings, 31841277 edges, 13815 markings/sec, 1570 secs
lola: 25305607 markings, 31931197 edges, 14341 markings/sec, 1575 secs
lola: 25375945 markings, 32026838 edges, 14068 markings/sec, 1580 secs
lola: 25447791 markings, 32118523 edges, 14369 markings/sec, 1585 secs
lola: 25519743 markings, 32208782 edges, 14390 markings/sec, 1590 secs
lola: 25590824 markings, 32300810 edges, 14216 markings/sec, 1595 secs
lola: 25662924 markings, 32392136 edges, 14420 markings/sec, 1600 secs
lola: 25733785 markings, 32480840 edges, 14172 markings/sec, 1605 secs
lola: 25804877 markings, 32577087 edges, 14218 markings/sec, 1610 secs
lola: 25875886 markings, 32669031 edges, 14202 markings/sec, 1615 secs
lola: 25947299 markings, 32761441 edges, 14283 markings/sec, 1620 secs
lola: 26017981 markings, 32853733 edges, 14136 markings/sec, 1625 secs
lola: 26085480 markings, 32946142 edges, 13500 markings/sec, 1630 secs
lola: 26147982 markings, 33032051 edges, 12500 markings/sec, 1635 secs
lola: 26204039 markings, 33120252 edges, 11211 markings/sec, 1640 secs
lola: 26261780 markings, 33217356 edges, 11548 markings/sec, 1645 secs
lola: 26315759 markings, 33312270 edges, 10796 markings/sec, 1650 secs
lola: 26375717 markings, 33411209 edges, 11992 markings/sec, 1655 secs
lola: 26440442 markings, 33497953 edges, 12945 markings/sec, 1660 secs
lola: 26504511 markings, 33582719 edges, 12814 markings/sec, 1665 secs
lola: 26569364 markings, 33667013 edges, 12971 markings/sec, 1670 secs
lola: 26638718 markings, 33758302 edges, 13871 markings/sec, 1675 secs
lola: 26706063 markings, 33847221 edges, 13469 markings/sec, 1680 secs
lola: 26770745 markings, 33932802 edges, 12936 markings/sec, 1685 secs
lola: 26837355 markings, 34022458 edges, 13322 markings/sec, 1690 secs
lola: 26903870 markings, 34114880 edges, 13303 markings/sec, 1695 secs
lola: 26972153 markings, 34207569 edges, 13657 markings/sec, 1700 secs
lola: 27036235 markings, 34294927 edges, 12816 markings/sec, 1705 secs
lola: 27101591 markings, 34385383 edges, 13071 markings/sec, 1710 secs
lola: 27168568 markings, 34478351 edges, 13395 markings/sec, 1715 secs
lola: 27235415 markings, 34573829 edges, 13369 markings/sec, 1720 secs
lola: 27298941 markings, 34667685 edges, 12705 markings/sec, 1725 secs
lola: 27358802 markings, 34754829 edges, 11972 markings/sec, 1730 secs
lola: 27421285 markings, 34841749 edges, 12497 markings/sec, 1735 secs
lola: 27482804 markings, 34942736 edges, 12304 markings/sec, 1740 secs
lola: 27545568 markings, 35041568 edges, 12553 markings/sec, 1745 secs
lola: 27597461 markings, 35149158 edges, 10379 markings/sec, 1750 secs
lola: 27663748 markings, 35244626 edges, 13257 markings/sec, 1755 secs
lola: 27741781 markings, 35338325 edges, 15607 markings/sec, 1760 secs
lola: 27828417 markings, 35441826 edges, 17327 markings/sec, 1765 secs
lola: 27911705 markings, 35543275 edges, 16658 markings/sec, 1770 secs
lola: 27996522 markings, 35647122 edges, 16963 markings/sec, 1775 secs
lola: 28063742 markings, 35741561 edges, 13444 markings/sec, 1780 secs
lola: 28128297 markings, 35839477 edges, 12911 markings/sec, 1785 secs
lola: 28193112 markings, 35932862 edges, 12963 markings/sec, 1790 secs
lola: 28269856 markings, 36032451 edges, 15349 markings/sec, 1795 secs
lola: 28351596 markings, 36132639 edges, 16348 markings/sec, 1800 secs
lola: 28428773 markings, 36226997 edges, 15435 markings/sec, 1805 secs
lola: 28499808 markings, 36321848 edges, 14207 markings/sec, 1810 secs
lola: 28577365 markings, 36419209 edges, 15511 markings/sec, 1815 secs
lola: 28652757 markings, 36514218 edges, 15078 markings/sec, 1820 secs
lola: 28726183 markings, 36608264 edges, 14685 markings/sec, 1825 secs
lola: 28800983 markings, 36702876 edges, 14960 markings/sec, 1830 secs
lola: 28865766 markings, 36799607 edges, 12957 markings/sec, 1835 secs
lola: 28926287 markings, 36898529 edges, 12104 markings/sec, 1840 secs
lola: 29004361 markings, 37000969 edges, 15615 markings/sec, 1845 secs
lola: 29081914 markings, 37098402 edges, 15511 markings/sec, 1850 secs
lola: 29156840 markings, 37194986 edges, 14985 markings/sec, 1855 secs
lola: 29228655 markings, 37289618 edges, 14363 markings/sec, 1860 secs
lola: 29299891 markings, 37383639 edges, 14247 markings/sec, 1865 secs
lola: 29372822 markings, 37477124 edges, 14586 markings/sec, 1870 secs
lola: 29445142 markings, 37572131 edges, 14464 markings/sec, 1875 secs
lola: 29511651 markings, 37664840 edges, 13302 markings/sec, 1880 secs
lola: 29582173 markings, 37762733 edges, 14104 markings/sec, 1885 secs
lola: 29647772 markings, 37861571 edges, 13120 markings/sec, 1890 secs
lola: 29713251 markings, 37963883 edges, 13096 markings/sec, 1895 secs
lola: 29775862 markings, 38070466 edges, 12522 markings/sec, 1900 secs
lola: 29837803 markings, 38165893 edges, 12388 markings/sec, 1905 secs
lola: 29909185 markings, 38259933 edges, 14276 markings/sec, 1910 secs
lola: 29973830 markings, 38356258 edges, 12929 markings/sec, 1915 secs
lola: 30037414 markings, 38450726 edges, 12717 markings/sec, 1920 secs
lola: 30099096 markings, 38545968 edges, 12336 markings/sec, 1925 secs
lola: 30160862 markings, 38636821 edges, 12353 markings/sec, 1930 secs
lola: 30217847 markings, 38733152 edges, 11397 markings/sec, 1935 secs
lola: 30279471 markings, 38822081 edges, 12325 markings/sec, 1940 secs
lola: 30344114 markings, 38907895 edges, 12929 markings/sec, 1945 secs
lola: 30407444 markings, 38999672 edges, 12666 markings/sec, 1950 secs
lola: 30469358 markings, 39089690 edges, 12383 markings/sec, 1955 secs
lola: 30530562 markings, 39182392 edges, 12241 markings/sec, 1960 secs
lola: 30593271 markings, 39274167 edges, 12542 markings/sec, 1965 secs
lola: 30662536 markings, 39369625 edges, 13853 markings/sec, 1970 secs
lola: 30726932 markings, 39461845 edges, 12879 markings/sec, 1975 secs
lola: 30786760 markings, 39562700 edges, 11966 markings/sec, 1980 secs
lola: 30845406 markings, 39664047 edges, 11729 markings/sec, 1985 secs
lola: 30915095 markings, 39760119 edges, 13938 markings/sec, 1990 secs
lola: 30981344 markings, 39855543 edges, 13250 markings/sec, 1995 secs
lola: 31051778 markings, 39952854 edges, 14087 markings/sec, 2000 secs
lola: 31115142 markings, 40051640 edges, 12673 markings/sec, 2005 secs
lola: 31178483 markings, 40154263 edges, 12668 markings/sec, 2010 secs
lola: 31252815 markings, 40250686 edges, 14866 markings/sec, 2015 secs
lola: 31323524 markings, 40348171 edges, 14142 markings/sec, 2020 secs
lola: 31395684 markings, 40440894 edges, 14432 markings/sec, 2025 secs
lola: 31465106 markings, 40536818 edges, 13884 markings/sec, 2030 secs
lola: 31535520 markings, 40631617 edges, 14083 markings/sec, 2035 secs
lola: 31598003 markings, 40723770 edges, 12497 markings/sec, 2040 secs
lola: 31658151 markings, 40816958 edges, 12030 markings/sec, 2045 secs
lola: 31711342 markings, 40919839 edges, 10638 markings/sec, 2050 secs
lola: 31760259 markings, 41031812 edges, 9783 markings/sec, 2055 secs
lola: 31823189 markings, 41123540 edges, 12586 markings/sec, 2060 secs
lola: 31880129 markings, 41205342 edges, 11388 markings/sec, 2065 secs
lola: 31929582 markings, 41287855 edges, 9891 markings/sec, 2070 secs
lola: 31979383 markings, 41387340 edges, 9960 markings/sec, 2075 secs
lola: 32027411 markings, 41496814 edges, 9606 markings/sec, 2080 secs
lola: 32093808 markings, 41589712 edges, 13279 markings/sec, 2085 secs
lola: 32159935 markings, 41683301 edges, 13225 markings/sec, 2090 secs
lola: 32221364 markings, 41778241 edges, 12286 markings/sec, 2095 secs
lola: 32277941 markings, 41868134 edges, 11315 markings/sec, 2100 secs
lola: 32333121 markings, 41947746 edges, 11036 markings/sec, 2105 secs
lola: 32381118 markings, 42044370 edges, 9599 markings/sec, 2110 secs
lola: 32433116 markings, 42139366 edges, 10400 markings/sec, 2115 secs
lola: 32482912 markings, 42237445 edges, 9959 markings/sec, 2120 secs
lola: 32548695 markings, 42332618 edges, 13157 markings/sec, 2125 secs
lola: 32611774 markings, 42425139 edges, 12616 markings/sec, 2130 secs
lola: 32677599 markings, 42522206 edges, 13165 markings/sec, 2135 secs
lola: 32741418 markings, 42610978 edges, 12764 markings/sec, 2140 secs
lola: 32804057 markings, 42707032 edges, 12528 markings/sec, 2145 secs
lola: 32863396 markings, 42812362 edges, 11868 markings/sec, 2150 secs
lola: 32921700 markings, 42907972 edges, 11661 markings/sec, 2155 secs
lola: 32986738 markings, 43002132 edges, 13008 markings/sec, 2160 secs
lola: 33045315 markings, 43102290 edges, 11715 markings/sec, 2165 secs
lola: 33105701 markings, 43198298 edges, 12077 markings/sec, 2170 secs
lola: 33174500 markings, 43295866 edges, 13760 markings/sec, 2175 secs
lola: 33234065 markings, 43394228 edges, 11913 markings/sec, 2180 secs
lola: 33289219 markings, 43497235 edges, 11031 markings/sec, 2185 secs
lola: 33349576 markings, 43592713 edges, 12071 markings/sec, 2190 secs
lola: 33412348 markings, 43693423 edges, 12554 markings/sec, 2195 secs
lola: 33474761 markings, 43791273 edges, 12483 markings/sec, 2200 secs
lola: 33557504 markings, 43897250 edges, 16549 markings/sec, 2205 secs
lola: 33614450 markings, 44001037 edges, 11389 markings/sec, 2210 secs
lola: 33676985 markings, 44101203 edges, 12507 markings/sec, 2215 secs
lola: 33737870 markings, 44209157 edges, 12177 markings/sec, 2220 secs
lola: 33792332 markings, 44313164 edges, 10892 markings/sec, 2225 secs
lola: 33850109 markings, 44398684 edges, 11555 markings/sec, 2230 secs
lola: 33908971 markings, 44489473 edges, 11772 markings/sec, 2235 secs
lola: 33962084 markings, 44586129 edges, 10623 markings/sec, 2240 secs
lola: 34020061 markings, 44671643 edges, 11595 markings/sec, 2245 secs
lola: 34071995 markings, 44779170 edges, 10387 markings/sec, 2250 secs
lola: 34122822 markings, 44862875 edges, 10165 markings/sec, 2255 secs
lola: 34171788 markings, 44954027 edges, 9793 markings/sec, 2260 secs
lola: 34225247 markings, 45039453 edges, 10692 markings/sec, 2265 secs
lola: 34275013 markings, 45132520 edges, 9953 markings/sec, 2270 secs
lola: 34330429 markings, 45210549 edges, 11083 markings/sec, 2275 secs
lola: 34385790 markings, 45289896 edges, 11072 markings/sec, 2280 secs
lola: 34441232 markings, 45369723 edges, 11088 markings/sec, 2285 secs
lola: 34494445 markings, 45454373 edges, 10643 markings/sec, 2290 secs
lola: 34548081 markings, 45538454 edges, 10727 markings/sec, 2295 secs
lola: 34599944 markings, 45626003 edges, 10373 markings/sec, 2300 secs
lola: 34645511 markings, 45726892 edges, 9113 markings/sec, 2305 secs
lola: 34697123 markings, 45821106 edges, 10322 markings/sec, 2310 secs
lola: 34744329 markings, 45919272 edges, 9441 markings/sec, 2315 secs
lola: 34798357 markings, 46016769 edges, 10806 markings/sec, 2320 secs
lola: 34853912 markings, 46101992 edges, 11111 markings/sec, 2325 secs
lola: 34911347 markings, 46185046 edges, 11487 markings/sec, 2330 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown 1 1 1 1 1 1
lola: memory consumption: 9038360 KB
lola: time consumption: 3569 seconds
BK_STOP 1526626410576
--------------------
content from 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="CloudDeployment-PT-6b"
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/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-6b, 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 r040-smll-152646357400254"
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 '
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 ;