Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r044-smll-155229658700016.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3817
Executing tool win2018
Input is CloudDeployment-PT-4b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r044-smll-155229658700016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 3.1K Feb 9 08:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 9 08:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 01:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 01:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 591K Mar 10 17:31 model.pnml

--------------------
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-4b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552333291560

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-4b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-4b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-4b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3006/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1182
lola: finding significant places
lola: 1182 places, 1824 transitions, 1165 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1605 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-4b-UpperBounds.task
lola: MAX(p398) : MAX(p67) : MAX(p142) : MAX(p533) : MAX(p1112) : MAX(p1022) : MAX(p589) : MAX(p679) : MAX(p355) : MAX(p415) : MAX(p631) : MAX(p288) : MAX(p960) : MAX(p914) : MAX(p930) : MAX(p473)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 167 markings, 166 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-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(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p67)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 17 markings, 16 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 96573 markings, 215598 edges, 19315 markings/sec, 0 secs
lola: 193593 markings, 456265 edges, 19404 markings/sec, 5 secs
lola: 290883 markings, 695261 edges, 19458 markings/sec, 10 secs
lola: 391141 markings, 926136 edges, 20052 markings/sec, 15 secs
lola: 488610 markings, 1164646 edges, 19494 markings/sec, 20 secs
lola: 585436 markings, 1403108 edges, 19365 markings/sec, 25 secs
lola: 697749 markings, 1613267 edges, 22463 markings/sec, 30 secs
lola: 820616 markings, 1812794 edges, 24573 markings/sec, 35 secs
lola: 946198 markings, 2017680 edges, 25116 markings/sec, 40 secs
lola: 1049889 markings, 2240956 edges, 20738 markings/sec, 45 secs
lola: 1164670 markings, 2450882 edges, 22956 markings/sec, 50 secs
lola: 1265260 markings, 2655982 edges, 20118 markings/sec, 55 secs
lola: 1384457 markings, 2849233 edges, 23839 markings/sec, 60 secs
lola: 1491071 markings, 3083570 edges, 21323 markings/sec, 65 secs
lola: 1611543 markings, 3278975 edges, 24094 markings/sec, 70 secs
lola: 1719845 markings, 3506471 edges, 21660 markings/sec, 75 secs
lola: 1828090 markings, 3704554 edges, 21649 markings/sec, 80 secs
lola: 1929977 markings, 3908318 edges, 20377 markings/sec, 85 secs
lola: 2046947 markings, 4102141 edges, 23394 markings/sec, 90 secs
lola: 2158373 markings, 4311731 edges, 22285 markings/sec, 95 secs
lola: 2257854 markings, 4513540 edges, 19896 markings/sec, 100 secs
lola: 2379348 markings, 4719399 edges, 24299 markings/sec, 105 secs
lola: 2481125 markings, 4928542 edges, 20355 markings/sec, 110 secs
lola: 2586655 markings, 5137844 edges, 21106 markings/sec, 115 secs
lola: 2688856 markings, 5336248 edges, 20440 markings/sec, 120 secs
lola: 2809631 markings, 5537765 edges, 24155 markings/sec, 125 secs
lola: 2909699 markings, 5758851 edges, 20014 markings/sec, 130 secs
lola: 3030409 markings, 5955677 edges, 24142 markings/sec, 135 secs
lola: 3133670 markings, 6176148 edges, 20652 markings/sec, 140 secs
lola: 3244128 markings, 6379543 edges, 22092 markings/sec, 145 secs
lola: 3341891 markings, 6578989 edges, 19553 markings/sec, 150 secs
lola: 3460768 markings, 6772696 edges, 23775 markings/sec, 155 secs
lola: 3566793 markings, 6999811 edges, 21205 markings/sec, 160 secs
lola: 3684068 markings, 7193414 edges, 23455 markings/sec, 165 secs
lola: 3795352 markings, 7405167 edges, 22257 markings/sec, 170 secs
lola: 3899451 markings, 7635755 edges, 20820 markings/sec, 175 secs
lola: 4004323 markings, 7850297 edges, 20974 markings/sec, 180 secs
lola: 4118936 markings, 8053006 edges, 22923 markings/sec, 185 secs
lola: 4222188 markings, 8279831 edges, 20650 markings/sec, 190 secs
lola: 4339712 markings, 8475557 edges, 23505 markings/sec, 195 secs
lola: 4441423 markings, 8696777 edges, 20342 markings/sec, 200 secs
lola: 4546111 markings, 8868160 edges, 20938 markings/sec, 205 secs
lola: 4652734 markings, 9069778 edges, 21325 markings/sec, 210 secs
lola: 4755744 markings, 9264785 edges, 20602 markings/sec, 215 secs
lola: 4863608 markings, 9460424 edges, 21573 markings/sec, 220 secs
lola: 4970860 markings, 9656157 edges, 21450 markings/sec, 225 secs
lola: 5068416 markings, 9865308 edges, 19511 markings/sec, 230 secs
lola: 5171530 markings, 10053290 edges, 20623 markings/sec, 235 secs
lola: 5276044 markings, 10245686 edges, 20903 markings/sec, 240 secs
lola: 5375597 markings, 10439043 edges, 19911 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 320056 KB
lola: time consumption: 256 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p533)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p533)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 36 markings, 35 edges

FORMULA CloudDeployment-PT-4b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1112)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 86 markings, 88 edges

FORMULA CloudDeployment-PT-4b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1022)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1022)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 114763 markings, 151008 edges, 22953 markings/sec, 0 secs
lola: 219763 markings, 361546 edges, 21000 markings/sec, 5 secs
lola: 331916 markings, 551841 edges, 22431 markings/sec, 10 secs
lola: 446777 markings, 756440 edges, 22972 markings/sec, 15 secs
lola: 543779 markings, 992903 edges, 19400 markings/sec, 20 secs
lola: 645339 markings, 1212320 edges, 20312 markings/sec, 25 secs
lola: 763242 markings, 1410855 edges, 23581 markings/sec, 30 secs
lola: 856811 markings, 1652783 edges, 18714 markings/sec, 35 secs
lola: 959314 markings, 1871364 edges, 20501 markings/sec, 40 secs
lola: 1084846 markings, 2048175 edges, 25106 markings/sec, 45 secs
lola: 1192698 markings, 2255291 edges, 21570 markings/sec, 50 secs
lola: 1302981 markings, 2451707 edges, 22057 markings/sec, 55 secs
lola: 1409478 markings, 2676388 edges, 21299 markings/sec, 60 secs
lola: 1495117 markings, 2940267 edges, 17128 markings/sec, 65 secs
lola: 1588394 markings, 3181036 edges, 18655 markings/sec, 70 secs
lola: 1704244 markings, 3376985 edges, 23170 markings/sec, 75 secs
lola: 1797883 markings, 3622933 edges, 18728 markings/sec, 80 secs
lola: 1900402 markings, 3839506 edges, 20504 markings/sec, 85 secs
lola: 2021720 markings, 4014704 edges, 24264 markings/sec, 90 secs
lola: 2127431 markings, 4228096 edges, 21142 markings/sec, 95 secs
lola: 2239478 markings, 4417489 edges, 22409 markings/sec, 100 secs
lola: 2357300 markings, 4609074 edges, 23564 markings/sec, 105 secs
lola: 2450853 markings, 4855132 edges, 18711 markings/sec, 110 secs
lola: 2553686 markings, 5071979 edges, 20567 markings/sec, 115 secs
lola: 2670835 markings, 5264142 edges, 23430 markings/sec, 120 secs
lola: 2764514 markings, 5510771 edges, 18736 markings/sec, 125 secs
lola: 2867168 markings, 5727737 edges, 20531 markings/sec, 130 secs
lola: 2990270 markings, 5902902 edges, 24620 markings/sec, 135 secs
lola: 3095975 markings, 6117980 edges, 21141 markings/sec, 140 secs
lola: 3208657 markings, 6308918 edges, 22536 markings/sec, 145 secs
lola: 3320802 markings, 6515317 edges, 22429 markings/sec, 150 secs
lola: 3402222 markings, 6791311 edges, 16284 markings/sec, 155 secs
lola: 3495170 markings, 7031816 edges, 18590 markings/sec, 160 secs
lola: 3606301 markings, 7232183 edges, 22226 markings/sec, 165 secs
lola: 3704397 markings, 7468587 edges, 19619 markings/sec, 170 secs
lola: 3804330 markings, 7692006 edges, 19987 markings/sec, 175 secs
lola: 3921115 markings, 7873961 edges, 23357 markings/sec, 180 secs
lola: 4031215 markings, 8083104 edges, 22020 markings/sec, 185 secs
lola: 4144412 markings, 8274617 edges, 22639 markings/sec, 190 secs
lola: 4253628 markings, 8478684 edges, 21843 markings/sec, 195 secs
lola: 4378142 markings, 8668527 edges, 24903 markings/sec, 200 secs
lola: 4500549 markings, 8856275 edges, 24481 markings/sec, 205 secs
lola: 4612448 markings, 9078615 edges, 22380 markings/sec, 210 secs
lola: 4674230 markings, 9392942 edges, 12356 markings/sec, 215 secs
lola: 4761182 markings, 9667001 edges, 17390 markings/sec, 220 secs
lola: 4854410 markings, 9917571 edges, 18646 markings/sec, 225 secs
lola: 4951125 markings, 10154582 edges, 19343 markings/sec, 230 secs
lola: 5052099 markings, 10384419 edges, 20195 markings/sec, 235 secs
lola: 5156163 markings, 10606451 edges, 20813 markings/sec, 240 secs
lola: 5248817 markings, 10849784 edges, 18531 markings/sec, 245 secs
lola: 5352313 markings, 11064030 edges, 20699 markings/sec, 250 secs
lola: 5450376 markings, 11292502 edges, 19613 markings/sec, 255 secs
lola: 5568475 markings, 11482418 edges, 23620 markings/sec, 260 secs
lola: 5658144 markings, 11727850 edges, 17934 markings/sec, 265 secs
lola: 5759087 markings, 11943893 edges, 20189 markings/sec, 270 secs
lola: 5883902 markings, 12115476 edges, 24963 markings/sec, 275 secs
lola: 5989335 markings, 12327833 edges, 21087 markings/sec, 280 secs
lola: 6100713 markings, 12518260 edges, 22276 markings/sec, 285 secs
lola: 6217728 markings, 12711038 edges, 23403 markings/sec, 290 secs
lola: 6307138 markings, 12953356 edges, 17882 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 354980 KB
lola: time consumption: 558 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p589)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p589)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 11 markings, 10 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p679)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p679)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 180 markings, 183 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p355)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 12 markings, 11 edges

FORMULA CloudDeployment-PT-4b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p415)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p415)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 69 markings, 68 edges
lola: ========================================
FORMULA CloudDeployment-PT-4b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 10 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p631)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p631)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 16 markings, 15 edges
lola: ========================================
FORMULA CloudDeployment-PT-4b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 11 will run for 602 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p288)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p288)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 8 markings, 7 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 752 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p960)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p960)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 114540 markings, 150667 edges, 22908 markings/sec, 0 secs
lola: 218955 markings, 360533 edges, 20883 markings/sec, 5 secs
lola: 331068 markings, 550531 edges, 22423 markings/sec, 10 secs
lola: 445915 markings, 753301 edges, 22969 markings/sec, 15 secs
lola: 541696 markings, 989728 edges, 19156 markings/sec, 20 secs
lola: 642745 markings, 1208710 edges, 20210 markings/sec, 25 secs
lola: 761292 markings, 1403459 edges, 23709 markings/sec, 30 secs
lola: 853245 markings, 1645031 edges, 18391 markings/sec, 35 secs
lola: 955362 markings, 1863079 edges, 20423 markings/sec, 40 secs
lola: 1081175 markings, 2038254 edges, 25163 markings/sec, 45 secs
lola: 1187128 markings, 2246687 edges, 21191 markings/sec, 50 secs
lola: 1297696 markings, 2440842 edges, 22114 markings/sec, 55 secs
lola: 1406200 markings, 2658384 edges, 21701 markings/sec, 60 secs
lola: 1487916 markings, 2925229 edges, 16343 markings/sec, 65 secs
lola: 1581226 markings, 3161275 edges, 18662 markings/sec, 70 secs
lola: 1693936 markings, 3357462 edges, 22542 markings/sec, 75 secs
lola: 1787791 markings, 3597141 edges, 18771 markings/sec, 80 secs
lola: 1886943 markings, 3812965 edges, 19830 markings/sec, 85 secs
lola: 2002340 markings, 3989941 edges, 23079 markings/sec, 90 secs
lola: 2103770 markings, 4181083 edges, 20286 markings/sec, 95 secs
lola: 2214116 markings, 4375758 edges, 22069 markings/sec, 100 secs
lola: 2331065 markings, 4563698 edges, 23390 markings/sec, 105 secs
lola: 2428515 markings, 4801757 edges, 19490 markings/sec, 110 secs
lola: 2529938 markings, 5023224 edges, 20285 markings/sec, 115 secs
lola: 2642345 markings, 5219120 edges, 22481 markings/sec, 120 secs
lola: 2741699 markings, 5453863 edges, 19871 markings/sec, 125 secs
lola: 2842252 markings, 5675989 edges, 20111 markings/sec, 130 secs
lola: 2958471 markings, 5859274 edges, 23244 markings/sec, 135 secs
lola: 3068655 markings, 6067154 edges, 22037 markings/sec, 140 secs
lola: 3180461 markings, 6260228 edges, 22361 markings/sec, 145 secs
lola: 3292508 markings, 6459017 edges, 22409 markings/sec, 150 secs
lola: 3379509 markings, 6720973 edges, 17400 markings/sec, 155 secs
lola: 3472611 markings, 6962307 edges, 18620 markings/sec, 160 secs
lola: 3571758 markings, 7181479 edges, 19829 markings/sec, 165 secs
lola: 3676228 markings, 7405243 edges, 20894 markings/sec, 170 secs
lola: 3775890 markings, 7629923 edges, 19932 markings/sec, 175 secs
lola: 3883908 markings, 7827897 edges, 21604 markings/sec, 180 secs
lola: 3999452 markings, 8023447 edges, 23109 markings/sec, 185 secs
lola: 4111432 markings, 8217801 edges, 22396 markings/sec, 190 secs
lola: 4220532 markings, 8418205 edges, 21820 markings/sec, 195 secs
lola: 4341061 markings, 8604671 edges, 24106 markings/sec, 200 secs
lola: 4463780 markings, 8795717 edges, 24544 markings/sec, 205 secs
lola: 4578731 markings, 9001910 edges, 22990 markings/sec, 210 secs
lola: 4659484 markings, 9276250 edges, 16151 markings/sec, 215 secs
lola: 4729306 markings, 9584158 edges, 13964 markings/sec, 220 secs
lola: 4828845 markings, 9816121 edges, 19908 markings/sec, 225 secs
lola: 4918351 markings, 10073533 edges, 17901 markings/sec, 230 secs
lola: 5025453 markings, 10284905 edges, 21420 markings/sec, 235 secs
lola: 5116116 markings, 10534264 edges, 18133 markings/sec, 240 secs
lola: 5215037 markings, 10763750 edges, 19784 markings/sec, 245 secs
lola: 5315954 markings, 10983252 edges, 20183 markings/sec, 250 secs
lola: 5414644 markings, 11211324 edges, 19738 markings/sec, 255 secs
lola: 5524814 markings, 11409606 edges, 22034 markings/sec, 260 secs
lola: 5622450 markings, 11643554 edges, 19527 markings/sec, 265 secs
lola: 5721554 markings, 11865133 edges, 19821 markings/sec, 270 secs
lola: 5836350 markings, 12048476 edges, 22959 markings/sec, 275 secs
lola: 5947144 markings, 12253159 edges, 22159 markings/sec, 280 secs
lola: 6057285 markings, 12447115 edges, 22028 markings/sec, 285 secs
lola: 6173660 markings, 12632573 edges, 23275 markings/sec, 290 secs
lola: 6269393 markings, 12868979 edges, 19147 markings/sec, 295 secs
lola: 6368786 markings, 13089810 edges, 19879 markings/sec, 300 secs
lola: 6479741 markings, 13283016 edges, 22191 markings/sec, 305 secs
lola: 6578417 markings, 13516776 edges, 19735 markings/sec, 310 secs
lola: 6678023 markings, 13738148 edges, 19921 markings/sec, 315 secs
lola: 6785987 markings, 13936122 edges, 21593 markings/sec, 320 secs
lola: 6886916 markings, 14164783 edges, 20186 markings/sec, 325 secs
lola: 6986556 markings, 14386385 edges, 19928 markings/sec, 330 secs
lola: 7090657 markings, 14589670 edges, 20820 markings/sec, 335 secs
lola: 7196096 markings, 14806635 edges, 21088 markings/sec, 340 secs
lola: 7292639 markings, 15035420 edges, 19309 markings/sec, 345 secs
lola: 7395548 markings, 15241105 edges, 20582 markings/sec, 350 secs
lola: 7508193 markings, 15441231 edges, 22529 markings/sec, 355 secs
lola: 7601030 markings, 15678641 edges, 18567 markings/sec, 360 secs
lola: 7701192 markings, 15893088 edges, 20032 markings/sec, 365 secs
lola: 7815193 markings, 16097285 edges, 22800 markings/sec, 370 secs
lola: 7910861 markings, 16333178 edges, 19134 markings/sec, 375 secs
lola: 8011162 markings, 16552874 edges, 20060 markings/sec, 380 secs
lola: 8129959 markings, 16748802 edges, 23759 markings/sec, 385 secs
lola: 8221988 markings, 16992362 edges, 18406 markings/sec, 390 secs
lola: 8323597 markings, 17211597 edges, 20322 markings/sec, 395 secs
lola: 8440223 markings, 17382390 edges, 23325 markings/sec, 400 secs
lola: 8542468 markings, 17580115 edges, 20449 markings/sec, 405 secs
lola: 8639970 markings, 17776249 edges, 19500 markings/sec, 410 secs
lola: 8750399 markings, 17951089 edges, 22086 markings/sec, 415 secs
lola: 8858713 markings, 18134860 edges, 21663 markings/sec, 420 secs
lola: 8961928 markings, 18330809 edges, 20643 markings/sec, 425 secs
lola: 9071514 markings, 18493880 edges, 21917 markings/sec, 430 secs
lola: 9189816 markings, 18654207 edges, 23660 markings/sec, 435 secs
lola: 9298724 markings, 18844822 edges, 21782 markings/sec, 440 secs
lola: 9407762 markings, 19045659 edges, 21808 markings/sec, 445 secs
lola: 9534962 markings, 19212629 edges, 25440 markings/sec, 450 secs
lola: 9664401 markings, 19376781 edges, 25888 markings/sec, 455 secs
lola: 9795154 markings, 19543630 edges, 26151 markings/sec, 460 secs
lola: 9923609 markings, 19711921 edges, 25691 markings/sec, 465 secs
lola: 10054392 markings, 19881948 edges, 26157 markings/sec, 470 secs
lola: 10185518 markings, 20052452 edges, 26225 markings/sec, 475 secs
lola: 10313100 markings, 20221503 edges, 25516 markings/sec, 480 secs
lola: 10439566 markings, 20390989 edges, 25293 markings/sec, 485 secs
lola: 10565516 markings, 20564557 edges, 25190 markings/sec, 490 secs
lola: 10691679 markings, 20738960 edges, 25233 markings/sec, 495 secs
lola: 10814727 markings, 20913851 edges, 24610 markings/sec, 500 secs
lola: 10921169 markings, 21112353 edges, 21288 markings/sec, 505 secs
lola: 11030672 markings, 21302386 edges, 21901 markings/sec, 510 secs
lola: 11131951 markings, 21506651 edges, 20256 markings/sec, 515 secs
lola: 11235789 markings, 21707363 edges, 20768 markings/sec, 520 secs
lola: 11359192 markings, 21926290 edges, 24681 markings/sec, 525 secs
lola: 11453846 markings, 22140098 edges, 18931 markings/sec, 530 secs
lola: 11546521 markings, 22352403 edges, 18535 markings/sec, 535 secs
lola: 11658820 markings, 22564338 edges, 22460 markings/sec, 540 secs
lola: 11776909 markings, 22784508 edges, 23618 markings/sec, 545 secs
lola: 11888127 markings, 22990010 edges, 22244 markings/sec, 550 secs
lola: 11973745 markings, 23231456 edges, 17124 markings/sec, 555 secs
lola: 12043650 markings, 23486847 edges, 13981 markings/sec, 560 secs
lola: 12106557 markings, 23739247 edges, 12581 markings/sec, 565 secs
lola: 12162757 markings, 24014689 edges, 11240 markings/sec, 570 secs
lola: 12208271 markings, 24346156 edges, 9103 markings/sec, 575 secs
lola: 12252822 markings, 24688221 edges, 8910 markings/sec, 580 secs
lola: 12298242 markings, 25024619 edges, 9084 markings/sec, 585 secs
lola: 12347267 markings, 25363200 edges, 9805 markings/sec, 590 secs
lola: 12401126 markings, 25702369 edges, 10772 markings/sec, 595 secs
lola: 12482122 markings, 25982057 edges, 16199 markings/sec, 600 secs
lola: 12577458 markings, 26207239 edges, 19067 markings/sec, 605 secs
lola: 12673187 markings, 26433619 edges, 19146 markings/sec, 610 secs
lola: 12772959 markings, 26655312 edges, 19954 markings/sec, 615 secs
lola: 12878677 markings, 26859753 edges, 21144 markings/sec, 620 secs
lola: 12982783 markings, 27070631 edges, 20821 markings/sec, 625 secs
lola: 13078894 markings, 27282454 edges, 19222 markings/sec, 630 secs
lola: 13176835 markings, 27494804 edges, 19588 markings/sec, 635 secs
lola: 13269918 markings, 27717596 edges, 18617 markings/sec, 640 secs
lola: 13364155 markings, 27938502 edges, 18847 markings/sec, 645 secs
lola: 13481969 markings, 28097329 edges, 23563 markings/sec, 650 secs
lola: 13598599 markings, 28271123 edges, 23326 markings/sec, 655 secs
lola: 13708041 markings, 28454658 edges, 21888 markings/sec, 660 secs
lola: 13801523 markings, 28669695 edges, 18696 markings/sec, 665 secs
lola: 13897896 markings, 28897984 edges, 19275 markings/sec, 670 secs
lola: 13957840 markings, 29196665 edges, 11989 markings/sec, 675 secs
lola: 14026208 markings, 29509880 edges, 13674 markings/sec, 680 secs
lola: 14132333 markings, 29709745 edges, 21225 markings/sec, 685 secs
lola: 14235086 markings, 29919526 edges, 20551 markings/sec, 690 secs
lola: 14333479 markings, 30133643 edges, 19679 markings/sec, 695 secs
lola: 14427596 markings, 30355310 edges, 18823 markings/sec, 700 secs
lola: 14515317 markings, 30578587 edges, 17544 markings/sec, 705 secs
lola: 14624316 markings, 30772437 edges, 21800 markings/sec, 710 secs
lola: 14722592 markings, 30979101 edges, 19655 markings/sec, 715 secs
lola: 14817047 markings, 31193372 edges, 18891 markings/sec, 720 secs
lola: 14904976 markings, 31415114 edges, 17586 markings/sec, 725 secs
lola: 15017098 markings, 31585184 edges, 22424 markings/sec, 730 secs
lola: 15143766 markings, 31746642 edges, 25334 markings/sec, 735 secs
lola: 15257327 markings, 31910885 edges, 22712 markings/sec, 740 secs
lola: 15356127 markings, 32114117 edges, 19760 markings/sec, 745 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 896164 KB
lola: time consumption: 1312 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 752 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p914)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p914)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 13 markings, 12 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1129 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p930)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p930)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 71 markings, 71 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p473)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 47 markings, 46 edges
lola: ========================================

FORMULA CloudDeployment-PT-4b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-4b-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: 94275 markings, 210315 edges, 18855 markings/sec, 0 secs
lola: 190804 markings, 448246 edges, 19306 markings/sec, 5 secs
lola: 287415 markings, 686220 edges, 19322 markings/sec, 10 secs
lola: 387037 markings, 915274 edges, 19924 markings/sec, 15 secs
lola: 483680 markings, 1152296 edges, 19329 markings/sec, 20 secs
lola: 579981 markings, 1388866 edges, 19260 markings/sec, 25 secs
lola: 690984 markings, 1602541 edges, 22201 markings/sec, 30 secs
lola: 813623 markings, 1801063 edges, 24528 markings/sec, 35 secs
lola: 937317 markings, 2003982 edges, 24739 markings/sec, 40 secs
lola: 1043126 markings, 2228176 edges, 21162 markings/sec, 45 secs
lola: 1155557 markings, 2434929 edges, 22486 markings/sec, 50 secs
lola: 1254928 markings, 2637406 edges, 19874 markings/sec, 55 secs
lola: 1375108 markings, 2833671 edges, 24036 markings/sec, 60 secs
lola: 1482420 markings, 3063641 edges, 21462 markings/sec, 65 secs
lola: 1601856 markings, 3257066 edges, 23887 markings/sec, 70 secs
lola: 1712334 markings, 3473681 edges, 22096 markings/sec, 75 secs
lola: 1817543 markings, 3678012 edges, 21042 markings/sec, 80 secs
lola: 1917877 markings, 3883898 edges, 20067 markings/sec, 85 secs
lola: 2030654 markings, 4077904 edges, 22555 markings/sec, 90 secs
lola: 2147221 markings, 4288361 edges, 23313 markings/sec, 95 secs
lola: 2251063 markings, 4502630 edges, 20768 markings/sec, 100 secs
lola: 2371014 markings, 4705948 edges, 23990 markings/sec, 105 secs
lola: 2471970 markings, 4916140 edges, 20191 markings/sec, 110 secs
lola: 2579105 markings, 5124270 edges, 21427 markings/sec, 115 secs
lola: 2679272 markings, 5321333 edges, 20033 markings/sec, 120 secs
lola: 2800957 markings, 5514962 edges, 24337 markings/sec, 125 secs
lola: 2900819 markings, 5742230 edges, 19972 markings/sec, 130 secs
lola: 3019416 markings, 5938378 edges, 23719 markings/sec, 135 secs
lola: 3123911 markings, 6159448 edges, 20899 markings/sec, 140 secs
lola: 3233245 markings, 6356096 edges, 21867 markings/sec, 145 secs
lola: 3331224 markings, 6557420 edges, 19596 markings/sec, 150 secs
lola: 3448141 markings, 6748851 edges, 23383 markings/sec, 155 secs
lola: 3557313 markings, 6964148 edges, 21834 markings/sec, 160 secs
lola: 3666341 markings, 7167416 edges, 21806 markings/sec, 165 secs
lola: 3781866 markings, 7376285 edges, 23105 markings/sec, 170 secs
lola: 3883707 markings, 7604008 edges, 20368 markings/sec, 175 secs
lola: 3988138 markings, 7818999 edges, 20886 markings/sec, 180 secs
lola: 4101437 markings, 8019134 edges, 22660 markings/sec, 185 secs
lola: 4209705 markings, 8235557 edges, 21654 markings/sec, 190 secs
lola: 4321990 markings, 8442550 edges, 22457 markings/sec, 195 secs
lola: 4426301 markings, 8662143 edges, 20862 markings/sec, 200 secs
lola: 4522820 markings, 8835728 edges, 19304 markings/sec, 205 secs
lola: 4637047 markings, 9025274 edges, 22845 markings/sec, 210 secs
lola: 4737562 markings, 9230250 edges, 20103 markings/sec, 215 secs
lola: 4838767 markings, 9423413 edges, 20241 markings/sec, 220 secs
lola: 4944960 markings, 9617068 edges, 21239 markings/sec, 225 secs
lola: 5045693 markings, 9821901 edges, 20147 markings/sec, 230 secs
lola: 5149827 markings, 10012726 edges, 20827 markings/sec, 235 secs
lola: 5251733 markings, 10202981 edges, 20381 markings/sec, 240 secs
lola: 5351496 markings, 10393604 edges, 19953 markings/sec, 245 secs
lola: 5451305 markings, 10584714 edges, 19962 markings/sec, 250 secs
lola: 5549898 markings, 10772423 edges, 19719 markings/sec, 255 secs
lola: 5655276 markings, 10972737 edges, 21076 markings/sec, 260 secs
lola: 5752240 markings, 11165540 edges, 19393 markings/sec, 265 secs
lola: 5843525 markings, 11354611 edges, 18257 markings/sec, 270 secs
lola: 5933302 markings, 11541521 edges, 17955 markings/sec, 275 secs
lola: 6027513 markings, 11731551 edges, 18842 markings/sec, 280 secs
lola: 6131308 markings, 11932763 edges, 20759 markings/sec, 285 secs
lola: 6224376 markings, 12128840 edges, 18614 markings/sec, 290 secs
lola: 6340837 markings, 12318595 edges, 23292 markings/sec, 295 secs
lola: 6445327 markings, 12535688 edges, 20898 markings/sec, 300 secs
lola: 6547690 markings, 12725506 edges, 20473 markings/sec, 305 secs
lola: 6644998 markings, 12919245 edges, 19462 markings/sec, 310 secs
lola: 6756522 markings, 13106264 edges, 22305 markings/sec, 315 secs
lola: 6869085 markings, 13312784 edges, 22513 markings/sec, 320 secs
lola: 6969034 markings, 13507550 edges, 19990 markings/sec, 325 secs
lola: 7066919 markings, 13708079 edges, 19577 markings/sec, 330 secs
lola: 7167498 markings, 13899593 edges, 20116 markings/sec, 335 secs
lola: 7283505 markings, 14097235 edges, 23201 markings/sec, 340 secs
lola: 7379836 markings, 14300684 edges, 19266 markings/sec, 345 secs
lola: 7484072 markings, 14498916 edges, 20847 markings/sec, 350 secs
lola: 7578159 markings, 14686293 edges, 18817 markings/sec, 355 secs
lola: 7695148 markings, 14878209 edges, 23398 markings/sec, 360 secs
lola: 7796327 markings, 15093554 edges, 20236 markings/sec, 365 secs
lola: 7901829 markings, 15283862 edges, 21100 markings/sec, 370 secs
lola: 7997071 markings, 15478049 edges, 19048 markings/sec, 375 secs
lola: 8111194 markings, 15665091 edges, 22825 markings/sec, 380 secs
lola: 8218541 markings, 15872189 edges, 21469 markings/sec, 385 secs
lola: 8319429 markings, 16063464 edges, 20178 markings/sec, 390 secs
lola: 8414493 markings, 16264032 edges, 19013 markings/sec, 395 secs
lola: 8520920 markings, 16451130 edges, 21285 markings/sec, 400 secs
lola: 8636403 markings, 16651465 edges, 23097 markings/sec, 405 secs
lola: 8732984 markings, 16851355 edges, 19316 markings/sec, 410 secs
lola: 8834033 markings, 17051255 edges, 20210 markings/sec, 415 secs
lola: 8929574 markings, 17241445 edges, 19108 markings/sec, 420 secs
lola: 9048822 markings, 17432365 edges, 23850 markings/sec, 425 secs
lola: 9144623 markings, 17644890 edges, 19160 markings/sec, 430 secs
lola: 9252351 markings, 17842445 edges, 21546 markings/sec, 435 secs
lola: 9345967 markings, 18034539 edges, 18723 markings/sec, 440 secs
lola: 9462919 markings, 18225580 edges, 23390 markings/sec, 445 secs
lola: 9566603 markings, 18444453 edges, 20737 markings/sec, 450 secs
lola: 9669749 markings, 18632809 edges, 20629 markings/sec, 455 secs
lola: 9767184 markings, 18827134 edges, 19487 markings/sec, 460 secs
lola: 9879122 markings, 19013866 edges, 22388 markings/sec, 465 secs
lola: 9989820 markings, 19219934 edges, 22140 markings/sec, 470 secs
lola: 10090571 markings, 19413756 edges, 20150 markings/sec, 475 secs
lola: 10186797 markings, 19614466 edges, 19245 markings/sec, 480 secs
lola: 10288580 markings, 19802777 edges, 20357 markings/sec, 485 secs
lola: 10403639 markings, 19998173 edges, 23012 markings/sec, 490 secs
lola: 10498863 markings, 20200565 edges, 19045 markings/sec, 495 secs
lola: 10603364 markings, 20397475 edges, 20900 markings/sec, 500 secs
lola: 10696026 markings, 20585455 edges, 18532 markings/sec, 505 secs
lola: 10811746 markings, 20775866 edges, 23144 markings/sec, 510 secs
lola: 10912265 markings, 20990764 edges, 20104 markings/sec, 515 secs
lola: 11016395 markings, 21178457 edges, 20826 markings/sec, 520 secs
lola: 11112225 markings, 21371244 edges, 19166 markings/sec, 525 secs
lola: 11225501 markings, 21555071 edges, 22655 markings/sec, 530 secs
lola: 11333626 markings, 21759972 edges, 21625 markings/sec, 535 secs
lola: 11433849 markings, 21951417 edges, 20045 markings/sec, 540 secs
lola: 11528102 markings, 22150532 edges, 18851 markings/sec, 545 secs
lola: 11630404 markings, 22339894 edges, 20460 markings/sec, 550 secs
lola: 11745896 markings, 22536958 edges, 23098 markings/sec, 555 secs
lola: 11841479 markings, 22739515 edges, 19117 markings/sec, 560 secs
lola: 11945192 markings, 22936628 edges, 20743 markings/sec, 565 secs
lola: 12038728 markings, 23124574 edges, 18707 markings/sec, 570 secs
lola: 12155142 markings, 23314728 edges, 23283 markings/sec, 575 secs
lola: 12253936 markings, 23528040 edges, 19759 markings/sec, 580 secs
lola: 12359014 markings, 23718854 edges, 21016 markings/sec, 585 secs
lola: 12453837 markings, 23910982 edges, 18965 markings/sec, 590 secs
lola: 12568753 markings, 24096368 edges, 22983 markings/sec, 595 secs
lola: 12675581 markings, 24301424 edges, 21366 markings/sec, 600 secs
lola: 12775870 markings, 24491513 edges, 20058 markings/sec, 605 secs
lola: 12870503 markings, 24691295 edges, 18927 markings/sec, 610 secs
lola: 12975190 markings, 24878295 edges, 20937 markings/sec, 615 secs
lola: 13090547 markings, 25076418 edges, 23071 markings/sec, 620 secs
lola: 13185319 markings, 25275975 edges, 18954 markings/sec, 625 secs
lola: 13286268 markings, 25473878 edges, 20190 markings/sec, 630 secs
lola: 13381230 markings, 25662318 edges, 18992 markings/sec, 635 secs
lola: 13497671 markings, 25850222 edges, 23288 markings/sec, 640 secs
lola: 13594673 markings, 26060838 edges, 19400 markings/sec, 645 secs
lola: 13699314 markings, 26253355 edges, 20928 markings/sec, 650 secs
lola: 13793111 markings, 26445259 edges, 18759 markings/sec, 655 secs
lola: 13907872 markings, 26632130 edges, 22952 markings/sec, 660 secs
lola: 14012423 markings, 26843448 edges, 20910 markings/sec, 665 secs
lola: 14113706 markings, 27030014 edges, 20257 markings/sec, 670 secs
lola: 14208067 markings, 27225402 edges, 18872 markings/sec, 675 secs
lola: 14302834 markings, 27415678 edges, 18953 markings/sec, 680 secs
lola: 14408408 markings, 27603994 edges, 21115 markings/sec, 685 secs
lola: 14497968 markings, 27826960 edges, 17912 markings/sec, 690 secs
lola: 14596414 markings, 28026226 edges, 19689 markings/sec, 695 secs
lola: 14705002 markings, 28203509 edges, 21718 markings/sec, 700 secs
lola: 14788717 markings, 28432679 edges, 16743 markings/sec, 705 secs
lola: 14901692 markings, 28623341 edges, 22595 markings/sec, 710 secs
lola: 14999410 markings, 28847660 edges, 19544 markings/sec, 715 secs
lola: 15112974 markings, 29045465 edges, 22713 markings/sec, 720 secs
lola: 15211499 markings, 29267651 edges, 19705 markings/sec, 725 secs
lola: 15311745 markings, 29480321 edges, 20049 markings/sec, 730 secs
lola: 15407267 markings, 29688838 edges, 19104 markings/sec, 735 secs
lola: 15515877 markings, 29868398 edges, 21722 markings/sec, 740 secs
lola: 15600736 markings, 30099348 edges, 16972 markings/sec, 745 secs
lola: 15709727 markings, 30288965 edges, 21798 markings/sec, 750 secs
lola: 15797258 markings, 30521276 edges, 17506 markings/sec, 755 secs
lola: 15901506 markings, 30714297 edges, 20850 markings/sec, 760 secs
lola: 15992752 markings, 30932485 edges, 18249 markings/sec, 765 secs
lola: 16091500 markings, 31140983 edges, 19750 markings/sec, 770 secs
lola: 16199275 markings, 31324194 edges, 21555 markings/sec, 775 secs
lola: 16287080 markings, 31560134 edges, 17561 markings/sec, 780 secs
lola: 16396812 markings, 31740566 edges, 21946 markings/sec, 785 secs
lola: 16482944 markings, 31972545 edges, 17226 markings/sec, 790 secs
lola: 16602125 markings, 32157468 edges, 23836 markings/sec, 795 secs
lola: 16721577 markings, 32352881 edges, 23890 markings/sec, 800 secs
lola: 16824596 markings, 32572364 edges, 20604 markings/sec, 805 secs
lola: 16933315 markings, 32772379 edges, 21744 markings/sec, 810 secs
lola: 17030055 markings, 32970464 edges, 19348 markings/sec, 815 secs
lola: 17148095 markings, 33162349 edges, 23608 markings/sec, 820 secs
lola: 17254085 markings, 33386759 edges, 21198 markings/sec, 825 secs
lola: 17368494 markings, 33577537 edges, 22882 markings/sec, 830 secs
lola: 17481470 markings, 33788247 edges, 22595 markings/sec, 835 secs
lola: 17584921 markings, 33985401 edges, 20690 markings/sec, 840 secs
lola: 17682296 markings, 34191047 edges, 19475 markings/sec, 845 secs
lola: 17786002 markings, 34383424 edges, 20741 markings/sec, 850 secs
lola: 17905783 markings, 34583598 edges, 23956 markings/sec, 855 secs
lola: 18001754 markings, 34799834 edges, 19194 markings/sec, 860 secs
lola: 18120771 markings, 34993103 edges, 23803 markings/sec, 865 secs
lola: 18220553 markings, 35209360 edges, 19956 markings/sec, 870 secs
lola: 18328756 markings, 35407923 edges, 21641 markings/sec, 875 secs
lola: 18423880 markings, 35602831 edges, 19025 markings/sec, 880 secs
lola: 18540937 markings, 35793019 edges, 23411 markings/sec, 885 secs
lola: 18646400 markings, 36012606 edges, 21093 markings/sec, 890 secs
lola: 18758301 markings, 36204028 edges, 22380 markings/sec, 895 secs
lola: 18871537 markings, 36411964 edges, 22647 markings/sec, 900 secs
lola: 18972816 markings, 36608283 edges, 20256 markings/sec, 905 secs
lola: 19070708 markings, 36811242 edges, 19578 markings/sec, 910 secs
lola: 19171770 markings, 37002839 edges, 20212 markings/sec, 915 secs
lola: 19289105 markings, 37200593 edges, 23467 markings/sec, 920 secs
lola: 19387145 markings, 37418572 edges, 19608 markings/sec, 925 secs
lola: 19501387 markings, 37606334 edges, 22848 markings/sec, 930 secs
lola: 19603673 markings, 37829286 edges, 20457 markings/sec, 935 secs
lola: 19714216 markings, 38042351 edges, 22109 markings/sec, 940 secs
lola: 19813345 markings, 38259732 edges, 19826 markings/sec, 945 secs
lola: 19930253 markings, 38477508 edges, 23382 markings/sec, 950 secs
lola: 20038530 markings, 38677940 edges, 21655 markings/sec, 955 secs
lola: 20141569 markings, 38886882 edges, 20608 markings/sec, 960 secs
lola: 20242148 markings, 39093079 edges, 20116 markings/sec, 965 secs
lola: 20349445 markings, 39329494 edges, 21459 markings/sec, 970 secs
lola: 20451738 markings, 39586542 edges, 20459 markings/sec, 975 secs
lola: 20570306 markings, 39817239 edges, 23714 markings/sec, 980 secs
lola: 20686922 markings, 40025562 edges, 23323 markings/sec, 985 secs
lola: 20818100 markings, 40207402 edges, 26236 markings/sec, 990 secs
lola: 20919795 markings, 40417621 edges, 20339 markings/sec, 995 secs
lola: 21026569 markings, 40623078 edges, 21355 markings/sec, 1000 secs
lola: 21128495 markings, 40830637 edges, 20385 markings/sec, 1005 secs
lola: 21238717 markings, 41013572 edges, 22044 markings/sec, 1010 secs
lola: 21324691 markings, 41245314 edges, 17195 markings/sec, 1015 secs
lola: 21426880 markings, 41448400 edges, 20438 markings/sec, 1020 secs
lola: 21527291 markings, 41648793 edges, 20082 markings/sec, 1025 secs
lola: 21622383 markings, 41872428 edges, 19018 markings/sec, 1030 secs
lola: 21733674 markings, 42058660 edges, 22258 markings/sec, 1035 secs
lola: 21824977 markings, 42289201 edges, 18261 markings/sec, 1040 secs
lola: 21931280 markings, 42494553 edges, 21261 markings/sec, 1045 secs
lola: 22036300 markings, 42706328 edges, 21004 markings/sec, 1050 secs
lola: 22144542 markings, 42916642 edges, 21648 markings/sec, 1055 secs
lola: 22246704 markings, 43141269 edges, 20432 markings/sec, 1060 secs
lola: 22364101 markings, 43358146 edges, 23479 markings/sec, 1065 secs
lola: 22472280 markings, 43554447 edges, 21636 markings/sec, 1070 secs
lola: 22571638 markings, 43793162 edges, 19872 markings/sec, 1075 secs
lola: 22691584 markings, 44025580 edges, 23989 markings/sec, 1080 secs
lola: 22792158 markings, 44288488 edges, 20115 markings/sec, 1085 secs
lola: 22899440 markings, 44496353 edges, 21456 markings/sec, 1090 secs
lola: 23013257 markings, 44723897 edges, 22763 markings/sec, 1095 secs
lola: 23134172 markings, 44930648 edges, 24183 markings/sec, 1100 secs
lola: 23267964 markings, 45116382 edges, 26758 markings/sec, 1105 secs
lola: 23387327 markings, 45321956 edges, 23873 markings/sec, 1110 secs
lola: 23506445 markings, 45517377 edges, 23824 markings/sec, 1115 secs
lola: 23623484 markings, 45724556 edges, 23408 markings/sec, 1120 secs
lola: 23754517 markings, 45914296 edges, 26207 markings/sec, 1125 secs
lola: 23877020 markings, 46112127 edges, 24501 markings/sec, 1130 secs
lola: 24003201 markings, 46306938 edges, 25236 markings/sec, 1135 secs
lola: 24124180 markings, 46499448 edges, 24196 markings/sec, 1140 secs
lola: 24249811 markings, 46695194 edges, 25126 markings/sec, 1145 secs
lola: 24375619 markings, 46890813 edges, 25162 markings/sec, 1150 secs
lola: 24506469 markings, 47085015 edges, 26170 markings/sec, 1155 secs
lola: 24612570 markings, 47296864 edges, 21220 markings/sec, 1160 secs
lola: 24723132 markings, 47507150 edges, 22112 markings/sec, 1165 secs
lola: 24850417 markings, 47703285 edges, 25457 markings/sec, 1170 secs
lola: 24967204 markings, 47904858 edges, 23357 markings/sec, 1175 secs
lola: 25100861 markings, 48099710 edges, 26731 markings/sec, 1180 secs
lola: 25202621 markings, 48316975 edges, 20352 markings/sec, 1185 secs
lola: 25327609 markings, 48513822 edges, 24998 markings/sec, 1190 secs
lola: 25446218 markings, 48709696 edges, 23722 markings/sec, 1195 secs
lola: 25567507 markings, 48915780 edges, 24258 markings/sec, 1200 secs
lola: 25688352 markings, 49114783 edges, 24169 markings/sec, 1205 secs
lola: 25800340 markings, 49312538 edges, 22398 markings/sec, 1210 secs
lola: 25907267 markings, 49510573 edges, 21385 markings/sec, 1215 secs
lola: 26006245 markings, 49708591 edges, 19796 markings/sec, 1220 secs
lola: 26100334 markings, 49909380 edges, 18818 markings/sec, 1225 secs
lola: 26193453 markings, 50107240 edges, 18624 markings/sec, 1230 secs
lola: 26292022 markings, 50318654 edges, 19714 markings/sec, 1235 secs
lola: 26396726 markings, 50523108 edges, 20941 markings/sec, 1240 secs
lola: 26491168 markings, 50735901 edges, 18888 markings/sec, 1245 secs
lola: 26584487 markings, 50951533 edges, 18664 markings/sec, 1250 secs
lola: 26676690 markings, 51169229 edges, 18441 markings/sec, 1255 secs
lola: 26770042 markings, 51381360 edges, 18670 markings/sec, 1260 secs
lola: 26863792 markings, 51595363 edges, 18750 markings/sec, 1265 secs
lola: 26956872 markings, 51832999 edges, 18616 markings/sec, 1270 secs
lola: 27064503 markings, 52054198 edges, 21526 markings/sec, 1275 secs
lola: 27143885 markings, 52306737 edges, 15876 markings/sec, 1280 secs
lola: 27234119 markings, 52530810 edges, 18047 markings/sec, 1285 secs
lola: 27342117 markings, 52752640 edges, 21600 markings/sec, 1290 secs
lola: 27450515 markings, 52965437 edges, 21680 markings/sec, 1295 secs
lola: 27591944 markings, 53163956 edges, 28286 markings/sec, 1300 secs
lola: 27729170 markings, 53368650 edges, 27445 markings/sec, 1305 secs
lola: 27858677 markings, 53579318 edges, 25901 markings/sec, 1310 secs
lola: 27974188 markings, 53791722 edges, 23102 markings/sec, 1315 secs
lola: 28078530 markings, 54010615 edges, 20868 markings/sec, 1320 secs
lola: 28173184 markings, 54241170 edges, 18931 markings/sec, 1325 secs
lola: 28231599 markings, 54571886 edges, 11683 markings/sec, 1330 secs
lola: 28311036 markings, 54894086 edges, 15887 markings/sec, 1335 secs
lola: 28412767 markings, 55144197 edges, 20346 markings/sec, 1340 secs
lola: 28526560 markings, 55372888 edges, 22759 markings/sec, 1345 secs
lola: 28665688 markings, 55571092 edges, 27826 markings/sec, 1350 secs
lola: 28798484 markings, 55777449 edges, 26559 markings/sec, 1355 secs
lola: 28912162 markings, 55986024 edges, 22736 markings/sec, 1360 secs
lola: 29015846 markings, 56202647 edges, 20737 markings/sec, 1365 secs
lola: 29084598 markings, 56484496 edges, 13750 markings/sec, 1370 secs
lola: 29151011 markings, 56824201 edges, 13283 markings/sec, 1375 secs
lola: 29257905 markings, 57056426 edges, 21379 markings/sec, 1380 secs
lola: 29345493 markings, 57299169 edges, 17518 markings/sec, 1385 secs
lola: 29438332 markings, 57533319 edges, 18568 markings/sec, 1390 secs
lola: 29532409 markings, 57764673 edges, 18815 markings/sec, 1395 secs
lola: 29627817 markings, 57995197 edges, 19082 markings/sec, 1400 secs
lola: 29683919 markings, 58301340 edges, 11220 markings/sec, 1405 secs
lola: 29728902 markings, 58634605 edges, 8997 markings/sec, 1410 secs
lola: 29778480 markings, 58967655 edges, 9916 markings/sec, 1415 secs
lola: 29833182 markings, 59297523 edges, 10940 markings/sec, 1420 secs
lola: 29887488 markings, 59632593 edges, 10861 markings/sec, 1425 secs
lola: 29937139 markings, 59973915 edges, 9930 markings/sec, 1430 secs
lola: 29988781 markings, 60309895 edges, 10328 markings/sec, 1435 secs
lola: 30042014 markings, 60648546 edges, 10647 markings/sec, 1440 secs
lola: 30114651 markings, 60927303 edges, 14527 markings/sec, 1445 secs
lola: 30203908 markings, 61141712 edges, 17851 markings/sec, 1450 secs
lola: 30297890 markings, 61338736 edges, 18796 markings/sec, 1455 secs
lola: 30390777 markings, 61536219 edges, 18577 markings/sec, 1460 secs
lola: 30493352 markings, 61718188 edges, 20515 markings/sec, 1465 secs
lola: 30579500 markings, 61936322 edges, 17230 markings/sec, 1470 secs
lola: 30671137 markings, 62133089 edges, 18327 markings/sec, 1475 secs
lola: 30779237 markings, 62311072 edges, 21620 markings/sec, 1480 secs
lola: 30864278 markings, 62534355 edges, 17008 markings/sec, 1485 secs
lola: 30955705 markings, 62738040 edges, 18285 markings/sec, 1490 secs
lola: 31061142 markings, 62931668 edges, 21087 markings/sec, 1495 secs
lola: 31157147 markings, 63148543 edges, 19201 markings/sec, 1500 secs
lola: 31273961 markings, 63377043 edges, 23363 markings/sec, 1505 secs
lola: 31369546 markings, 63605769 edges, 19117 markings/sec, 1510 secs
lola: 31474655 markings, 63825189 edges, 21022 markings/sec, 1515 secs
lola: 31585798 markings, 64022821 edges, 22229 markings/sec, 1520 secs
lola: 31710356 markings, 64207489 edges, 24912 markings/sec, 1525 secs
lola: 31840423 markings, 64389346 edges, 26013 markings/sec, 1530 secs
lola: 31968965 markings, 64571557 edges, 25708 markings/sec, 1535 secs
lola: 32095456 markings, 64760652 edges, 25298 markings/sec, 1540 secs
lola: 32219336 markings, 64946408 edges, 24776 markings/sec, 1545 secs
lola: 32341448 markings, 65135670 edges, 24422 markings/sec, 1550 secs
lola: 32463133 markings, 65325942 edges, 24337 markings/sec, 1555 secs
lola: 32582444 markings, 65517205 edges, 23862 markings/sec, 1560 secs
lola: 32695291 markings, 65710316 edges, 22569 markings/sec, 1565 secs
lola: 32795232 markings, 65899675 edges, 19988 markings/sec, 1570 secs
lola: 32896359 markings, 66095303 edges, 20225 markings/sec, 1575 secs
lola: 32986604 markings, 66290310 edges, 18049 markings/sec, 1580 secs
lola: 33078342 markings, 66485547 edges, 18348 markings/sec, 1585 secs
lola: 33167145 markings, 66687349 edges, 17761 markings/sec, 1590 secs
lola: 33252624 markings, 66894646 edges, 17096 markings/sec, 1595 secs
lola: 33329650 markings, 67113664 edges, 15405 markings/sec, 1600 secs
lola: 33406304 markings, 67352263 edges, 15331 markings/sec, 1605 secs
lola: 33450988 markings, 67645381 edges, 8937 markings/sec, 1610 secs
lola: 33497109 markings, 67955765 edges, 9224 markings/sec, 1615 secs
lola: 33548552 markings, 68259265 edges, 10289 markings/sec, 1620 secs
lola: 33600352 markings, 68566523 edges, 10360 markings/sec, 1625 secs
lola: 33675414 markings, 68831884 edges, 15012 markings/sec, 1630 secs
lola: 33764194 markings, 69053141 edges, 17756 markings/sec, 1635 secs
lola: 33863979 markings, 69264353 edges, 19957 markings/sec, 1640 secs
lola: 33960472 markings, 69472659 edges, 19299 markings/sec, 1645 secs
lola: 34043720 markings, 69711261 edges, 16650 markings/sec, 1650 secs
lola: 34155401 markings, 69932740 edges, 22336 markings/sec, 1655 secs
lola: 34251526 markings, 70143334 edges, 19225 markings/sec, 1660 secs
lola: 34365709 markings, 70331634 edges, 22837 markings/sec, 1665 secs
lola: 34484947 markings, 70515092 edges, 23848 markings/sec, 1670 secs
lola: 34588648 markings, 70702799 edges, 20740 markings/sec, 1675 secs
lola: 34679772 markings, 70900370 edges, 18225 markings/sec, 1680 secs
lola: 34737518 markings, 71154548 edges, 11549 markings/sec, 1685 secs
lola: 34821211 markings, 71383670 edges, 16739 markings/sec, 1690 secs
lola: 34914514 markings, 71597482 edges, 18661 markings/sec, 1695 secs
lola: 35011586 markings, 71806044 edges, 19414 markings/sec, 1700 secs
lola: 35102540 markings, 72052758 edges, 18191 markings/sec, 1705 secs
lola: 35199803 markings, 72259517 edges, 19453 markings/sec, 1710 secs
lola: 35322758 markings, 72438583 edges, 24591 markings/sec, 1715 secs
lola: 35424617 markings, 72629151 edges, 20372 markings/sec, 1720 secs
lola: 35497170 markings, 72851169 edges, 14511 markings/sec, 1725 secs
lola: 35571613 markings, 73098335 edges, 14889 markings/sec, 1730 secs
lola: 35659349 markings, 73308676 edges, 17547 markings/sec, 1735 secs
lola: 35751302 markings, 73520086 edges, 18391 markings/sec, 1740 secs
lola: 35844535 markings, 73735427 edges, 18647 markings/sec, 1745 secs
lola: 35944971 markings, 73934822 edges, 20087 markings/sec, 1750 secs
lola: 36062787 markings, 74117717 edges, 23563 markings/sec, 1755 secs
lola: 36149702 markings, 74309913 edges, 17383 markings/sec, 1760 secs
lola: 36207318 markings, 74552944 edges, 11523 markings/sec, 1765 secs
lola: 36288415 markings, 74769890 edges, 16219 markings/sec, 1770 secs
lola: 36377766 markings, 74973247 edges, 17870 markings/sec, 1775 secs
lola: 36472264 markings, 75168953 edges, 18900 markings/sec, 1780 secs
lola: 36562166 markings, 75365982 edges, 17980 markings/sec, 1785 secs
lola: 36644274 markings, 75573365 edges, 16422 markings/sec, 1790 secs
lola: 36743794 markings, 75778055 edges, 19904 markings/sec, 1795 secs
lola: 36825951 markings, 76015952 edges, 16431 markings/sec, 1800 secs
lola: 36913990 markings, 76232772 edges, 17608 markings/sec, 1805 secs
lola: 37002812 markings, 76430698 edges, 17764 markings/sec, 1810 secs
lola: 37106309 markings, 76650675 edges, 20699 markings/sec, 1815 secs
lola: 37191512 markings, 76910232 edges, 17041 markings/sec, 1820 secs
lola: 37285254 markings, 77140931 edges, 18748 markings/sec, 1825 secs
lola: 37386075 markings, 77341888 edges, 20164 markings/sec, 1830 secs
lola: 37454398 markings, 77559147 edges, 13665 markings/sec, 1835 secs
lola: 37536083 markings, 77776423 edges, 16337 markings/sec, 1840 secs
lola: 37624519 markings, 77984540 edges, 17687 markings/sec, 1845 secs
lola: 37720196 markings, 78181978 edges, 19135 markings/sec, 1850 secs
lola: 37818502 markings, 78396149 edges, 19661 markings/sec, 1855 secs
lola: 37905272 markings, 78621265 edges, 17354 markings/sec, 1860 secs
lola: 38007115 markings, 78844009 edges, 20369 markings/sec, 1865 secs
lola: 38091833 markings, 79091723 edges, 16944 markings/sec, 1870 secs
lola: 38186680 markings, 79318209 edges, 18969 markings/sec, 1875 secs
lola: 38278991 markings, 79539403 edges, 18462 markings/sec, 1880 secs
lola: 38367900 markings, 79768072 edges, 17782 markings/sec, 1885 secs
lola: 38468546 markings, 79972040 edges, 20129 markings/sec, 1890 secs
lola: 38546305 markings, 80222761 edges, 15552 markings/sec, 1895 secs
lola: 38632360 markings, 80447520 edges, 17211 markings/sec, 1900 secs
lola: 38723373 markings, 80663677 edges, 18203 markings/sec, 1905 secs
lola: 38834356 markings, 80849018 edges, 22197 markings/sec, 1910 secs
lola: 38921688 markings, 81083229 edges, 17466 markings/sec, 1915 secs
lola: 39033931 markings, 81278378 edges, 22449 markings/sec, 1920 secs
lola: 39131008 markings, 81497548 edges, 19415 markings/sec, 1925 secs
lola: 39232260 markings, 81701970 edges, 20250 markings/sec, 1930 secs
lola: 39336763 markings, 81908887 edges, 20901 markings/sec, 1935 secs
lola: 39434670 markings, 82121901 edges, 19581 markings/sec, 1940 secs
lola: 39536460 markings, 82333210 edges, 20358 markings/sec, 1945 secs
lola: 39648594 markings, 82542141 edges, 22427 markings/sec, 1950 secs
lola: 39753802 markings, 82735477 edges, 21042 markings/sec, 1955 secs
lola: 39842540 markings, 82945940 edges, 17748 markings/sec, 1960 secs
lola: 39931871 markings, 83150156 edges, 17866 markings/sec, 1965 secs
lola: 40031087 markings, 83357121 edges, 19843 markings/sec, 1970 secs
lola: 40135388 markings, 83592493 edges, 20860 markings/sec, 1975 secs
lola: 40244969 markings, 83834883 edges, 21916 markings/sec, 1980 secs
lola: 40352025 markings, 84069716 edges, 21411 markings/sec, 1985 secs
lola: 40471704 markings, 84262358 edges, 23936 markings/sec, 1990 secs
lola: 40593753 markings, 84454234 edges, 24410 markings/sec, 1995 secs
lola: 40718292 markings, 84636562 edges, 24908 markings/sec, 2000 secs
lola: 40835681 markings, 84835218 edges, 23478 markings/sec, 2005 secs
lola: 40953603 markings, 85035627 edges, 23584 markings/sec, 2010 secs
lola: 41072416 markings, 85230100 edges, 23763 markings/sec, 2015 secs
lola: 41196956 markings, 85417771 edges, 24908 markings/sec, 2020 secs
lola: 41318755 markings, 85606783 edges, 24360 markings/sec, 2025 secs
lola: 41431409 markings, 85795105 edges, 22531 markings/sec, 2030 secs
lola: 41552607 markings, 85984157 edges, 24240 markings/sec, 2035 secs
lola: 41667788 markings, 86181406 edges, 23036 markings/sec, 2040 secs
lola: 41775721 markings, 86383252 edges, 21587 markings/sec, 2045 secs
lola: 41877878 markings, 86590155 edges, 20431 markings/sec, 2050 secs
lola: 41980521 markings, 86794044 edges, 20529 markings/sec, 2055 secs
lola: 42082705 markings, 86997506 edges, 20437 markings/sec, 2060 secs
lola: 42213675 markings, 87184827 edges, 26194 markings/sec, 2065 secs
lola: 42341155 markings, 87374321 edges, 25496 markings/sec, 2070 secs
lola: 42467511 markings, 87563554 edges, 25271 markings/sec, 2075 secs
lola: 42592484 markings, 87759109 edges, 24995 markings/sec, 2080 secs
lola: 42716595 markings, 87952459 edges, 24822 markings/sec, 2085 secs
lola: 42831521 markings, 88154876 edges, 22985 markings/sec, 2090 secs
lola: 42949863 markings, 88355086 edges, 23668 markings/sec, 2095 secs
lola: 43064048 markings, 88549769 edges, 22837 markings/sec, 2100 secs
lola: 43172954 markings, 88749822 edges, 21781 markings/sec, 2105 secs
lola: 43279750 markings, 88945867 edges, 21359 markings/sec, 2110 secs
lola: 43380408 markings, 89138782 edges, 20132 markings/sec, 2115 secs
lola: 43471881 markings, 89343763 edges, 18295 markings/sec, 2120 secs
lola: 43572892 markings, 89546401 edges, 20202 markings/sec, 2125 secs
lola: 43672533 markings, 89744283 edges, 19928 markings/sec, 2130 secs
lola: 43768724 markings, 89950129 edges, 19238 markings/sec, 2135 secs
lola: 43856654 markings, 90159914 edges, 17586 markings/sec, 2140 secs
lola: 43939670 markings, 90379668 edges, 16603 markings/sec, 2145 secs
lola: 44043728 markings, 90585816 edges, 20812 markings/sec, 2150 secs
lola: 44140504 markings, 90794407 edges, 19355 markings/sec, 2155 secs
lola: 44235018 markings, 91007929 edges, 18903 markings/sec, 2160 secs
lola: 44332497 markings, 91236411 edges, 19496 markings/sec, 2165 secs
lola: 44456589 markings, 91439079 edges, 24818 markings/sec, 2170 secs
lola: 44593788 markings, 91635287 edges, 27440 markings/sec, 2175 secs
lola: 44726260 markings, 91837831 edges, 26494 markings/sec, 2180 secs
lola: 44848890 markings, 92042799 edges, 24526 markings/sec, 2185 secs
lola: 44957264 markings, 92250904 edges, 21675 markings/sec, 2190 secs
lola: 45052852 markings, 92472095 edges, 19118 markings/sec, 2195 secs
lola: 45158029 markings, 92685631 edges, 21035 markings/sec, 2200 secs
lola: 45258076 markings, 92905306 edges, 20009 markings/sec, 2205 secs
lola: 45364596 markings, 93133851 edges, 21304 markings/sec, 2210 secs
lola: 45473825 markings, 93357099 edges, 21846 markings/sec, 2215 secs
lola: 45609365 markings, 93552736 edges, 27108 markings/sec, 2220 secs
lola: 45736863 markings, 93755603 edges, 25500 markings/sec, 2225 secs
lola: 45844347 markings, 93960949 edges, 21497 markings/sec, 2230 secs
lola: 45945258 markings, 94168137 edges, 20182 markings/sec, 2235 secs
lola: 46011411 markings, 94442468 edges, 13231 markings/sec, 2240 secs
lola: 46073296 markings, 94776889 edges, 12377 markings/sec, 2245 secs
lola: 46178945 markings, 95001361 edges, 21130 markings/sec, 2250 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1
lola:
preliminary result: 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1
lola: memory consumption: 2514616 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1
lola: memory consumption: 2514836 KB
lola: time consumption: 3570 seconds

BK_STOP 1552336862092

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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-4b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3817"
echo " Executing tool win2018"
echo " Input is CloudDeployment-PT-4b, 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 r044-smll-155229658700016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-4b.tgz
mv CloudDeployment-PT-4b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;